简介：在k-饱和的超幂非标准模型中将序列的无穷小延伸定理推广到网的情形并利用网的无穷小延伸定理给出函数空间一致收敛拓扑的一个主要性质的直观简短的离散化证明。

简介：由于C^3I系统所具有的分布特点，其功能需求描述必须考虑信息处理和通信两方面，本文从C^3I系统功能分析入手，讨论了一种Petri网建立C^3I系统功能需求的可执行描述模型的方法。

简介：一、施工安装企业单项工程全过程成本控制的实施背景施工安装类企业是当前供电系统集体企业中的支柱产业,无论从单体工程造价还是营业收入总量,其金额之大都值得重视,成本管控稍微疏忽,就会对集体企业经济效益产生重大影响,同时,电力工程建设备受社会和政府部门关注,近年来几次大的审计检查,往往都延伸到集体企业,成本项目列支的合理性、合规性有时成为影响电网企业形象的敏感因素，必须加强工程项目的全过程成本管理。

简介：构建基因调控网络是21世纪人类科学所面临的重要挑战之一。基因调控网络是一个基因组内基因相互作用而形成的关系网络,它从全基因组水平上以系统和全局的角度来研究复杂的生命现象及其本质。本文阐述了近几年来此领域的研究进展,着重介绍利用动态贝叶斯网络重构基因调控网络的若干模型,包括加权核l1模型,正则化模型、高斯混合贝叶斯网络模型和自回归时间变化模型。

简介：我国古代许多数学家和数学教育家都十分重视学生的数学独立思考的研究,如魏晋数学家刘徽提出的“异辞,同归”和南宋数学教育家杨辉倡导的“熟读精思,算中明理”,突出了独立思考在数学学习中的重要地位.当前学者们经过研究,认为“中学生的数学学习需要较强的逻辑推理能力,其‘再创造’比其他学科要求较高”,而数学独立思考的能力的提升显然与逻辑推理能力、“再创造”呈正相关.与此同时,

简介：简要介绍了当代计算机视觉中图像配准问题的背景、数学模型以及计算方法。详细阐述了图像配准的原理以及同模式和多模式图像配准的特点和差异,依据两类问题的特性,以偏微分方程、统计及信息论等为基础来建立适用的数学模型,并探讨了在计算机上具体求解模型的方法。同时,展示了这些模型在解决实际的医学图像配准问题时的效果,以此说明各类模型的特点以及它们的效率和精度。

简介：为了缓解城市交通拥堵,建立以延误时间最短、停车次数最少为目标函数的非线性优化模型,用遗传算法进行计算求解.计算结果表明,所得的优化信号配时,降低了平均延误时间,减少了平均停车次数,提高了交叉口通行能力.

简介：本文利用层次分析法，将时间、费用、客户满意度、人力资源等因素结合起来，定量给出了供货商的配货过程中每条线路的权重系数，然后结合最短路算法寻找出运送货物的最优路线．

简介：信号交叉口配时方案的最优策略是平衡关键车道组的v/c比和所有车辆延误最小化.本文在研究已有控制延误模型的基础上,提出一种新的随机控制延误计算模型.根据不同地区各城市信号交叉口的交通流运行特性,在信号优化策略基础上兼顾考虑其通行能力,给出实时实地的信号配时方案策略.实例说明该定时信号交叉口配时方案.

简介：非线性抛物型方程的参数反演在工程技术领域具有重要的应用价值.但由于此类问题的非线性和不适定性,给求解带来了很大困难.本文主要利用重心插值配点法给出了求解一类非线性抛物型方程正问题的高精度数值解,在此基础上,根据某时刻在不同空间点和同一空间点在不同时刻的观测值,利用牛顿迭代正则化算法对其参数进行了反演,讨论了不同初始猜测以及数据随机扰动对该算法的影响,并给出了数值模拟,结果表明本文的方法可行且有效.

简介：~~

简介：~~