基于人工心理的E-learning辅助系统

本文在人工心理学和情感计算的基础上,应用人脑控制模式理论中情感、感觉和知觉与行为的关系,建立了一个情感与姿态关系模型,它可以由人的行为姿态的变化判断出人的情感的变化。介绍了应用该模型的E-learning辅助系统,并给出了总体结构设计和各个模块的功能。实验结果表明,本系统实现了情感交互的功能,完善了E-Learning教学系统。     

太阳能燃料电池联合发电系统的建模与控制

太阳能燃料电池联合发电系统主要由太阳能光伏阵、质子交换膜燃料电池（PEMFC）和电极组成。该联合系统具有非线性特性。通过分析建立了该系统各个组成部分的数学模型，采用PID控制器对系统进行控制。在MATLAB／SIMULINK环境下对整个控制系统进行仿真，测试系统在负载电流阶跃变化和各种天气条件快速变化下的动态响应性能。仿真结果表明，经过负载阶跃变化后，系统能在短时间内趋于稳定。系统超调在可接受的范围内。系统性能对于负载电流的阶跃变化响应是令人满意的，控制方案可以达到预期效果。     

Change propagation analysis for system modeling using Semantic Web technology

Change propagation potentially affects many aspects of a SysML-based system model during the iterative process of Model-Based Systems Engineering (MBSE). However, few authors have addressed the implication of engineering change and its impact. To address having a successful change process, this article analyzes and explicitly represents different scenarios of how a system model is changed from a formal perspective, i.e., how a system model should be changed, and how model elements should be added, deleted or modified in response to design changes. A workflow is introduced to guide the change process taking change propagation into account. Second, change impact relationships among requirements, behaviors, and structures of the system model are formalized by an ontology to make the semantics both human-understandable and machine-readable. Reasoning rules are defined as well in order to improve automation of the change process. Finally, an experiment using a water distiller system showed that the identification of change impact information could help designers complete the change in less time and with higher quality.     

NO Revision and NO Contraction

One goal of normative multi-agent system theory is to formulate principles for normative system change that maintain the rule-like structure of norms and preserve links between norms and individual agent obligations. A central question raised by this problem is whether there is a framework for norm change that is at once specific enough to capture this rule-like behavior of norms, yet general enough to support a full battery of norm and obligation change operators. In this paper we propose an answer to this question by developing a bimodal logic for norms and obligations called NO. A key to our approach is that norms are treated as propositional formulas, and we provide some independent reasons for adopting this stance. Then we define norm change operations for a wide class of modal systems, including the class of NO systems, by constructing a class of modal revision operators that satisfy all the AGM postulates for revision, and constructing a class of modal contraction operators that satisfy all the AGM postulates for contraction. More generally, our approach yields an easily extendable framework within which to work out principles for a theory of normative system change.     

一种基于遗传算法的自适应动态模糊系统的设计与实现

在我们研究的领域中，动态模糊对象是普遍存在的．因此由这些动态模糊对象组成的系统即为动态模糊系统，这类系统具有较强的自学能力和自适应能力，能随环境的变化而变化，本文借助动态模糊集和遗传算法对动态模糊系统进行研究，给出了一种动态模糊自适应系统，并进行了实例分析，实验结果表明该系统是有效的．     

基于有向图的工程变更传播分析的研究

论文提出了基于有向图的工程变更传播分析方法;开发了采用该方法进行 工程变更分析的软件系统;分析了工程变更中零件变更的传播、协调、吸收和控制等主要问 题;提出了传播模图和传播实图的概念;阐述了传播模图的数据结构、生成算法和使用它引 导工程变更分析的过程。该文用传播实图记录零件变更的传播范围及各个变更零件的变更计 划与影响评估;提出了案例的建立和重用方法,促进历史变更经验使用。使用这种方法和系 统,可以使工程变更分析与评估更加严密、高效。     

面向视觉监视的变化检测与分割

文章介绍了一种针对目标跟踪的高级视觉保安系统的双摄象机方案,在此框架下研究了变化检测问题,提出了一种简单、快速的分割算发：中点导引扫描方法。实验证明该算发对于将变化区域用矩形分割表示十分有效,是一种建立视觉监视系统的实用方法,可以作为目标跟踪研究的基础。     

The artful use of groupware: an ethnographic study of how Lotus Notes is used in practice

This paper uses the results from an ethnographic study of a groupware system in use to argue against two accepted views on groupware systems. Firstly, this paper argues that groupware is useful in how it supports existing everyday organizational processes, rather than as an agent of radical organizational change. Discussing the use of Lotus Notes in a British oil company shows how groupware supports mundane processes such as tracking repairs to equipment or encouraging good ideas. In this case groupware is a useful, yet unradical, technology. This is contrasted with discussions of groupware as a technology of radical change. Secondly, this paper argues that rigidity-the inability to change how a system works-can be a positive feature of a groupware system, or indeed, a very requirement of that system. A Notes system is shown being used to support accountability, in that staff used the record kept within the system to make their actions seem orderly and sensible to others. In this case the rigidity of the system was needed to convince others that the record was not being altered or fabricated. This is contrasted with those who have argued that groupware systems should be highly customisable by their users. More generally, this study uncovers the 'artful use' of groupware systems, how they are inventively integrated into work processes by those who use them.     

一种基于结构因果关系和日志变化挖掘的BPMSs故障诊断方法

业务流程管理系统存在可以改变系统行为的潜在故障, 因此研究定位系统中故障发生的最小结构变化区域是 十分必要的, 它对提高业务系统的鲁棒性具有重要意义. 本文提出了一种日志诱导下的变化挖掘方法, 即最小结构故障 域识别方法(minimal structure fault region identification, MSFRI), 该方法通过系统的行为变化来定位故障发生的结构因 果关系. 进一步, 针对合理的自由选择业务流程Petri网系统, 形式化定义了6种典型变化模式, 这些变化模式为故障的结 构因果关系变化挖掘提供理论基础. 本文所提出的故障定位方法通过识别业务流程Petri网系统的行为变化, 实现具有最 少库所和变迁数目的故障区域定位, 有助于实现系统更加复杂的变化挖掘. 本文工作的主要创新之处在于从结构因果关 系的角度出发, 借助系统行为变化挖掘实现定位业务系统中的潜在故障.     

有穷自动机在事务管理软件开发中的应用

系统分析及设计是系统软件开发的价段,正确、清晰的系统分析及设计结果是保证系统软件开发得以成功的前提。但目前不少事务管理软件的开发,由于没有做好系统分析设计阶段的工作,致使开发出的软件不能满足实际工作的需要,因而造成了不应有的人力、财力的浪费。究其原因,一是不够重视,二是缺少有效的辅助工具。本文针对目前在系统分析设计阶段缺乏对管理事务生命用期状态转换进行形式化描述方法的不足,提出了用有穷自动机理论进行事务生命周期状态转换的形式化描述方法,并介绍了该方法在“设备管理系统”开发中的应用。     

The effect of sampling on linear equivalence and feedback linearization

We investigate the effect of sampling on linearization for continuous time systems. It is shown that the discretized system is linearizable by state coordinate change for an open set of sampling times if and only if the continuous time system is linearizable by state coordinate change. Also, it is shown that linearizability via digital feedback imposes highly nongeneric constraints on the structure of the plant, even if this is known to be linearizable with continuous-time feedback. For n = 2, we show, under the assumption of completeness of ad_FG, that if the discretized system is lineariable by state coordinate change and feedback, then the continuous time affine complete analytic system is linearizable by state coordinate change only. Also, we suggest a method of proof when n ≥ 3.     

The artful use of groupware: An ethnographic study of how Lotus Notes is used in practice

This paper uses the results from an ethnographic study of a groupware system in use to argue against two accepted views on groupware systems. Firstly, this paper argues that groupware is useful in how it supports existing everyday organizational processes, rather than as an agent of radical organizational change. Discussing the use of Lotus Notes in a British oil company shows how groupware supports mundane processes such as tracking repairs to equipment or encouraging good ideas. In this case groupware is a useful, yet unradical, technology. This is contrasted with discussions of groupware as a technology of radical change. Secondly, this paper argues that rigidity-the inability to change how a system works-can be a positive feature of a groupware system, or indeed, a very requirement of that system. A Notes system is shown being used to support accountability, in that staff used the record kept within the system to make their actions seem orderly and sensible to others. In this case the rigidity of the system was needed to convince others that the record was not being altered or fabricated. This is contrasted with those who have argued that groupware systems should be highly customisable by their users. More generally, this study uncovers the 'artful use' of groupware systems, how they are inventively integrated into work processes by those who use them.     

基于Spring的业务规则引擎

业务策略并不是静态的,它们经常变更,且其关联的业务流程也会随之变更。因此,有必要在实现和修改业务流程时保持灵活性。针对传统的程序设计方法使用一组硬编码的if语句来构成业务规则,当企业因业务需要改变规则时,系统都要对程序代码进行大量修改这一问题,在Spring框架的基础上,设计和实现一种基于Spring的业务规则引擎技术,能够有效地实现代码与业务规则分离,保证业务流程修改时的灵活性。     

Set-point changing for non-linear systems

In many control systems, we sometimes face a situation such that we have to change the set-point of the system in the course of operation. Theoretically ‘set-point changing’ means letting the system be at another equilibrium point. If the system is linear, this operation presents no problem because the properties of linear systems are always global. However, in non-linear systems, this type of global operation has many unsolved problems. We only know experimentally that, if the system is locally stable at every equilibrium point, then we can slowly change the set-point without exciting unstable motion. This paper proposes a theoretically guaranteed method of changing the set-point of non-linear systems and showing a sufficient condition needed for this operation.     

一种基于数据库复制技术的分布式联机方案

针对一般分布式方案中存在的不足，构建了一个基于数据库复制技术的分布式系统。这个系统的各级服务器都自带数据库，数据采用集中更改的方式，避免了分布式更改所带来的数据一致性冲突；同时服务器之间采取事务复制技术，及时将集中更改的数据反映到各订阅服务器，满足了数据的及时同步。客户端采取本地数据库查询，提高了系统响应速度。整个系统的数据传输量小，反映速度快，既保证了各服务器的数据一致性，又能满足客户的及时性要求。     

Modelling and control of discrete event systems using switching max-plus-linear systems

In this paper we consider the modelling and control of discrete event systems using switching max-plus-linear systems. In switching max-plus-linear systems we can switch between different modes of operation. In each mode the discrete event system is described by a max-plus-linear state space model with different system matrices for each mode. The switching allows us to change the structure of the system, to break synchronization and to change the order of events. We will give some examples of this type of systems.We define the model predictive control design problem for this type of discrete event system, and we show that solving this problem in general leads to a mixed integer optimization problem.     

Formalizing the transition from requirements’ change to design change using an evolutionary traceability model

The ideal outcome when responding to changes in the functional requirements of a system is that we can quickly determine (1) where to make the change, (2) how the change affects the architecture of the existing system, (3) which components of the system are affected by the change, and (4) what behavioral changes will need to be made to the components (and their interfaces) that are affected by the change of requirements. If these facts are known, the impact of the change is entirely understood and therefore manageable. Moreover, a system is likely to undergo multiple changes over the course of its service life, so there is also a need to make a comprehensive record of these changes thus preserving the integrity of the system and potentially extending its service life. To this worthy end, a traceability model using Behavior Trees as a formal notation to represent functional requirements is proposed. This will address the issues cited above, revealing change impacts on different types of design constructs (documents) caused by the changes to the requirements. The proposed model introduces the concept of evolutionary design documents that record the change history of the designs. From these documents, any version of a design document as well as the difference between any two versions can be reviewed, thus affording the desirable condition of full traceability. An important advantage of this model is that the major part of the procedure to generate these evolutionary design documents can be supported by automated tools making the method accessible for use in large-scale software and systems development projects.     

An advanced FMRL controller for FACTS devices to enhance dynamic performance of power systems

The parameters of power system slowly change with time due to environmental effects or may change rapidly due to faults. It is preferable that the control technique in this system possesses robustness for various fault conditions and disturbances. The used flexible alternating current transmission system (FACTS) in this paper is an advanced super-conducting magnetic energy storage (ASMES). Many control techniques that use ASMES to improve power system stability have been proposed. While fuzzy controller has proven its value in some applications, the researches applying fuzzy controller with ASMES have been actively reported. However, it is sometimes very difficult to specify the rule base for some plants, when the parameters change. To solve this problem, a fuzzy model reference learning controller (FMRLC) is proposed in this paper, which investigates multi-input multi-output FMRLC for time-variant nonlinear system. This control method provides the motivation for adaptive fuzzy control, where the focus is on the automatic online synthesis and tuning of fuzzy controller parameters (i.e., using online data to continually learn the fuzzy controller that will ensure that the performance objectives are met). Simulation results show that the proposed robust controller is able to work with nonlinear and nonstationary power system (i.e., single machine-infinite bus (SMIB) system), under various fault conditions and disturbances.     

基于分岔理论的永磁同步电机有限时间混沌控制

永磁同步电机运行系统具有不稳定的分岔特性,随着系统参数的变化,系统会在平衡点处发生分岔行为.首先,基于分岔理论构建了永磁同步电机的混沌模型.其次,通过研究系统的分岔参数,分析了系统在平衡点处的分岔特性,发现系统在零平衡点处会产生静态分岔并出现新的平衡点,随着参数的继续变化,系统在新的平衡点处发生连续的Hopf分岔,而连...