期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
Verilog操作语义研究 被引量:4
1
作者 李勇坚 何积丰 孙永强 《软件学报》 EI CSCD 北大核心 2002年第10期2021-2030,共10页
提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作... 提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础. 展开更多
关键词 VERILOG语言 操作语义 事件调度 观察模型 互模拟 同余性
在线阅读 下载PDF
Verilog代数语义研究 被引量:1
2
作者 李勇坚 何积丰 孙永强 《软件学报》 EI CSCD 北大核心 2003年第3期317-327,共11页
给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互... 给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的.研究了此代数语义的相对完备性,即参照前面的操作语义模型,相对于扩展Verilog语言的一个子集而言,此代数语义是完备的.即所有符合这样语法的程序,如果它们是互模拟等价的,那么它们同样可以在所提出的代数系统中被推导相等.在完备性证明过程中,采用范式方法,即构造一种语法上特殊的程序,任何属于上述子集中的一个程序通过该代数规则都能够被转化为范式程序,而且范式程序在操作语义模型下是互模拟的当且仅当它们是语法相同的.上述结果具有重要的理论意义,因为现有的进程代数理论主要是针对管道通信并行语言而展开的,而对于像Verilog这种以共享变量通信为基础的复杂并行语言研究还是比较少的,对此类复杂的基于共享变量的并行语言的进程代数理论研究提出了一种通用、有效的方法. 展开更多
关键词 代数语义 VERILOG语言 并发程序语义 程序设计语言 范式规约
在线阅读 下载PDF
基于CABOSFV聚类算法的汉语词汇类别知识挖掘研究 被引量:1
3
作者 王东波 朱丹浩 《计算机科学》 CSCD 北大核心 2013年第7期211-215,共5页
在清华大学973汉语树库的基础上,根据汉语词汇的句法功能分布状况,构建了句法功能分布知识库。在构建的句法功能分布知识库基础上,使用CABOSFV(Clustering Algorithm Based On Sparse Feature Vector)聚类算法,从中挖掘了汉语词汇的类... 在清华大学973汉语树库的基础上,根据汉语词汇的句法功能分布状况,构建了句法功能分布知识库。在构建的句法功能分布知识库基础上,使用CABOSFV(Clustering Algorithm Based On Sparse Feature Vector)聚类算法,从中挖掘了汉语词汇的类别知识,并对这些类别知识逐一进行了分析。 展开更多
关键词 973汉语树库 句法分布功能 知识库 CABOSFV
在线阅读 下载PDF
混合控制系统及其分析与设计方法 被引量:10
4
作者 陈宗基 俞新尧 +1 位作者 王戟 周巢尘 《计算机学报》 EI CSCD 北大核心 1996年第4期254-262,共9页
混合控制系统是指那些由实时决策子系统和实时数值反馈子系统组成的系统,这类系统的特点是事件变量和时间变量的演化在不同子系统内并行、实时地进行.本文基于对混合控制系统以往研究框架的分析,给出了混合控制系统的一个新框架,并... 混合控制系统是指那些由实时决策子系统和实时数值反馈子系统组成的系统,这类系统的特点是事件变量和时间变量的演化在不同子系统内并行、实时地进行.本文基于对混合控制系统以往研究框架的分析,给出了混合控制系统的一个新框架,并提出了混合动态系统的分析和设计方法.混合控制系统的设计包括系统性能指标的分解、决策子系统的设计和实时数值反馈子系统的设计,其分析则分为离散时间域和离散事件域分析.文中采用了煤气炉系统作为例子说明所提出的混合控制系统的框架和分析、设计方法. 展开更多
关键词 控制系统 混合控制系统 分析 设计
在线阅读 下载PDF
基于形式化方法的需求分析 被引量:15
5
作者 塔维娜 何积丰 《计算机工程》 CAS CSCD 北大核心 2003年第18期107-108,191,共3页
利用形式化规格说明语言—— B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能。利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从... 利用形式化规格说明语言—— B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能。利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从而进行规范化管理。 展开更多
关键词 需求分析 形式化方法 B方法 规范化管理
在线阅读 下载PDF
知识组织视角下关键词网络中的小世界现象 被引量:15
6
作者 朱丹浩 王东波 +1 位作者 Saeed-Ul Hassan Peter Haddawy 《图书与情报》 CSSCI 北大核心 2013年第6期19-22,72,共5页
文章基于Scopus中2008年的11144个关键词构成的网络,结合复杂网络的相应知识,基于小世界网络的平均度和聚集系数这两个特征,通过统计和计算,揭示出关键词网络呈现出小世界的效应。基于由关键词构建的网络,文章初步探讨了通过关键词网络... 文章基于Scopus中2008年的11144个关键词构成的网络,结合复杂网络的相应知识,基于小世界网络的平均度和聚集系数这两个特征,通过统计和计算,揭示出关键词网络呈现出小世界的效应。基于由关键词构建的网络,文章初步探讨了通过关键词网络的中介度来确定学科知识点的方法,并与基于词频确定知识点的方法进行了简单的对比。 展开更多
关键词 关键词网络 小世界现象 聚集系数 中介度
在线阅读 下载PDF
基于GCL语言的测试用例生成方法 被引量:1
7
作者 丁佐华 JeffSanders +2 位作者 江明月 张娜 蒲戈光 《计算机学报》 EI CSCD 北大核心 2014年第12期2492-2504,共13页
提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的... 提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的测试用例都是可行的,在测试用例生成过程中可以避免状态爆炸问题,而且该方法可以延拓到任何目标语言.据此开发了一个基于Haskell语言的原型工具来支持作者的方法. 展开更多
关键词 测试用例 Guarded—Command—Language 执行树 条件计算 软件测试
在线阅读 下载PDF
UML状态机视图的RSL形式描述(英文) 被引量:2
8
作者 孙猛 张乃孝 Bernhard K Aichernig 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第3期344-357,共14页
使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确... 使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性。最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析。 展开更多
关键词 UML 状态机 RAISE 形式化
在线阅读 下载PDF
使用延时演算的时间化RSL的指称语义(英文) 被引量:1
9
作者 李黎 何积丰 《软件学报》 EI CSCD 北大核心 2001年第6期802-815,共14页
使用扩展的持续时间演算 ( EDC)模型 ,给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .在扩展的持续时间演算模型中加入了一些新的特征 ,并探究了它们的代数定律 .这些定律在形式化实时程序和验证实时性质中起着重要作用 ... 使用扩展的持续时间演算 ( EDC)模型 ,给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .在扩展的持续时间演算模型中加入了一些新的特征 ,并探究了它们的代数定律 .这些定律在形式化实时程序和验证实时性质中起着重要作用 .最后还给出了时间化 RSL的一些代数定律 .这些定律可以从其指称语义证明 。 展开更多
关键词 延时演算 指称语义 实时系统 RSL语言 代数定律 时间化
在线阅读 下载PDF
自动产生一个图书馆的快速原型
10
作者 魏一宁 何积丰 《计算机应用与软件》 CSCD 北大核心 2007年第9期77-80,共4页
AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的... AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码。采用的需求模型主要包括一个用况模型和一个概念类模型,分别用UML中的用况图和类图描述。生成的软件快速原型将包括用况图中每个用例的执行,用一个系统数据库来描述当前系统状态,该系统数据库保存了当前系统中存在的所有对象以及对象之间的关系。 展开更多
关键词 软件快速原型 图书馆管理系统 统一建模语言 用况图 类图 Java代码自动生成
在线阅读 下载PDF
基于事件驱动的系统级仿真器的操作语义
11
作者 彭小青 何积丰 《计算机应用与软件》 CSCD 北大核心 2007年第8期59-61,195,共4页
SystemC是一系统级描述语言。与传统的编程语言相比,它具有一些新的编程特性:延迟的事件通告、延迟事件通告的重载、延迟事件通告的取消以及delta-cycle。研究它的操作语义可以为进一步的形式化方面的研究提供基础。
关键词 操作语义 SYSTEMC 事件驱动 仿真器算法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部