CO2弧焊电源动特性的模糊逻辑推理评定

ＣＯ２弧焊电源动特性的评定方法一直是焊接界未能很好解决的问题,论文中研究了用子波统计分析方法由焊接过程电信号中提取与电源动特性相关的特征信息,并在大量的实验基础上,根据实际经验研究了动特性的模糊逻辑推理评定方法,建立了模糊逻辑推理评定系统,实验证明了该评定系统的有效性。     

基于情境的文本中的时间信息分析

情境用来描述文本中具体的动态和静态事件,时间是其重要因素·为了分析文本中的时间信息,本文首先给出了一个基于情境的文本理解的模型,并在时态逻辑的基础上,提出了文本的时间信息分析方法,它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括:讨论了时间的概念、时间的类型和时间单位的转换机制;分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系;并给出了所使用的时态逻辑     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

变电站电压无功自适应动态预测模糊控制装置的研制

介绍了一种基于自适应灰色系统理论及模糊控制理论的变电站电压无功综合控制装置．本装置对一定时间后的电压、无功做出预测并进行实时控制．对参数越限进行提前判断和决策，减少了电压、无功的不合格时间．将传统静态区间控制改进为动态分析控制，更好地反应系统的动态特性．应用模糊控制，提高了系统的调节能力和电压质量，保证了系统的稳定性．     

中国共产党对马克思主义结合中国实际逻辑进路的选择

在马克思主义与中国实际结合的过程中,存在着＂四化＂即马克思主义中国化、马克思主义化中国、中国化马克思主义、中国马克思主义化。在结合的过程中,中国共产党选择了一条沿着＂马克思主义化中国——马克思主义中国化——中国化马克思主义——中国马克思主义化＂的逻辑进路,表现为对马克思主义摹写——建构——运用的过程。其实质是理论——实践——理论——实践的逻辑发展过程。这条与＂实践——理论——实践＂道路相悖的道路选择既有符合中国社会实际的方面,但也给中国社会的发展带来了一些问题。     

Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

非致冷红外焦平面阵列驱动电路优化设计

提出了基于复杂可编程逻辑器件 (CPLD)及低压差 (LDO)线性稳压器实现 3 2 0× 2 40长波红外非致冷焦平面阵列 (UFPA)驱动电路优化设计的方法 .选用Altera公司的MAX70 0 0AE系列CPLD作为硬件设计平台 ,运用VHDL语言对驱动时序进行硬件描述 ;选用TI公司的LDO线性稳压器及 14bit视频A/D转换器THS14 0 8实现UFPA偏置电路及视频输出信号的模数转换电路的设计 .测量与仿真结果证明是可行的 .     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

基于CRUISE的轻度ISG型HEV控制策略研究

控制策略是混合动力汽车(HEV)的关键技术,直接影响HEV整车性能。文章以整车动力性和燃油经济性为控制目标,分别设计了基于逻辑门限值的电力辅助控制策略和模糊逻辑控制策略,在CRUISE平台上搭建样车ISG混合动力汽车的模型,并分别在UDDS和NEDC 2种工况下进行仿真分析。仿真结果表明,与同类型传统燃油汽车相比,基于电力辅助控制策略和模糊逻辑控制策略的ISG型HEV的燃油经济性都有明显改善,模糊逻辑控制策略更为适合。     

一种认证安全性的分析与设计逻辑

针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性.