形式化设计相关论文
集成了传感器、嵌入式计算、网络和无线通信四大技术而形成的无线传感器网络是一种全新的信息获取和处理技术,它是一种新型的无基......
安全协议是建立在密码学基础上的网络协议,用于确保网络通信的安全可靠。近年来,随着网络需求的不断增长,安全协议的设计研究也逐......
随着软件系统的结构越来越复杂,规模越来越庞大,复杂程度越来越高,软件出现错误的可能性及其造成的危害也日益突出。并发系统在以......
随着社会的进步，人文精神的影响日益显著，作为精神载体形式之一的主题博物馆日渐繁荣，对它的研究也日需强化。而形式是任何建筑都无法......
自动制造系统（AMSs：AutomatedManufacturingSystems）Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计......
随着智能制造业和现代物流业的快速发展，自动导航车辆（Automated Guided Vehicle，AGV）已经广泛地应用于智能制造车间、自动化码头和立......
文件系统作为操作系统中数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法时微内核架构文件系统进行......
由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证......
操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模......
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对......
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安......
我们的学生处在一个蓬勃发展而又充满危机的时代。一个机械复制的时代。由于处在各种前卫艺术和传统文化的交替以及经济的迅猛发展......
文中对通信软件的可重用部件库进行研究．结合通信软件部件的特征，提出通信软件部件开发应考虑的附加因素，围绕部件开发的代价和效益目......
已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前......
自动制造系统（ＡＭＳｓ）Ｐｅｔｒｉ网控制器形式化设计是ＡＭＳｓ Ｐｅｔｒｉ网控制器自动设计的理论基础。本文以ＡＭＳｓ计划层和调度层生成的工序序列和资源需求序列为基础，为顺......
机器人的形式化验证方法通常很复杂,目前还没有一种通用的方法。本文对机器人的形式化设计和验证的概念进行介绍,描述其框架和基本......
剪纸是中国民间艺术的一种重要形式,在与其他艺术所发生关系中它都起着积极的作用.但在当代商业设计中,剪纸却成为一个丧失自身独......
针对目前尚无不可否认协议的形式化设计方法，提出一种基于逻辑的不可否认协议形式化设计方法，包括逻辑语言、定理、推理规则及合成规......
针对现有安全认证l办议中存在无数学模型、层次结构不清晰、适用范围窄的问题，提出协议组合推导系统。将安全协议按安全目标分为3个......
本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。...
对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证......
从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网......
互联网内容分级服务正得到政府部门和研究机构的关注和重视,内容分级产品的开发和市场应用也日渐增长,但已有的产品各自采用私有解......
操作系统作为基础软件,为上层的各种应用软件提供了支撑和服务的平台。为此,操作系统的安全性是计算机系统信息安全的重要基础。然......
采用数学形式化方法对操作系统进行设计和验证可以保证系统的高度安全性.目前已有的操作系统形式化研究工作主要是验证系统的实现......
操作系统的复杂性使得其安全性问题目益突出．有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证，这些工作主要是......
