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

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

IT系统在企业中的应用

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

再论农地制度创新与农地资源的可持续利用

近二十年来中国经历了三次大的社会转型，进入了最佳发展时期．但随着“三化”进程的深入，农业发展不稳定、农业生产要素结构性扭曲、农地利用及其制度缺陷等问题日显严峻．制度是促进经济发展的根本性变量，农地制度创新在农地可持续利用中起决定性作用．要解决“三农”问题必须解决其根源问题——现有农地制度与农地可持续利用的结构性矛盾．为此，要创新农地产权制度，确保产权主体在．配置农地资源上的核心作用；完善农地流转制度，提高农地规模经营水平；建立农地保障替代机制，强化农地的生态、生产功能．     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

水库闸坝自动化监控系统浅析

水库闸坝自动化监控系统对于提高闸坝的运行管理水平和组建流域水文调度系统具有重要作用。该系统具有远程控制与调节能力、大坝安全检测系统及自动监控系统，为水库的安全运行提供有力的保障。     

社会生命系统的宏观序结构模型分析

讨论了仿生学方法在社会生命系统的宏观序结构模型中的应用 ,分析了社会生命系统的宏观动力结构 ,为复杂社会系统宏观控制的研究提出了一个可供参考的理论模型 .     

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

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

基于MRPII思想的企业现代生产管理系统的实现

制造资源计划(Manufacturing Resources Planning，MRPII)是在闭环的MRP基础上发展起来的应用于生产和库存控制方面的一种先进的管理思想与方法，它是将MRP系统与企业财务、经营和技术等方面的管理有机结合，产生一种新的综合计划管理系统，能使企业的管理系统快速、高效和安全地运行，可以对各种各样的信息进行收集、储存、加工和整理并及时地提供决策依据，     

自动化物流翘楚昆船驶入快车道

在现代化经济社会里,自动化物流对于社会的繁荣与发展具有举足轻重的作用。 云南昆明船舶设备集团有限公司(简称昆船)长期以来一直致力于自动化物流系统的开发研制和技术创新工作,在科技先导、技术创新理论的指导下,通过引进