ARTEMIS-ARC系统协同模型的自省式实现技术研究

基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。     

面向体系结构的可视化服务集成开发环境Artemis-VIDE

为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化，本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑，并据此生成内置于应用系统之中的运行时刻体系结构对象，作为应用系统运行和演化的基础。该环境还集成了服务搜索、基于图文法的体系结构检查等功能，为系统的开发、运行、监控和动态演化提供了一个一致、易用、可扩展的支撑平台。     

一种演化超图文法到状态转移系统的映射方法

运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性.     

一种基于反射机制的OWL-S需求规约演化方法

软件系统面临用户需求、软件资源和系统上下文环境等方面变化的挑战,软件需求不可避免地要求持续的演化。反射目前被用于软件系统的运行时管理和动态演化等方面,但还没有用于软件需求规约的演化。提出了一种基于反射机制的OWL-S需求规约演化方法,通过描述支持OWL-S需求规约演化的元信息,并以合理的方式使用这些元信息,实现OWL-S需求规约的演化。利用这种方法,需求分析人员可以有效地管理需求变更,以一种可控、有序的方式完成需求规约的演化任务。     

一个面向服务的支持动态演化的软件模型

为了使面向服务的架构更适应动态演化的需求，提出了基于体系结构空间、支持动态演化的软件模型SASM．SASM是使用反射技术，通过具有因果相联的基层和元层来构造．基层由可运行的服务形成，元层是一个具备树形层次、层间存在求精关系的体系结构空间．该空间反映了需求的层次性，提供给用户不同抽象级别的视图和管理手段．通过对体系结构空间的观察，可获知系统的结构和行为信息．通过对体系结构空间的在线调整可实现对基层的修改进而实现系统的非预设动态演化，而空间中不同层次之间的求精关系保证了应用的完整性和演化的一致性．     

运行时软件体系结构的建模与维护

运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF 和QVT 标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性.     

基于关联矩阵的软件体系结构动态演化及其实现

针对当前软件体系结构动态演化方法很少考虑组成元素之间关联的问题, 从关联的角度考虑软件体系结构的组成, 用关联矩阵和关联基数矩阵描述软件体系结构及其动态演化的各项需求, 提出了一种基于关联矩阵的软件体系结构动态演化方法, 并设计相应的算法进行实现, 最后通过案例进行分析和实验, 验证了方法的有效性。本方法可有效地实现软件体系结构动态演化的可追踪性和可控性。     

Bigraph理论在自适应软件体系结构上的应用

现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了,π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求,而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状,利用Bigraph理论对自适应软件体系结构进行了形式化规约,分析和验证了系统动态演化的性质,并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向.     

一种面向对象替换的灵活在线演化框架

在面临动态、复杂多变的运行环境以及用户灵活多变的需求时,软件要能及时调整其结构和行为,以适应环境以及需求的变更,达到延长软件系统生命周期的目标,即具有在线演化的特性.在线演化是当前软件体系结构中研究的热点,本文在研究自适应演化的过程中,基于面向对象程序模型,利用动态对象替换的机制,提出一种灵活的在线演化框架.通过具体的实例验证,该机制简单灵活,适合软件的在线调整,满足软件运行时变更的需求.     

并行自动测试系统软件体系结构建模

针对并行自动测试系统软件开发难度大的问题,对其软件体系结构进行研究,提出层次化风格的并行自动测试系统软件体系结构及五视图的软件体系结构描述模型,建立该软件体系结构的需求功能视图、框架视图、静态结构视图、动态过程视图和物理实现视图。该描述模型可以对并行自动测试系统的软件体系结构进行全面的分析,有利于指导系统的实际开发。     

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.     

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

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

基于QTE的蒙古文显示机制研究与实现

蒙古语言是中国蒙古族使用的通用语言,由于蒙古文区别于其他文字的书写方式和其自身变形机制等特点,在很多通用的文字处理引擎中都不被支持。在嵌入式产品开发与应用领域中Linux加QTE已经成为流行方式。该文给出了一种在QTE环境上实现基于标准Unicode的蒙古文点阵显示和变形算法, 并自定义了支持蒙古文的QTE组件,扩展了QTE功能,为在Linux加QTE方式的嵌入式体系结构中处理蒙古文提供了一种解决方法。     

基于AD9626的模拟信号采集存储卡设计

自然界的绝大部分信号都是以模拟的形式存在,因此模拟信号的采集转换存储在数字时代十分关键。文章讨论了在雷达信号处理领域基于AD9626的AD采集存储卡的设计原理、硬件结构和程序设计与芯片配置等问题,为今后相关领域的研究提供了可参考的方案。     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

A human-computer interface for non-computer specialists

The COM teleconferencing system was designed to be easy to use for both beginners and people with much computer experience. A number of design choices in organizing the human-computer interface were considered very carefully. These design problems are not unique for teleconferencing applications, but will appear in many other developments of human-computer interfaces for non-computer specialists. This report discusses naming conventions, menu format, user commands, help facility and the treatment of ‘type ahead’ from the users.     

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.     

Call for papers Special issue on Modeling and control technologies for civil,energy,and power systems

正The control of civil,energy,and power systems presents significant new challenges for modeling and control theory.The purpose of this special issue is to provide a forum for researchers and practical engineers to discuss the recent advances in modeling and control technology development for civil,energy,and power systems.Prospective authors are invited to submit their original contributions with the focus on theory or applications of modeling,control     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate and promote academic exchange between Chinese and foreign scientists everywhere.     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.comAim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate and promote academic exchange between Chinese and foreign scientists everywhere.