可视的软件过程描述语言的研究与实现

讨论了用可视语言描述软件过程的问题，定义了一种可视的软件过程描述语言，提出了一种从软件过程模型自动推导个体视图的方法，设计了建立模型、推导和执行个体视图的支持系统。     

关于不确定性本－量－利分析的理论探讨

根据市场经济条件下，成本、产销量及利润不确定的特点，讨论了具有现实意义的不确定性本－量－利决策模型的分类和一般分析，并建立了多品种，多不确定因素本－量－利决策模型．     

燃气低压管网计算压力降的合理分配

提出一种计算低压燃气管网压力降合理分配值的实用方法，用该方法对上海地区所采用的低压燃气管网压力降分配值通过大量管网进行了验算，说明所采用的分配值是可取的。     

更广一类的非线性Schrodinger方程的拟谱方法

讨论了解更广一类的非线性Ｓｃｈｒｏｄｉｎｇｅｒ方程的拟谱方法，构造了半离散和全离散的拟谱格式并给出了误差估计．     

采用MBDM法获得高性能高分子膜的研究

采用多束动态混合法在３０４不锈钢样品表面成功地制备出ＰＴＦＥ（聚四氟乙烯）和ＰＥＥＫ（聚醚醚酮）混合的高性能高分子复合膜，共结合力约７０Ｎ，耐蚀能力提高２０倍，摩擦系数达到０．０７￣０．１４，比授能吸收剂量在于１０＾６Ｇｙ。     

玻纤格栅加筋对提高沥青路面抗车辙能力的试验研究

通过加铺玻纤格栅的沥青混凝土室内车辙试验研究,提出在沥青路面加铺玻纤格栅可提高沥青路面的抗车辙能力,且抗车辙能力与玻纤格栅的加铺位置有关.     

表面开口裂纹深度的超声波检测

本文应用超声波探伤原理,对表面开口人工窄缝缺陷和实际疲劳裂纹缺陷的深度,进行了超声检测、对比和分析,给出了基准灵敏度确定原则和实用超声检测方法。     

Decentralized and overall condition monitoring system for large-scale mobile and complex equipment

It is an urgent project to realize online and overall condition monitoring and timely fault diagnosis for large-scale mobile and complex equipment. Moreover, most of the existing large-scale complex equipment has quite insufficient accessibility of examination, although it still has quite a long service life. The decentralized and overall condition monitoring, as a new concept, is proposed from the point of view of the whole system. A set of complex equipment is divided into several parts in terms of concrete equipment. Every part is processed via one detecting unit, and the main detecting unit is connected with other units. The management work and communications with the remote monitoring center have been taken on by it. Consequently, the difficulty of realizing a condition monitoring system and the complexity of processing information is reduced greatly. Furthermore, excellent maintainability of the condition monitoring system is obtained because of the modularization design. Through an application example, the design and realization of the decentralized and overall condition monitoring system is introduced specifically. Some advanced technologies, such as, micro control unit (MCU), advanced RISC machines (ARM), and control area network (CAN), have been adopted in the system. The system's applicability for the existing large-scale mobile and complex equipment is tested.     

三点独立集关于hamilton图的一个充分条件

本文证明了下面定理:设G=(V,E)是p阶2—连通图,若对任意三点独立集u,v,w,都有d(u)+d(v)+d(w)≥p+δ,则G为hamilton图。