形式化描述相关论文
2009年5月22日，北京语言大学召开汉字字形处理技术研讨会，介绍在汉字字形处理和留学生错字库建设方面的探索性成果——基于汉字字形......
目前数字经济正在向可编程经济时代演进,智能合约对可编程经济起着重要的推动作用,但其应用却面临着种种问题。在区块链应用中,由......
数据流图是一种常用的表示软件模型的图示方法.在建模的过程中,由于系统的复杂性等原因,经常会出现一些设计上的缺陷、错误和不一......
仿真构件形式化描述就是充分利用自然语言和形式化的方法将仿真构件的刻面与术语有效结合起来,确定其描述结构,为仿真构件库涉众提......
领域本体是知识组织发展的高级形式,重点在于对某一知识领域的概念(术语)及概念间的关系进行形式化的描述和表示,国防科技领域知识......
"测试判定问题"(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一.1998年T.Y.Chen教授针对该问题提出了软件蜕变测试......
交互行为分析是研究人机交互系统的交互行为的描述和分析方法。为简化交互行为分析，本文提出了行为等价的概念。本文以标号迁移系统......
Rough集理论是由20世纪80年代波兰人ZPawlak提出的一种新的数学工具，它通过严格的数学公式来处理不精确性、不确定的问题，具有演绎、......
针对遥感信息模型的自动化模拟和计算中现有方法的不足，基于按需服务模式提出了面向空间信息应用需求的遥感信息模型模拟和描述方法......
以IDEF0功能建模方法为基础，本文建立了一种IDEF0模型的形式化描述，通过IDEF0模型的标准化处理，提出IDEF0的完善模型和IDEF0展开模型......
针对军事仿真服务柔性重组的需求,基于模型驱动的思想,研究了军事仿真服务的计算无关模型、平台无关模型以及平台相关模型的概念、......
元数据是实现信息资源有效组织和处理的基础,在阅读推广主题研究和实践层出不穷的今天,需要一种规范对多源异构的阅读推广主题信息......
通过对各种空间方向关系形式化描述模型进行分析阐述,针对面状群(组)目标间方向关系的特点,本文提出了利用方向Voronoi图模型来计......
面向服务的体系结构(SOA)是一种用于构建分布式系统的方法，目前已经被多数企业广泛认可。在SOA的实施过程中，对于系统设计者来讲，服务......
类表、叙词表、术语表等各种类型的词典资源，作为受控词表，在图书馆、博物馆等传统文献机构信息组织方面发挥着重要作用。本文以下一......
近年来,国内各种形式的水文通信规约标准纷纷出台,加快了水文行业智能化、信息化的进程,伴随着数据采集设备数量的逐年增加,数据的......
交互型电子签名是一种与特定类型的密钥载体紧密结合的电子签名应用.在攻击者通过劫持主机等方式远程控制密钥载体的情况下,交互型......
SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底......
本文对通信协议形式化描述和验证理论与方法进行了研究。文章在用Petri网模型对通信协议进行形式化描述的基础上提出了用Petri......
随着第三代移动通信技术的逐步应用以及移动通信与互联网的融合，全球已进入了移动信息时代。本文所述的CDMA2000接入网接口互操作规......
流控制传输协议(Stream Control Transmission Protocol,SCTP)是由Internet工程任务组在2000年提出的一个可靠的传输层协议-Reques......
随着网络技术的迅速发展,协议测试已经成为网络协议工程学中研究的热点问题。网络环境的日益复杂化对协议实现的鲁棒性提出了巨大......
学位
随着通信网络的迅猛发展,网络结构和各种协议配置变的越来越复杂,靠手工配置网络也越来越繁琐,现有的一些描述形式如框图形式或是E......
随着仿真技术的发展，仿真系统日益向着大规模、开放、分布的复杂仿真系统方向发展。仿真系统的事件管理方法随着仿真技术的发展不断......
汽车电子控制技术的应用带来了汽车制造技术的重大变革，汽车电子控制软件成为汽车产品的核心组成部分，其功能需求日益复杂。但汽车电......
工作流管理是近年来在计算机应用领域中发展最为迅速的几项新技术之一.随着计算机软件技术和通信网络技术的高速发展及源于不同应......
随着现代制造业的发展，如何敏捷地利用技术提供的可能性，及时抓住市场对新产品需求的机遇，迅速开发出适应市场需要的新产品，已经成为企......
近年来，在线评测系统被广泛的应用到程序教学中。对程序正确性严格、精确的评测以及快速的结果反馈让程序教学变得更加高效、便捷，学......
将一个程序从一个运行平台迁移（移植）到另外一个运行平台的过程通常被称为程序迁移，是软件演化与维护的重要内容，也是应用程序扩大用户......
软件会随着时间变得越来越难以理解，越来越难以维护。因而，程序员必须在软件失去控制前重新构造它。重构是在保持程序外部可观察行为......
网络协议测试一直是一个热点研究领域。随着各种协议产品的发展，一致性测试和互操作性测试日益得到工业界的重视。蓝牙协议作为一种......
可行装配序列生成是装配序列规划(Assembly Sequences Planning, ASP)的核心问题,是个典型的NP难题。一般的装配序列规划方法或者......
编译器是软件开发的基础支撑性工具，它的正确性直接影响到应用软件的可靠性，保证其质量的有效手段之一是软件测试。优化是编译过程中......
现代计算机在体系结构和应用场景复杂性的增长使得程序性能的增长、保持程序性能的可移植性以及程序开发效率的提升越来越困难，程序......
在网络飞速发展的今天，Web服务已成为一种非常重要的技术．Web服务的形式化表示是面向服务的计算的基础，形式化Web服务不仅可以更好地......
物联网技术在全球范围内的快速发展引起了极大的关注。受限应用协议CoAP是由IETF借鉴互联网中的REST架构思想,结合物联网的特点而......
该文紧紧抓住集成化和智能化这两大网络安全技术的发展趋势,以Petri网和谓词逻辑理论为基础,不仅对网络安全领域的若干重要问题进......
在我们设计PACS时,采用了基于设计模式的设计方法.使用成熟的模式,方便了工程人员间的交流,提高了通用性,为可能的复用打好基础.在......
需求工程是软件工程初期的重要工作,其目的是得到对需求的准确清晰一致的描述以及相应的求解限制.该文系统而详细地介绍了需求工程......
智能的分布式的电子市场的模式将成为电子商务发展的未来模式,作为分布式人工智能领域的Agent和多Agent技术由于其具有的分布计算......
随着计算机网络和Internet的发展,网络安全越来越受到人们的关注和重视.入侵检测作为其中主要的技术之一,已经受到人们越来越多的......
软件体系结构在20世纪70年代的时候由于人们利用一些程序模块的集合来组合成一个软件系统而被人们所认识(这有别于以往程序的语句......
学位
集群系统以其结构可扩展性好，具有高效的计算性能等特性已成为并行处理发展的主流。实现系统内消息的快速传递，提高进程间通信的性能......
本文作者对基于CTR逻辑的控制流图形式化描述和验证方法进行了深入研究，完善了验证算法，加入了死锁检测功能，使该系统可以对包含死......
