期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Z规格说明的系统不变式及其抽取
1
作者 明继军 朱关铭 缪淮扣 《上海大学学报(自然科学版)》 CAS CSCD 1999年第S1期135-141,共7页
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,... 系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,提出一种新的系统不变式抽取的方法. 展开更多
关键词 规格说明 系统不变式 系统状态空间 系统状态转换空间 操作空间 操作不变式
下载PDF
On Impulse Switching Functions of Inverters as an Orthogonal System
2
作者 B. Dobrucky M. Pokomy M. Benova 《Journal of Mathematics and System Science》 2014年第12期743-749,共7页
The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using po... The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using power converters they can be strongly non-harmonic, sometimes piecewise constants with zero spaces between them. Then, one deals with power series of time pulses. The impulse switching functions which are orthogonal ones can be derived from these series. The new impulse switching functions are created using Z-transform, inverse Z-transform and numerical series/sequences. The impulse switching functions created this way can be used for both steady- and transient state investigation of converters. 展开更多
关键词 Power converter impulse switching function Z-TRANSFORM inverse Z-transform modelling and simulation steady stateoperation
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部