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

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

纵观认识论的历史阶段和发展方向

要正确把握马克思主义认识论的发展方向,就必须科学地区分认识发展过程的历史阶段,必须以求实的态度正视现今认识论的进展现状,充分肯定中国化的马克思主义认识论对马克思主义认识论的丰富和发展。认识论发展经历三个基本阶段———客体阶段、主体阶段和主客体阶段,而马克思主义认识论既是第三阶段的最高成果,又是使认识论的核心问题从主体和客体关系演变为认识与实践关系,这是马克思主义哲学在认识论史上所实现的伟大变革,从而开辟了认识论发展的新纪元。我们应该继续沿着实践方向推进马克思主义认识论的新发展。     

Weibull过程能达到的MTBF的统计推断

一些献在研究Weibull过程时，所导出的系统能达到的MTBF的点估计和区间估计是偏保守的。对定效截尾和定时截尾的两种情况，给出了系统能达到的MTBF的更加接近其真实值的估计。基于已经观察到的试验数据，利用Gompertg MTBF增长模型，给出了在未来某时刻处容易地被推广至多台同型系统的情况。最后用实例将以前的方法和此所给的方法进行了比较。比较的结果表明：以前的方法所导出的结果是偏保守的，此的方法所导出的结果更接近于其真实值，但有时可能是冒进的估计，不过可预先控制这种冒进的概率，比方说，冒进估计的概率控制在只有10^-3，甚至为10^-4。     

空间非平稳噪声状态下的超分辨测向技术研究

在空间非平稳噪声状态下对任意形天线阵超分辨测向技术的性能进行了研究，并对传统协方差距阵差法做了改进，经计算机仿真验证，改进后的测向算法性能良好。     

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

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

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

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

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

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

自适应性动态间隔缓存的实现

提出了用于视频服务器的缓存管理策略：自适应性动态间隔缓存。通过间隔缓存与流的状态转换有效地结合起来，满足了视频服务的顺序访问的行性。通过仿真实验证明该机制有效地保证了视频流的持续性与实时性，大大提高了视频服务的并发度。     

专家系统开发工具中表知识的处理及实现

提出了一种专家系统开发工具处理表知识的方法．该方法结合了面向对象的思想，能够处理用户按照一定的语法规范输入的表知识，而且还能获取和处理Access及SQL Server数据库中的表知识，以简便的方式实现了与多种数据库的接口．以一个专家系统开发工具ESP为例，从数据结构和算法上具体介绍了这种表知识处理方式的实现．     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．