-
题名一种用于Java程序验证编译的标签类型
被引量：1
- 1
-
-
作者
陈晖
陈意云
茹祥民
-
机构
中国科学技术大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第3期346-354,共9页
-
基金
国家自然科学基金
英特尔中国研究中心资助~~
-
文摘
在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的 Java 程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现 Java 程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的 Java 字节码即时编译器中.
-
关键词
类型保持编译
类型调度
标签机制
-
Keywords
type-preserving compilation
type dispatch
tag mechanism
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名内齿轮调度绞车的维护及使用注意事项探讨
被引量：4
- 2
-
-
作者
戴步贵
-
机构
枣庄联鑫实业有限责任公司
-
出处
《山东煤炭科技》
2008年第3期124-124,126,共2页
-
文摘
该文简要介绍了矿用JD-40型内齿轮调度绞车的维护及使用注意事项,掌握和了解这些基本知识,对于维修和操作人员都会有一定的帮助,可以减少人为的机械事故,提高生产效率。
-
关键词
JD-40调度绞车
维护
使用注意事项
探讨
-
Keywords
JD - 40 type dispatch winch safeguard Caution of using discussion
-
分类号
TD526
[矿业工程—矿山机电]
-
-
题名贵州电网“智能型调度”展望
被引量：1
- 3
-
-
作者
孙斌
赵维兴
-
机构
贵州电力调度通信局
-
出处
《南方电网技术》
2009年第B11期206-208,共3页
-
文摘
本文分析了贵州电网目前调度模式存在的4个方面主要问题,并指出由分析型调度转变至决策支持型调度,并向智能型调度转换的各种关键技术。并由此提出通过完善决策支持型调度技术手段和建设智能型调度两个阶段,实现智能调度系统逐步完善,完成从决策支持系统辅助下的调度员决策向调度员辅助下的智能化决策的根本转变。
-
关键词
智能调度
分析型调度
决策型调度
-
Keywords
smart dispatch
analytical dispatch
support-type dispatch
-
分类号
TM743
[电气工程—电力系统及自动化]
-
-
题名基于软交换技术的电力调度组网设计
- 4
-
-
作者
李立新
-
机构
国网濮阳供电公司
-
出处
《科技广场》
2014年第8期76-78,共3页
-
文摘
濮阳供电公司将在新调度大楼进行调度交换机的升级与改造,本文通过研究广哈调度台,探讨了下一代融合型电力调度台在电力调度组网中的使用方式,并提出了新的功能设计要求和规范。通过利用融合型调度台的组网能力,能够实现现有电路调度交换机和下一代软交换调度平台的平稳过度和融合,保证了电力调度生产以及指挥的安全、高效。
-
关键词
软交换调度
电路调度
ET融合型调度台
-
Keywords
Soft-Switch dispatch
Circuit dispatch
ET type dispatch Desk
-
分类号
TM73
[电气工程—电力系统及自动化]
-
