离散时间系统的变结构控制

研究离散时间系统的变结构控制问题.首先定义准滑动模态,给出详细的物理解释.然后讨论已有的到达条件,给出新的更一般的条件,即离散趋近律.对新定义的准滑动模态,解决了其稳定性并给出了切换函数.利用趋近律方法,给出了变结构控制的一般的设计方法,它既适用于单输入系统,也适用于多输入系统.     

基于交互式学习的自动评估管理系统设计

学生人数的增加导致计算机课手动评估的工作量增大,现有的评估系统不适用于即时反馈的练习.本文提出了一个用于交互式学习的自动评估管理系统(AuTomated assEssment Management System,ArTEMiS).ArTEMiS会自动评估编程练习,并提供即时反馈,以便学生可以迭代地提升学习效果.该系统提供了在线代码编辑器,独立于编程语言,适用于各种计算机科学课程.实验结果证明,使用该系统可为学生在获得版本控制、依赖性管理和持续集成方面提供经验.     

低频频率特性测试仪虚拟仪器设计

为了满足控制系统设计需要,利用相关分析方法和PXI系统设计了一台针对控制元件和系统的频率特性测试虚拟仪器.设计的虚拟仪器既适用于对开环系统又适用于对闭环系统的频率特性进行测试.采用的分析方法可以有效滤除测量过程中引进的噪声和低频漂移,并消除测量系统的非线性对测试结果的影响.频率特性测试结果直接以波特图形式给出.     

一个适用于协同编辑环境的工作流系统的设计与实现

提出了一个应用于协同编辑环境中的工作流系统的设计方案,详细阐述了该系统的设计和实现细节.该系统具有一定的通用性,适用于其它相关的应用领域.     

混合服务方式下的轮询服务系统稳定性条件

本文给出在混合服务方式下 ,轮询服务系统稳定性的通用判定条件 .文中的判定条件不但适用于混合式服务 ,同样适用于单一式服务 ,如穷尽式服务、门限式服务和限定式服务等 .对于没有精确解的轮询服务系统 ,如限定式服务( K≠ 1 ) ,仍然可以利用本文的判定条件来判别系统稳定性 .分析表明 ,以往的轮询服务系统稳定性判定条件均是文中的特例 .     

基于MEMS强链的移动硬盘加密系统设计和FPGA实现

设计实现一种新型加密系统--基于MEMS强链的移动硬盘加密系统,具备使用物理密钥的安全身份认证和先进的加密算法.根据ATA协议,该系统利用FPGA硬件加密方法实现数据透明加密和流水线操作来达到高吞吐率.利用现代数据加密技术,提出一种既适用于常用对称加密算法,又适用于用户自主开发的对称加密算法的数据流硬件加密逻辑结构.     

分布式无源性系统的同步控制与分析

针对由多个无源性系统所构成的分布式有向网络系统,基于 Lyapunov方法提出了设计与分析同步控制协议的新框架. 其设计与分析方法适用于一类更广泛的有向拓扑网络,克服了已有理论框架下拓扑分析的局限性. 该方法也适用于带有通信时延及控制输入饱和的系统. 在新的理论框架下,分析了网络化拉格朗日系统的同步控制问题,并对网络化多机械手系统的同步控制进行了仿真研究. 仿真结果表明了算法的有效性.     

一种改进的基于属性频率的约简算法

分析HORAFA算法和HORAFA-A算法的不足,给出一种获得最优约简的启发式算法.算法以核属性为初始约简集,以属性频率为启发式信息,选择必要的属性加入约简集.该算法不仅适用于相容决策表系统,也适用于不相容决策表系统;同时,改进了反向消除方法,可以更快速地删除多余条件属性.实验表明,该算法是正确的,并且效率优于HORAFA-A算法.     

利用移动终端和上网卡实现智能演示系统

蓝牙技术适用于短距离无线数据传输,而USB适用于和PC机之间的数据传输.本文介绍了通过移动终端和上网卡的蓝牙与上网卡的USB来实现一种新型的智能演示系统的方法.该系统拓宽了移动终端和上网卡的用途,同时使演讲者可以在演讲场所自由走动.     

基于B/S的电子白板的设计与实现

从CSCW理论和概念出发,针对远程教学环境的具体情况,探讨了适用于师生实时在线交互的电子白板系统的实现技术.系统采用基于B/S的3层体系结构和模块化组织,通过加锁技术实现多用户并发控制,使用组播技术提高交互效率和状态一致性,最后给出各模块实现要点.通过对原型系统的测试表明本平台能够简化客户端软件安装及升级过程,并适用于规模化远程教学活动的在线实时交流.     

应用机器学习方法的设计模式挖掘研究

从源码中挖掘设计模式实例具有重要意义，它能够提升软件系统的可理解性和可维护性。基于机器学习方法，提出了一个设计模式挖掘方法。其中，使用类关系图表示软件系统和设计模式，采用子图匹配的方法从软件系统中提取出候选设计模式实例，过滤了大量非设计模式实例组合，提高了设计模式挖掘效率；提出了度量指标，将软件系统和设计模式向量化，采用机器学习的方法对候选设计模式实例进行分类，提高了设计模式挖掘的准确率。实验结果证明此方法效率和有效性上得到了一定的提升。     

Designing sociotechnical systems with cognitive work analysis: putting theory back into practice

Cognitive work analysis (CWA) is a framework of methods for analysing complex sociotechnical systems. However, the translation from the outputs of CWA to design is not straightforward. Sociotechnical systems theory provides values and principles for the design of sociotechnical systems which may offer a theoretically consistent basis for a design approach for use with CWA. This article explores the extent to which CWA and sociotechnical systems theory offer complementary perspectives and presents an abstraction hierarchy (AH), based on a review of literature, that describes an ‘optimal’ CWA and sociotechnical systems theory design system. The optimal AH is used to assess the extent to which current CWA-based design practices, uncovered through a survey of CWA practitioners, aligns with sociotechnical systems theory. Recommendations for a design approach that would support the integration of CWA and sociotechnical systems theory design values and principles are also derived.     

一类符号反对称结构系统的稳定性及其应用

结合矩阵论中的可反对称条件, 提出一种稳定的具有符号反对称结构的系统, 并将其作为非线性系统的镇定控制目标. 面向符号反对称结构系统的控制方法存在递推构造法和直接设计方法两种: 递推构造法面向具有上三角结构的系统, 包括已有逆推控制和逆推自适应控制, 并可具有更多的可调参数; 直接设计法适用于低维系统, 对于一些系统可以设计出更简单的控制器. 对于Lorenz混沌同步系统的仿真说明了面向反对称结构系统直接设计法有效性.     

混成系统的描述和设计与Timed RAISE项目

1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算机及受程序控制的感应器和主动器。混成系统的典型例子有:机器人控制系统、计算机辅助制造设备、飞行控制系统等。     

Variant design for mechanical artifacts: A state-of-the-art survey

Variant design refers, to the technique of adapting existing design specifications to satisfy new design goals and constraints. Specific support of variant design techniques in current computer aided design systems would help to realize a rapid response manufacturing environment. A survey of approaches supporting variant design is presented. Capabilities used in current commercial computer aided design systems are discussed along with approaches used in recent research efforts. Information standards applicable to variant design are also identified. Barriers to variant design in current systems are identified and ideas are presented for augmentation of current systems to support variant design.     

非线性系统控制的逆系统方法(I)——单变量控制理论

介绍非线性系统控制的逆系统方法及相应的单变量非线性系统的控制理论。包括:逆系统方法的基本概念和设计原理,单变量系统α阶积分逆的设计方法,连续单变量系统的控制,逆系统方法在一类分布参数系统和离散时间系统上的推广示例。     

非线性系统控制的逆系统方法（Ⅱ）：多变量控制理论

介绍基于逆系统方法的多变量非线性控制理论，包括高阶微分方程组系统的控制设计方法，多输入多输出状态方程系统的控制设计方法，可解耦性与可镇定性分析，应用与相关理论研究等内容。     

A partitioning algorithm for distributed software systems design

One complication in using distributed computer systems is the increased complexity of developing distributed software systems. These software systems are composed of asynchronously executing components which communicate via message passing. Current software design techniques are not adequate for use in the design of distributed software systems. New design methods which explicitly address the problem of system partitioning are needed. An overall distributed software design approach is presented. The key to the design approach is the presentation of a distributed processing component (DPC) partitioning algorithm for clustering functional modules in order to derive a set of distributed processing components. The design approach is oriented towards producing a software system which is hierarchical, which exploits potential concurrency that exists between functional modules, and which avoids nonprofitable message traffic.     

Curve and surface design using Multipatch and Multiobject design systems

This is the first of two papers describing curve and surface design using the two design systems developed by Dr. A. Armit. These systems are Multipatch and Multiobject, both of which are interactive 3D shape design systems. A practical example is described in detail.     

Approaches to computer-aided architectural sketch design

This paper examines those computer-aided architectural design (c.a.a.d.) systems intended to assist the architect during the early stages of the design process. It is suggested that existing manual design techniques should form the basis for such systems. Preliminary findings in the monitoring of architect's design methods are discussed in relation to some reported deficiencies in c.a.a.d. systems for sketch design. The conventional roles of the designer and the computer in c.a.a.d. systems are questioned and the adoption of machine generated design using techniques based upon observed designer behaviour is suggested.