多媒体命令分析器的形式化描述

本文通过讨论多媒体演示程序的分类和特点,重点阐述了命令分析器在计算机技术和自动控制技术中的重要性和实用性;引入了完备自动机作为定义命令分析器的一种抽象数学模型,并用该模型给出了命令分析器的形式化描述。     

面向对象数据模型的形式化描述

面向对象数据模型的形式化描述尹七春，柳诚飞，邵志清（华东理工大学计算机科学系上海２００２３７）ＴＨＥＦＯＲＭＡＬＩＳＭＯＦＯＢＪＥＣＴ－ＯＲＩＥＮＴＥＤＤＡＴＡＭＯＤＥＬ￥ＹｉｎＱｉｃｈｕｎ；ＬｉｕＣｈｅｎｇｆｅｉａｎｄＳｈａｏＺｈｉｑｉｎｇ（Ｄｅｐ...     

数字证书语义的形式化描述

为了对证书的语义有一个准确的理解。本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。     

关于软件体系结构的形式化描述

软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。     

阅卷信息的形式化描述及其应用

本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域。     

工作流模型及其形式化描述

工作流是一个业务过程的全部或部分自动执行．为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型．该文主要讨论工作流模型及其形式化描述问题．基于对现实世界业务过程的分析，该文提出一个三维工作流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性．文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述．     

分布式拒绝服务攻击的形式化描述

分布式拒绝服务攻击是一类难以防范且危害巨大的入侵方式,通过对攻击原理与特征的研究,提出一种面向对象的形式化描述。该方法采用三层框架结构,准确地描述了分布式拒绝服务攻击的攻击方式、攻击特性,同时每种具体攻击方式之间的关系和各种攻击方式的具体特性也都得到了完整地体现。采用面向对象定义的形式化描述,有利于对此类型攻击方式的分析、检测与判断？这种形式化描述法已应用到入侵检测系统中,并取得良好的效果。     

UML顺序图的形式化描述

1 引言统一建模语言UML(Unified Modeling Language)是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模。然而,UML却是半形式化的——其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的。由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性。     

关于软件体系结构的形式化描述

软件体系结构已成为软件工程研究和实践的主要领域,而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性,并介绍了几种以形式化语言为理论基础的体系结构描述语言。     

安全协议的形式化描述和分析

Security protocols use cryptography system to complete the tasks of principal identity authentication and seccion key distribution. The correctness of security protocols is of vital importance to ensure the security of the Inter-net application. Formal methods have been proved to be a valid approach to analyze and verify security protocols. This paper briefly introduces the three main styles in the field of security protocol analysis and their representative work.After that,it points out the future deveopment direction.     

嵌入式主从并行处理系统命令分析器的设计与实现

论文分析了嵌入式主从并行处理系统应用软件特点,引入了完备自动机定义命令分析器的抽象数学模型,用该模型给出了命令分析器的形式化描述并编程实现,结果证明该方法是行之有效的。     

面向形式化证明的命令生成技术

随着软件规模的不断增大,软件安全问题日益严重.作为软件系统安全检测的有效手段,形式化证明旨在利用数学方法完成对软件属性的严格验证.常用的形式化证明方法利用模式匹配来进行定理证明,但存在策略生成不完备等缺陷.本文提出一种基于注意力机制的命令预测框架,将LSTM与Coq结合,预测定理证明过程中的策略和参数.实验结果表明本文...     

指挥控制协同能力需求体系形式化框架

指挥控制协同性是实现信息化条件下联合作战指挥的关键。针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题,提出一种指挥控制协同能力需求形式化描述框架,运用进程代数方法对能力之间的关系以及操作进行形式化定义,消除了采用自然语言描述协同能力合成过程中可能产生的语义二义性。案例分析验证了该方法的可用性和有效性。     

系统级硬件描述语言SpecC词法分析器设计与实现

随着硬件系统复杂性的提高,在更高的抽象层次--系统级进行软硬件协同设计成为一种趋势。SpecC语言是一种用来在系统级对硬件系统进行描述的系统级硬件描述语言。S pecC词法分析器作为SpecC综合器的基础模块,其性能是影响SpecC综合器性能的关键因素之一,而SpecC综合器是实现系统级设计综合自动化必不可少的硬件系统开发工具。本文在Linux环境下用C设计并实现了SpecC语言的一个词法分析器SpecCLexer。它能正确地对用户输入的SpecC源代码进行预处理和词法分析,并在源代码中出现词法错误时给给用户反馈错误信息。     

GPRS在移动多媒体应急指挥系统中的设计与实现

本文提出了一种基于GPRS/GPS/GTV-100的移动多媒体应急指挥系统。系统采用GPS动态定位、GPRS双向数据传输、GTV-100微波设备实时传输音和视频;采用无线通讯和控制,保证了系统的灵活性和机动性。文中对指挥系统的组成及原理进行了介绍,对如何应用Motorola G20模块构建GPRS网络通信及控制中心通信模块的设计进行了阐述;最后分析说明明了如何采用G20、GSU-36和GTV-100进行车载移动终端的硬件设计实现。不同环境下进行的大量实地测试表明,系统工作稳定,效果良好。     

美军指挥自动化系统发展的几点启示

信息化战场上任何一种武器装备都难以单独发挥其作战效能.美军指挥自动化系统的发展与完善成功地解决了这一问题,使得战场各作战体系紧密结合,参战诸军兵种战斗力成倍增加.研究美军指挥自动化系统的发展与应用,对我军信息化建设具有一定的借鉴意义.     

新型矿用便携式可组网烟气监测分析仪的研制

针对现有以电化学传感器为主的便携式烟气分析仪存在灵活性和普适性差,便携式光纤烟气分析仪无法实现数据远程传输和多传感器联合组网的问题,研制了一种新型矿用便携式可组网烟气监测分析仪。基于AvaSpec-2048设计了烟气监测分析电路以对烟气成分气体的体积分数进行高精度检测,采用嵌入式开发技术和ZigBee无线网络技术实现了分析仪的组网功能。测试应用结果表明,该分析仪工作稳定可靠,响应速度快,组网能力强,能很好地满足分布式多仪表联合监测的要求。     

Windows下的Ping命令参数深入剖析

Windows下ping命令对网络管理员来说应该是用到的最多命令之一，但一般只是用到ping命令的基本的两三个参数而已。能把Ping命令的网络检测功能发挥到最大的网络管理员却并不是很多，在本文中本人结合实际使用过程对ping命令的其它参数做了系统的总结和剖析。     

Windows下的Ping命令参数深入剖析

Windows下ping命令对网络管理员来说应该是用到的最多命令之一,但一般只是用到ping命令的基本的两三个参数而已。能把Ping命令的网络检测功能发挥到最大的网络管理员却并不是很多,在本文中本人结合实际使用过程对ping命令的其它参数做了系统的总结和剖析。     

一种信号峰值幅度分析系统的设计

详细介绍信号峰值幅度分析器系统的原理和硬件结构等。系统以 89C5 1为控制核心 ,两级采样保持电路 ,能够甄别输入信号的上升沿及峰值信息 ;设计的并口通讯模块适用于台式和笔记本微机。