Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.     

基于近似熵的VDR人声识别技术研究

利用话者识别原理和语音数字信号处理技术对人声建模方法进行研究,建立了基于GMM模型的VDR环境下的人声识别基准系统;从分析影响人声识别率因素的角度出发,指出传统算法的不足,并提出一种基于近似熵的语音端点检测算法。理论分析和实验结果证明:新算法能有效屏蔽大动态冲击性噪声,解决了语音的虚检现象,并且在低信噪比0 dB情况下的识别率提升66%。     

网络化手势运动跟踪系统设计

设计了一种基于微机电惯性传感器的数据手套.根据惯性导航和刚体动力学原理,构建了基于微型传感器的体感网络,并通过多传感器数据的融合解算以获取运动姿态信息,实现对手指各关节运动数据的捕获.结合计算机图形技术构建三维虚拟手捕获系统进行性能对比评估,实验结果表明:所设计的系统具有良好的稳定性和适应性,能够对手运动信息进行实时有效地捕获.     

Experimental Analysis of Variable Collective-pitch Rotor Systems for Multirotor Helicopter Applications

This paper presents an experimental study of variable collective-pitch rotor systems for multirotor helicopter applications. An experimental research facility has been established to conduct this research. The facility enables the high-resolution measurement of forces and torques produced by rotor systems. The power consumption of the rotor system during experimentation can also be recorded. The experimental research facility also allows for the characterisation of the effect of rotor systems on multirotor helicopter performance. It is shown that the variable collective-pitch rotors have a significant performance advantage over fixed-pitch rotors when comparing thrust response, and multirotor helicopter step input response performance. Further, it is observed that variable collective-pitch rotors are more efficient in terms of energy consumption than comparable fixed-pitch rotors under similar operating conditions.     

预警卫星半实物仿真系统设计与实现

国防支援计划(DSP)是美国现役的预警卫星系统,主要对导弹进行早期探测和预警;为评估DSP卫星对目标的探测能力,文中分析了预警卫星的部署情况和工作模式,提出了预警卫星仿真系统的总体设计方案,确定该系统的功能模块以及实现方式;根据预警卫星双波段探测的工作模式构建了红外双色扫描探测模型,提出了基于双霍夫变换的多帧关联目标检测算法,利用目标的运行特性有效去除背景噪声,并结合双波段探测信息融合策略降低卫星虚警率;最后利用双星定位方法预估目标轨迹并对不同发射角目标的预测轨迹与真实轨迹之间的误差进行对比分析;通过试验运行,该系统达到了预期结果,具备对目标导弹的探测和跟踪能力,为导弹性能评估提供一种仿真手段和依据。     

BRT屏蔽门系统站点远程监控终端设计

设计了一种BRT屏蔽门系统的站点远程监控终端.以STM32F407ZGT6作为主控芯片构建终端的硬件系统,阐述了网络接口设计、本地存储设计、CAN通信电路设计、无线遥控设计.终端在软件上移植μC/OS-Ⅲ系统,保证终端的多任务实时进行;移植LWIP,实现基于HTTP的网络通信、远程配置等功能.实验结果表明,屏蔽门系统能正常工作,站点远程监控的实时性、安全性较高.     

Global output‐feedback stabilization for high‐order nonlinear systems with unknown growth rate

This paper considers the global stabilization via time‐varying output‐feedback for a class of high‐order uncertain nonlinear systems with rather weak assumptions. Essentially different from the existing literature, the systems under investigation simultaneously have more serious nonlinearities, unknowns, immeasurableness, and time‐variations, which are indicated from the unknown time‐varying control coefficients and the higher‐order and lower‐order unmeasured states dependent growth with the rate of unknown function of time and output. Recognizing that adaptive technique is quite hard to apply, a time‐varying design scheme is proposed by combining time‐varying approach, certainty equivalence principle and homogeneous domination approach. One key point in the design scheme is the selection of the design functions of time, in order to compensate/capture the serious unknowns and serious time‐variations, and another one is the design of a time‐varying observer to rebuild the unmeasured system states. With the appropriate choice of the involved design functions, the designed controller makes all the signals of the closed‐loop system globally bounded and ultimately converge to zero. Copyright © 2016 John Wiley & Sons, Ltd.     

智能家居的“春天”来了

论述了智能家居的概念,着重阐述了智能家居及其核心技术的国内外发展历程,理清了智能家居的发展脉络。随后从技术、生产厂家、市场规模、消费者意识等方面论证了智能家居的“春天”已经来临。最后,对智能家居的未来发展进行了展望。     

BPEL 流程建模中的交叠模式分析与转换

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.     

DSP系统中PWM通道实现D/A转换精度的分析方法

以PWM作为D/A的功能接口,分析了不同电路对转换精度的影响,提出了以PWM接口输出经滤波电路获得的精度与电路结构及参数之间关系的分析方法,初步确定了理论上分析转换精度的步骤与方法.并以TMS320F2812为例对其PWM通道实现D/A转换扩展功能的精度做了实例计算,验证了理论分析的可行性与准确性.为磁悬浮数字控制系统的设计与预知其设计精度之间的关联提供了理论基础,可以为相关设计提供借鉴与参考.