Direct Adaptive Neurocontrol of Structures under Earth Vibration

A direct adaptive neurocontroller is proposed to reduce structure response to earth vibrations by actively creating an equal but opposite force to that of the first mode force of the structure. While earthquake forces are generally considered to be unpredictable, the short-term predictions by the proposed neurocontrol architecture significantly reduce structure vibrations. To demonstrate its general applicability and utility to future earthquakes, the proposed adaptation algorithm is also shown to be asymptotically convergent. The approach is validated by several simulations in which actual time series from the Hachino, Northridge, Kobe, and Bam earthquakes are applied against structures of various heights, three-, five-, and seven-story structures. The simulation results are then compared with those of a conventional linear quadratic regulator. Results indicate a significant and consistent improvement in minimal structure displacement.     

棉与Tencel、Lenzing Modal的混纺

Lenzing Modal和Tencel是与棉混纺的理想纤维,它们均能改善纱线品质（特别是细节）,织物外观柔软、光泽度好,具有水分管理功能,穿着舒适。两种纤维都采用环境友好工艺生产。     

万能工具铣床的结构动力修改

本文根据试验模态分析技术,对 X 8132万能工具铣床的动态特性进行了研究.分别用稳态正弦、瞬态脉冲和伪随机三种激振方法,对铣床进行了动态试验.测试教据在信号处理机上进行了处理;识别出了铣床的模态参数和各阶模态振型;找出了铣床结构的主要薄弱模态和薄弱部件.针对铣床的薄弱部件,进行了结构动态特性的改进设计.改进后的切削对比试验表明,铣床的动态特性有了显著提高.     

三次样条函数在假设模态综合法中的应用

对复杂结构进行振动分析的模态综合法已发展得较为成熟,它在应用上的限制主要是部件模态假设的困难(尤其是非规则部件),而综合结果的可信度在相当程度上取决于是否能得到一组合理的假设模态 。本文介绍的利用三次样条函数插值法求取转轴耦合系统各部件连续主模态的方法,有效地解决了这个问题。     

模态参数识别的单位脉冲响应函数法

本文详细地阐述了模态参数识别的单位脉冲响应函数法的原理和应用.在此方法中引入了“模态置信因子”的概念,用在此基础上编制的计算机程序,由单位脉冲响应的试验数据,实际地计算了机床主轴系统的模态参数.     

利用模态解耦法进行热工系统的最佳控制

本利用模态降阶法，求出次最佳控制，减少了计算机计算工作量，简化了控制装置，利于工程实现，并通过对动力系统两个实例进行计算，获得了与最佳控制极为接近的控制效果。     

Algebras of modal operators and partial correctness

Modal Kleene algebras are Kleene algebras enriched by forward and backward box and diamond operators. We formalise the symmetries of these operators as Galois connections, complementarities and dualities. We study their properties in the associated operator algebras and show that the axioms of relation algebra are theorems at the operator level. Modal Kleene algebras provide a unifying semantics for various program calculi and enhance efficient cross-theory reasoning in this class, often in a very concise pointfree style. This claim is supported by novel algebraic soundness and completeness proofs for Hoare logic and by connecting this formalism with an algebraic decision procedure.     

A modal proof theory for final polynomial coalgebras

An infinitary proof theory is developed for modal logics whose models are coalgebras of polynomial functors on the category of sets. The canonical model method from modal logic is adapted to construct a final coalgebra for any polynomial functor. The states of this final coalgebra are certain “maximal” sets of formulas that have natural syntactic closure properties.

The syntax of these logics extends that of previously developed modal languages for polynomial coalgebras by adding formulas that express the “termination” of certain functions induced by transition paths. A completeness theorem is proven for the logic of functors which have the Lindenbaum property that every consistent set of formulas has a maximal extension. This property is shown to hold if the deducibility relation is generated by countably many inference rules.

A counter-example to completeness is also given. This is a polynomial functor that is not Lindenbaum: it has an uncountable set of formulas that is deductively consistent but has no maximal extension and is unsatisfiable, even though all of its countable subsets are satisfiable.     

Modal synthesis method of lateral vibration analysis for rotor-bearing system

Rigid coupling and flexible connection made up of elastic coupling units are widely applied to rotor-bearing system with multi-branched shafting system. This paper proposes a modal synthesis method of lateral vibration analysis for such kind of rotor-bearing system. When the proposed approach is developed, the elastic coupling unit is defined as “flexible substructure” which is treated individually and the other parts are partitioned into some substructures which are analyzed by finite element method. The lower-frequency normal modes of the substructures are retained; whereas the higher-frequency normal modes are neglected by a frequency truncation criterion and the residual flexibility of those omitted modes is considered. The lower-frequency normal modes and residual flexibility are considered to be the assumed modes of Rayleigh–Ritz analysis of whole structure. The approach to the treatment of higher-frequency modes leads to a great reduction in the calculation time and a significant improvement in the efficiency of modal synthesis. Examples show that the proposed approach is very effective for the vibration analysis of rotor-bearing system with multi-branched shafting system and the results derived from this approach are in a good agreement with those from transfer matrix method.