【摘 要】
：
摘 要 介绍了适用于实时嵌入式系统的操作系统软件——IR—OS的开发及其在智能脱扣器系统中的应用。IR—OS采用了微内核结构设计，基于抢占式优先级调度，内核代码简洁，并提供良好的开发接口。将IR—OS作为实时嵌入式系统的开发和运行平台，不但克服了传统顺序结构设计所带来的代码结构复杂、可移植性差和功能扩展不方便的缺点，而且具有更好的实时性、稳定性和可靠性。 关键词 实时多任务操作系统
论文部分内容阅读
摘 要 介绍了适用于实时嵌入式系统的操作系统软件——IR—OS的开发及其在智能脱扣器系统中的应用。IR—OS采用了微内核结构设计，基于抢占式优先级调度，内核代码简洁，并提供良好的开发接口。将IR—OS作为实时嵌入式系统的开发和运行平台，不但克服了传统顺序结构设计所带来的代码结构复杂、可移植性差和功能扩展不方便的缺点，而且具有更好的实时性、稳定性和可靠性。
关键词 实时多任务操作系统 嵌入式系统 任务调度 脱扣器
文章编号1002—8331—(2003)05—0132—03 文献标识码A 中图分类号TP316
其他文献
摘 要 优先级反向是实时系统中由于任务间需要共享资源以及同步而引起的高优先级任务被低优先级任务阻塞的现象。优先级反向使得高优先级任务的执行时间无法预测，增加了实时系统的不确定性。解决优先级反向可以采用优先级继承机制。通过对盯—Linux源代码的分析，应用基本优先级继承协议对RT—Linux进行了改进，消除了优先级反向，改善了RT—Linux的实时性能。 关键词 RT—L1nux 操作系统
摘要 Turbo码是一种目前研究比较多的纠错码，译码端采用了基于软判决信息输入／输出的反馈迭代结构，译码的迭代是其具有优越纠错性能的关键，也是造成其时延的问题所在，该文提出一种自适应选择迭代次数的方法，实验表明该方法能够在译码结果收敛时自动停止迭代，避免大量无谓的计算，同时保证译码的准确性。 关键词 Turbo码 MAP算法 迭代译码 文章编号1002—8331—(2003)05—01
摘要首先单介绍了现代软件工程采用的建模语言UML的特点和功能，特别是其图形表达方式类图和包图的特点，并分析了面向对象系统基于安全缩减的回归测试。最后，提出了一种基于UML类图和包图构造类依赖集的算法。 关键词 UML 回归测试 类图 包图 依赖集 文章编号1002—8331—(2003)05—0102—03 文献标识码A 中图分类号TP311
摘 要 版面分割是版面分析的重要组成部分，是一个受到广泛关注的研究课题。该文提出了一种基于连通域的版面分割算法，首先对文档图像进行倾斜校正，然后采用模糊处理以得到较大的连通单元，再根据区域连通的特性进行版面分割和处理。实验表明，基于连通域的算法分割版面准确，速度快，适用范围广，不仅可用于矩形版面，对于非Manhattan版面等复杂版面也能取得令人满意的效果。 关键词 版面分析 连通域
摘 要 对性能评价进程代数(PEPA)扩展，提出具有时序特征的随机进程代数(ESPA入在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义，并通过三层C／S结构应用系统展示PEADL的表述能力。 关键词 软件体系结构 进程代数 软件体系结构描述语言 文章编号1002—8331—(2003)05—0118—03 文献标识码A 中图分类号TP312
摘要 该文对体育选票问题中的不同选票数、选票的理论平均得分进行了计算和论证，给出了选票统计处理的三种算法：名次比较算法、分档比较算法和分值算法，并对这三种算法的运算效率进行了分析比较。 关键词 统计处理 算法 不同选票数 理论平均得分 文章编号1002—8331—(2003)05—0110—04 文献标识码A 中图分类号TP301：6
摘 要 合适的软件测试方法可以明显提高软件测试的质量和效率。该文以POCERM软件测试过程模型为基础，结合一个实际测试项目，阐述了一种有效的软件测试工程化方法。 关键词 软件工程 软件测试 过程模型 文章编号1002—8331—(2003)05—0127—02 文献标识码A 中图分类号TP311．5
摘 要 基于模型的用户界面分析和表达是实现界面工程设计的出路所在。FMP是一个涵盖需求、结构和实现的界面模型。该文重点讨论了FMP的内在模型Model部分和对界面实现的作用。指出内在模型由参与界面操作的扩充对象模型和它们的交互模型构成。对象模型给出了界面的局部布局。交互模型给出了界面的功能和对象构成以及它们之间的交互关系，在界面模板的支持下，可以给出界面的宏观布局并支持界面的自动生成。 关键
摘 要 正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为，较好地实现了CSCW的系统要求。文章在XYZ系统的框架内，从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面，对CSCW的时序逻辑模型交互行为描述的正确性进行了论证，这为CSCW时序逻辑模型的实现奠定了坚实的基础。 ： 关键词 CSCW 正确性证明 XYZ／
摘 要 该文主要针对网络CAD知识库的特点，讨论了网络CAD原型系统的信息模型。在分析了知识存取与传递实现之后，提出了应用STEP标准所提供的中性机制，建立一个基于Internet／Intranet的知识库原型系统，并分析了集知识工程与信息集成的C／S机制，使得网络CAD技术中资源能否共享问题得到了很好的解决。 关键词 网络CAD 原型系统 STEP标准 C／S机制 Intemet