时序逻辑相关论文
恶意软件会对虚拟环境产生威胁，破坏网络正常运行，为了健全网络安全防护机制，提出恶意软件攻击行为的时序逻辑建模分析。分析了多种软......
软硬件系统的正确性和可靠性十分重要,一个微小的漏洞在某些系统中可能造成重大的财产和安全损失。除了软件测试方法外,形式化验证......
对同一生态损害的事实，现行立法和政策规定的民事诉讼与行政执法措施存在着制度冲突，应当具体地分析受损的环境要素类型，找到具体的冲......
计算机联锁是具有代表性的铁路信号安全苛求系统,负责列车的进路控制和车站作业安全防护。当前计算机联锁系统运行维护的智能化水......
经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随......
网络的爆炸式发展对各行业的发展带来了巨大影响,与此同时各类网络安全问题也随之出现。对于网络安全防护的要求已经上升到了前所......
对等计算网络系统中的每个节点地位对等，可以同时成为服务的使用者和提供者，为在Internet这样开放的网络环境中进行大规模的资源共享......
在工业自动化、测量和网络通信领域,随着人们对标准化、开放性以及技术面向未来特性认识的不断提高,CompactPCI技术和PXI技术不断......
让计算机软件具有智能性,代替人类处理复杂多变的坚巨任务是人们孜孜以求的目标.在人工智能研究领域中,人们为了达到此目标,克服一......
学位
随着仿真技术的发展，仿真系统日益向着大规模、开放、分布的复杂仿真系统方向发展。仿真系统的事件管理方法随着仿真技术的发展不断......
物体搬运在实际应用中十分常见,但在空间尺寸受限或者有危险的环境下进行物体搬运非常困难,因此,如何在环境受限的情况下利用多智......
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使......
当前，基于构件的软件开发方法已经受到越来越多的重视。大多数构件经过了严格的质量认证，单独运行时功能十分明确，但当来自于不同开发......
软件的规范说明阶段(specification phase)对于软件整体开发过程来说是一个非常重要的阶段，它可以被认为是需求分析的一部分。用自......
本文对基于时序逻辑的柔性工作流进行了初步的研究。在分析基于时序逻辑的工作流模型和柔性工作流特性的基础上，详细描述了基于时序......
由于因特网和嵌入式系统在汽车、飞机以及其它安全系统的成功应用，未来将会更加依赖于计算机设备的功能。由于技术的快速发展，发展验......
关联规则挖掘是数据挖掘中最活跃的研究方法之一。最早是由Agrawal等人提出的（1993年）。最初提出的动机是针对购物篮分析（Basket Anal......
工作流是近年来计算机集成制造领域发展最为迅速的技术之一。目前已有多种产品应用于实际中,例如Metero、WIDE等。但由于大多数产......
软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的......
随着以Web服务为基础的面向服务的体系结构的发展，如何有效组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为......
在统一建模语言(Unified Modeling Language)UML2.0规范中，模型的语法是通过元模型以类图形式定义的，静态语义用对象约束语言(Object......
Verilog语言编辑环境简单、设计方法多样,既可以描述硬件系统模型的结构和行为,又可以描述系统的功能,因其简洁多样的形式,在数字......
模型检测是一种基于形式化方法的自动分析和验证技术,问题的关键是状态空间爆炸的解决。Lesilie Lamport提出行为时序逻辑(TLA)理......
随着社会经济的快速发展,国家及各级地方政府对教育行业的投入越来越大,教育采购的规模也逐年扩大,这样需要一套信息化的措施来提......
本文提出了打结不变的命题投影时序逻辑,介绍了基于该逻辑的模型检测方法,并采用该方法验证了无条件安全通信协议。命题投影时序逻......
美国国防部的可信计算机系统评估标准TESEC认为访问控制是评价信息系统安全的主要指标。访问控制根据已定的系统安全策略的要求,对......
随着计算机和互联网技术的快速发展，各种计算机软、硬件系统已广泛渗透到人类生产和生活中，然而如何保证计算机系统严格按照人类设计......
随着计算机技术的不断发展,计算机软硬件系统已经深入渗透到实际生活中的各个领域,若这些系统一旦出错,将给人类带来不可承受的损......
随着网络攻击种类越来越多样化、攻击手段越来越复杂，入侵检测技术日益受到重视。入侵检测是一种重要的网络安全技术，根据检测原理不......
模型检测(Model Checking)是一种重要的形式化验证方法,广泛用于软硬件系统行为的自动验证.为了使包含非确定性信息、不完全信息和......
随着软件系统日益增长的复杂性以及应用的广泛性,其正确性、可靠性不可避免地成为了当今软件系统首当其冲需要解决的问题。而对于......
随着计算机和互联网技术在各个领域的广泛应用,软硬件系统的正确性与可靠性变得十分重要。对于复杂的软硬件系统,传统的软件测试方......
计算机联锁系统作为典型的安全苛求系统是铁路控制系统的核心部分,在保障行车安全方面起着无可替代的作用,因此必须保证其安全性和......
随着代码规模的增大和系统复杂性的增加,软件开发者意识到依靠人工的方式去维护软件系统、排除系统错误已经变得非常困难。形式化......
关联数据流的日益普及推动了RDF(Resource Description Framework)流处理引擎的发展。其中,CQELS(Continuous Query Evaluation ov......
随着计算机在人类社会各个领域的普及,软硬件系统的正确性问题已经备受关注,在过去的几十年里,形式化验证方法已成为保障软硬件系......
进入21世纪以来,信息技术已逐渐成为推动经济发展和提升生产效率的强大动力,软件技术的普及度越来越高,软件行业呈现出高速发展的......
本文涉及了微功耗电子时间引信的若干问题。它讨论和提出了采用CMOS集成线路的微功耗引信方案。由于采用了这种类型的器件,达到微......
文中提出了一种边缘计算终端业务的时序逻辑与计算负荷建模方法。首先,提出了业务的时序逻辑图和边缘计算终端架构,构建了业务的计......
AD喷涂机是显像管生产线上用于向显示屏内表面以雾状形式交替喷涂石墨和巴利亚液体的设备.合理选择喷涂工艺参数并对其工作过程进......
安全模型(Security model)准确描述安全的重要方面及其与系统行为的关系，建立安全模型的主要目的是提高对成功实现关键安全需求的理......
随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为人工智能领域中一个新的研究热点.基于Agent的技术被......
Agent和多Agent系统是分布式人工智能一个重要的研究领域.协商是多Agent系统中保证Agents间能够有效交互的最普遍、最主要的形式.......
