OSEK/VDX操作系统功能测试研究

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。     

航空模型新项目——QUICKIE500无线电遥控绕标竞速模型飞机

QUICKIE500无线电遥控绕标竞速项目风靡欧美,根据竞赛规则规定,使用40级发动机,机翼翼展不小于500英寸,机身截面形状为矩形,比赛形式为环绕赛场上设立的标杆进行竞速飞行,要求每轮比赛必须有三架模型同场飞行。在比赛中,三架模型飞机你追我赶,风驰电掣,场面十分壮观!当您操纵的模型像闪电般掠过时,您的智慧、技术、勇气和毅力将得到充分展示。     

热高分气换热器传热效率下降原因及对策

在保障装置平稳运行的前提下,尽量降低能源的消耗已成为炼油装置运行的主旨,而在国内采用热高分流程的柴油加氢装置运行中,热高分气/循环氢换热器的换热效果会出现周期性的下降,影响装置的整体运行能耗。因此,合理提高热高分气/循环氢换热器的传热效率并保证在较高的传热效率下运行,能有效地回收热高分气热量,降低装置的能耗。依据该换热器各参数实际运行数值,从各影响因素中找出关键的运行参数进行分析,采取相应对策,保证换热器长期在较高的传热效率下运行。注水周期由每月一次更改为每周一次,原先注水依据热高分与冷高分压力差,现更改为参考循环氢换后的温度趋势,能保证该换热器每周均在较高的传热效率下运行,可节能1 927 MJ/h,避免了部分热高分气的热量流失。     

真空退火的CdTe/Au掺杂HgCdTe界面状态的影响

对使用CdTe覆盖的HgCdTe材料在不同温度下进行了一系列的退火实验.研究发现,退火可以改善电子束蒸发CdTe的晶体状态,使CdTe和HgCdTe之间的界面状态得到改善.Au掺杂HgCdTe覆盖CdTe后,真空条件下退火,240℃和300℃对Au掺杂的浓度分布改变不大,Au掺杂的浓度几乎不变.但是,温度的不同会对汞空位的浓度产生显著的影响,因此退火温度不同会使载流子浓度明显不同.退火温度从240℃升高至300℃后,霍尔测试得到的载流子浓度从2×10~(16)cm~(-3)左右升高至5.5×1016cm~(-3)左右.     

背包问题的一个k阶优化遗传算法

背包问题是一个NP困难问题,该文在已有的性能比为(k 1)/k的k阶优化算法基础上,提出一个具有与k阶优化算法具有相同的近似性能比的启发式算法:将k阶优化法的结果加入遗传算法的初始种群使原本没有性能比保证的遗传算法具有近似性能比,在保证计算精度的同时大大降低算法的搜索次数,从而提高计算效率.这种算法也具有较高的适应性,可以根据计算速度或精度要求选择适当的正整数k.该文对提到的多种算法编程实现并加以分析,通过比较各种算法的程序输出结果和CPU时间,验证了结论的正确性.     

窗时排序的计算机搜索算法

该文讨论按期完工工件数最大化的窗时排序问题。文章首先提出一个基于EDD序的枚举算法，很大程度降低了纯枚举算法的计算复杂性。然后以改进的枚举法作基础构造了一个启发式算法——遗传算法求解该问题。算法采用0-1编码，基于EDD序规则调整各个工件的排列顺序。该算法在处理大规模的单机排序问题时，能够在较短的时间内得到近似最优解。实例计算证明，该遗传算法近似程度好，可操作性强，可以在实际应用中推广。     

基于ARM平台的CAN总线通信系统设计

ARM是一种基于RISC（精简指令集计算机）构架的通用32位微处理器。随着微处理器的发展,基于ARM技术的处理器以及CAN总线技术都已普遍应用于工业控制、汽车电子等领域。CAN总线技术不仅抗干扰性强、可靠性高、传输速度快和传输距离长且能实现多点间的信息传递。本设计在分析嵌入式系统数据通信要求的基础上,针对基于ARM3000的CAN总线通信进行研究。用ARMADS1.2集成开发环境,编写和调试程序。将两个UP—NetARM3000通过CAN总线相连接,使用超级终端发送数据。ARM监视串行口,将接收到的数据通过CAN总线转发给另一个开发板,通过串口显示。实现在另一个PC的超级终端上显示数据。     

谁更了解中国供应链? 访上海博科资讯股份有限公司创始人兼总裁沈国康先生

上海博科资讯股份有限公司(以下简称博科)宣布近期将推出J2EE与．NET相结合的新款物流管理软件套件MySCM,这标志着博科“自主平台”系列管理软件又向前迈了重要的一步。该技术在国内尚属首创,预计将在2006年7月份正式发布。     

工科数学思维和应用能力的培养

本文讨论工科数学课程教育中怎样注重对学生数学思维和实际应用能力的培养。对授课中的启发式教育、学习方法的指导、如何评估学生的成绩和对学生的心理指导提出了看法和建议。