基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

基于多区域的人体运动跟踪研究与应用

针对单区域跟踪快速运动人体易产生漂移的缺点,本文提出一种基于Kulman Filter预测的多区域跟踪的新算法.该算法利用Kalman Filter预测人体各区域,然后利用颜色直方图匹配算法精确定位人体各区域,最后加权计算人体最终位置.     

计算机科学与技术产学研结合应用型本科人才培养模式的探索与实践

面对计算机及信息技术的飞速发展,如何转变传统的教育模式和教学方法,以适应社会不断增长的需求,是应用型本科高校普遍关心的问题。本文从产学研结合的动因、产学研结合人才培养模式、产学研合作的具体形式等方面进行了探索和实践,取得了较好的效果。     

物流配送车辆计划调度系统的设计与实现

深入探讨了物流配送系统信息支撑台的要求与结构,详细介绍了作者开发的财政物流配送车辆计划调度系统的设计和实现过程,最后介绍了该计划调度系统的主要功能。     

分布式对象管理的几种常用技术

以丰富的分布式系统开发经验为基础,详细分析了传统和新兴的分布式对象技术,比较它们的优缺点,探索分布式对象管理的未来走向。     

金属表面脏污区域的分割和量化算法研究

针对目前金属表面缺陷检测技术的研究现状,主要研究金属表面脏污检测与量化算法。结合金属表面的特点,通过对几种分割方法的比较,研究了阈值分割法中的迭代法对图像进行分割,该算法能够最大限度地保留细节信息。另外,研究了一种改进的自适应滤波算法结合像素计数法对金属表面的脏污区域进行量化处理。实验结果证明了所提出方法的有效性。     

中韩两国大学英语水平考试之比较

介绍并比较了中韩两国大学英语水平考试内容,指出中韩两国在大学英语水平考试方面相似的地方是都侧重对受试者听力和阅读能力的考查,不同之处在于韩国英语水平考试设有口语考试这一部分,且试题类型多样化.韩国英语水平考试有2点值得借鉴:一是口语测试的必要性,二是成绩报告的科学性.     

Oxidation behaviors of Ni-Cr-Al superalloy foams at 1 000 ℃ in air

The oxidation behaviors of Ni-16Cr-xAl （x=4.5%, 9.0%, mass fraction） superalloy foams in air at 1000℃ were investigated. The effects of AI content on the resistance to high temperature oxidation were examined. The oxidation mechanisms of the foams were discussed. The results show that the resistance to the oxidation of the Ni-16Cr-xA1 based alloy at 1 000 ℃ increases with the content of A1 increasing from 4.5% to 9.0%. Complex oxide products are formed on the surface of the superalloy foams after the oxidation. Cr203 and A1203 are the predominant oxides for the scales of the foams with 4.5% A1 and 9% A1, respectively. Excellent high temperature oxidation resistance and superior pore conformation stability for the Ni-16Cr-xA1 based superalloy foam with 9% A1 can be mainly attributed to the formation of relatively continuous and protective A1203 oxides on the surface of the foam.