SPECIFICATION

作品数：128被引量：110H指数：5
导出分析报告
相关领域：生物学艺术更多>>
相关作者：顾荣宝张琳娜刘玉芳孔晓峰唐勇更多>>
相关机构：沈阳高精数控技术有限公司武汉华中数控股份有限公司安徽大学沈阳产品质量监督检验院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Chinese Journal of Electronicsx
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Extension of π-Calculus with Interval Action Prefixes
《Chinese Journal of Electronics》2016年第5期848-857,共10页LUO Ling DUAN Zhenhua TIAN Cong 
supported by the National Natural Science Foundation of China(No.61133001,No.61322202,No.61420106004,No.91418201)
This paper presents an extension of π-calculus, named p-π, with interval action prefixes. The syntax and operational semantics of p-π are formalized, and the algebraic and time-dependent properties are defined.Base...
关键词：π-Calculus Process algebra Interval action prefixes Specification Verification 
Necessary and Sufficient Stability Criterion and New Forbidden Region for Load Impedance Specification被引量：2
《Chinese Journal of Electronics》2014年第3期628-634,共7页LI Anshou ZHANG Donglai 
supported by the National Natural Science Foundation of China(No.51247009)
A necessary and sufficient impedance stability criterion for the DC Distributed power system(DPS)is proposed in small-signal sense, which has no conservativeness when compared with other stability criteria. This paper...
关键词：Distributed power system （DPS） Stability criterion Forbidden region Load impedance specification 
Specification of an Information Integrator and Its Applications
《Chinese Journal of Electronics》2007年第3期385-390,共6页SUN Ruobai ZHAO Wen ZHANG Shikun WANG Lifu 
This work is supported by the National Natural Science Foundation of China （No.60473058）, the National Grand Fundamental Research 973 Program of China （No.2002CB312006）. The authors would like to thank Dr. Hu Wenhui and Dr. Jia Tao for discussing some issues about this paper.
Modern business is faced with challenges in integrating information. Information integration refers to the information exchange between two or more applications. In the present work, the information integration archit...
关键词：Information integration Information integration metamodel Information integrator Publish/subscribe mechanism Message adapting 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部