基于Agent的软件系统开发方法

基于Agent软件工程是当前软件工程领域最具有影响的一个方面,它比现在存在的开发方法有一些优越性,尤其是在软件系统中Agent所表现的对现实世界的高水平的抽象能力.文中论述了基于Agent软件系统的分析和设计方法,包括通用的高水平的方法和特殊设计的方法.指出面向Agent的软件技术是分析和设计软件系统的有力工具.     

软件工程方法的新进展:面向Agent的软件工程

面向Agent的软件工程方法是软件工程领域的一种新方法，与现有的开发方法相比，Agent具有较强能力对复杂软件系统中的活动实体进行高层抽象。分析了面向Agent软件工程方法对复杂软件系统建模的成功之处，并又对面向Agent的高层建模方法和基于面向对象方法的面向Agent的设计方法作了一些研究。     

面向Agent软件工程技术研究

面向Agent软件工程技术是软件工程和人工智能领域最重要的新技术之一.同现有其他软件工程模式相比,Agent提供了一种对软件实体的更高层次的抽象模型,同时,面向Agent软件工程也为我们提供了分析和设计复杂分布式软件系统的一种新途径.本文详细地研究了面向Agent软件工程的主要建模技术和方法,并提出了基于多Agent的软件工程技术.     

基于Agent和带权关系网的软件体系结构自适应

作为软件的蓝图,描述整个系统的结构和行为模型的软件体系结构在软件自适应中起着重要作用,具有适应性特征的Agent为构造自适应软件系统提供了独特的优势.针对现有基于Agent的软件系统在体系结构和动态配置方面的不足,提出了一种基于带权关系网模型,利用Agent对环境的监测和评估,以调整Agent间联系的权重来决策Agent间的合作对象的选择,从而使得基于Agent的软件系统在构件、连接件和配置方面具备适应性,为开发基于Agent的自适应软件系统提供借鉴和参考.     

用户自治性在软件Agent设计中的研究

软件Agent是计算机科学研究的热点领域并已成为现代软件系统的特征。随着软件Agent的发展,研究Agent设计的评价标准显得尤为重要。文中讨论了软件Agent的用户自治性标准,提出了用户自治性标准在Agent设计中的定义,探讨了Agent影响用户自治性的几个特征,并在此基础上提出了一个新的软件系统模型。     

基于多Agent的软件测试系统设计

随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点.通过将Agent技术引入软件测试过程,设计了一种基于多Agent的软件测试系统.该系统由界面Agent模块、预处理Agent模块、程序插桩Agent模块和动态测试信息分析Agent模块组成.实现了软件语句和分支覆盖率的测试及查询覆盖率不满足要求时未覆盖目标的情况.有效地解决了传统手工测试程序运行效率低、繁琐等一些问题,保证了软件系统高效稳定的运行.     

可配置网络式软件系统的可用性预计研究

在复杂系统的建模与仿真研究的基础上,提出了一种基于多Agent的可配置网络式软件系统的可用性预计方法。首先介绍了多Agent系统建模与仿真方法;其次分析了可配置网络式软件系统的特点;然后在研究基于多Agent的网络式软件系统建模与仿真的基础上,研究可配置的行为模型,并建立了基于多Agent的可配置网络式软件 系统可用性仿真方法;最后利用Nctlog。仿真平台,结合实例对可配置的作用进行了可用性预计,并验证了本方法的有效性。     

基于多Agent的组织决策支持系统(ODSS)的设计与研究

近年来，Agent技术给软件的发展带来了日新月异的变化．这种技术提供了软件系统概念化、设计与实现的全新模式，多Agent与组织决策支持系统(ODSS)也是人工智能和系统工程中的研究热点。本文在研究多Agent与0DSS的基础上，设计了一种基于多Agent的组织决策支持系统，并对它进行了适当的分析和展望。     

基于网格的面向Agent可视化需求分析环境

面向Agent软件工程方法是开发复杂分布式系统的一种新范例,它在Agent抽象层次上建立软件系统的模型。多样的工具正在被设计、开发以推广面向Agent的需求建模方法。Aomg环境支持文献[1]中提出的一种面向Agent的分析和设计建模方法（Agent—Oriented Modeling based Grid,AOMG）,辅助基于网格环境的分布式应用的需求分析,建立可视化、直观的系统抽象模型（如系统组织模型、角色模型和Agent交互模型）,对之进行严格的XML描述,方便模型的一致性检查并为设计阶段提供支持。     

基于网格的面向Agent可视化需求分析环境

面向Agent软件工程方法是开发复杂分布式系统的一种新范例,它在Agent 抽象层次上建立软件系统的模型。多样的工具正在被设计、开发以推广面向Agent的需求建模方法。Aomg环境支持文献［1］中提出的一种面向Agent的分析和设计建模方法(AgentOriented Modeling based Grid,AOMG),辅助基于网格环境的分布式应用的需求分析,建立可视化、直观的系统抽象模型（如系统组织模型、角色模型和Agent交互模型）,对之进行严格的XML描述,方便模型的一致性检查并为设计阶段提供支持。     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

How do children do mathematics with LOGO?

Abstract  This paper considers some results of a study designed to investigate the kinds of mathematical activity undertaken by children (aged between 8 and 11) as they learned to program in LOGO. A model of learning modes is proposed, which attempts to describe the ways in which children used and acquired understanding of the programming/mathematical concepts involved. The remainder of the paper is concerned with discussing the validity and limitations of the model, and its implications for further research and curriculum development.