一个面向对象的集成化软件原型开发环境 被引量：5

1

作者 马江 何克清 《软件学报》 EI CSCD 北大核心 1995年第4期210-219,共10页

软件原型方法弥补了传统生命周期方法维护难度和费用过大的缺陷，为软件开发提供了一种新的开发范例．实现原型法的关键在于能否提供一个合适的开发环境，帮助开发者实现原型定义、构造自动化，支持原型的快速生成．为此，我们在ＶＡＸ... 软件原型方法弥补了传统生命周期方法维护难度和费用过大的缺陷，为软件开发提供了一种新的开发范例．实现原型法的关键在于能否提供一个合适的开发环境，帮助开发者实现原型定义、构造自动化，支持原型的快速生成．为此，我们在ＶＡＸⅡ／ＧＰＸ图形工作站上设计并实现了一个面向对象的集成化软件原型汗发环境ＳＰＥ．本文介绍了该环境的设计、实现及特点． 展开更多

关键词 软件原型 数据模型 面向对象 软件开发

在线阅读 下载PDF 职称材料

网络化软件的基本特征探讨

2

作者 胡钢锋 李德毅 +1 位作者 陈桂生 李兵 《计算机研究与发展》 EI CSCD 北大核心 2007年第z1期199-202,共4页

从复杂网络与软件工程交叉研究的角度,把网络化软件作为一类人工的复杂网络,引入了网络化软件的概念,把其中的软件单体映射为节点、软件与软件之间的相互作用映射为边,分析了网络化软件与网络软件的基本区别,从复杂网络的统计特征参数出... 从复杂网络与软件工程交叉研究的角度,把网络化软件作为一类人工的复杂网络,引入了网络化软件的概念,把其中的软件单体映射为节点、软件与软件之间的相互作用映射为边,分析了网络化软件与网络软件的基本区别,从复杂网络的统计特征参数出发,对网络化软件拓扑的不均匀性、小世界特性、无尺度特性以及鲁棒性与脆弱性并存等特性进行了探讨.通过特征分析,提出了利用网络拓扑特征提高软件鲁棒性、改善软件系统的设计、开发和测试方法.这些结果对提高软件质量具有有益的启示和指导意义. 展开更多

关键词 复杂网络 网络化软件 无尺度 小世界 鲁棒性与脆弱性 软件质量

在线阅读 下载PDF 职称材料

软件开发知识描述语言SOKM/L的研究

3

作者 何克清 金明源 《计算机科学》 CSCD 北大核心 1989年第6期27-38,F004,共13页

前言 [1]提出了软件开发知识表示与利用模型SOKM,但仅用它仍无法描述软件开发的知识,必需研究对应的知识表示和利用语言及其支撑系统。本文依据SOKM,提出了软件开发知识的面向对象(Object-Oriented)的O-O范例和面向逻辑(Logic-Oriented)

关键词 软件开发 SOKM/L语言 知识表示

在线阅读 下载PDF 职称材料

软件开发知识的表示与利用模型SOKM

4

作者 何克清 《计算机科学》 CSCD 北大核心 1989年第6期18-26,77,共10页

引言软件开发过程中的产品信息和过程性信息的研究是提高软件生产率和软件质量的重要任务之一。相应地,软件开发过程中的说明性知识和动态的过程性知识的表示和利用是研究知识处理型软件工程的基础性工作,而这一工作的关键是知识表示与... 引言软件开发过程中的产品信息和过程性信息的研究是提高软件生产率和软件质量的重要任务之一。相应地,软件开发过程中的说明性知识和动态的过程性知识的表示和利用是研究知识处理型软件工程的基础性工作,而这一工作的关键是知识表示与利用的研究。 展开更多

关键词 软件开发 知识表示 SOKM

在线阅读 下载PDF 职称材料

软件开发活动的控制结构的研究

5

作者 何克清 《高技术通讯》 EI CAS CSCD 1991年第4期22-26,共5页

关键词 软件开发 控制结构

在线阅读 下载PDF 职称材料

人工智能用于软件原型化方法的探讨 被引量：1

6

作者 黄玲 马江 《计算机科学》 CSCD 北大核心 1991年第4期65-68,共4页

一、引言传统生命周期方法的缺陷,促进了软件工程中原型化方法的发展。其宗旨是用较小的代价,较快的速度生成可供人们对需求和目标系统性能进行审定的系统模型或“例子”。但是由于软件原型化方法本身并不完善,加上涉及原型开发本身的开... 一、引言传统生命周期方法的缺陷,促进了软件工程中原型化方法的发展。其宗旨是用较小的代价,较快的速度生成可供人们对需求和目标系统性能进行审定的系统模型或“例子”。但是由于软件原型化方法本身并不完善,加上涉及原型开发本身的开销,目前,利用原型化方法成功地开发实际产品系统的例子并不多见。与之相反,人工智能却在许多实际领域取得了成功,如:各种实用专家系统和专家系统工具的建造。 展开更多

关键词 人工智能 软件工程 原型化法

在线阅读 下载PDF 职称材料

一种新的复杂网络演化机制研究 被引量：3

7

作者 胡钢锋 李德毅 +1 位作者 陈桂生 李兵 《计算机研究与发展》 EI CSCD 北大核心 2007年第z1期263-267,共5页

现实世界中,包括互联网在内的大多数复杂网络都具有"小世界"或"无尺度" 等特性,这一重大科学发现从根本上改变了人们对复杂网络的认识.但是,对现实世界中复杂网络的研究,仅仅依靠节点和边形成的拓扑特性远远不够,... 现实世界中,包括互联网在内的大多数复杂网络都具有"小世界"或"无尺度" 等特性,这一重大科学发现从根本上改变了人们对复杂网络的认识.但是,对现实世界中复杂网络的研究,仅仅依靠节点和边形成的拓扑特性远远不够,网络中节点的质量、节点之间位置的相互影响、节点的生长和消亡,这些扩展因素对网络的自组织过程也是非常重要的.在研究WS小世界模型及BA无尺度网络模型的基础上,提出了一种基于典型网络模式的分阶段演化而生成无尺度复杂网络的新机制,这种演化机制反映了现实世界中复杂网络的性质存在整体跃迁特征,它对于复杂网络的分解、约简及可控性研究具有指导意义. 展开更多

关键词 复杂网络 小世界 无尺度 要素扩展 演化机制

在线阅读 下载PDF 职称材料

多粒度可逆细胞自动机模型的数据加密方法 被引量：4

8

作者 夏学文 熊曾刚 李元香 《计算机工程与设计》 CSCD 北大核心 2010年第16期3599-3603,共5页

为了克服以往对细胞自动机的研究局限于单粒度细胞单元的问题,引入了多粒度细胞的概念,并结合可逆细胞自动机提出了一种基于多粒度可逆细胞自动机的加密算法。在该算法中,扩展的可逆细胞自动机具有足够多的规则,从而保证了安全的密钥空... 为了克服以往对细胞自动机的研究局限于单粒度细胞单元的问题,引入了多粒度细胞的概念,并结合可逆细胞自动机提出了一种基于多粒度可逆细胞自动机的加密算法。在该算法中,扩展的可逆细胞自动机具有足够多的规则,从而保证了安全的密钥空间;细胞单元通过"分裂-重组"实现自身粒度大小的动态调整,并依此来提高细胞自动机动力学特性的复杂性,实现了快速加、解密。同构的硬件结构使该算法具有很强的实用性,仿真实验表明,该加密算法具有较高的安全性。 展开更多

关键词 细胞自动机 多粒度可逆细胞自动机 动力学复杂性 密码学 硬件同构

在线阅读 下载PDF 职称材料

Einstein谜的SAT求解 被引量：4

9

作者 田聪 段振华 王小兵 《计算机科学》 CSCD 北大核心 2010年第5期184-186,共3页

Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求解问题,并使用当前流行的SAT求解器,如MinSat,对Einstein... Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求解问题,并使用当前流行的SAT求解器,如MinSat,对Einstein谜进行自动求解。 展开更多

关键词 Einstein谜 命题逻辑 可满足性 验证 形式化方法

在线阅读 下载PDF 职称材料

改进的优化算法用于移动机器人路径规划 被引量：8

10

作者 唐文娟 刘传领 《科学技术与工程》 北大核心 2012年第29期7598-7601,7606,共5页

针对当前机器人路径规划算法存在局部最优问题,提出了一种改进的移动机器人路径规划算法。该算法采用改进的人工势场算法产生初始化种群,改进的遗传算法引入了新的适应性函数和"翻转变异"算子、进行全局路径优化。适应性函数... 针对当前机器人路径规划算法存在局部最优问题,提出了一种改进的移动机器人路径规划算法。该算法采用改进的人工势场算法产生初始化种群,改进的遗传算法引入了新的适应性函数和"翻转变异"算子、进行全局路径优化。适应性函数包括路径点的适应度和路径的适应度,提高了适应性函数的评价性能。"翻转变异"使障碍物路径变为自由路径,使移动机器人顺利绕过障碍物。克服了传统遗传算法的早熟收敛问题,提高了遗传算法的效率。实验结果表明该算法在移动机器人路径规划中的可行性和有效性。 展开更多

关键词 遗传算法 人工势场 路径规划 机器人 遗传算子 适应性函数

在线阅读 下载PDF 职称材料

一类新的并行排序算法(英文)

11

作者 全惠云 肖伟 陈毓屏 《湖南师范大学自然科学学报》 EI CAS 北大核心 2003年第3期1-5,共5页

提出了两种新的并行排序算法,在第一部分设计了一种有效的异步并行算法,可应用于多指令和多数据流计算机,且提供了该算法的最小和最大的运算时间.第二部分给出了一种新的并行排序网络,对于n个元素的排序序列,可以使用n(n-1) 2个比较元素... 提出了两种新的并行排序算法,在第一部分设计了一种有效的异步并行算法,可应用于多指令和多数据流计算机,且提供了该算法的最小和最大的运算时间.第二部分给出了一种新的并行排序网络,对于n个元素的排序序列,可以使用n(n-1) 2个比较元素和n(n-1) 2个反转换元素及n个转换元素能达到常数数量级的运行时间进行快速排序,同时给出了以{0,1}元素组成的序列的排序过程. 展开更多

关键词 并行排序算法 异步并行算法 并行排序网络 比较元素 反转换元素 运算时间

在线阅读 下载PDF 职称材料

SOKM/L语言在JSD知识表示与利用中的应用

12

作者 何克清 金明源 《计算机科学》 CSCD 北大核心 1990年第1期25-32,共8页

Jaekson系统开发方法(Jackson Sy-stem DeveloPment)JSD是1980年M.A.Ja-ckson提出的结构化软件系统设计方法。 JsD的基本观点是软件系统的设计应该反映现实世界。

关键词 SOKM/L语言 软件开发 知识表示 JSD

在线阅读 下载PDF 职称材料

SOAP应用服务器的设计与实现 被引量：3

13

作者 杨珀 赵明霞 《计算机应用》 CSCD 北大核心 2003年第11期106-109,共4页

随着计算机技术和Internet的不断发展,与平台无关、与语言无关的软件组件模型日渐成为网络应用的一个重要需求,SOAP(简单对象访问协议)规范使用XML格式化请求和相应的参数编码,并使用HTTP协议传输,实现了大量异构程序和平台之间的互操作... 随着计算机技术和Internet的不断发展,与平台无关、与语言无关的软件组件模型日渐成为网络应用的一个重要需求,SOAP(简单对象访问协议)规范使用XML格式化请求和相应的参数编码,并使用HTTP协议传输,实现了大量异构程序和平台之间的互操作性,从而使存在的应用程序能够被广泛的用户访问。所有基于SOAP的应用都需要SOAP应用服务器的支持,SOAP应用服务器是所有上层应用的基础平台,在分析了SOAP协议的基础上,设计并实现了SOAP应用服务器。 展开更多

关键词 XML SOAP WEB服务

在线阅读 下载PDF 职称材料