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

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

IT系统在企业中的应用

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

资本巡礼

2004中国并购年会召开 由中欧国际工商学院(CEIBS)、中国并购工会、全球并购研究中心等单位主办的“2004年中国并购年会暨中国并购工会成立大会”于2004年4月24日在北京举行 此次大会恰逢中国国企改革和金融改革进入破冰阶段,中国在全球并购市场异军突起之时。并购业最具专业实力的机构联合举办这次高层次的行业年度峰会。中国并购行业领袖、知名专家学者和政府高官汇聚一堂,解释“国企重组”、“产业整合”、“中国经济全球化”等2004年关键词.探讨并购战略与企业发展。 博科智能财务“把关”世博建设近日,上海博科资讯股份有限公司的”博科Open9000”     

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

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

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

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

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

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

最优控制系统综合问题中首次积分的应用

在具有固定时间和自由右端的变分问题中，利用自由未控制对象运动方程的首次积分．较详细讨论了最优控制系统综合方法．     

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

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

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

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