案例点评

CCU读者俱乐部会员评论考虑系统重建我也认为基于时间逻辑对公司ERP系统是比较合理的,感觉以前的ERP都是基于物料逻辑管理,一直在思考他们这些系统为什么不做成基于任务和时间逻辑方法构建,这样对公司整体管理会非常方便和实用,我想这也是老总这样提出的初衷吧。     

反应系统的连续时序逻辑表示和验证

引进一个称为LTLC的连续时间时序逻辑，用来对反应系统进行规范与验证．LTLC的一个重要特点是它能在统一的逻辑框架下表示反应系统及其性质，这样就可将系统与性质问的满足关系转化为逻辑公式间的蕴涵关系．同时，采用非负实数集作为时间域还使我们可以利用标准的存在量词来表示变量隐藏，并可用逻辑蕴涵来表示反应系统间的求精关系．该文首先给出了LTLC的一个简单介绍，然后讨论了如何使用LTLC对反应系统进行表示与推理，最后证明了一个关于LTLC的可判定性结果．此结果可用于有穷状态反应系统的自动验证．     

基于时态的模糊描述逻辑初探

针对现实生活中,有许多的信息都是具有时间属性并且带有模糊、不精确的特点,在时态逻辑和模糊描述逻辑基础上,利用vager集概念,对基于时态的模糊描述逻辑系统进行了初步的研究,并给出了时态模糊描述逻辑的语法和语义的相关说明.与模糊描述逻辑FALC相比,该系统的提出在一定程度上弥补了FALC作为语义Web逻辑基础在表达时序上的空白.     

一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.     

大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

基于描述逻辑的策略系统建模方法研究

采用基于策略的方法对安全管理,服务质量等进行监管,已经得到广泛应用.描述逻辑是一种基于对象的知识表示形式.本文提供了一种基于描述逻辑的策略系统建模方式,将策略定义为两种类型,即授权策略和义务策略.根据其性质特点建立主体、客体、角色、动作、事件、约束条件等概念,结合概念之间的关系,最终得到基于描述逻辑的策略系统模型.借助描述逻辑的推理技术,可以对策略系统模型进行分析.并举例说明了这种基于描述逻辑的策略规格方法.     

随机时序逻辑的模糊时间扩展方法

基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。     

基于FPGA的PCI总线接口设计

本文介绍一种基于FPGA的PCI总线接口设计方法。该方法将PCI总线接口和PCI用户逻辑集成于一片FPGA中，并对整个逻辑进行仿真，使PCI总线接口与PCI用户逻辑结合得相当紧密，提高了系统的集成度和可移植性。文章结合ALTERA公司提供的64位TARGET接口宏核pci—t64的工作原理和结构，给出了一总线接口设计实例。     

基于IPC的软逻辑控制系统

通过对软逻辑技术的相关概念和系统内容的分析与讨论，提出了基于IPC的软逻辑控制系统的设计与实现方法，并讨论了各个组成部分的实现策略。其中软逻辑开发系统采用了分层的体系结构，尤其是算法库的建立，增加了系统的可扩展性和适用性。     

时态数据库时间轴的动态逻辑模型

尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作“细精度”的语义刻画.只有这样才能准确地在数据库中反映时间和时间属性的本质特点,并应用于与时间轴模型直接相关的时态查询语言.因此,从分析时间轴的性质出发,对时间轴的序关系和谓词逻辑性质进行了研究和阐述.随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模,这样刻画的目的是为了“细精度”地体现时间轴的特点,并借助逻辑的方法对其分析.在TDB(temporal database)时间轴的动态逻辑建模部分,相对于原时态逻辑系统较为静态,着重处理了时间的动态性,并参照了Tense Logic中的Lin.Z系统,将其转化为动态Lin.Z系统,在其中添加了参数化处理.该参数化的处理是基于动作执行的,主要工作在动作指数的数值化和函数化两个方面,其结果体现了时态数据库中规则生存周期和“Now”节点的一些特点以及知识表达和解决方法,研究结果将对后续时态知识表达和时态数据库查询语言的研究起到积极的作用.     

FPGA 可编程逻辑单元测试方法研究磁

FPGA 是广泛应用于集成电路设计,片上系统等多领域,随着 FPGA 的广泛应用,对其可靠性的要求也越来越高,由于其结构和功能复杂,其测试难度和成本也随之增加。文章简要介绍了 SRAM 型 FPGA 的逻辑单元（LE）的结构,提出了一种基于扫描链的逻辑资源遍历测试方法。以 Altera 公司 FPGA 为例,简述了在超大规模集成电路测试系统CAT T‐400上实现 FPGA 在线配置和功能测试方法。     

FPGA可编程逻辑单元测试方法研究

FPGA是广泛应用于集成电路设计,片上系统等多领域,随着FPGA的广泛应用,对其可靠性的要求也越来越高,由于其结构和功能复杂,其测试难度和成本也随之增加。文章简要介绍了SRAM型FPGA的逻辑单元(LE)的结构,提出了一种基于扫描链的逻辑资源遍历测试方法。以Altera公司FPGA为例,简述了在超大规模集成电路测试系统CATT-400上实现FPGA在线配置和功能测试方法。     

基于逻辑分离的无人机仿真系统设计

针对在无人机仿真系统开发过程中的结构复杂问题,以及时间、经济成本等问题,提出一种ROS环境下基于逻辑分离思想的体系结构,并设计了一款基于PX4开源固件的交互式工具包应用到仿真系统.首先,根据逻辑分离思想进行系统整体设计;其次,在单机和多机的条件下进行仿真并验证;最后对仿真进行分析,结果表明该系统可实现表示层、业务层、控制层逻辑分离的无人机仿真测试,体现出系统设计的正确性与可用性.由于逻辑分离思想的应用,使得系统各部分职能明确,具有更高的开放性和可控性.     

Linux下iSCSI存储系统中逻辑卷管理的设计与实现

iSCSI存储是一种新型的存储技术，将逻辑卷管理模块应用于iSCSI存储系统，可以提高系统的性能和可靠性。文章研究了RAID技术以及iSCSI存储系统的原理和工作流程，提出了Linux系统下iSCSI存储系统中逻辑卷管理的设计方法，并提供了一套参考实现。     

PAC：新一代PLC

现在登陆任何工业控制论坛，您都会看到有关基于PC控制和可编程逻辑控制器(PLC)控制的优缺点。近来，您可能也看到有关PAC的讨论以及这样的问题，“PAC是什么?”为了理解PAC，您需要回顾一下工业控制的历史。     

在NiosⅡ系统设计中SignalTabⅡ的应用

通过对Altera公司的SignalTap Ⅱ基于逻辑分析核的嵌入式逻辑分析仪的特点及使用方法的介绍,并结合实例说明SignalTap Ⅱ为SOPC设计,提供了实时可视性,减少了验证过程的时间,     

基于描述逻辑的主体服务匹配

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推理的形式化工具，它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能，特别是它对概念包含关系的有效判断，把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能，该文提出了基于描述逻辑的主体服务匹配算法，详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配，利用服务分层机制实现了有效和高效的多主体系统中的服务匹配，克服了基于语义距离进行服务匹配的不足．     

基于iSCSI的磁盘阵列管理软件的研究

基于冗余磁盘阵列的IP存储技术成为当前存储技术研究的热点,通过介绍RAID技术,提出了一整套磁盘阵列系统的管理方案。逻辑卷管理的实现和iSCSI协议的实现是重点,通过介绍逻辑卷管理的架构,分析Linux如何通过设备映射机制将物理卷转换为逻辑卷这一过程,然后分析iSCSI协议,提出实现iSCSI目标端的方案。整个系统运行于Linux环境,采用层次化的模块结构设计,保证了系统的设备无关性。     

基于动态滑模的无死锁时间管理算法

基于新一代仿真体系结构HLA的IEEE1516新标准中的最大有效逻辑时间关键值,讨论最大有效逻辑时间在HLA时间管理中的重要意义,分析其在常规时间推进算法中的实现及死锁的产生,研究并证明HLA时间推进中的4个产生死锁的充分条件,即互斥条件、请求保持条件、不剥夺条件和环路等待条件,提出动态滑模的概念,设计了基于动态滑模的无死锁时间管理算法,对Lookahead的合理设置进行了分析。     

基于模糊隶属度函数的传感器失效管理方法

传感器失效管理是传感器管理系统中的一个重要部分,也是当前研究的热点。针对基于模糊逻辑的传感器失效管理方法,该文通过计算机仿真,分析了不同形式的隶属度函数对传感器失效管理的影响。仿真结果表明,基于模糊逻辑的方法能满足传感器失效管理的要求,并且可以减少数据的波动和误差。 真