期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
Petri网的进程文法和进程语言 被引量:4
1
作者 吴哲辉 张继军 《计算机科学》 CSCD 北大核心 2002年第12期31-34,共4页
The concept of process grammar, based on the idea of vector grammar, for petri net is presented in this pa-per. The process language of a petri net can be generated by derivation according to its process grammar . The... The concept of process grammar, based on the idea of vector grammar, for petri net is presented in this pa-per. The process language of a petri net can be generated by derivation according to its process grammar . The set ofbasic process section sequence represented by the process language of a petri net ∑is the same as that represented bythe process expression of ∑if ∑is bounded or fair. In the case of that∑is unbounded and unfair ,the set of all processof∑ can also be represented by its process language passed through parallel processing. 展开更多
关键词 PETRI网 进程文法 进程语言 进程表达式
下载PDF
他山之石,可以攻玉——评周庆生等编译的《国外语言政策与语言规划进程》
2
作者 周明朗 《语言文字应用》 CSSCI 北大核心 2003年第2期138-140,共3页
关键词 周庆生 《国外语言政策与语言规划进程 法制建设 中国
下载PDF
语言生活的信息化未来——《语言生活的历史进程》导读
3
作者 林君峰 《语文建设》 CSSCI 北大核心 2005年第10期12-14,共3页
关键词 语言生活的历史进程 周有光 中学 语文 课外阅读 阅读指导 科学小品文
下载PDF
UML状态图在并行环境的应用研究 被引量:3
4
作者 邓建波 张立臣 徐碧红 《计算机工程与设计》 CSCD 北大核心 2011年第3期945-947,1022,共4页
标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合... 标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法。根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性。 展开更多
关键词 统一建模语言 状态图 通信序列进程语言 并行环境 形式语义 模型检验
下载PDF
安全协议验证模型的高效自动生成 被引量:4
5
作者 吴昌 肖美华 +2 位作者 罗敏 刘俏威 熊昊 《计算机工程与应用》 CSCD 北大核心 2010年第2期79-82,共4页
为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进... 为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。 展开更多
关键词 安全协议 模型检测 简单进程语言解释器 状态爆炸
下载PDF
基于SPIN的网络认证协议高效模型检测 被引量:4
6
作者 缪力 谭志华 张大方 《计算机工程与应用》 CSCD 2012年第21期62-67,共6页
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态... 为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。 展开更多
关键词 网络认证协议 模型检测 简单进程语言解释器(SPIN) 模型简化策略 密钥管理(PKM)协议
下载PDF
组合服务安全性检查方法研究
7
作者 顾小林 卞艺杰 +2 位作者 浦徐进 曹文彬 蒋勋 《统计与决策》 CSSCI 北大核心 2013年第23期65-67,共3页
文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开... 文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开放工作流网络建模,借助FIONA模型检查服务、组合服务及其服务交互的安全性。通过智能家居药物管理系统的案例验证方法的正确性和效率性能,实验结果表明组合服务安全性检查方法是正确的和有效的。 展开更多
关键词 线性时态逻辑 进程语言 简单服务组合语言 物联网
下载PDF
ESpin:基于SPIN的Eclipse模型检测环境 被引量:2
8
作者 吕威 黄志球 +2 位作者 陈哲 阚双龙 魏欧 《计算机工程与应用》 CSCD 2013年第7期45-51,共7页
信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设... 信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码折叠、代码提示、代码补全在内的多种功能,提高了复杂模型的建模效率。ESpin还为用户提供了多种运行模式和特有的向导、配置界面,简化了SPIN的操作过程。 展开更多
关键词 软件验证 模型检测 简单进程语言解释器(SPIN) Promela模型
下载PDF
UML模型检测方法的研究 被引量:6
9
作者 张频 罗贵明 《计算机应用》 CSCD 北大核心 2007年第10期2493-2497,2500,共6页
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对... 统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。 展开更多
关键词 模型检测 统一建模语言 层次自动机 简单进程语言解释器 PROMELA
下载PDF
Analysis on the Relationship among Memorizing Ability, Note-taking, and Psychological Factors in Interpretation Teaching
10
作者 Yufang RUAN 《International Journal of Technology Management》 2013年第6期68-70,共3页
Since China's reform and accession to the world trade organization (WTO), the international labor division, cooperation, and communication of production have been a direction of the global productivity development.... Since China's reform and accession to the world trade organization (WTO), the international labor division, cooperation, and communication of production have been a direction of the global productivity development. The expansion of the world trade organization and the growth of multinational corporations have promoted China's market economy to head for internationalization; the exchanges of all countries' science and technology, culture, and education have become increasingly frequent and beyond the borders very early, so opening-up has become a world trend. China is playing an important role in this historical process. In this situation, the importance of language translation is increasing day by day, and an unprecedented prosperous situation has especially appeared to the interpretation. In order to accord with this new historical situation, many colleges and universities have set up language translation program and have offered interpretation course. To promote the economic development of China and train more senior interpreters, the studies of interpretation teaching and the improvement of interpretation teaching quality have been particularly important. In this paper, the relationship among memory, note-taking, and psychological factors are analyzed. 展开更多
关键词 The Current Situation of Interpretation Teaching MEMORY Note-taking Psychological Factors and the Teaching Effect
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部