Equilibrium-independent passivity: A new definition and numerical certification

We extend the traditional notion of passivity to a forced system whose equilibrium is dependent on the control input by defining equilibrium-independent passivity, a system property characterized by a dissipation inequality centered at an arbitrary equilibrium point. We provide a necessary input/output condition which can be tested for systems of arbitrary dimension and sufficient conditions to certify this property for scalar systems. An example from network stability analysis is presented which demonstrates the utility of this new definition. We then proceed to numerical certification of equilibrium-independent passivity using sum-of-squares programming. Finally, through numerical examples we show that equilibrium-independent passivity is less restrictive than incremental passivity.     

Hardness of preorder checking for basic formalisms

We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is Exptime-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel components and their alphabets of actions are pairwise disjoint. Moreover, we show that the considered problems become Pspace-complete when the specification is assumed to be deterministic. Additionally, we establish that comparing a synchronous non-flat system with no hiding and a flat system is Pspace-hard for any relation between trace containment and bisimulation equivalence, even if the flat system is assumed to be fixed.     

InTouch在热风炉控制系统中的应用

介绍了InTouch在吉林建龙钢铁公司热风炉工程中的应用,论述了热风炉系统结构和信息通讯方式.应用表明设计合理,达到了实时监控的目的.     

通用串行总线设备固件的设计

该文描述使用８ｘ９３０ａｘ微处理器开发通用串行总线设备固件的技术。     

基于PC104的某型测试设备的设计实现

该文介绍了一种基于PC104总线的某型测试设备的硬件设计和软件设计方案,提出了主要问题的解决方案。该系统结构紧凑,可靠性高,已在实际生产中得到应用。     

C语言程序教学的问卷调查分析与教学改革

C语言程序是学习和掌握计算机技术的基础课程,如何改革该课程教学,提高教学质量,一直是人们所关注与探讨的问题。本文从对学生的问卷调查结果的分析入手,总结、剖析了我院的C语言程序课堂教学中存在的问题,并结合实际提出的一些建议,以期对教学改革有所意义。     

Physiological and psychophysical responses in handling maximum acceptable weights under different footwear--floor friction conditions

A study on combined manual materials-handling tasks performed on floors under three friction levels was conducted. Eight male subjects participated in the study. The maximum acceptable weight of handling, including lifting, carrying for 3m, lowering, and walking 3m back at twice per minute was determined. The subject then performed the same tasks for 10 min. Heart rate, Vo2, energy efficiency, perceived sense of slip, and rating of perceived exertion for whole body strain were measured. The results showed that the effects of friction level on the maximum acceptable weights of handling, perceived sense of slip, Vo2, and energy efficiency were statistically significant (p相似文献   

On the analysis of stochastic divide and conquer algorithms

This paper develops general tools for the analysis of stochastic divide and conquer algorithms. We concentrate on the average performance and the distribution of the running time of the algorithm. As a special example we analyse the average performance and the running time distribution of the (2k + 1)-median version of Quicksort. Online publication October 13, 2000.     

Free and forced convection boundary layer flow through a porous medium with large suction

An analytical study is made of the free and forced convection boundary layer flow past a porous medium bounded by a semi-infinite vertical porous plate. Locally similar solutions are then obtained by a perturbation method for large suction. Solutions for the velocity and temperature distributions are shown graphically for various suction velocities and values of the driving parameter G_r/R, where G_r is the Grashof number and R_e is the Reynolds number. The corresponding values of the skin friction coefficient and the Nusselt number are finally shown in tabular form.