检索结果-内蒙古大学图书馆

计算机应用与软件 2009年第5期26卷 81-84页

作者：张若岩刘晓霞张宏西北大学信息科学与技术学院陕西西安710127

安全电子交易SET(Secure Electronic Transaction)协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题。首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述。发现由于SET本身... 详细信息

安全电子交易SET(Secure Electronic Transaction)协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题。首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述。发现由于SET本身的缺陷可能导致的入侵者的攻击,以及该攻击对购买阶段中商家和持卡人造成的安全威胁,对协议的改进提供了有益的参考。

关键词： SET协议形式化模型电子支付

来源：评论

学校读者我要写书评

暂无评论

复杂表头的形式化模型

引用

信息技术 2000年第5期24卷 18-20,28页

作者：敖桂文赵一伟牡丹江林业学校 157011 哈尔滨电缆厂 150020

给出一个在MIS系统实现过程中 ,可以表示中文复杂表的形式化模型及其算法。

关键词：复杂表形式化模型 MIS系统程序设计

来源：评论

学校读者我要写书评

暂无评论

基于CHAM的软件连接件形式化模型

引用

信息与电脑（理论版） 2013年第9期 82-83页

作者：张淑娟云南经济管理职业学院

软件技术目前来看是日新月异,各种手段方法纷纷而至,但是随之到来的是其中存在的问题,大小问题比比皆是,下面就针对这一问题展开讨论,讨论的内容包括对化学抽象机CHAM的概述、基于CHAM的形式化模型的描述以及对存在的问题进行简要分析,... 详细信息

软件技术目前来看是日新月异,各种手段方法纷纷而至,但是随之到来的是其中存在的问题,大小问题比比皆是,下面就针对这一问题展开讨论,讨论的内容包括对化学抽象机CHAM的概述、基于CHAM的形式化模型的描述以及对存在的问题进行简要分析,目的在于通过此次的讨论研究进一步地实现简化软件连接件的设计并且在此基础上提高软件连接件的通用性能。

关键词： CHAM 形式化模型软件体系结构连接件抽象机构件系统系统构件集成测试软件系统测试覆盖

来源：评论

学校读者我要写书评

暂无评论

NetConf查询操作的形式化模型

NetConf查询操作的形式化模型

引用

中国教育和科研计算机网CERNET第十二届学术年会

作者：任兴田马严北京邮电大学信息网络中心北京100876

使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.

关键词：网络管理形式语义学查询操作形式化模型

来源：评论

学校读者我要写书评

暂无评论

基于项重写的安全电子交易形式化模型

基于项重写的安全电子交易形式化模型

引用

2010年第四届中国可信计算与信息安全学术会议

作者：陈晨刘楠陈卫红祝跃飞信息工程大学信息工程学院郑州450002

构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通... 详细信息

构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通过项重写系统终止性和会聚性的性质证明该模型具有完整性和一致性等特点,在安全性分析方面验证该模型满足认证性和发送非否认性.

关键词：电子交易形式化模型项重写理论

来源：评论

学校读者我要写书评

暂无评论

本体的形式化模型及在语义查询中的应用

本体的形式化模型及在语义查询中的应用

引用

全国搜索引擎和网上信息挖掘学术讨论会

作者：王洪伟吴家春蒋馥上海交通大学智能化管理与计算机仿真应用研究中心

本体是概念化的一个显式的规格说明,能够将领域中的各种概念及相互关系显式地、形式化地表达出来.本文首先介绍了本体的基本概念,然后利用描述逻辑建立了本体的形式化模型,并提出了本体术语包含关系的检验算法,最后根据所建的本体模型... 详细信息

本体是概念化的一个显式的规格说明,能够将领域中的各种概念及相互关系显式地、形式化地表达出来.本文首先介绍了本体的基本概念,然后利用描述逻辑建立了本体的形式化模型,并提出了本体术语包含关系的检验算法,最后根据所建的本体模型探讨了4种信息查询模式.

关键词：本体语义查询描述逻辑包含关系形式化模型

来源：评论

学校读者我要写书评

暂无评论

一种带概率与效用算子的Agent形式化模型

一种带概率与效用算子的Agent形式化模型

引用

第一届Agent理论与应用学术会议

作者：胡小建杨善林罗贺合肥工业大学材料成型与控制工程系合肥230009 合肥工业大学计算机网络系统研究所合肥230009 合肥工业大学计算机网络系统研究所合肥230009

形式化方法描述Agent时需要考虑信念的不确定性与决策的效用性要素.在经典Agent的BDI形式化模型基础上,定义了Agent形式化语言,引入概率算子与效用算子,提出了Agent形式化模型,在此模型中利用概率算子与效用算子对Agent的信念、愿望、... 详细信息

形式化方法描述Agent时需要考虑信念的不确定性与决策的效用性要素.在经典Agent的BDI形式化模型基础上,定义了Agent形式化语言,引入概率算子与效用算子,提出了Agent形式化模型,在此模型中利用概率算子与效用算子对Agent的信念、愿望、意图与规划等意识属性进行了定义.该模型能满足Agent对逻辑理性、信念的不确定性与决策理性的要求.

关键词： Agent 形式化模型概率算子效用算子信念不确定性

来源：评论

学校读者我要写书评

暂无评论

基于形式化模型的航天测控软件系统测试

基于形式化模型的航天测控软件系统测试

引用

第31届中国控制与决策会议

作者：张卫祥刘文红魏波北京跟踪与通信技术研究所

软件系统测试是一种重要的测试类别.作为大规模安全攸关系统,航天测控软件系统软件数量多、信息交换关系复杂、安全可靠性要求高,对航天测控软件系统开展软件系统测试是工程实践中的一个难题.结合工程实例,提出了一种基于形式化模型的... 详细信息

软件系统测试是一种重要的测试类别.作为大规模安全攸关系统,航天测控软件系统软件数量多、信息交换关系复杂、安全可靠性要求高,对航天测控软件系统开展软件系统测试是工程实践中的一个难题.结合工程实例,提出了一种基于形式化模型的软件系统测试方法.首先对软件功能、性能、接口等进行抽象,给出软件系统的形式化定义;其次提出线索分析的不同策略,识别软件系统测试需求;然后开展软件系统的流程、阶段和场景分析,建立可刻画软件系统级行为的场景树模型;最后提出基于场景树模型的测试覆盖准则,给出形式化静态检查和动态测试用例生成方法,生成测试用例集合.实例验证表明方法是有效的和可行的.

关键词：系统测试形式化模型测试用例生成场景建模航天器控制

来源：评论

学校读者我要写书评

暂无评论

基于CHAM的软件连接件形式化模型

引用

计算机与数字工程 2004年第1期32卷 16-19页

作者：方兴赵恒华中科技大学计算机学院武汉430074 武汉数字工程研究所武汉430074

软件连接件是软件体系结构中的一个重要概念 ,是构件间相互作用的媒体。用形式化方法对其模型加以描述是软件体系结构研究中的一个重点。化学抽象机形式化语言 (CHAM :ChemicalAbstractMachine)是一种通用的、简单直观的计算模型描述语... 详细信息

软件连接件是软件体系结构中的一个重要概念 ,是构件间相互作用的媒体。用形式化方法对其模型加以描述是软件体系结构研究中的一个重点。化学抽象机形式化语言 (CHAM :ChemicalAbstractMachine)是一种通用的、简单直观的计算模型描述语言。本文在分析了连接件语义模型的基础上 ,提出了一种基于CHAM的软件连接件描述模型 ,从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析 ,以期进一步实现简化软件连接件的设计、增强其通用性的目的。

关键词：软件连接件化学抽象机形式化模型 CHAM 软件技术代码设计变换规则程序设计

来源：评论

学校读者我要写书评

暂无评论

一种Agent结构的形式化模型

引用

微机发展 2000年第5期10卷 4-8页

作者：李金厚邹建彪华东冶金学院计算机系安徽马鞍山243002 佛山灯具厂广东佛山528000

从外表看 ,Agent是具有信念、意向、期望等意识属性的统一整体。Agent之间可相互通信或相互合作 ,而且 ,Agent自身还可以有诸如计算、推理或其他人们所希望的具有一定的智能特征的行为。为了把Agent行为和它所应具有的内部结构联系起来 ... 详细信息

从外表看 ,Agent是具有信念、意向、期望等意识属性的统一整体。Agent之间可相互通信或相互合作 ,而且 ,Agent自身还可以有诸如计算、推理或其他人们所希望的具有一定的智能特征的行为。为了把Agent行为和它所应具有的内部结构联系起来 ,本文提出一种Agent结构的形式化描述模型 ,在此模型的帮助下 ,可以较好地把一些Agent的简单行为解释为Agent内部状态的演变过程。这对Agent的建模与实现 ,加深人们对Agent行为本质的认识都很有意义。

关键词： Agent 物理结构逻辑结构形式化模型

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：