Sampling period scheduling of networked control systems with multiple-control loops

This paper addresses the sampling period scheduling of Networked Control Systems (NCSs) with multiple control loops. The generalized exponential function is employed to describe Integral Absolute Error (IAE) performance versus sampling period by Truetime toolbox under Matlab environment, and the sampling periods are scheduled to obtain the optimal integrated performance based on Kuhn–Tucker Theorem, which are subject to the stability of every control loop and the bandwidth on available network resource. Numerical examples are given to show the effectiveness of our method.     

An efficient ranging method based on Chinese remainder theorem for RIPS measurement

The radio interferometric positioning system(RIPS) measures the phase difference of the interference signal to provide high accuracy and at the same time maintain simple hardware configuration for wireless sensor networks.However, it suffers from phase ambiguity problem because of the periodicity of phase, which makes it hard to determine the actual distance difference only from a single phase measurement.To solve the problem, RIPS makes multiple measurements at different frequencies so as to determine the ...     

基于中国剩余定理的群签名改进方案

自陈泽文首次提出基于中国剩余定理的群签名后,已出现不少对其改进的方案,但仍未有方案在不使用第三方辅助签名或验证的情况下实现非关联性。针对这一问题,提出了一个基于中国剩余定理的群签名改进方案,通过结合子集覆盖框架中完备子树的方法来实现上述非关联性,以满足群成员安全、快速的加入和撤销,而无需改变其他成员私钥。该方案还实现了防权威陷害攻击。最后对其安全性和效率进行分析,并与现有方案进行对比,结果表明,所提方案具有一定的优势。     

Robust admissibility and admissibilisation of uncertain discrete singular time-delay systems

This paper is concerned with the characterisation of robust admissibility and admissibilisation for uncertain discrete-time singular system with interval time-varying delay. Considering the norm-bounded uncertainty and the interval time-varying delay, a new comparison model is introduced to transform the original singular system into two connected subsystems. After this transformation, a singular system without uncertainty and delay can be handled by the Lyapunov–Krasovskii functional method. By virtue of the scaled small gain theorem, an admissibility condition of the original singular system is proposed in terms of linear matrix inequalities. Moreover, the problem of robust admissibilisation of uncertain discrete singular time-varying system is also studied by iterative linear matrix inequality algorithm with initial condition optimisation. Several numerical examples are used to illustrate that the results are less conservative than existing ones.     

Design of an adaptive fuzzy sliding mode control for uncertain discrete-time nonlinear systems based on noisy measurements

This paper presents the design of an adaptive fuzzy sliding mode control (AFSMC) for uncertain discrete-time nonlinear dynamic systems. The dynamic systems are described by a discrete-time state equation with nonlinear uncertainties, and the uncertainties include the modelling errors and the external disturbances to be unknown but nonlinear with the bounded properties. The states are measured by the restriction of measurement sensors and the contamination with independent measurement noises. The nonlinear uncertainties are approximated by using the fuzzy IF-THEN rules based on the universal approximation theorem, and the approximation error is compensated by adding an adaptive complementary term to the proposed AFSMC. The fuzzy inference approach based on the extended single input rule modules is proposed to reduce the number of the fuzzy IF-THEN rules. The estimates for the un-measurable states and the adjustable parameters are obtained by using the weighted least squares estimator and its simplified one. It is proved that under some conditions the estimation errors will remain in the vicinity of zero as time increases, and the states are ultimately bounded subject to the proposed AFSMC. The effectiveness of the proposed method is indicated through the simulation experiment of a simple numerical system.     

分数阶系统变阶次状态空间建模及稳定理论

结合分数阶微积分算子的叠加原理,提出了变阶次状态空间建模方法.将分数阶系统推广到状态空间领域,实现了最小阶状态空间转换,并可根据实际需要通过增加状态变量来提取某一阶次的输出信号.对于各阶次均小于1的变阶次状态空间实现的分数阶系统,提出了变阶次分数阶系统的稳定性判定定理.最后通过实例仿真验证了所提出方法的有效性.     

基于Bayes定理和mGA的结构损伤识别方法研究

提出了一种基于幽ycs定理和沐从(微种群遗传算法)的方法,用于识别结构中损伤的位置和程度等参数并分析其不确定性。该方法在获得测量信息后,结合损伤模型,根据Bayes定理更新获得损伤模型参数的后验概率密度函数,以实现在不确定性情况下对损伤的识别。为最大化损伤模型参数的后验概率密度函数,采用mGA搜索获得描述损伤的全局最优参数。将该方法应用于板结构损伤识别,并进行了数值仿真研究以验证所提方法的有效性。     

Ordered Semantic Hyper-Linking

The ordered semantic hyper-linking strategy is complete for first-order logic and accepts a user-specified natural semantics that guides the search for a proof. Any semantics in which the meanings of the function and predicate symbols are computable on ground terms may be used. This instance-based strategy is efficient on near-propositional problems, is goal sensitive, and has an extension to equality and term rewriting. However, it sometimes has difficulty generating large terms. We compare this strategy with some others that use semantic information, and present a proof of soundness and completeness. We also give some theoretical results about the search efficiency of the strategy. Some examples illustrate the performance of the strategy.