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

时间符号迁移图及其互模拟判定

引用

计算机学报 2002年第2期25卷 113-121页

作者：陈靖林惠民中国科学院软件研究所计算机科学开放实验室北京100080

引入时间符号迁移图的概念 ,作为既涉及通讯又具有实时性的并发系统的模型 .该文给出了这种迁移图时间互模拟的算法。

关键词：实时系统数据传送互模拟时间符号迁移图算法计算机

来源：评论

学校读者我要写书评

暂无评论

可视化体系结构描述语言XYZ/ADL

引用

软件学报 2000年第8期11卷 1024-1029页

作者：骆华俊唐稚松郑建丹中国科学院软件研究所计算机科学开放研究实验室北京100080

提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语... 详细信息

提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .

关键词：时序逻辑语言可视化体系结构软件工程

来源：评论

学校读者我要写书评

暂无评论

形式规约语言中函数运算的优化

引用

软件学报 2000年第8期11卷 1003-1008页

作者：张荣华董韫美中国科学院软件研究所计算机科学开放研究实验室北京100080

在运行时刻 ,由于某些函数参数的取值会造成一些函数被重复调用 ,这在编译时刻是无法被传统的优化器发现的 .针对这种情况 ,提出一种运行时刻的优化方法 .它通过调用依赖图来消除被重复调用的函数 .

关键词：形式规约语言函数运算优化

来源：评论

学校读者我要写书评

暂无评论

多媒体节目时序描述的组合技术

引用

软件学报 2001年第3期12卷 398-404页

作者：赵琛中国科学院软件研究所计算机科学开放研究实验室北京100080

组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模... 详细信息

组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模型描述层次过低 ,很难支持两个多媒体节目之间的时序描述 .通过引入单位流的概念和扩展两种时序关系 ,研究一种多媒体节目时序描述的结构化技术 ,使复杂的多媒体节目易于理解 ,以方便用户运用组合方法把一些可以复用于不同多媒体节目的节目模块进行组合设计 .

关键词：时序关系时序描述组合多媒体节目软件开发

来源：评论

学校读者我要写书评

暂无评论

基于T^3BDD的动态模型检查

引用

软件学报 1999年第10期10卷 1025-1031页

作者：倪彬冯玉琳黄涛中国科学院软件研究所计算机科学开放研究实验室北京100080

ＪａｖａＢｅａｕｓ是一种组件标准．该文定义了ＪＢＤＬ（ＪａｖａＢｅａｎｓｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）语言，用于描述组件语义约束规范．为了检测ＪａｖａＢｅａｎｓ组件语义约束与其实现之间的一致性，文章给出了一... 详细信息

ＪａｖａＢｅａｕｓ是一种组件标准．该文定义了ＪＢＤＬ（ＪａｖａＢｅａｎｓｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）语言，用于描述组件语义约束规范．为了检测ＪａｖａＢｅａｎｓ组件语义约束与其实现之间的一致性，文章给出了一种基于Ｔ3ＢＤＬ公式的三值语义和模型的抽象化动态模型检查方法、文章重点介绍了利用ＴＢＤＤ（３－ｔｅｒｍｉｎａｌｂｉｎａｒｙｄｅｃｉｓｉｏｎｄｉａｇｒａｍ）的符号化动态模型检查方法．

关键词：组件形式规范模型检查 T^3BDD 软件开发

来源：评论

学校读者我要写书评

暂无评论

有序实数加法理论新的判定过程与多项式谱

引用

软件学报 2001年第7期12卷 1088-1095页

作者：薛锐中国科学院软件研究所计算机科学开放研究实验室北京100080

推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 .在此基础上构造出一个新的、更为精细的判定方法 .并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多... 详细信息

推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 .在此基础上构造出一个新的、更为精细的判定方法 .并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱 .与E .D .Sontag的类似结论比较 ,从这种简洁的方式可以得到一个较优的结果 .这个结果实际上将N .Megiddo的关于正实数理论的结论推广到了一般实数理论 .

关键词：判定过程计算复杂性多项式谱有序实数加法理论

来源：评论

学校读者我要写书评

暂无评论

基于 XYZ/ E的混成系统(英文)

引用

软件学报 2000年第1期11卷 1-7页

作者：阎安唐稚松中国科学院软件研究所计算机科学开放研究实验室北京100080

混成系统是由计算机和物理设备组成的嵌入式实时计算系统 .它允许在交互式实时系统中引入连续变化的单元 .XYZ/ E是基于 Manna- Pnueli的线性时序逻辑的程序设计语言 .它将程序的动态语义与静态语义统一在同一框架中 ,支持从抽象的程序... 详细信息

混成系统是由计算机和物理设备组成的嵌入式实时计算系统 .它允许在交互式实时系统中引入连续变化的单元 .XYZ/ E是基于 Manna- Pnueli的线性时序逻辑的程序设计语言 .它将程序的动态语义与静态语义统一在同一框架中 ,支持从抽象的程序规范到可执行代码的逐步求精的全过程 .该文使用 XYZ/ E语言描述和验证混成系统 .首先介绍了计算模型 ,然后介绍了 XYZ语言对混成系统的形式化描述 ,最后介绍了混成系统的验证 .与同类工作相比 ,XYZ/ E支持状态转换 ,从而可以方便地描述复杂的控制算法 .

关键词：混成系统时序逻辑语言程序规范 XYZ/E语言

来源：评论

学校读者我要写书评

暂无评论

嵌套谓词等式系与弱互模拟

引用

软件学报 1999年第11期10卷 1121-1126页

作者：林惠民中国科学院软件研究所计算机科学开放研究实验室北京100080

带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌... 详细信息

带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌套谓词等式系的最大解．

关键词：传值进程互模拟谓词等式系符号迁移图算法

来源：评论

学校读者我要写书评

暂无评论

毛发的结构造型方法

引用

软件学报 1999年第9期10卷 897-903页

作者：张晓鹏吴恩华中国科学院软件研究所计算机科学开放研究实验室北京100080

人物的绘制是当今计算机图形学中的一项重要任务，特别吸引人的是头发的生成技术．头发生成技术的难点在于其精细的形状和庞大的数量．文章针对头发提出了弯曲纹元和三维纹理体的概念，并给出了它们的数学表达式以及对不同发型的描述方... 详细信息

人物的绘制是当今计算机图形学中的一项重要任务，特别吸引人的是头发的生成技术．头发生成技术的难点在于其精细的形状和庞大的数量．文章针对头发提出了弯曲纹元和三维纹理体的概念，并给出了它们的数学表达式以及对不同发型的描述方法．弯曲纹元和三维纹理体是一般三维纹理的结构．带三维纹理的景物是由弯曲纹元和三维纹理体构成的，三维纹理体可再分成多个弯曲纹元，因而指明了三维纹理空间的结构，并解决了三维纹理曲面的造型问题．

关键词：三维纹理毛发结构造型计算机图形学

来源：评论

学校读者我要写书评

暂无评论

π-演算互模拟判定算法的优化和实现

引用

软件学报 2001年第2期12卷 159-166页

作者：许文方海林惠民中国科学院软件研究所计算机科学开放研究实验室北京100080

π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大... 详细信息

π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大大减少所用的时间和空间 ,并证明了优化算法的正确性 .

关键词：进程代数 π-演算互模拟验证算法计算机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：