BL-代数的余零化算子及其BL同态像

通过在BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出BL-代数的一个子集是多点余零化算子像的充要条件;研究多点余零化算子BL同态像的性质并分别给出余零化算子的BL同态像和余零化算子的BL同态原像是余零化算子像的充要条件.     

基于拦截式中间件的HLA仿真克隆研究

仿真克隆可以提高分布式离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.介绍仿真克隆的相关概念,基于HLA仿真克隆的体系结构,提出并设计一种支持多剧情并发执行的拦截式仿真克隆中间件,并讨论基于该中问件的仿真克隆过程以及克隆过程中的数据同步策略,最后通过实验验证所提方法的适用性.     

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

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

新农村文化创新的逻辑考量

文化创新是推进新农村文化建设的根本。在新农村文化建设中,文化创新具有完整的内在逻辑体系。农村多元文化矛盾运动是新农村文化创新的逻辑起点,内源性的文化创新和外源性的文化整合及其交互运动是农村文化创新的主要逻辑路向,而文化和谐的和谐思维方式是农村文化创新最根本的逻辑思维方式。分析新农村文化创新的内在逻辑体系,有助于揭示农村文化的发展运动规律和准确理解当代农村文化创新的本质内核。     

逻辑代数在PLC控制系统中的应用

介绍了1种用双PLC备份实现某化工厂工艺电器控制系统硬件电路设计方法．根据继电器常用的工作方式，探讨了继电器的逻辑关系表达式，将逻辑代数这一数学工具引用到继电器控制和PLC梯形图设计中能够快捷、准确地实现控制系统原理图．对于复杂的二次原理图还可以采用分块设计然后再组合，大大地提高了工作效率，实践证明，该方法简单、快捷，并且具有灵活性．     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

4个加数的并行加法器及扩展接口的研究

算术逻辑运算单元(ALU)决定着中央处理器(CPU)的性能,而加法器又决定着ALU的性能.为了提高CPU的性能,文章提出了一种4个加数的并行加法器及其接口扩展的研究方案,论述了所提新型加法器的工作原理和过程,同时描述了接口扩充思想;最后,采用MAX+PLUSⅡ对设计电路进行了模拟验证,实验结果说明了所提加法器的设计合理性.     

从藏语格标记看结构语言学的局限性

在藏语语法中格标记具有举足轻重的作用,诸如使动词成为羡余,使句子中名词性成分容量提升,造成句法成分的多重性等。在以格标记为核心的名词句中,结构语言学直接成分分析法的局限性明显凸现,而语言逻辑却占有一席之地。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

对依法治校与现代大学制度的一种理论追寻

我国现代大学制度的内涵首先表现在应秉承学术自由、大学自治、以人为本和彰显民族特色的价值理念,要使得这些理念得以制度化就必须实施依法治校的方略;依法治校的实质内涵与灵魂是奉行法的统治,坚持一种制度化、规范化与程序化的大学治理方式;依法治校与现代大学制度之间存在着必然的逻辑贯通.