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

作者：李浩郑建丹中国科学院软件研究所计算机科学开放实验室 100080

Internet/Intranet/WWW技术的日益成熟以及资源、应用的日益丰富,为分布式工作流管理系统提供了一个良好的计算环境.而中国现阶段的软件企业迫切需要一个成熟的、先进的软件开发过程管理系统,来指导企业进行高效、高质量的软件开发.本... 详细信息

Internet/Intranet/WWW技术的日益成熟以及资源、应用的日益丰富,为分布式工作流管理系统提供了一个良好的计算环境.而中国现阶段的软件企业迫切需要一个成熟的、先进的软件开发过程管理系统,来指导企业进行高效、高质量的软件开发.本文详细描述了一个基于Web的适用于软件开发的工作流管理系统WSDW(Workflow of Software Development based on the Web).它遵循ISO9000和CMM国际标准,集成了国际先进的软件开发经验,可以帮助企业开发出高质量的软件.文中先概述了ISO9000和CMM国际标准,然后具体介绍WSDW的体系结构和工作流模型,并讨论它是如何遵循ISO9000和CMM标准的.

关键词：工作流管理系统软件开发软件企业工作流模型体系结构

来源：评论

学校读者我要写书评

暂无评论

软件体系结构描述语言ADL

引用

重庆师范学院学报（自然科学版） 2000年第4期17卷 4-8页

作者：郑建丹张广泉中国科学院软件研究所计算机科学开放实验室重庆师范学院数学与计算机科学系重庆400047

主要阐述了现有的常见软件体系结构描述语言ADL的特点和功能 ,并简要介绍了一种新的可视化体系结构描述语言。

关键词：软件体系结构软件体系结构风格体系结构描述语言 ADL

来源：评论

学校读者我要写书评

暂无评论

无限集合的有限子集理论的等价转化

引用

淮北煤师院学报（自然科学版） 2000年第2期21卷 1-4页

作者：陈国龙中国科学院软件研究所计算机科学开放研究实验室淮北煤炭师范学院计算机科学与技术系淮北235000

利用Ehrenfeucht博奕。

关键词：计算复杂性无限集合有限子集理论等价转化

来源：评论

学校读者我要写书评

暂无评论

求解单位等边三角形PACKING问题的最小损伤法

引用

武钢大学学报 2000年第1期12卷 1-3,26页

作者：黄文奇何大华华中理工大学计算机学院武汉430074 中国科学院软件研究所计算机科学开放研究实验室北京100080 武钢质检中心武汉430083

本文介绍了一种新的算法—最小损伤法 ,对具有 NP难的单位等边三角形PACKING问题进行了试探性研究 ,希望由此得到一些研究 NP难问题的启发性方法。

关键词： NP难贴合损伤度最小损伤法

来源：评论

学校读者我要写书评

暂无评论

展望2000年——国内IT重点领域发展趋势

引用

微电脑世界 2000年第1期 30-35页

作者：曲成义周龙骧杨品董士海林兼卿斯汉刘旭钟锡昌侯炳辉主任教授中科院数学所知识工程与分布数据处理实验室中国计算机学会网络与数据通信专委会秘书长副主任、清华大学计算机系教授中国科学院信息安全技术工程研究中心副理事长、清华大学经管学院教授总经理原中国计算机学会外设专委会北京大学计算机科学与技术系图形研究室主任研究员中国科学院北京软件工程研制中心全国管理决策与信息系统学会副主任、研究员主任.研究员北京瑞星电脑科技开发公司中国计算机学会多媒体专业委员会

从1994 年我国全功能接入Internet,确立了中国的顶级域名(.cn)以来,出现了网络腾飞的大好局面。网络用户以6个月翻一番的高速度增长,网络应用百花争艳,网络正深入到社会、经济和政府的各个领域,80％的国家部委、70%的省市级部门、50％... 详细信息

从1994 年我国全功能接入Internet,确立了中国的顶级域名(.cn)以来,出现了网络腾飞的大好局面。网络用户以6个月翻一番的高速度增长,网络应用百花争艳,网络正深入到社会、经济和政府的各个领域,80％的国家部委、70%的省市级部门、50％的大中型企业都开始建立了自己的网络,为21世纪我国网络的发展打下了良好的基础,未来2～3年将是我国网络进入快速和稳健发展的新时期。网络规模将进一步扩大,2002年我

关键词：信息电器计算机反病毒技术 IT 并发控制数据库技术用户界面索引结构

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

毛发的结构造型方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向媒体时序描述的带时间自动机的自动构造方法

引用

计算机学报 1999年第12期22卷 1289-1294页

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

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动... 详细信息

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍｅｄａｕｔｏｍａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时。

关键词：分布式多媒体自动机时序描述软件系统

来源：评论

学校读者我要写书评

暂无评论

Trace演算

引用

软件学报 1999年第8期10卷 790-799页

作者：黄涛钱军倪彬中国科学院软件研究所计算机科学开放研究实验室北京100080 中国科学院软件研究所对象技术中心北京100080

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F... 详细信息

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明．

关键词： Trace演算对象标记公理化软件工程

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：