关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

IT系统在企业中的应用

从实际应用的角度，阐述了IT系统在企业中的应用和建设问题。从面向客户的角度出发，对企业IT系统进行了划分，并讨论了各系统之间逻辑关系及其具体功能，在此基础上，对各系统的具体建设内容进行了重点分析。     

数控实训基地建设的几个原则问题

鉴于目前各工科类高校都在积极筹建数控实训基地,而其中的方案各不相同,但无论如何都不能单纯考虑资金或数量,我们应当全盘考虑,长远规划,避免追求短期效益而造成一些不必要的浪费,从而使数控实训基地真正发挥效用,达到培养人才的目的.     

用多媒体技术实现汽车安全报警系统

介绍了用多媒体技术实现汽车安全报警系统，采用了Authorware最直接的流程线设计，其程序设计简单易行，可靠性高。     

NIELSEN方程在理论力学中的应用

本文从理论上探讨Nielsen方程在理论力学中的应用,为解决某些两个自由度系统动力学问题提供简便解法。     

频率合成式无线语音传送系统的研究

本文介绍的是一种无线语音传送系统，它是由两部分构成的，发射部分和接收机部分．发射部分采用最先进的频率合成技术，发射频率稳定．最适合大教室教学场合应用。     

第一临界情形下的三次系统局部结构的判断准则

讨论了第一临界情形下的平面三次系统高次奇点的局部拓朴结构，并给出利用多项式系数的判断准则。