带有多个反凸约束的线性规划

讨论带有多个反凸约束的线性规划。这类问题由于其内在困难性（可行域一般为非凸不连通集）而难以求解．提出了一个切平面算法，并对Ｈｉｌｌｅｓｔａｄ的例子执行了算法。     

On control of discrete-time state-dependent jump linear systems with probabilistic constraints: A receding horizon approach

In this article, we consider a receding horizon control of discrete-time state-dependent jump linear systems, a particular kind of stochastic switching systems, subject to possibly unbounded random disturbances and probabilistic state constraints. Due to the nature of the dynamical system and the constraints, we consider a one-step receding horizon. Using inverse cumulative distribution function, we convert the probabilistic state constraints to deterministic constraints, and obtain a tractable deterministic receding horizon control problem. We consider the receding horizon control law to have a linear state-feedback and an admissible offset term. We ensure mean square boundedness of the state variable via solving linear matrix inequalities off-line, and solve the receding horizon control problem on-line with control offset terms. We illustrate the overall approach applied on a macroeconomic system.     

An analysis,design and tuning of Cascade Control Systems in the presence of constraints in actuator and process outputs

In the presence of rate constraints in actuator, design of cascade controller based on the primary controller conditional integration can result into closed-loop system oscillations. Stability analysis, performed by the describing function technique and confirmed by simulation, demonstrates that the solution based on the Anti-Reset Windup Cascade Control System (ARW CCS) structure is successful. Design and tuning of the ARW CCS secondary controller is a standard ARW single-input single-output problem. In the present paper tuning is proposed for the ARW CCS primary controller. For the serial process modeling simple rules are derived and confirmed by experimental results, obtained on a drum type boiler of a 210 MWe lignite coal fired unit. General design of the ARW CCS is based on the parallel process modeling and optimization of the primary controller. Optimization is performed in the frequency domain, under constraints on the maximum sensitivity, multiplicative uncertainty bound and sensitivity to measurement noise. Simulation and experimental results on a laboratory thermal plant demonstrate effectiveness of the proposed optimization.     

基于模态Petri网的行为有效区间寻找最优路径的方法

为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。     

约束自适应反步法及其在飞行控制中的应用

为解决系统含有参数不确定性和(状态)执行器受限条件下的鲁棒自适应控制问题,将SISO系统指令滤波器推广到MIMO系统,提出一种基于指令滤波的自适应块控反步方法。在设计(虚拟)控制律时引入指令滤波器,在克服标准反步法虚拟控制律导数计算膨胀问题的同时,能够施加系统状态和执行器的限制条件,并通过引入扩展跟踪误差,有效解决了约束条件下参数估计过程的稳定性和跟踪误差收敛问题。给出了Lyapunov闭环稳定性证明,并将该方法应用于含有未知气动参数和输入饱和约束的飞行器非线性姿态控制器设计。6自由度飞行仿真表明,该控制器具有良好的指令跟踪能力和较强的鲁棒性。     

Progressive events in supervisory control and compositional verification

This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.     

道路网约束下的城市事件空间点模式分析

为对城市管理的资源分配提供有效的决策支持, 基于道路网约束下的核密度估计和K函数方法, 对城市事件的一阶和二阶空间分布特性进行分析, 并与平面空间点模式分析结果进行对比。实验结果表明, 相比平面空间点模式分析方法, 道路网约束下的核密度估计提取的“热点”路段可直观地体现事件沿道路网的分布情况, 而道路网约束下的K函数能真实地反映出事件在不同空间尺度下的聚集程度。     

Drawing layered graphs with port constraints

Complex software systems are often modeled using data flow diagrams, in which nodes are connected to each other through dedicated connection points called ports. The influence a layout algorithm has on the placement of ports is determined by port constraints defined on the corresponding node.In this paper we present approaches for integrating port constraints into the layer-based approach to graph drawing pioneered by Sugiyama et al. We show how our layout algorithm, called KLay Layered, progresses from relaxed to more restricted port constraint levels as it executes, and how established algorithms for crossing minimization and edge routing can be extended to support port constraints. Compared to the previous layout algorithms supporting ports, our algorithm produces fewer edge crossings and bends and yields pleasing results.We also explain and evaluate how layout algorithms can be kept simple by using the concept of intermediate processors to structure them in a modular way. A case study integrating our layout algorithm into UC Berkeley's Ptolemy tool illustrates how KLay Layered can be integrated into Java-based applications.     

主动授权规则实施支持空间特性的RBAC*

为满足安全策略或者角色定义的变化,系统或模型应该提供一种灵活的机制实施支持空间特性的RBAC。引入了OITE（on-if-then-else）主动授权规则实施支持空间特性的RBAC,定义了支持空间特性的RBAC中各基本元素与OITE之间的映射关系。使用OITE作为实施机制,可以在不同粒度上实施带有空间特性角色约束,并且可以将支持空间特性的RBAC应用在多个领域中。最后简要讨论了授权规则如何从支持空间特性的RBAC安全策略中自动产生。     

输入受限线性系统鲁棒抗饱和控制

针对抗饱和控制的鲁棒性问题,将研究扩展到对输入饱和非线性、时变参数和动态不确定性具有结构摄动的鲁棒性框架内,给出了一种线性时不变系统鲁棒抗饱和控制算法.鉴于积分二次型约束具有刻画结构不确定性的能力,选择在积分二次型约束框架下解决问题.以定标的线性矩阵不等式形式给出了系统分析和控制综合条件.飞行控制仿真结果说明此算法不仅可以成功克服饱和非线性,且对时变参数和动态不确定性具有良好的鲁棒性.