一种用于Java程序验证编译的标签类型

在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的 Java 程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现 Java 程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的 Java 字节码即时编译器中.

与启发式规则相结合的遗传算法在车间调度问题中的研究

通过在对遗传算法的解码过程中引入启发式规则 ,构造一种新型的与启发式规则相结合的遗传算法 ,即分别利用遗传算法和启发式规则各自的特点来实现不同的调度目标 ,用于解决大规模离散生产类型车间调度问题。通过实例计算分析表明 。

CVF对创建Fortran COM组件的支持

基于组件对象模型COM的组件具有可重用性、语言独立性、自描述性等优点,将Fortran计算程序/数学模型建造成COM组件并集成到组件软件系统是一必然发展要求.COM组件拥有怎样的基本特征,如何规划、设计Fortran COM组件,CVF计算开发环境中的Fortran COM Server Wizard插件为创建Fortran COM组件提供了哪些方面的支持,在COM组件中能否直接使用Fortran数据类型,就这样一些Fortran编程人员所关注的基本问题进行探讨.

IEEE 802.16协议的带宽申请和分配机制的研究

文章分析了802.16协议的五种业务模式,并对带宽请示机制、竞争带宽的申请方式及带宽的分配机制进行了研究。