浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.     

可重构的硬件实验系统

可编程技术的迅速发展，给电子系统的设计带来了极大的方便，基于芯片的设计方法将成为今后发展的主流，这就要求即将工作于电子和信息领域的学生学会并掌握这种设计方法。然而目前各高校使用的实验仪器大部分仍局限于做传统的验证性实验，使学生未能充分发挥其创造才能。文中介绍了笔者研制的一套以可编程器件为核心实验系统，可进行多种数字电路的设计，具有可重构的特点。最后，介绍了一个简单模型机的设计过程。     

软件复用中变化点处理机制的设计与实现

在复用驱动的软件开发中,被复用的构件要求具有良好的通用性和灵活性品质,变化点处理机制为此提供了保证。论述了变化点处理机制的重要作用,介绍了几种主要的方式以及各种方式的使用范围,并详细介绍了各种机制的实现方法和注意事项。     

Research of a Reusable Application

We will present the concept and definition about software architecture and software reuse. And then discuss the software architecture that can be reused. Finally we present a demo of reusable software system in a MIS project.     

科学发现的逻辑与创新意识的培养

“科学发现的逻辑”与对科学发现问题做逻辑的研究,是两个不同的问题。现代科学哲学家对“科学发现的逻辑”的否定,给教育者如何培养人才指明了方向。教育应当把培养学生的创新能力作为重点。     

动态认知逻辑:变化中的认知推理

动态认知逻辑是近年兴起的非经典逻辑,是一个相对比较新的研究领域.它是逻辑、认知以及信息相交汇的产物,旨在分析知识与信息的变化,为逻辑推理中的信息动态认知提供形式语言表达、结构模型以及一套形式化的处理办法.动态认知逻辑对于语言构造的分析、人的动态化认知过程、人工智能以及计算机的信息处理具有重要意义.     

基于Matlab与VC++混编技术的混杂系统预测控制及仿真

深入研究了混杂系统基于混合逻辑的建模方法，提出变权重矩阵的预测控制策略对系统进行优化和控制，对一个具体实例进行了仿真研究，表明基于混合逻辑动态模型的变权重预测控制策略能使系统跟踪设定值并满足约束条件。基于Matlab与VC 设计的系统仿真平台，为算法工程化实施提供了一个有效途径。