马道头矿C3-5~#层8105工作面陷落柱探查与治理

为减少陷落柱对煤矿安全生产的危害,对陷落柱进行加固注浆是有效手段之一。基于马道头8105面陷落柱的治理,通过陷落柱边界和富水性探查,采取“边治理、边回采”的原则,在疏水降压的基础上,利用化学浆和水泥浆对陷落柱进行封堵,并进行钻探和物探验证,确保治理效果,从而保证了安全回采。     

青鸟工程及其CASE工具

概要介绍了青岛工程的攻关工作情况,以及“九五”攻关的核心工作：基于构件／构架复用的软件工业化生产平台（青鸟软件生产线系统）,并介绍了部分具有自主知识产权的ＣＡＳＥ工具（系统）。     

一种基于面向对象测试模型的测试代码生成方法与工具

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具.     

Transputer在高速雷达视频回波采集系统中的应用

介绍以ＴｒａｎｓｐｕｔｅｒＴ４２５单片高速并行计算机为中心控制环境，与高速Ａ／Ｄ（３５ＭＨｚ，８ｂｉｔ相结合构成的实时高速雷达回波采集系统。该系统的特点是：采集速度高，存贮量大；利用标准的Ｔｒａｎｓｐｕｔｅｒ链路实时完成处理器间的数据传输和通讯；系统采用并行Ｏｃｃａｍ语言编程。这样既充分发挥处理器的并行功能，又使数据采集和数据处理同步进行，这在实时信号采集与处理系统中具有特别重要的意义。     

构件库技术的研究与发展

1.引言软件工程的目标是致力于提高软件生产效率和软件质量,摆脱手工作坊式的开发方式。如果每个应用软件系统的开发都从头开始,其中必然存在大量的重复劳动。软件复用是一条提高软件生产效率和软件质量的切实可行的解决方案,其出发点是应用系统的开发以已有的工作为基础,充分利用已有系统的开发中所积累的知识和经验进行新的开发。这样软件开发的重点就可以集中于应用系统中的特有构成成分上。软件构件只有在数量上达到了一定的规模才能真正满足软件复用和基于构件的软件开发(CBSD)的需求,因此必须有一个强有力的工具来对这些数量庞大的软件构件进行管理。构件库作为一种支持软件复用的基础设施,它提供对软件构件进行描述、分类、存储和检索等功能。     

扩充CDL支持基于构件的系统组装与演化

基于构件的软件开发方法适应于软件构造性和演化性的特征，也对软件配置管理提出了新要求，在基于构件的软件配置管理模型基础上，提出了在构件描述语言CDL上扩充系统演化信息的方法，使构件组装系统与配置管理系统形成有机的整体，为基于构件的软件开发方法提供了良好的技术支持，不仅可以有效地支持基于构件的系统构造定义，而且可以支持系统的演化以及系统的部署。     

Au-In2O3 CO气体传感器的性能与机理研究

为了探讨氧化铟气体传感器的CO气敏性能和气敏机理,分别用化学沉淀法和浸渍法制备了未掺杂和金掺杂的氧化铟气敏材料,利用XRD和TEM对合成产物进行了表征.采用静态配气法测试了合成材料的气敏性能,利用气相色谱在线测试了CO在气敏材料表面的催化氧化产物,根据气敏性能与催化氧化结果研究了金掺杂氧化铟的气敏机理.实验结果表明:以2%质量比的金掺杂氧化铟对一氧化碳的反应有较高的灵敏度和选择性.根据金掺杂氧化铟对CO的催化氧化性能与气敏性能基本一致的结果,提出了金对氧化铟的CO增敏机理为化学增敏作用.     

一种基于主题建模的代码功能挖掘工具

代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用。基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能。目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充。CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能。功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能。CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic。以CFM方法为基础,设计并实现了一个CFM工具。CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构。最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性。     

稀土在铜及铜基合金中的作用

稀土作为一种重要的工业原料在铜和铜合金中有着重要的价值，稀土在铜及铜基合金中能起脱气除杂的作用。能改善铜及铜基合金显微结构，提高其强度和硬度及增强热稳定性，还能增强铜合金的耐腐蚀和耐磨性能。     

一种基于Internet的JAR包使用信息收集方法

随着软件复用技术的发展,Internet上出现了大量可以被利用的软件资源,如Web Services, JAR包等。但是,这些软件资源常常缺乏必要的描述信息和使用说明。为此,提出了一种基于Internet的JAR包使用信息收集方法,以帮助用户检索并整理Internet上已经存在的JAR包描述信息和用户使用评论,辅助软件复用的成功进行。基于该方法,设计并实现了北京大学软件资源库JAR包使用信息收集子系统。该系统目前已经为6000余个JAR包资源收集、整理了相关的描述和评论信息。