关于知识团队特性的研究

章从商业环境的变化分析入手，指出由知识工作为主体构成的知识团队将成为企业运作的重要形式。知识团队与传统的、特别是基于某项单一职能或成员来自某一知识领域的团队有着许多显的不同。通过分析认为，这些不同点主要体现在团队目标的模糊性、团队成员的动态性和团队管理手段的协定性等方面。     

机电一体化技术在综合采煤设备中的应用与发展

介绍了机电一体化技术在国内外煤矿井下综采设备中的应用，并论述了机电一体化技术发展与相关技术的研究。     

未来十年综合航电系统的发展趋向

本文主要阐述未来十年国外综合航电系统的总的发展趋向，重点介绍了在开放式系统结构的研究与应用、采用COTS技术、模块化、多传感器综合技术等方面的发展趋向。     

热释电系数的测量方法

描述热释电系数的两种测量方法。其一为电荷积分法，测试系统简单，测量数据准确，且能满足零电场条件下的测量。其二为动态电流法，采用调制热源技术，研究在特定温度条件下热释电材料的动态热释电响应。     

An integral theorem prover and the role of proof planning

An investigation is made into the ways proof planning can enhance the capability of a rule based prover for the theory of integration. The integrals are of the Riemann type and are defined in a way to maximize the theorem proving methods of predicate calculus. Approximately fifty theorems have been proved and several examples are discussed. A major shortcoming was found to be the inability of the system to work with or produce a proof plan. As a result, a planning scheme based on the idea of subgoals or milestones was considered. With user defined plans, there was a substantial increase in performance and capability of the system and, in some cases, proofs which were previously unsuccessful were completed.     

Planning the GMAW process by constraint propagation

Although the gas metal arc welding (GMAW) process is widely used for joining metals, its planning is still a cumbersome task. The planning procedure involves many complex interrelationships among the process variables and depends heavily on empirical knowledge. Therefore, a solution method that allows a convenient way to represent the domain knowledge and evaluate the process variable relationships is needed. Further, the lack of a strong domain theory to quantify these interrelationships is a deficiency in the planning of the GMAW process. This paper presents a solution method that overcomes this deficiency and introduces a convenient knowledge representation scheme. The solution method considers the planning procedure to be a constraint satisfaction problem (CSP). The AC-4 algorithm is used to obtain arc consistency among nodes in the constraint network and the PC-4 algorithm is applied to obtain path consistency in the network. A modified version of the AC-4 algorithm is developed to reduce the search space and correspondingly reduce the computation time. An example is presented to demonstrate the capability of the method and its potential to reduce lead time.     

拟动力实验中的数值积分方法

拟动力实验方法是目前最新的抗震实验方法，它克服了振动台实验中承载力不足、拟静力实验中无法真实模拟地震过程的缺点．本文详细论述了拟动力实验中的数值积分方法，其中包括：显式方法，隐式方法以及采用于结构技术时所需的特殊教值积分方法，并对这些方法的适用范围作了介绍．     

陶瓷传感器的微型化与集成化

本文主要介绍陶瓷传感器在微型化及集成化方面的进展；指出了集成化多功能传感器存在的技术问题及未来发展趋势。