基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

基于COM的分布式电力系统动态模拟的设计

基于COM组件技术，设计了电力系统动态模拟化的监测系统，将COM技术的可扩展性和代码复用技术引入到程度设计中，增强了模块的功能，提高了系统的运行速度。现场运行表明，该系统效果良好。     

高精度陀螺仪力矩器施矩电路的设计

介绍了陀螺仪力矩器施矩电流的产生原理以及数字——施矩电流转换电路的二元调宽实现，详细阐述了二元调宽脉冲施矩软件和硬件电路的设计方法．经过实验测试和工程实践，该电路工作稳定，达到了系统精度要求．     

基于射频技术的马拉松计时辨识系统

论述一种将射频识别技术应用于马拉松比赛的自动计时系统。这一系统利用射频无线电对记录媒体进行读写操作，完成对马拉松运动员的非接触式自动识别，从而实现运动员成绩计时。实际应用表明，系统实现简单，控制及使用方便，具有良好的动、静态性能。     

单侧不对称补气对大空间火灾机械排烟的影响

采用全尺寸实验和数值模拟两种方法对大空间火灾单侧不对称补气条件下的机械排烟进行了分析．通过分析起火空间的温度分布讨论了烟气层的形成、沉降以及机械排烟的效果．在单侧不对称补气的条件下，烟气与新鲜空气掺混加剧，并沿补气口对面的墙壁下降，使机械排烟达不到理想的效果．     

最佳二进序列与循环Hadamard矩阵

用游程分析的方法给出了最佳二进序列与循环Hadamard矩阵存在的一些必要条件。     

大系统优化的动态规划递阶算法改进

引入1个拉格朗日乘子，将动态规划的最优性原则与大系统控制论中的分解协调的递阶算法结合起来，并考虑各子系统间的顺序直接作用，提出1种以二次型为性能指标的离散线性系统优化算法，并导出各子系统的递推公式。     

二叉树CreateBTree算法的改进

在分析二叉树的CreateBTree算法的基础上，利用线性探测再散列方法对CreateBTree算法的中序遍历序列进行预处理来改进CreateBTree算法，使得改进后的CreateBTree算法在最差情况下，时间复杂度由O(N^2)降为O(N)。     

缔置法制取二元复肥硫酸钾铵的工艺研究

以氯化钾、硫酸、氨为原料 ,在常温下采用缔合置换法合成无氯钾肥 ,在试验范围内找出适宜的工艺条件 ,同时测定了该产品的主要物性 .     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。