Using linear models in optimizing parameters of time-triggered protocols

A mechanism of synchronization of components of distributed systems in which communications are based on a common time schedule for all system components is illustrated by examples of simple Time-Triggered Protocols. For parametric linear models of synchronization, the optimization problem is considered for a parameter that should exclude the overlapping of messages in communication channels. The results of using numeric methods for estimation of the optimal value of this parameter are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 24–32, May–June 2006.     

莺-琼盆地的独特埋藏史

通过沉积速率线性外推剥蚀厚度恢复、脱压实和异常高压以及古水深校正的单井埋藏史和连井埋藏剖面及构造沉降分析,发现莺-琼盆地是个多旋回沉积盆地,其沉积物埋藏过程可分为早期缓慢浅埋和晚期快速深埋两大阶段.这种独特的埋藏历史不仅是储层孔隙增生与保存的主要控制因素之一,而且极大地影响了烃源岩于酪根热解反应路径、烃类的运移和聚集,异常高压的发育以及所发生的复杂的水(气)—岩相互作用.涸11-4油田位于南海北部湾盆地涸西南凹陷,距广西北海市103km,离涸10-3油田17km.油田于1993年9月19日投产,目前开发形势较好,产量、压力稳定.在开发实践中我们体会到,要提高油田开发水平,搞好油藏监测是非常重要的.1钻井和完井过程中的油藏监测     

“双驱动足”回转式压电马达初步研究

提出一种“双驱动足”回转式压电马达，分析了其工作原理，并根据工作原理，设计，研制了样机，进行了初步的试验研究，证明工作原理基本正确，为今后进一步研究提供了参考依据。     

以数字搜索树表示的二值图象的几何变换

本文介绍以数字搜索树表示的二值图象的一种几何变换算法，文中讨论了四分区与正四边区的基本关系，输出ＤＳＴ结点成立的充分条件，给出了完整的几何变换算法并对算法的复杂性作了分析。     

Input-output finite-time stability of time-varying linear singular systems

This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the controlled output and the disturbance input,respectively.Two classes of disturbance inputs are considered,which belong to L-two and L-infinity.Sufficient conditions are firstly provided which guarantee the input-output finite-time stability.Based on this,state feedback controllers are designed such that the resultant closed-loop systems are input-output finite-time stable.The conditions are presented in terms of differential linear matrix inequalities.Finally,an example is presented to show the validity of the proposed results.     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

基于Matlab的线性规划问题求解

线性规划是运筹学中研究较早、发展较快、应用广泛、方法成熟的一个重要分支,它是辅助人们进行科学管理的一种重要的数学方法.文章首先介绍了线性规划的基本概念及标准形式,着重讨论了线性规划问题的三种常用解法:单纯形法、直接搜索法以及遗传算法,最后在Matlab R2009a环境下进行了仿真.通过结果可以看出,用Matlab求解线性规划问题,可以避免手工的烦琐计算,大大地提高工作效率和结果的准确性.     

电动自行车转矩脉动抑制分析与实现

针对电动自行车生产中如何抑制转矩脉动的问题,结合理论分析,提出采用换相电流闭环控制方法。     

换位导线生产线电气控制系统

通过对换位导线生产线的研究,提出了采用数字轴和电子齿轮控制的换位导线生产线方案,给出了系统的软硬件设计,构成了分电机驱动的换位导线生产线及其控制系统。     

一种NTC热敏电阻校正方程的试验研究

为了校正NTC热敏电阻的校正方程,提高测温精度。通过对传统的指数方程进行线性变换,得到一种新的NTC热敏电阻温度计R-T特性关系,对此关系进行多阶最小二乘拟合,利用误差评判原理,确定最适合的NTC热敏电阻的校正方程。并且实际验证了此校正方程的测温精度可以满足更高精度要求的需要。