以变应变谋发展——哈尔滨电影机械厂改革开放三十年成就回顾

哈尔滨哈影电影机械有限公司（哈尔滨电影机械厂,以下简称哈影）是成立于上个世纪30年代末的老字号企业,如今依然保持着勃勃生机,充满了活力。改革开放三十年来,哈影始终保持创新传统,面对汹涌澎湃的市场经济大潮,以变应变,不断根据外部形势的变化调整产品结构和管理机制,使其适应快速发展的市场需求,保证了企业健康稳步发展。近年来,年均经济增长达到两位数。     

指令优化设计与指令缓存结构相互关系的研究

传统的指令优化方法通常不考虑调整指令高速缓存的硬件体系结构,只能得到局部优化结果.本文以实验的方法研究了指令优化设计和指令缓存配置之间的关系,通过实现程序指令优化并在不同指令缓存配置的平台上运行优化前后的程序,对比缓存缺失率,为进一步提高指令缓存性能提供了重要参考.实验结果表明指令缓存配置对指令优化的性能有极大的影响,在系统设计阶段同时考虑指令优化和指令缓存结构将能大幅度地改进指令缓存的性能.     

基于最优搜索的足球机器人射门算法

机器人足球比赛中,小球的运动状态因受到碰撞和摩擦变化剧烈,所以大多数情况下不存在全局意义上的最佳射门路径,或者规划的路径机器人在给定的时间内根本无法完成。基于目标函数的足球机器人射门算法,通过在机器人运动能力范围内的最优搜索,能够找出当前状态下机器人按要求逼近球的最佳路径。该算法能够适应各种速度状态,明显提高机器人射门命中率,并迅速对小球状态突变做出响应。在比赛中,常常需要根据场上态势对机器人进行控制算法切换,但由于不同控制算法速度输出的跳跃性,机器人会出现相对球位置的抖动。针对以距离作为切换条件的情况下,不同控制算法切换时产生的“抖动”现象,分析了现象产生的原因,并通过S-曲线加权算法,有效避免了“抖动”的产生,实现了不同控制算法在切换边界的平滑过渡。     

面向CPS系统仿真的建模方法研究与设计

CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。     

基于搜索的Simulink测试数据生成

为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用。实践证明,该方法快速有效地解决了Simulink模型的测试数据生成问题。     

松花江CHRISTIE SC-100型高档放映机成功推出

今年 8月下旬在北京举行的第 13届BIRTV’2 0 0 4展会上 ,哈尔滨电影机械厂与美国科视公司联合开发的松花江CHRISTIESC - 10 0型电影放映机精彩亮相 ,引起轰动 ,受到国内外客商的广泛赞叹和好评。哈尔滨电影机械厂是国内生产固定式电影放映机历史最悠久、规模最大、技术力量最雄厚的专业企业 ,在全国同类生产厂家中处于领先地位。该厂近几年来 ,通过技术引进和自主研发 ,逐年推出 1- 2个新产品 ,不断地实现电影放映机的更新换代 ,相继推出了松花江 5 5 45系列、 5 5 6 5、部队专供型的5 5 81等十余种新产品 ,部分新产品填补了国内空…     

虚拟字符设备驱动程序在Linux的实现

在Linux系统中,设备驱动程序隐藏了设备的细节,用户程序可以方便地操作设备,但随着硬件产品不断更新,需要不断编写新的驱动程序以支持硬件,通过虚拟字符设备驱动程序的编写,来说明Linux系统中字符设备驱动程序的工作原理。首先介绍了Linux系统中设备驱动程序的基本结构,以及字符设备驱动程序应提供的入口点,最后用进程虚拟字符设备,编写了相应的驱动程序,实现进程间的信息读写。     

松花江CHRISTIE SC-100型高档放映机成功推出

今年8月下旬在北京举行的第13届BIRTV 2004展会上，哈尔滨电影机械厂与美国科视公司联合开发的松花江CHRISTIE SC-100型电影放映机精彩亮相，引起轰动，受到国内外客商的广泛赞叹和好评。     

面向信息物理融合系统的异构模型转换方法

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.     

“操作系统”课程实践教学的研究与实践

本文提出了以教学操作系统GeekOS为教学平台构建课程设计环境,利用BochsPC模拟器调试和编译,逐步扩充GeekOS系统的方法,让学生实际参与操作系统功能的设计,使学生能更好的理解操作系统的理论,达到更好的教学效果。