高中数学教学中的数学文化融入 ——以定积分的微元法为例

导数相关内容被引入高中数学拉近了初等数学与现代数学的距离.为使学生进一步感受极限的思想,提高其数学建模能力和科学的思维能力,培养其思辨和探索精神,针对高中导数应用内容,本文提出在此讲解定积分的微元法.课堂设计从定积分的思想和微元法介绍入手,展示立体几何中圆的面积、球的体积等常见公式的由来,渗透一般到特殊的哲学思想,探索...     

西方法治思想及其对我国法治建设的启示

本文梳理了西方古代、近代、现代法治思想的发展过程，认为近代西方法治是一种形式法治，现代法治则是由形式法治向实质法治的转变。中国正处于形式法治阶段，法治建设中应重点理顺好权力与权利的关系，注重法治与德治的结合，同时宜采用“推进型”法治道路。     

一种基于HLA的飞机训练模拟器的研制

具有综合作战训练能力的飞机训练模拟器不但需要模拟飞机的飞行和雷达、惯导等航电设备，还需产生逼真的战场环境及视景音效，并且要模拟出各个分系统之间的相互协作和复杂的交互。在实现这种模拟器时，采用HLA／RTI作为其体系结构和支撑平台，使设备仿真器间也实现互操作，可以提高系统的伸缩性和可扩展性。基于目标和地面电磁反射特性数据库的信息和雷达探测模型，实现了雷达图像动态生成。基于黑板模型和虚拟机技术，构建了易于修改和演化的CGF系统。     

基于原子动作的稳态存储器及稳态处理器的构建方法

一致性是分布式系统中的一个重要议题，而原子动作则是确保系统一致性及稳定性的有效手段。基于原子动作，就存储器的读／写，更新以及处理器的进程，共享信号等问题，提出了一种在物理设备上构建稳态存储器及稳态处理器的方法。有关算法在８０８６系列微机上用汇编语言实现，得到了验证。     

分布式虚拟环境中的消息传递机制的研究

分布式虚拟环境中的消息传递机制解决的是参与虚拟环境的实体及用户间的消息传递的问题。随着分布虚拟环境的大规模化的趋势,需设计一种新型的消息传递机制,以支持实体间的实时交互。该文探讨了消息传递机制所涉及的几个关键问题,并对今后的工作方向提出了建议。     

新疆中小企业制造业信息化调查分析

文章针对新疆中小企业发展数量与成长阶段特征,分析了新疆中小企业信息化所面临的问题,通过对调查结果的研究,对今后发展的前景及有效措施进行了探讨,提出技术创新和应用是中小企业生存和发展的基石,并就如何帮助企业改善管理、技术创新、增强企业生命力提出了建议。