基于混合聚类的城市道路多时段控制研究*

多方案控制具有简单实用、可靠性好,稳定性高,性价比高等的优点,在城市交通控制中得到了广泛应用。本研究在利用指数平滑异同移动平均法对缺失交通数据进行修补的基础上,运用快速聚类与系统聚类相结合的混合聚类方法对交通数据进行分析,并以经典的Silhouttte评价指标作为聚类终止条件,同时兼顾/考虑了交通数据时序性,消除聚类结果中的三类“奇异点”,最后利用交通信号配时软件SYNCHRO制定了相应时段的控制方案。相关的案例分析显示,优化后的多时段控制方案可以更好地适应交通流的波动,车均延误减少9.79%,其中时序性考虑可以有效改善控制方案频繁切换对交通流的扰动,避免其负效应对混合聚类改善效果的影响。     

Robust stabilisation and L2 -gain analysis for switched systems with actuator saturation under asynchronous switching

Robust stabilisation and L₂-gain analysis for a class of switched systems with actuator saturation are studied in this paper. The switching signal of the controllers lags behind that of the system modes, which leads to the asynchronous switching between the candidate controllers and the subsystems. By combining the piecewise Lyapunov function method with the convex hull technique, sufficient conditions in terms of LMIs for the solvability of the robust stabilisation and weighted L₂-gain problems are presented respectively under the dwell time scheme. Finally, a numerical example is given to demonstrate the feasibility and effectiveness of the proposed results.     

On event design in event-triggered feedback systems

This paper studies event design in event-triggered feedback systems. A novel event-triggering scheme is presented to ensure exponential stability of the resulting sampled-data system. The scheme postpones the triggering of events over previously proposed methods and therefore enlarges the intersampling period. The resulting intersampling periods and deadlines are bounded strictly away from zero when the continuous time system is input-to-state stable with respect to measurement errors.     

Model reduction of multi-scale chemical Langevin equations

This paper addresses the model reduction problem for a class of stiff chemical Langevin equations that arise as models of biomolecular networks with fast and slow reactions and can be described as continuous Markov processes. Initially, a coordinate transformation is sought that allows the decoupling of fast and slow variables in the model equations. Necessary and sufficient conditions are derived for such a linear transformation to exist, along with an explicit change of variables which achieves the desired decoupling. For the systems for which this step is applicable, the method of adiabatic elimination is applied to determine a representation of the slow dynamics. Theoretical concepts and results are illustrated with simple examples.     

Admission control for a responsive distributed middleware using decision trees to model run-time parameters

The software in modern systems has become too complex to make accurate predictions about their performance under different configurations. Real-time or even responsiveness requirements cannot be met because it is not possible to perform admission control for new or changing tasks if we cannot tell how their execution affects the other tasks already running. Previously, we proposed a resource-allocation middleware that manages the execution of tasks in a complex distributed system with real-time requirements. The middleware behavior can be modeled depending on the configuration of the tasks running, so that the performance of any given configuration can be calculated. This makes it possible to have admission control in such a system, but the model requires knowledge of run-time parameters. We propose the utilization of machine-learning algorithms to obtain the model parameters, and be able to predict the system performance under any configuration, so that we can provide a full admission control mechanism for complex software systems. In this paper, we present such an admission control mechanism, we measure its accuracy in estimating the parameters of the model, and we evaluate its performance to determine its suitability for a real-time or responsive system.     

蒙古文整词计算机生成理论研究

采用面向对象方法,模拟传统蒙古文整词各种形式构成机理,提出了几种蒙古语整词计算机生成数据模型。文章主要依据整词计算机生成三种模型,探讨了传统蒙古文整词计算机最优化生成理论所涉及的精确度、时间复杂度、空间复杂度三项基本要素以及最优化生成必须考虑的整词复杂特征载荷与一体化合一计算知识表示方法和计算结构,证明了“B - J - T= W”数据模型是传统蒙古文整词计算与生成最优化对象模型。     

Performance Analysis of Periodic Control for l1 and l∞ Disturbance Rejection

This paper presents a performance analysis of discrete time periodically time varying controllers for the rejection of l_p specific and uniform disturbances. Earlier results on l₂ performance are extended to l₁ and l_∞ performance to present a unified treatment of l_p performance for all p ε [1, ∞]. For a given linear time varying periodic controller, a linear time invariant controller is constructed and necessary and sufficient conditions are presented under which the linear time invariant controller gives strictly better l_p disturbance rejection performance than the time varying periodic controller.     

特种电动机高压阀门准确制动的仿真计算

对于特种异步电动机拖动的高压阀门 ,切断电动机交流供电电源后 ,在电机的定子绕组中通入适当的直流电流 ,产生直流磁场 ,使电机进行能耗制动 ,让阀心和电机转子的能量 ,包括动能消耗在转子的绕组中 ,达到准确停车的目的。介绍了这一过程的计算机仿真计算     

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

WinCE环境下SNTP协议的研究与实现

以工业控制领域中的SNTP时间同步协议为基础,对其工作过程及原理进行深入剖析,着重探讨了如何在Windows CE环境下实现时间同步,并给出相应的实现方案。最后给出了Windows CE环境下的SNTP协议栈运行结果。