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

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

软件工程导论课程双语教学的实践与思考

本文阐述了软件工程导论课程双语教学的目标和定位以及我们对双语课程教学的一些认知,分析了在双语教学过程中我们所采用的一些理念和方法,从教材、考核、实践、交流等多个环节介绍了该课程双语教学的实施细节,最后讨论了存在的问题和进一步的教学研究。     

工作流系统在办公自动化中的研究与应用

介绍工作流的相关概念、工作流管理系统模型以及工作流系统的分类,描述一套已实施成功的办公自动化中的工作流系统.     

多agent系统的抽象合作模型

合作是多agent系统的特征之一,研究了具有请求／服务交互特征的多agent系统的抽象合作模型,根据服务请求强度和服务提供方式的差异性和多样性,系统分析并提出了6种基本抽象合作模型,提取了请求、承诺和通知3个言语行为作为实现合作的原子通信行为,给出这些原子通信行为和抽象合作模型的严格语义定义,分析它们的实现机制,以描述多agent系统的合作方式和机制,指导多agent系统的设计和实现．     

软部件描述：模型,方法和语言

软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。块式重     

软件Agent的一种面向对象设计模型

怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系结构及其内部行为自主决策算法.最后,基于该结构及算法并利用设计模式开发出了软件Agent的一种面向对象设计框架.该工作对于上述问题的解决,以及在现有成熟的面向对象技术基础上开发出软件Agent程序设计语言及其支撑环境具有基础指导意义.     

准噶尔盆地乌夏地区稠油生物降解特征

准噶尔盆地乌夏地区稠油主要分布在风城油田,由于受到较强烈的生物降解作用影响,密度和粘度很高,正构烷烃和无环类异戊二烯烷烃严重降解,胡萝卜烷缺失,藿烷含量部分降解或严重降解,甾烷和重排甾烷部分降解,而三环萜烷含量、孕甾烷和升孕甾烷含量很高,m(Ts)/m(Tm)平均值为3.55。根据稠油的正构、异构烷烃降解程度、生物标记化合物和25-降藿烷系列化合物的降解程度以及三环萜烷含量和孕甾烷含量,将乌夏地区稠油生物降解作用级别划分为6级,并以此为依据将乌夏地区稠油分为6种类型。     

自主机器人软件工程的研究综述

自主机器人是一类运行在开放环境下具有自主行为的复杂信息物理系统,软件是其核心和关键,提供计算、控制、决策等多样化功能,负责驱动机器人安全、灵活和高效地运行.自主机器人软件的开发面临着来自系统自身、外部环境和现实约束等复杂性带来的诸多挑战.自主机器人软件工程是一个多学科交叉的新兴研究领域,旨在为自主机器人软件的开发、运行和维护提供工程化的方法、技术和平台支持,其研究与实践近年来引起学术界和工业界的高度关注并取得了长足进步.本文围绕三个方面的研究问题,综述了自主机器人软件工程的研究与进展:(1)深入分析了自主机器人软件的特点及其开发复杂性;(2)系统概括了自主机器人软件工程的现有研究方向及已有成果;(3)详细讨论了自主机器人软件工程当前研究的局限性及未来的机遇.     

自主机器人的主动观察模式及软件实现架构

自主机器人运行在开放环境中，对环境信息的感知受限，难以获得有关环境完整、及时的信息。为有效完成任务，自主机器人需要主动地观察环境，即根据任务的需求，自发地决策、调度和执行观察行为，针对性地获取与任务相关的环境信息。主动观察的需求给自主机器人的观察模式以及软件系统构造提出了两方面的挑战：一方面，为支持任务的有效实现，需设计主动的观察模式，从机制层面确保自主机器人能够基于任务需求，观察所需的环境信息；另一方面，主动的观察模式导致自主机器人观察、决策等软构件的功能抽象和数据交互更为复杂，需要针对上层复杂机制的实现设计适配的软件架构。为应对上述挑战，文中将自主机器人的行为定义为任务行为和观察行为两类，针对开放环境中两类典型的环境信息受限场景——片面观察场景和过时观察场景，提出了两类主动观察模式来构建观察行为与任务行为的协同机制，并基于这两类主动观察模式设计了观察行为的决策和调度算法。另外，还设计了一个基于多智能体系统的自主机器人软件架构，实现了所提出的主动观察模式。最后，为验证所提出的主动观察模式的有效性，选取开放环境中一个典型的任务——图书馆服务机器人的图书传送任务开展实验验证。该任务中，自...