具有模糊时态的广义可能性线性时序逻辑的模型检测

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL（Generalized Possibilistic Fuzzy Linear Tempora Logic）的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPoLTL（Generalized Possibilistic Linear Tempora Logic）进行了扩张,并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.     

概率时态认知逻辑模型检测中三值抽象技术的研究

 为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认知逻辑的满足性保持关系;提出概率时态认知逻辑模型检测算法;依据初始模型检测的结果,给出利用最小证据和最小反例引导的抽象系统的求精过程.最后通过Dining Cryptographer协议说明了抽象技术的应用,及其在约简系统状态空间方面的效果.     

基于本体论的电子商务知识描述语言

应用本体论对电子商务知识建模,提出电子商务知识描述的分层框架,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言(KDL).介绍了KDL的语法,从一阶逻辑的角度分析KDL的语义特征,提供KDL描述到一阶逻辑表达式的映射方法.最后,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力.     

从命题时态逻辑产生上下文无关文法

线性命题时态逻辑能描述有限状态系统的无限行为。这种行为能用上下文无关文法准确地描述。根据该文法，可以构造一个满足时态逻辑公式的Ｋｒｉｐｋｅ结构。本文给出构造对应于命题时态逻辑公式的上下文无关文法及由该文法构造Ｋｒｉｐｋｅ结构的方法。     

不确定型模糊Kripke结构的计算树逻辑模型检测

本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词∃和任意量词∀在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词∃_sup,∃_inf和∀_sup,∀_inf,分别用于替换存在量词∃和任意量词∀.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式∃_suppUq,∀_suppUq,∃_infpUq和∀_infpUq分别给出时间复杂度为对数多项式时间的改进算法.     

光电子混合模糊逻辑

本文提出了一种由光电子混合回路构成的简单光学模糊逻辑门设计。演示了补、最大、最小和限界差(相对补)四种最基本的逻辑操作。给出了一个多功能可编程的光电子混合模糊逻辑门,可实现模糊逻辑中七种基本逻辑运算。     

基于SHOIN+(D)的关系数据库语义化方法研究

为了解决关系数据库语义支持不充分的问题,以数据库逆向工程技术和描述逻辑为基础提出基于SHOIN (D)的关系数据库语义化方法,将关系数据库转化为相应的SHOIN (D)知识库.其中数据库逆向工程技术用来从关系数据中提取ER模型,OWLDL的等价逻辑SHOIN (D)用来描述获的得的ER模型.文中给出了详细语义化算法并且证明了其语义保持性,并在此基础上设计了相应的语义转换模型,以具体实例验证了该语义化方法的可行性及实用性.     

采用阴影投射法实现的光学并行模糊逻辑

本文提出了一种新的空间编码方法并利用阴影投射系统实现了光学并行模糊逻辑门。本系统可全光学并行实现模糊逻辑中的七种基本逻辑运算,并给出了实验结果。     

概率实时时态认知逻辑模型检测中抽象技术的研究

概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于PTACTLK中的实时部分PTACTL,采用抽象离散时钟赋值,把概率实时解释系统的无限状态空间转化成有限形式;对于PTACTLK中的认知算子K,给出了抽象状态关于智体认知等价的定义.定义了概率实时解释系统的抽象模型,给出了抽象模型上概率实时时态认知逻辑的语义,并证明了由抽象技术演绎得到的抽象模型是原始模型的上近似.最后通过一个通信协议来说明抽象技术的有效性.     

一种基于角色的使用控制授权模型

综合基于角色的访问控制RBAC模型和使用控制UCON模型各自的优势,提出了一种基于角色的使用控制授权模型.该模型基于属性分配角色,通过授权规则、上下文信息约束和属性更新机制来实现动态授权并能有效降低授权管理的规模.对该模型的基本元素进行了形式化描述,并用动作时态逻辑TLA来分析该模型的动态性和安全性,最后分析了该模型的特点.     

低电压Charge-Recovery逻辑电路的设计

提出了一种新的适用于低电压工作的 sem i- adiabatic逻辑电路—— Dual- Swing Charge- Recovery L ogic(DSCRL) .该电路由 CMOS- latch- type电路及负载驱动电路构成 ,对负载的驱动为 full- adiabatic过程 .DSCRL 的电源为六相双峰值脉冲电源 ,低摆幅脉冲用于驱动负载 ,高摆幅脉冲用于驱动 CMOS- latch- type电路 .降低负载上摆幅时驱动负载的 NMOS管的栅压可以保持不变 ,有效地解决了传统的 adiabatic电路在低电压工作时 charge- re-covery效率降低的问题 .文中比较了 DSCRL 电路与部分文献中的 semi- adiabatic电路的功耗 ,DSCRL 在低电压工作方面     

同标签Vague命题的Lawry乘-加逻辑 与Lawry下-上确界逻辑

作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念,并给出了它们的逻辑规律.由此,本文又提出了新的非经典命题逻辑,称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖,而且相比Lawry的不确定模型适应面更广.     

启迪学生逻辑思维的一种方法

通过学习专业基础课,学生应能掌握本学科的基础理论知识,更为重要的是,应具备能够应用此基本理论正确,灵活地解决问题的能力。在“电工学”教学中发现,多数学生对理论知识并不难以理解,而解决问题的能力稍有欠缺,这集中反映在同学作业的过程中,如何引导学生正解题的思维？作者从设计习题题目的过程中得到启发,运用了一种思维逻辑树图来引导解题过程,教学实践表明：该方法能有效地启迪学生解题的反向逻辑思维过程,对于培养他们独立分析,解决问题的能力很有益处,且该分析方法具有普遍的适应性,深受同学欢迎。     

三值双传输管电路的通用综合方法

提出采用双传管逻辑设计三值电路的方法,对每个MOS管的逻辑功能均采用传输运算予以表示以实现有效综合.建立了三值双传输管电路的反演法则和对偶法则.新提出的三值双传输管逻辑电路具有完全基于标准CMOS工艺,无需对MOS管作任何阈值调整,结构简单、规则,输入信号负载对称性好,逻辑摆幅完整以及无直流功耗等特点.采用TSMC 0.25μm工艺参数和最高电压为3V的HSPICE模拟结果验证了所提出综合方法的正确性.     

基于交通故障报警系统的组合逻辑电路的设计

用数字信号完成对数字量进行算术运算和逻辑运算的电路称为数字电路,可以分为组合逻辑电路和时序逻辑电路两大类.其中,组合逻辑电路是由最基本的逻辑门电路组合而成.文章以交通故障报警系统为例介绍了三种设计方案,以便学生熟悉常见组合逻辑电路的特点及应用.     

忆阻器实现逻辑门的方法研究

在分析忆阻器特性及相关文献的基础上提出了一种只使用忆阻器元件实现基本逻辑门的电路方案,理论分析及Spice仿真实验结果证实了方案的可行性．所设计的逻辑门电路简单,实现的逻辑门无需时序操作就能工作,其在电路尺寸、集成密度、电路功耗等方面拥有很大的优势．     

三值双传输管电路的通用综合方法

提出采用双传管逻辑设计三值电路的方法,对每个MOS管的逻辑功能均采用传输运算予以表示以实现有效综合.建立了三值双传输管电路的反演法则和对偶法则.新提出的三值双传输管逻辑电路具有完全基于标准CMOS工艺,无需对MOS管作任何阈值调整,结构简单、规则,输入信号负载对称性好,逻辑摆幅完整以及无直流功耗等特点.采用TSMC 0.25μm工艺参数和最高电压为3V的HSPICE模拟结果验证了所提出综合方法的正确性.     

一种基于特征多项式局部逻辑替代新方法研究

将验证和测试阶段的一种特征多项式方法应用于布局后逻辑重综合中,以此寻找满足时序要求的可替换模块,通过在域上计算其特征多项式来比较模块的等价性.可以大大提高综合效率,通过实验结果说明了本方法的有效性,具有一定的借鉴意义.     

Hazard simulation of sequential circuits

A 7-valued logic appropriate for hazard simulation of sequential circuits is investigated in this letter. The 5-valued system of Lin and Reddy is extended to discriminate transitions with and without hazard. We assume that hazards are damped in the feed-back loop of flip-flops, and introduce a kind of filter to assure it. The application to hazard checking is demonstrated for counter circuits.     

Schematic Extensions of MTL by Adding Weak Divisibility Axiom

MTL is a Monoidal t-norm based logic introduced by Esteva and Godo by omitting divisibility axiom from Hájek's Basic logic (BL).Many logics can be obtained by adding axioms to MTL logic.Logic system WBL is obtained by adding weak divisibility axiom to logic system MTL.Logic system WMV is obtained by adding involution axiom to logic system WBL.WBL-algebra corresponding to logic system WBL and WMV-algebra to logic system WMV are defined respectively.It is proved that the both of logic system Luk and logic system Nilpotent minimum (NM) are the schematic extensions of logic system WMV.Weak Wajsberg algebra and the simplified form of logic system WMV are obtained.