Metamodeling of Smart Environments: from design to implementation

A smart environment is a physical environment enriched with sensing, actuation, communication and computation capabilities aiming at acquiring and exploiting knowledge about the environment so as to adapt itself to its inhabitants’ preferences and requirements. In this domain, there is the need of tools supporting the design and analysis of applications. In this paper, the Smart Environment Metamodel (SEM) framework is proposed. The framework allows to model applications by exploiting concepts specific to the smart environment domain. SEM approaches the modeling from two different points of view, namely the functional and data perspectives. The application of the framework is supported by a set of general guidelines to drive the analysis, the design and the implementation of smart environments. The effectiveness of the framework is shown by applying it to the modeling of a real smart office scenario that has been developed, deployed and analyzed.     

Making use of prognostics health management information for aerospace spare components logistics network optimisation

Although research has evolved significantly over the last decade, there are still a large number of Grand Challenges confronting modelling, model deployment, and model-based decision making of large-scale complex Discrete Event Logistics Systems (DELS) to be tackled, as identified and reviewed during a Dagstuhl workshop in March 2010. This paper illustrates how several of these challenges are already being addressed, based on a series of case studies from the Aerospace Spare Components Logistics domain, where consolidated operational Prognostics and Health Management (PHM) information can be used for tactical planning and optimisation of spare components logistics networks. In this setting, the growing potential of PHM technology to facilitate the maintenance and support of commercial and military aircraft emphasises the need for tools to determine the impacts and benefits of a PHM system. To achieve this, the prognostics parameters and related logistics policies were identified, modelled, and subsequently incorporated into a simulation-based decision support framework.     

迭代函数系IFS吸引子的参数控制与树木的模拟

文章讨论了迭代函数系ＩＦＳ吸引子的参数控制,讨论了ＩＦＳ参数控制实现模拟树木的方法。     

多重空间映射与超结构查询

多重空间映射是将多个信息系统数据库中的事物组织成多层逻辑空间,通过映射快速地确定查询对象。超结构查询是通过“多重空间映射”的方法,实现超越应用系统结构的、快速、方便、广泛的信息查询的一种新技术。它不受功能系统的限制,不受数据库表结构的限制,能够在各个功能系统的多个数据库表中查找匹配的信息,可有效解决多个应用系统范围的数据查询,并使信息系统中的数据得到更充分的利用。     

Internet环境下“分布式智能决策支持系统生成器”Browser/Multi-Server结构的研究

针对当前的Internet环境,文章提出了一种新的分布式智能决策支持系统生成器的结构,并着重阐述了IDSSG的这种结构如何在Internet环境下实现。     

Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle

This paper describes the requirements analysis and system specification of an Order Promise module to be used as part of a broader Decision Support System for production and operations planning of a Virtual Enterprise. This work is part of a broader project with a particular focus on the microelectronics industry which is a good example of Virtual Enterprise, and where a quick response to the customers needs and to unpredictable changes in production conditions is considered a major factor for success. First, the analysis and specification are presented within a development framework that involves the study of organizational issues of semiconductor enterprises. The use of ontological engineering for supporting the communication and shared understanding of the system concepts is explained and a virtual enterprise ontology is outlined. Following the clarification of the concept of virtual enterprise, the generic techno-organizational requirements for the information system are derived. Finally, a specification of the global planning module and a more detailed one regarding the order promise module is presented.     

泛系论与复杂超系统运筹的生物学化思维（Ⅱ）

本文论述系理论的沿革及其与系统科学、辩证法、生命科学的比较,通过几个表32个项目的对比对泛系理论进行了相对具体的定位,阐述泛理论与数理工医文社史哲诸多学科百家研究的前缘关系,同时揭示许多与高新技术、思维科学、方法论有关的一些新的理法,发展了泛系生物学框架,它对计算机、数字工程、人工智能、模式识别、图象处理、细胞自动机、大脑研究、神经网络与神经计算机、生物控制论、机器人、仿生学和系统科学等等的发展因缘与战略性思考,对大型自动化系统、复杂系统与大系统工程建构的运筹和人类本身的理解均有特殊意义,有关的论题涉及：方法论,逼近论,等价论,相对论,辩证逻辑,系统论,控制论,信息论,泛熵论,识别论,对策论,数字空间的数学形态学,广义系统边界理论,粗集理论,一般生命系统及其对系统科学与思维科学发展和对系统工程原理、传感器机理、大型自控系统与智能生命系统营构的影响。等等。     

Automatic verification for a class of distributed systems

Summary. The paper presents a new analysis method for a class of concurrent systems which are formed of several interacting components with the same structure. The model for these systems is composed of a control process and a set of homogeneous user processes. The control and user processes are modeled by finite labeled state transition systems which interact by means of enabling functions and triggering mechanisms. Based on this structure, an analysis method is presented which allows system properties, derived by reachability analysis for a finite number of user processes, to be generalized to an arbitrary number of user processes. A procedure for the automatic verification of properties such as mutual exclusion and absence of deadlocks is presented and is then used to provide for the first time a fully automated verification of the Lamport's fast mutual exclusion algorithm. Received: October 1998/Accepted January 2000     

基于Agent的SIDSS协同工作模型研究

计算机支持的协同工作系统（CSCW）体现并符合当今信息时代人们工作的群体性,交互性,分布性和协同性等特点,因而日益受到人们的重视并广泛地应用到实际当中,协同工作是机关事业单位工资系统重要特性之一,本文分析了工资智能决策支持系统（SIDSS)的协同问题,提出了一种基于Agent的协同决策支持系统的协同工作模型,讨论了SIDSS协同 实现,并对模型提出前后的性能进行了比较。     

Windows CE操作系统安全机制综述

Windows CE是一个应用非常广泛的嵌入式操作系统,其安全机制对于它在各个领域中的应用起着非常重要的作用,文章着重在建立信任环境、密码技术和USBKEY认证手段等方面对Windows CE的安全服务体系和架构进行了充分的论述。