期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到145篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
回溯算法的形式模型 被引量：17
1
作者 王岩冰 郑明春 刘弘 《计算机研究与发展》 EI CSCD 北大核心 2001年第9期1066-1079,共14页
讨论了回溯算法的形式模型 ,提出了刻画回溯的一些数学概念 ,以隐式搜索为背景提出了状态空间概念 ,给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间 ,从而说明显式搜索是隐式搜索的特例 ,通过展开空间概念揭示了问题求... 讨论了回溯算法的形式模型 ,提出了刻画回溯的一些数学概念 ,以隐式搜索为背景提出了状态空间概念 ,给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间 ,从而说明显式搜索是隐式搜索的特例 ,通过展开空间概念揭示了问题求解的不同要求所对应的不同数据结构 ,提出了通用回溯算法 ,并以 N皇后问题、稳定婚姻问题、点着色问题、子集和数问题、跳马问题、最长路径问题和强连通分支问题等多种算法设计问题为例讨论了通用回溯算法的应用 .该文结果有助于扩大回溯算法的使用范围 ,提高回溯算法实现的正确性和效率 . 展开更多
关键词 状态空间 回溯算法 形式模型 人工智能
在线阅读 下载PDF
多主体协作系统的一种形式模型 被引量：14
2
作者 刘贵全 陈小平 +1 位作者 范焱 蔡庆生 《计算机学报》 EI CSCD 北大核心 2001年第5期529-535,共7页
建造能一起工作的计算机系统一直是计算机科学的一项重要任务 [6 ] .目前多主体 (Agent)协作的理论与应用研究已成为多学科和 AI交叉研究中的一个热点前沿课题 .关于主体及多主体系统理论研究的主要难点是所谓的“副作用问题”以及动态... 建造能一起工作的计算机系统一直是计算机科学的一项重要任务 [6 ] .目前多主体 (Agent)协作的理论与应用研究已成为多学科和 AI交叉研究中的一个热点前沿课题 .关于主体及多主体系统理论研究的主要难点是所谓的“副作用问题”以及动态环境下对主体资源及能力有限的特性的刻画 .该文基于情形演算与三值逻辑给出了一个多主体协作的形式模型 ;本模型能较好的避免“副作用问题”;此外 ,在此基础上给出的一个多 Agent协作规划理论能较好的刻画动态环境下主体的上述特性 [8] . 展开更多
关键词 情形演算 形式模型 多主体协作系统 人工智能 计算机科学 三值逻辑
在线阅读 下载PDF
对几类重要网络安全协议形式模型的分析 被引量：23
3
作者 季庆光 冯登国 《计算机学报》 EI CSCD 北大核心 2005年第7期1071-1083,共13页
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应... 该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应的抽象特征体系,并在该体系下分析了有代表性的模型,指出了这些模型的优缺点及进一步改进的思路.抽象体系的提出不仅使模型的本质变得清晰,而且还使同类模型中的不同模型之间的联系变得易于理解;分析了不同类型模型之间可能存在的联系,特别是用基于规则推理的模型的思路改进了WooLam模型,在提出B模型抽象结构的同时,分析指出它极有可能发展成为一个统一各类模型的模型. 展开更多
关键词 安全协议 形式模型 抽象体系 安全性质 形式系统
在线阅读 下载PDF
一种基于问题求解理论的密码协议形式模型
4
作者 赵宇 王亚弟 +2 位作者 韩继红 范钰丹 赵琦 《计算机应用》 CSCD 北大核心 2007年第2期303-307,共5页
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;... 提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;对密码协议安全性的定义精确合理;便于实现自动化推理。所有这些均确保了基于该模型的密码协议安全性分析的合理性和有效性,为正确的分析密码协议的安全性提供了可靠依据。 展开更多
关键词 密码协议 形式模型 问题求解理论 ρ演算 运算语义
在线阅读 下载PDF
特征交互动态检测的形式模型
5
作者 徐九韵 杨放春 《电子学报》 EI CAS CSCD 北大核心 2005年第10期1774-1777,共4页
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列,从业务逻辑实例与外部实体交互消息的语法和语义不同角度出发... 本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列,从业务逻辑实例与外部实体交互消息的语法和语义不同角度出发,分别对不确定性、特征违反类和活锁类等不同类型的特征交互给出具体的动态检测形式模型.并在此基础上进一步讨论:在特性违反类特征交互的动态检测中,若直接使用消息序列检测特征交互将是不充分的,本文在最后给出一种简单的特性违反类特征交互动态检测时的补救方法. 展开更多
关键词 下一代网络 特征交互 动态检测 形式模型 消息语义
在线阅读 下载PDF
国际关系研究中形式模型的用途与误用
6
作者 胡文秀 王玮 《国际论坛》 CSSCI 北大核心 2013年第4期1-6,79,共6页
形式方法是国际关系研究领域的重要研究工具,尽管其应用并不广泛,但日益显示出扩大的趋势。与此同时,形式方法也面临着各种批评,尤其是来自使用者群体之外的批评。批评者指出模型预测与现实情况相去甚远,而且形式理论更多是在用繁杂的... 形式方法是国际关系研究领域的重要研究工具,尽管其应用并不广泛,但日益显示出扩大的趋势。与此同时,形式方法也面临着各种批评,尤其是来自使用者群体之外的批评。批评者指出模型预测与现实情况相去甚远,而且形式理论更多是在用繁杂的工具完成无足轻重的工作。实际上,形式模型能够推动国际关系理论的建立,但所建立的理论是"远离现实的",理论建立之后还必须进行真实化还原才能够对现实世界做出预测。因此,模型替代和真实化还原构成了形式方法的两个重要步骤。在使用形式方法的过程中,只有加强了这两个方面,尤其是目前不被重视的还原步骤,才有可能避免各式各样的误用。 展开更多
关键词 国际关系理论 形式方法 形式模型 模型替代 真实化还原 边界条件
在线阅读 下载PDF
分布式网络环境下密码协议形式模型和安全性
7
作者 李先贤 怀进鹏 《中国科学院研究生院学报》 CAS CSCD 2002年第3期311-323,共13页
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复... 随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质 该协议模型描述了一种“协同攻击”模式,并讨论了密码协议的安全性分析约简技术,给出一个新的安全自动分析过程的简要描述. 展开更多
关键词 分布式网络 密码协议 形式模型 安全性 形式化方法 信息安全 代数系统 网络安全 攻击模式
在线阅读 下载PDF
通信协议抽象形式模型的研究
8
作者 李腊元 《小型微型计算机系统》 CSCD 北大核心 1993年第11期27-34,F003,共9页
本文描述了一类适用于通信协议的象形式模型,依据这类模型,对协议的有关概念和性质进行了形式描述和定义,并研讨了这类模型与有关FDT的语义联系。
关键词 通信 协议 通信协议 抽象形式模型
在线阅读 下载PDF
计算机网络协议的形式模型研究
9
作者 李腊元 《计算机应用与软件》 CSCD 1996年第6期1-7,23,共8页
本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对通信协议的某些重要概念及性质进行了定义和形式描述,研讨了某些典型形式描述技术:Petri网、LOTOS和关系表示法之间的语义联系。
关键词 计算机网络 形式模型 形式描述 网络协议
在线阅读 下载PDF
基于状态转移系统的安全协议形式模型 被引量：1
10
作者 毛中全 刘楠 +1 位作者 顾纯祥 祝跃飞 《计算机工程》 CAS CSCD 北大核心 2008年第13期149-151,共3页
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够... 提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。 展开更多
关键词 安全协议 形式模型 状态转移系统 重写关系 Dolev-Yao攻击者模型
在线阅读 下载PDF
石油产品设计系统的形式模型及问题求解策略
11
作者 周涵 徐亦方 +2 位作者 沈复 史忠植 李科 《石油学报（石油加工）》 EI CAS CSCD 北大核心 1994年第4期57-63,共7页
本文讨论了石油产品设计活动的类型、思维特性和类比在石油产品设计中的重要作用,给出了石油产品设计系统的形式模型及其问题求解策略。
关键词 石油产品 设计系统 形式模型
在线阅读 下载PDF
H－网：一个基于Petri网的超文本形式模型 被引量：5
12
作者 余盛可 《计算机学报》 EI CSCD 北大核心 1995年第7期523-531,共9页
本文提出了一个基于Ｐｅｔｒｉ网的超文本形式模型Ｈ－网．Ｈ－网自然地从本质上刻画了超文本的所有主要性质，有助于超文本中各种主要问题的解决，并可以成为超文本系统设计和超文本标准化的理论基础．由于创造性地以基于Ｐｅｔｒｉ网... 本文提出了一个基于Ｐｅｔｒｉ网的超文本形式模型Ｈ－网．Ｈ－网自然地从本质上刻画了超文本的所有主要性质，有助于超文本中各种主要问题的解决，并可以成为超文本系统设计和超文本标准化的理论基础．由于创造性地以基于Ｐｅｔｒｉ网的形式框架统一超文本信息和知识，Ｈ－网还非常适于智能超文本系统的建模．文中重点讨论了Ｈ－网的原理和定义，并用Ｈ－网对超文本进行了简单的描述． 展开更多
关键词 超文本 形式模型 PETRI网 H-网
在线阅读 下载PDF
一种基于规划理论的密码协议形式模型
13
作者 赵宇 王亚弟 +2 位作者 韩继红 范钰丹 张超 《计算机研究与发展》 EI CSCD 北大核心 2008年第9期1567-1577,共11页
将规划理论引入到密码协议形式化分析领域,结合密码协议在实际网络环境中的运行特点和规律,提出了密码协议攻击规划理论;建立了一种对密码协议进行安全性验证的形式化模型,即密码协议攻击规划问题模型;给出了模型的一阶语法、形式定义... 将规划理论引入到密码协议形式化分析领域,结合密码协议在实际网络环境中的运行特点和规律,提出了密码协议攻击规划理论;建立了一种对密码协议进行安全性验证的形式化模型,即密码协议攻击规划问题模型;给出了模型的一阶语法、形式定义及相关运算语义.同时,分析了Dolev-Yao模型的不足之处,基于基本消息元素策略对其进行了改进;并通过增强应用语义来保证改进模型的可行性,从而避免了"状态空间爆炸"问题的发生,提高了密码协议攻击规划问题模型的完备性;并给出了基于该模型的NS公钥协议分析实例.提出的密码协议形式模型是证伪的,目的在于对密码协议进行验证,并查找协议中可能存在的漏洞,既可以方便地进行手工推导证明,也非常易于自动化实现. 展开更多
关键词 密码协议 形式化模型 规划系统 规划问题 基本消息元素
在线阅读 下载PDF
体验构式语法:认知语言学的形式化模型 被引量：6
14
作者 郑开春 刘正光 《湖南大学学报（社会科学版）》 CSSCI 北大核心 2010年第1期57-62,共6页
介绍认知语言学流派中的新理论:体验构式语法。体验构式语法是夏威夷大学语言学系的Benjamin Bergen和伯克利国际计算机科学所的Nancy Chang等人最近几年提出的一个语言理解的形式模型。它以认知语言学的基本原理为理论基础,以计算机处... 介绍认知语言学流派中的新理论:体验构式语法。体验构式语法是夏威夷大学语言学系的Benjamin Bergen和伯克利国际计算机科学所的Nancy Chang等人最近几年提出的一个语言理解的形式模型。它以认知语言学的基本原理为理论基础,以计算机处理语言为目标,综合了不同语言学理论优势而提出,是认知语言学形式化与应用化的一个跨越式发展。 展开更多
关键词 认知语言学 体验构式语法 形式模型
在线阅读 下载PDF
一种面向对象环境的形式化模型 被引量：3
15
作者 白成林 《计算机研究与发展》 EI CSCD 北大核心 2000年第5期616-621,共6页
首先提出了作为面向对象环境中最小元素的对象元的概念 ,突出了面向对象环境的智能化特征 ,接着给出了一整套关于对象 (对象元、复杂对象 )结构模型的形式定义 ,为创建面向对象的信息存储环境和操作运行环境奠定了理论基础 .
关键词 面向对象环境 多媒体 信息处理 形式模型
在线阅读 下载PDF
面向对象数据库的形式化模型 被引量：1
16
作者 陈睿 《计算机学报》 EI CSCD 北大核心 1997年第1期68-76,共9页
本文用三元组集合来表示面向对象数据库的概念视图，并以此为基础给出了ＯＯＤＢ上操作的形式描述．由于消息１传递可能产生副作用，ＯＯＤＢ上各种操作的副作用也是不可避免的．本文所给出的形式模型对副作用作了精确定义．
关键词 面向对象 数据库 查询 形式模型 集合论
在线阅读 下载PDF
基于RFID普适计算环境的形式化上下文模型 被引量：9
17
作者 姜丽芬 卢桂章 辛运帏 《计算机工程》 CAS CSCD 北大核心 2007年第11期173-175,共3页
提出了一个适合普适计算环境的、基于本体的形式化的上下文感知模型。该模型使用本体描述语言OWL描述上下文,采用层次化的设计方法,提高了上下文表达能力和快速上下文原型。为普适计算的上下文建模和应用、上下文重用和建立面向普适计... 提出了一个适合普适计算环境的、基于本体的形式化的上下文感知模型。该模型使用本体描述语言OWL描述上下文,采用层次化的设计方法,提高了上下文表达能力和快速上下文原型。为普适计算的上下文建模和应用、上下文重用和建立面向普适计算环境的软件基础设施提供了一种可行的方法。 展开更多
关键词 普适计算 射频识别 上下文感知 本体 形式化模型
在线阅读 下载PDF
一种实用动态完整性保护模型的形式化分析 被引量：3
18
作者 杨涛 王永刚 +3 位作者 唐礼勇 孔令波 胡建斌 陈钟 《计算机研究与发展》 EI CSCD 北大核心 2013年第10期2082-2091,共10页
从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dyna... 从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dynamic integrity protection model,DMIP).它面向Linux系统,解决了完整性级别划分困难以及现有完整性模型可用性不强的问题.针对来自网络的攻击以及本地恶意代码破坏系统完整性等问题给出了保护策略.从与Linux系统及系统中已有的应用程序的兼容性角度出发,DMIP做到了无代价兼容.给出了DMIP模型的不变式和约束,针对模型进行了安全定理的形式化证明,保证了模型的安全性. 展开更多
关键词 完整性策略 形式化模型 动态完整性级别 实用完整性 动态完整性保护模型
在线阅读 下载PDF
网络服务体系结构及其形式化模型的研究 被引量：6
19
作者 杨鹏 吴家皋 《计算机研究与发展》 EI CSCD 北大核心 2005年第7期1115-1122,共8页
下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的... 下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能.用构件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究网络服务体系结构中与服务相关的各种性质奠定了基础. 展开更多
关键词 下一代网络 信息基础设施 网络服务体系结构 交互 形式化模型
在线阅读 下载PDF
面向应急主体的预案形式化模型 被引量：4
20
作者 倪子建 荣莉莉 郄子君 《系统管理学报》 CSSCI 北大核心 2015年第5期644-653,共10页
为不同的应急主体,提供在不同状态下应进行的应急工作,是预案内容的重要组成部分。为了能利用计算机方便而快速地得到上述类型信息,并将众多的应急工作有序地组织起来,提出基于顶层本体的预案形式化模型。具体内容包括:1基于顶层本体建... 为不同的应急主体,提供在不同状态下应进行的应急工作,是预案内容的重要组成部分。为了能利用计算机方便而快速地得到上述类型信息,并将众多的应急工作有序地组织起来,提出基于顶层本体的预案形式化模型。具体内容包括:1基于顶层本体建立预案领域本体;2解决了模型中多元关系表示问题;3实现了对于原型系统中有用信息的检索;4应急工作并不是无须罗列的,利用时间推理将散布于不同位置的应急工作连接起来。 展开更多
关键词 预案 形式化模型 顶层本体 多元关系 时间推理
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部