一种时序逻辑网络的快速设计方法

引用1984年尹克震提出的“开关函数的反演公式”,采用伪随机序列技术的思想,提出移位寄存器型时序逻辑网络的一种快速设计方法。     

两种死锁分析的逻辑方法

从逻辑的角度出发,根据请求模型用谓词逻辑分析死锁,并统一于一个通用的表示中;然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁,便于程序的安全性验证 最后,把这些方法用于 Ａｄａ 程序的验证系统中     

基于上下文时序关联的时序知识图谱嵌入方法

时序知识图谱的嵌入表示是知识工程领域的研究热点之一,现有的时序嵌入模型大多通过不同的方式将时间信息融入静态嵌入模型中,以此学习实体和关系的时间演化过程,但是难以挖掘和学习细粒度的时序关联信息。因此本文在之前研究的基础上,提出一种在复数空间下上下文时序关联的时序图谱嵌入表示模型,将细粒度时序信息细分为知识开始时间的相关性和知识时间间隔的一致性。设计了一种上下文感知时序关联信息挖掘方法,筛选语义相似的上下文四元组,挖掘训练四元组中包含的时间信息与上下文四元组时序关联信息,增强嵌入模型对于细粒度时序信息的学习。将本文方法与已有的方法在两个公开的时序知识图谱数据集YAGO11k和Wikidata12k上进行了实验。实验结果表明,对于MRR(mean reciprocal rank)和Hits@k(k=1,3,10)指标,本文方法与已有方法相比都有一定的提升。     

基于工作流图的办公自动化系统需求分析

给出了办公自动化系统的两个基本要素：人员和文档．具体分析了它们的静态和动态属性,以湖北省对外贸易经济合作厅的办公自动化系统的需求分析为例,提出了一个用工作流图描述它们之间关系的新的通用的需求分析方法．     

n个部件和开关组成的时序转换系统的可靠性

针对一些部件交替工作的复杂系统的可靠性指标求解问题,给出了由n个部件和一个开关组成的时序转换系统的定义,并对此类转换系统的可靠性进行研究。当转换系统中的部件和开关的寿命都服从指数分布时,得到了转换系统的可靠度解析式,并将结果应用于空调的可靠度求解,在实践中检验结果的合理性。     

基于逻辑函数e导数的双逻辑综合

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.     

一种基于模型检查的入侵检测方法

在分析系统行为以及其动作序列的语义的基础上，利用时序逻辑公式描述攻击特征，提出了一种基于模型检查的入侵检测方法，该方法解决了检测中的重复验证等问题，通过增加推理链的长度约束，引入时序算子处理统计攻击，从而优化了入侵检测过程。     

基于多值逻辑方法的模糊逻辑函数规范展开

首先提出了模糊逻辑和多值逻辑的相似性，并建立了三值逻辑函数文字运算和模糊逻辑函数短语的对应关系，进而提出了从三值逻辑函数的规范展开式求得模糊逻辑函数展开式的算法，并用该算法对几个模糊逻辑函数实例进行了规范展开，实例操作表明，该算法具有简单、规范、方便快捷的特点，是获得模糊逻辑函数规范展开式的一种有效的方法。     

基于次态卡诺图的J、K激励函数最小化方法及时序逻辑电路自启动设计

分析了JK触发器的激励函数和次态函数的关系并在卡诺图上建立二者的联系,提出了在触发器的次态卡诺图上直接求解最小化J、K激励函数的方法,讨论了无效状态的赋值问题及自启动设计方法,对简化时序逻辑电路的设计过程具有实用意义.     

基于三变量通用阈值逻辑门的量逻辑函数查表综合变

介绍并讨论了逻辑函数的分类和通用阈值逻辑门，提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法．并给出了若干设计实例。     

时序媒体间同步控制机制的时态模型

在大量实际研制、开发多媒体软件产品工作基础上,通过分析现有同步控制方法的优缺点,提出了一个统一的、可适应时序媒体间同步关系定义的时态模型,该模型可满足时序媒体定量定性的同步控制要求,并给出了“唇同步”控制的时态定义实例．     

基于电流型CMOS电路的阂值逻辑门

本文讨论了闭函数的定义和性质，简要地介绍了电流型CMOS电路的代数理论.在此基础上提出了用电流型CMOS电路实现闭值逻辑门的新方法.与以往的阂值逻辑门相比，它具有较简的电路结构.     

基于默认逻辑的继承例外的表达和推理

继承层次网络的非单调性表现为例外和矛盾2种情形,本文讨论了例外的默认逻辑表达方式和推理机制,探讨了正规默认和半正规默认表达的直观含义和推理能力。     

普通船用雷达改装为多功能船用雷达的设想

根据IMO在2002年1月1日将实施船用雷达的新要求,提出了利用PC机及现有船用雷达的天线和收发器实现一种多功能雷达的途径和技术要求.     

基于XOR门的静态逻辑电路功耗优化技术

提出了一种新的基于XOR门的静态逻辑电路功耗优化技术.通过极性转换,可迅速得到基于XOR门的静态逻辑电路的最优结构,达到优化功耗的目的.实验结果表明,本文提出的算法在功耗节省方面比其他同类算法更有效.     

基于多视点的快速原型化方法的研究

提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性．此外,本文也讨论了这个新方法的特点和今后需要解决的问题．     

比较逻辑与异步触发时序电路的分析和综合

本文从触发器的完整状态方程出发,研究了异步触发时序电路的分析与综合的新方法,提出了触发器的α跃变、β跃变行为可用比较运算中的小于、大于运算表示,而各触发器的α跃变、β跃变之间的覆盖关系则可用大于等于运算进行检验。在此基础上提出了适用于使用计算机的异步触发时序电路的分析和综合程序。     

基于模型检测的软件安全性验证方法

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.     

基于主成分分析的图像匹配方法

将主成分分析引入图像匹配过程，提出了一个基于主成分分析的图像匹配算法，将根据基准图来制备畸变图集，并用这些畸变图来作为训练样本，由这些畸形变像确定新的主成分空间，把畸变图变换到主成分这间中，在变换过程中尽量存原始图像的整体特征，在新空间做匹配，并以处理人脸图像匹配为应实例来检验匹配结果，该算法有一定的抗畸变能力。