基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

交际语言与逻辑

文章引用交际语言实践中典型的鲜活案例，剖析具有普遍性意义的语言现象，并从交际语言与逻辑思维的角度论述语言信息、事物关系同思维形式、逻辑规律之间的内在联系以及语言规范的逻辑意义。     

微机控高精度高压脉冲电源的研制

介绍利用大功率绝缘栅极晶体管(IGBT)配合脉冲升压变压器组成的高精度高压脉冲电源。该电源利用复杂可编程逻辑器件(CPLD)产生触发信号，通过微机、单片机、CPLD实现脉冲频率、脉冲宽度和脉冲个数的微机控制。且脉冲宽度能够以1μs步长增减，满足了脉冲电场非热效应处理技术应用的研究。     

Logistic回归模型的Bayes分析

本文应用Bayes观点讨论了logistic模型中的参数估计问题。     

马克思的社会跨越理论研究--从主体逻辑与客体逻辑角度考察

马克思的历史辩证法的真理内核在于他把握住了人类社会历史发展的两个根本的逻辑——主体逻辑与客体逻辑。我们如要正确认识和揭示历史，就应把握住这两个逻辑，而不能把二者割裂开来。问题的关键不在于资本主义对生产力发展的推动作用上，而在于我们如何通过历史发展的主体逻辑认识资本主义对社会历史主体人自身的发展所起的作用，这正是被许多人忽视的问题。     

基于模糊逻辑的直升机终端滑模控制

为解决终端滑模控制在系统远离平衡点时收敛速度较慢以及在平衡点附近存在高频抖振的问题,提出一种用于直升机控制的双层模糊终端滑模控制策略.该方法综合了终端滑模控制和模糊逻辑的优点,系统状态位于终端区外时采用基于模糊比例型达到律的模糊终端滑模,在终端区内采用基于连续型达到律的无抖振终端滑模.采用该方法为某型直升机的姿态稳定设计了控制律.仿真结果表明,该方法不仅保留了滑模控制所具有的鲁棒性强的特点,而且使得系统状态在远离平衡点和平衡点附近时都能快速收敛,同时消除了高频抖振.     

公交计数系统设计与实现

提出了采用单片机、CPLD和光电传感器来实现公交计数的设计思想，并给出了系统的软件和硬件的实现方案．在系统中采用多个传感器来完成对整个人的判断，从而提高计数精度，CPLD完成传感器信号的处理，AT89C51完成对整个系统的控制．     

禁止进口固体废弃物的逻辑与前景

封闭经济体中可以进行经济协同的空间较为狭小,经济全球化则深刻改变了各国在全球价值链上扮演的角色。商品、服务、资金、人员等各类要素的流动和分配方式更为多元,为各类经济活动的全生命周期管理提供更多方案。一直以来,生活消费品的最终阶段并非止于消费者,而是需要进一步延伸至垃圾处理、回收和再利用环节。长期以来,作为全球制造中心,中国通过大量进口原材料.     

视觉概念学习方法研究进展

计算机视觉的核心问题是寻找视觉概念的层次化与结构化表示.以深度学习为代表的连接主义方法能够学习到输入图像数据的分层表示,这个表示具有优异的类内不变性与类间区分性,带来了视觉目标分类问题的突破式进展.而以图像随机语法模型为代表的逻辑主义方法试图基于先验知识和输入图像数据得到视觉概念的层次化与结构化表示,进而实现像人类一样的概念迁移学习,从更一般的意义上解释视觉现象.综述了两类方法各自的一些代表性工作,分析了其主要思路与各自的优缺点.分析认为,两类方法具有明显的互补性,在概率图模型框架下将两类方法综合是未来视觉概念学习的一个重要发展方向.     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。