一个面向对象的集成化软件原型开发环境

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

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

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

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

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

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

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

人工智能用于软件原型化方法的探讨

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

一种新的复杂网络演化机制研究

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

多粒度可逆细胞自动机模型的数据加密方法

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

Einstein谜的SAT求解

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

改进的优化算法用于移动机器人路径规划

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

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

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

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

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

当前分布式计算研究之特点

第16届国际分布式计算系统会议于1996年5月27—30日在香港湾仔会议中心举行。IEEE计算机学会执行委员会会长Mario Barbacci教授和香港科技大学协理副校长沈运申教授担任大会联合主席,香港科技大学计算机系主任陈天雄教授和Tulance大学Bill Buck-less博士担任程序委员会联合主席。有29个国家和地区的学者投寄论文305篇(实际送审295篇),会议录用87篇(美国52篇),涉及14个国家和地区,约200人与会。

格子Boltzmann方法的质量扩散模型

在《基于格子Ｂｏｌｔｚｍａｎｎ方法的流体力学问题仿真》一文中详细介绍了格子Ｂｏｌｔｚｍａｎｎ方法（ＬＢＭ）的通用模型；模拟了一些典型流体流动现象，证明ＬＢＭ模拟流体流动的简单有效性，适合基于区域分解的分布式算法；首次提出并实现了基于ＬＢＭ的流体力学问题的自动建模算法。现设计一个九点正方形ＬＢＭ的外力模型。设粒子运动方向为ｅｉ＝Ｒｉ（ｃｏｓｉ－１４π，ｓｉｎｉ－１４π），ｉ＝１，２，…，８；ｅ０＝（０，０）。式中Ｒｉ＝｜ｃｏｓｉ－１４π｜＋｜ｓｉｎｉ－１４π｜。流场各节点Ｒ有外力Ｇ（Ｒ），Ｇ（Ｒ）＝（ｇｘ（Ｒ），ｇｙ（Ｒ））＝（ｇｘ（Ｒ），０）＋（０，ｇｙ（Ｒ））＝Ｇｘ（Ｒ）＋Ｇｙ（Ｒ）。则可得到格子Ｂｏｌｔｚｍａｎｎ的外力模型ｆｉ（Ｒ＋ｅｉ，ｔ＋１）＝（１－ω）ｆｉ（Ｒ，ｔ）＋ωｆｅｑｉ（Ｒ，ｔ）＋ｇｉ（Ｒ）ｉ＝０，１，…，８其中：ｆｅｑ０＝４ρ９［１－３２｜ｕ｜２］；ｆｅｑｉ＝ρ９［１＋３（ｅｉ·ｕ）＋９２（ｅｉ·ｕ）２－３２｜ｕ｜２］ｉ＝１，３，５，７；ｆｅｑｉ＝ρ３６［１＋３（ｅｉ·ｕ）＋９２（ｅｉ·ｕ）２－３２｜ｕ｜２］ｉ＝２，４，６，８．ｇｉ（Ｒ）＝［ｓｉｇｎ（＜Ｇｘ（Ｒ）·ｅｉ＞）ｇｘ（Ｒ）＋ｓ?

电子商务与信用体系探析

通过对网络虚拟商品概述入手,从市场化的商业运作角度,尝试对网络虚拟商品交易的各个构成要素进行逐项分析;从建立用户信用评定体系、界定网络虚拟货币信用、规范网络商品与服务信用三个方面对构建网络虚拟商品交易的信用体系进行了探讨。

SOAP应用服务器的设计与实现

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

支持多种虚拟化技术的进程非代理监控方法

为保障云环境中虚拟机应用的安全性与可用性,提出一种能够支持多种虚拟化技术的进程非代理监控方法及主动监控框架.本框架将进程监控点设在虚拟机监视器中,而不在其中安装任何代理,并且支持VMware,Xen和KVM三种虚拟化技术,实现了对客户操作系统(Guest OS)的隐藏进程检测和进程负载监控,保证虚拟机安全可靠地运行.从被监控虚拟机外部获取活动进程链、遍历线程获得进程列表,进而利用交叉视图技术可检测出隐藏进程;除开活动进程链,加上网络连接信息相关的另两条链表,从中定位到待监控进程,可获得进程负载状况.实验结果表明:本框架能有效地检测出系统中的隐藏进程,并且准确获取特定进程的负载信息.

模拟流体力学的离散运动论模型

模拟流体力学的离散运动论模型李元香（武汉大学软件工程实验室）ＤＩＳＣＲＥＴＥＫＩＮＥＴＩＣＭＯＤＥＬＳＦＯＲＳＩＭＵＬＡＴＩＮＧＦＬＵＩＤＤＹＮＡＭＩＣＳ￥ＬｉＹｕａｎｘｉａｎｇ（ＬａｂｏｒａｔｏｒｙｏｆＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇＷｕｈａ...

高级加密标准AES评判规则

作为DES的替代标准,AES密码算法的选择已成为世人关注的热点问题。美国国家标准与技术协会(NIST)接受了15种候选密码算法的提案,并以统一的规则进行评判,选择优胜者作为AES的算法标准。AES的制定将会成为密码发展史上的又一里程碑。本文对其评判规则做出了简明的阐述。

安全电子交易(SET)规范

Internet的普及,促使网上购物、网上交易迅速发展。随之出现的信息安全问题逐渐引起了社会各界的关注。作为全球化的商业操作,电子商务对其安全性提出了特别的要求。SET(Security Electronic Transaction)规范是专为电子商务应用而设计的。本文详细评介了SET规范。