首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。  相似文献   

2.
针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质量(QoS)保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程。QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBA Component Model)构件技术实现。Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制。研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性。形式化方法研究为构件实体间的交互提供了保证。  相似文献   

3.
模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。  相似文献   

4.
交互式多媒体呈现系统一般由呈现内容和呈现控制流程两部分组成。通过引入通用转换网络,对交互式多媒体应用系统的内部呈现流程进行了形式化描述;讨论了该形式化描述下呈现流程的重用性;提出了将呈现流程与呈现内容相分离的系统实现策略;给出了呈现内容描述和可呈现对象相结合的呈现内容表示方法。该策略和方法可用于设计实现交互式多媒体呈现系统创作平台,利用该平台创作的呈现系统能够并发地呈现多种媒体形式的信息,系统及其组成部件具有良好的可重用性。  相似文献   

5.
通过对电子商务中不可否认公平交换协议的运行流程进行了研究,论证了基于第三方的不可否认公平交换协议至少需要运行4步骤,进而指出现有一个协议实质上是需要运行4步骤的,而不仅仅是运行3步骤。依据安全协议与密码系统分开设计的原则,对比分析已有可转换认证加密方案,提出了一个可转换认证加密方案的系统模型。并基于该系统模型,设计了基于半可信第三方的不可否认的安全邮件协议。通过形式化方法分析表明,该协议具备邮件发送方和接收方均不可否认的特点。  相似文献   

6.
逻辑演算与形式化方法   总被引:3,自引:0,他引:3  
逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰  相似文献   

7.
到了近代,数学中的各种内容都可形式化,在中小学教材中,形式化亦已达到相当高的程度。量、关系、概念、命题及其证明(判断)、命题系统乃至某一部门的整个理论,都可作形式化,都要形式化;有的内容还可以表作几种不同的形式。在这之中,同一系列的内容,可以作相似的形式化,即所谓基本形式保持不变。形式化的优势,就在形式化的不断发展过程中表现了出来;形式化的弊端是可以克服的,只要注意到要考虑符号的本真意义时,千万别疏忽就是。  相似文献   

8.
语境是语言交际的重要因素 ,信息技术不断发展 ,计算机处理自然语言 ,必须对语境形式化。本文从计算语用学和人工智能的角度出发 ,对语境的形式化研究进行了综述。计算语用学的目的是建立自然语言理解系统 ,而人工智能研究语境形式化主要解决知识普遍性的问题。从第 2节到第 4节 ,文章从理论背景 ,研究方法和逻辑表征方式三个方面综述McCarthy(1987) ,Perrault和Allen(1980 ) ,Bunt(2 0 0 0 )对语境进行的形式化研究 ,比较它们的不同和相同之处 ,为语境的形式化提供可借鉴的方法和理论。  相似文献   

9.
时常讨论的数字电路(包括组合电路和时序电路)的分析方法和设计方法,几乎都是建立在真值表、卡诺图和状态转换表的基础上,并且是针对基本逻辑单元电路进行的,是一种经典的方法。如果用这种方法去设计规模更大,功能更复杂的数字电路(系统)时,就比较困难,需要采用新的方法。 目前数字系统的设计方法有两种,一种是  相似文献   

10.
基于SOCKS V5防火墙系统,重新设计并实现了一种用户名与口令认证方法,并详细阐述了其原理与认证过程。定义了用户名与口令认证方法标识及其相关数据结构,建立了认证数据库,并给出了认证过程的详细流程图;用Petri网模型描述了系统运行状态的转换。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号