形式化描述相关论文
目前数字经济正在向可编程经济时代演进,智能合约对可编程经济起着重要的推动作用,但其应用却面临着种种问题。在区块链应用中,由......
近年来,国内各种形式的水文通信规约标准纷纷出台,加快了水文行业智能化、信息化的进程,伴随着数据采集设备数量的逐年增加,数据的......
SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底......
本文对通信协议形式化描述和验证理论与方法进行了研究。文章在用Petri网模型对通信协议进行形式化描述的基础上提出了用Petri......
流控制传输协议(Stream Control Transmission Protocol,SCTP)是由Internet工程任务组在2000年提出的一个可靠的传输层协议-Reques......
随着网络技术的迅速发展,协议测试已经成为网络协议工程学中研究的热点问题。网络环境的日益复杂化对协议实现的鲁棒性提出了巨大......
学位
随着通信网络的迅猛发展,网络结构和各种协议配置变的越来越复杂,靠手工配置网络也越来越繁琐,现有的一些描述形式如框图形式或是E......
随着SDN (Software Defined Networking,简称SDN)技术的不断发展,为了更好地满足未来网络发展的需求,设计新型网络体系架构和网络......
汽车电子控制技术的应用带来了汽车制造技术的重大变革，汽车电子控制软件成为汽车产品的核心组成部分，其功能需求日益复杂。但汽车电......
随着现代制造业的发展，如何敏捷地利用技术提供的可能性，及时抓住市场对新产品需求的机遇，迅速开发出适应市场需要的新产品，已经成为企......
软件会随着时间变得越来越难以理解，越来越难以维护。因而，程序员必须在软件失去控制前重新构造它。重构是在保持程序外部可观察行为......
网络协议测试一直是一个热点研究领域。随着各种协议产品的发展，一致性测试和互操作性测试日益得到工业界的重视。蓝牙协议作为一种......
可行装配序列生成是装配序列规划(Assembly Sequences Planning, ASP)的核心问题,是个典型的NP难题。一般的装配序列规划方法或者......
物联网技术在全球范围内的快速发展引起了极大的关注。受限应用协议CoAP是由IETF借鉴互联网中的REST架构思想,结合物联网的特点而......
该文全面论述了移动Agent技术的发展、概念、理论和应用.然后,通过与传统技术的比较分析,对移动Agent技术进行了评价.提出了一个新......
该文紧紧抓住集成化和智能化这两大网络安全技术的发展趋势,以Petri网和谓词逻辑理论为基础,不仅对网络安全领域的若干重要问题进......
在我们设计PACS时,采用了基于设计模式的设计方法.使用成熟的模式,方便了工程人员间的交流,提高了通用性,为可能的复用打好基础.在......
智能的分布式的电子市场的模式将成为电子商务发展的未来模式,作为分布式人工智能领域的Agent和多Agent技术由于其具有的分布计算......
在分析软件发展中存在的问题及其产生的原因的基础上,总结了国内外学者在需求工程方面的最新研究成果及其发展趋势,阐述了软件需求......
随着计算机网络和Internet的发展,网络安全越来越受到人们的关注和重视.入侵检测作为其中主要的技术之一,已经受到人们越来越多的......
软件体系结构在20世纪70年代的时候由于人们利用一些程序模块的集合来组合成一个软件系统而被人们所认识(这有别于以往程序的语句......
学位
本文作者对基于CTR逻辑的控制流图形式化描述和验证方法进行了深入研究，完善了验证算法，加入了死锁检测功能，使该系统可以对包含死......
目前，Web服务逐渐普及，网格计算方兴未艾，移动无线网络逐步推广，在这些并发、分布和移动环境下，对事务处理的模型、语言和原型的研究正......
“计算机支持的协同工作”(ComputerSupportCooperativeWork，CSCW)的概念自80年代中期提出后，正受到越来越多的重视，至今已成为发展最......
复杂仿真系统评估是个动态过程，而复杂仿真系统概念模型评估方法则是评估过程中重要的问题，可以保障复杂仿真系统概念模型能够作为仿......
随计算机网络技术的不断发展和应用的不断深入，网络安全问题日显突出。作为保障网络安全的重要手段之一，入侵检测的重要性已得到人们......
随着我国经济的持续快速发展，企业信息化进程不断加快，信息技术、网络技术已成为企业在激烈的市场竞争中取胜的关键因素。目前国内企......
智能交通系统(ITS)是交通运输领域研究的前沿课题。为实现ITS对车辆的实时、动态管理，国际上专门开发了适用于ITS领域的短距离无线......
近年来，工作流技术已经成为人们的日常业务处理中越来越重要的技术。在全球范围内，对工作流技术的研究以及相关产品的开发进入了更为......
访问控制模型是管理主体对客体访问限制的策略，通过访问控制模型保证只有被授权的用户才能访问相应的系统资源，提升系统数据安全性和......
论文针对Web界面定制技术及应用展开的研究。随着Web技术的快速发展,Web系统进入了一个以用户定制为中心的时代,用户希望通过Web界......
“状态空间爆炸”问题一直是验证领域不可避免的难题。在验证的过程中,我们发现有许多带有参数的性质具有可归纳的特性,例如路径的......
随着计算机的普及和计算机网络的发展,越来越多的政府办公部门实现了政务的电子化,网络化。而在众多的电子政务软件中,由于数据来......
随着互联网的快速发展，Web已成为人们获取信息的重要来源。为了满足人们不断增长的从互联网上获取信息的需求，Web信息抽取技术不可避......
随着信息技术的迅猛发展,计算机软件已渗透到社会生活的方方面面。与此同时,软件项目规模的不断壮大、功能的增强和复杂度的增加,......
随着计算机技术的发展,计算机应用模型已经渗透到各个技术方面。集成的模型资源也不再仅仅局限于一个领域,而是涉及到相关学科或交......
随着软件行业的飞速发展，设计模式已经成为软件工程领域研究的一大热点。设计模式可以用来解决软件设计过程中重复出现的问题，使用设......
描述逻辑是人工智能的逻辑基础,能够对客观世界的概念和角色进行表示和推理。但是由于概念的扩展有严格的限制,传统的描述逻辑系统......
随着企业高速发展的业务需求和快速转变的经营模式,对于软件的可扩展性和复用性提出了更高的要求。传统的架构模式已经无法满足这......
非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非......
随着计算机产业的快速发展,软件的规模不断扩大,软件的测试工作也越来越复杂,如何提高测试的效率已成为被广泛关注的问题。形式化......
随着互联网的高速发展,网络带宽的不断提高,网络用户数量激增。在用户需求的刺激下,大量的新型网络应用程序不断涌现。这些新型网......
Petri网不仅可以采用可视化图形描述而且可被形式化的数学方法所支持,是一种形式化、图形化的分布式系统建模和分析工具。它不但能......
本文研究了渤海海洋防灾减灾数据仓库构建过程中涉及到的一些关键技术,包括数据仓库设计,OLAP快速访问策略,以及序列OLAP系统设计......
随着互联网规模的不断扩大，已有的IPv4地址即将枯竭，IPv6将逐渐得到广泛的应用。目前，随着各个国家大规模的部署IPv6网络，各种支持IPv6......
