RT-Z

作品数：9被引量：15H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张立臣陈广明陈生庆张少博徐芒更多>>
相关机构：广东工业大学嘉应学院深圳大学西南交通大学更多>>
相关期刊：《中国集成电路》《中国科学：数学》《计算机工程与设计》《微电子学与计算机》更多>>
相关基金：广东省高等学校自然科学研究重点项目国家自然科学基金广东省自然科学基金美国国家科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
酉志村簇的Kudla纲领
《中国科学：数学》2021年第10期1595-1626,共32页贺乔 石友晟 杨同海 
美国国家科学基金(批准号:DMS-1762289)资助项目。
本文首先回顾和总结关于酉志村簇的Kudla纲领的最新研究进展.本文展示局部算术Siegel-Weil公式如何推导出U(n, 1)的非退化系数整体算术Siegel-Weil公式.特别地,本文证明U(1, 1)的非退化系数整体算术Siegel-Weil公式.
关键词：志村簇 Rapoport-Zink空间 局部密度 特殊闭链 Kudla纲领 Kudla-Rapoport猜想 算术Siegel-Weil公式 
基于电流探头的干扰源电流谱测试被引量：2
《中国集成电路》2018年第10期66-68,共3页潘雄 宋舒雯 张少博 王磊 
抑制电磁干扰是提高轻小型光纤陀螺低速灵敏度的关键问题。为了减小电磁干扰,必须对电磁兼容三要素中干扰源的干扰特性、耦合通道的传输特性以及敏感设备的抗干扰特性进行深入分析。本文选取光纤陀螺检测电路中DA转换芯片到光电探测器...
关键词：光纤陀螺 电磁干扰 电流谱 抗干扰 RT-ZC30 
《Smart-Z智能小产品》
《美苑》2015年第S1期200-,共1页朱希 岳广鹏 
关键词：Smart-Z 
关于Benkart-Zlemanov相交矩阵李代数被引量：2
《四川大学学报（自然科学版）》2009年第6期1620-1622,共3页徐芒 方颖珏 
西南交通大学青年教师科研起步项目资助(2009Q064);西南交通大学科技发展基金
Benkart和Zelmanov在研究非simply-laced有限根分次李代数的结构和分类时,对多重仿射化定义了一种李代数.其目的是为了推广复半单李代数到扩大仿射李代数的情形.作者证明了他们定义的多重仿射李代数实际上是复半单李代数.这就意味着他...
关键词：相交矩阵 复半单李代数 LIE ALGEBRAS 仿射李代数 matrix LIE algebra defined structure 定义 complex 证明 结构 分类 root kind 
应用形式化与实时语言的面向方面方法被引量：2
《计算机工程与设计》2006年第22期4213-4215,4221,共4页陈广明 张立臣 陈生庆 
国家自然科学基金项目(60474072;60174050);广东省自然科学基金项目(04009465;010059);广东省高校自然科学研究基金项目(Z03024)
面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言...
关键词：面向方面 实时系统 形式化方法 RT-Z AO-RT-Z PEARL语言 
多视点实时形式化方法的应用模式
《青海师范大学学报（自然科学版）》2005年第3期32-36,共5页陈生庆 陈广明 
RT-Z结合了Z的状态描述能力和TimedCSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段,RT-Z不但是一种规格说明语言,也可以用于建模.多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点,简化了系统的设...
关键词：实时系统 形式化方法 RT-Z 多视点 
形式化语言RT-Z的合成及其应用
《微机发展》2005年第8期34-36,40,共4页吴宇琼 张立臣 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数TimedCSP合成一...
关键词：Z语言 过程代数CSP 规格说明 
集成的Z实时扩展RT-Z及其应用模式被引量：1
《微电子学与计算机》2005年第6期126-128,131,共4页陈生庆 张立臣 陈广明 
国家自然科学基金(60474072;60174050);广东省自然科学基金(04009465;010059);广东省高校自然科学研究项目(Z03024)资助
将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的...
关键词：实时系统 形式化方法 RT—Z 
Z实时扩展及基于多视点的应用模式被引量：9
《计算机应用》2005年第2期362-364,373,共4页陈广明 陈生庆 张立臣 
国家自然科学基金资助项目 ( 60174050 );广东省自然科学基金资助项目 ( 010059 );广东省高校自然科学研究基金资助项目(Z03024)
RT -Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出...
关键词：实时系统 形式化方法 RT-Z 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部