以虚拟机为核心支持动态层绑定的方法

一些面向上下文的编程语言已经实现,但在这些语言中所有的层被编译为程序可执行代码的一部分,这限制了程序的应用范围.为了解决该问题,提出一种以虚拟机为核心的方法支持动态层绑定,它融入对象组合与代理到虚拟机实现层激活,利用虚拟机服务支持动态层绑定.为了精确描述该方法并有效分析该方法对程序类型安全的影响,定义一个以Featherweight Java演算为核心的演算.基于该演算,形式化分析它对程序类型安全的影响,定义相应的约束,并证明在满足该约束下动态层绑定能保持程序的类型安全.为证明方法可行,以演算为指导,通过扩展Java的编译器与虚拟机实现并评估该方法.该演算和方法的实现可用于指导类似Java的语言的扩展,以支持程序动态地绑定层,同时保证扩展后语言的类型安全.     

基于推测多线程技术的程序可视化方法与实现

程序可视化的目的是使程序的内部结构以及行为变得更容易被理解,辅助程序员基于程序的行为进行推理,包括调试程序以及评估程序运行时的资源利用情况。本文以面向片上多处理器的推测多线程编译系统为基础,提出一种基于SUIF编译框架的推测多线程程序可视化方法,实现对推测多线程程序的视图显示和性能评估,同时,本文以C源程序作为输入,利用所设计的可视化平台,进行实例分析,表明可视化方法在推测多线程自动并行化中有实用意义。     

视频数字水印系统及其在广播电视监测中的应用

广播电视防插播、防篡改是安全播出的重要命题．长期而艰巨的政治和技术任务。目前的监测办法是：由专人在专用监视器上对一路信号进行监听监看，要求监控人员眼不离荧屏、耳不离监听、手不离按钮。此种被动的监控办法技术含量低．并易造成监控人员精神高度紧张。     

浅谈运筹学在装备效能评估上的应用

本文是在新技术革命背景下,军事运筹学在装备效能评估上的应用问题进行探讨.首先明确分析运筹学在装备系统效能评估上的应用,其次分析运筹学在装备作战模拟效能评估上的应用,为运筹学在装备效能上的合理利用打下坚实的基础.     

绝缘油含气量测定仪示值误差校准研究

文章选取示值误差和重复性作为主要计量特性，研究绝缘油含气量测定仪示值误差的校准方法，并对示值误差不确定度进行评定。     

多晶硅生长过程固液界面、应力、位错及熔体流动的变化规律

定向凝固（DS）法生产的多晶硅锭是光伏产业最基础、最主要的功能性材料之一，但实际生产中多晶硅复杂的工艺仍需进行优化。采用有限体积法对定向凝固法多晶硅生长过程进行瞬态全局模拟，数值模拟过程中将温度场、应力场和流场进行耦合，以研究多晶硅生长过程中固液界面波动率、硅锭内应力、位错密度以及硅熔体流动的变化规律。结果表明，长晶初期固液界面波动率较大，为29.83%，而长晶中期和末期界面波动率仅为6%和3.434%；且熔体流速也对固液界面影响较大，通过降低靠近固液界面处的熔体流动速度有利于形成平坦的固液界面；在生长过程中硅锭中最大位错密度和最大应力值随长晶时间变化趋势大致相同，控制和优化长晶后期的工艺参数可以有效减少多晶硅生长过程中应力值和位错密度，为多晶硅定向凝固过程预测和控制提供一定的理论支持。     

中国城市建筑发展的误区

通过对中国各大城市建筑的研究，指出了城市建筑发展的误区，警示规划师、建筑师必须按照城市总体规划、详细规划、城市设计的要求来来体现中国或地域特点的建筑，特别要重视城市环境的发展。     

不同培养条件对冬虫夏草菌丝体甘露醇的影响

目的:探讨不同培养条件对冬虫夏草菌丝重量和甘露醇含量的影响。方法:甘露醇的测定采用比色方法,菌丝干燥后直接称重。结果对于菌丝的产量,摇菌时间不应超过16d,最佳氮源为硝酸铵。对培养液和菌丝中甘露醇的总量,摇菌时间不应超过8d,最佳氮源为氯化铵。结论:氮源和摇菌时间不同,对冬虫夏草菌的菌丝重量和甘露醇含量有影响。     

一种新颖的高稳定度电源

阐述了应用串联谐振技术,以近似恒流给电容器充电的电源基本原理,讨论了影响电容器误差电压的因素,最后给出了实验结果及实验波形。