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

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

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

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

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