论文部分内容阅读
提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型，并研究了该系统核心部分的算法，给出了该自动测试系统模型的软件结构图，结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统模型具有一定的通用性，根据该模型很容易设计出各种软件自动测试系统。
分布式实时UNIX调度策略自动测试系统模型
【摘 要】
：
提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型，并研究了该系统核心部分的算法，给出了该自动测试系统模型的软件结构图，结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统
【机 构】
：
华中理工大学计算机科学与技术学院
【出 处】
：
华中理工大学学报
【发表日期】
：
1999年1期
【基金项目】
：
国防预研基金
其他文献
采用活性炭纤维处理硝基苯废水，通过静态与动态吸附实验，测定了表观平衡吸附量，动态穿透曲线，研究表明该材料处理硝基苯废水吸附容量大，吸附速度快。研究了高温再生后活性炭纤维的
运用结构建模数方法研究方法数据库设计中关系模式的规范分解，介绍了借助结构建模生成层次清晰的属性集结构的原理，分析了生成后的层次关系所蕴涵的关键字信息，关系模式信息和约
论述了SNMP的概念及框架结构，讨论了如何在Windows环境下用VC + + 6．0制作实现SNMP,以一个应用实例对该软件进行了数据分析．分析结果表明，利用VC实现SNMP，可以方便地获取实体对象
提出用统计能量分析方法研究控制板壳弯曲振动的波导吸振器的新方案，通过计算相关参数来讨论和分析在安装波导吸振器后板壳振动能量的损失情况。数值仿真结果表明波导吸振器在
利用黑洞吸积盘演化的基本方程级，在纯吸积情况下，求得了薄、厚吸积盘及一般厚吸积盘的黑洞视界半径ｒＨ的演化方程。证实了中心黑洞与吸积相互影响的基本性质，并得到一些新的结果。
探讨了ＩＩＳ中ＳＭＴＰ服务组件的处理机制，包括邮件的存储机制、本地邮件和远程邮件的接受和发送机制、ＳＭＴＰ服务中的安全机制，并介绍了如何结合ＩＩＳ中的ＳＭＴＰ服务组件和ＡＳＰ技术来构建小型的邮件服务系统。还
引入判断矩阵的序相关性概念，分析ＡＨＰ产生权重向量计算结果序混乱的原因，并且就层次分析过程中判断矩阵的序相关性检查的必要性和检验方法作了讨论和介绍。
研究了多元线性模型Ｙ－Ｎ中参数ＳＸＯ的线性估计ＬＹ＋Ｄ的可容许性问题，在一般条件下得到了线性估计ＬＹ＋Ｄ在矩阵损失下的可容许的充要条件。从而将现有文献中的结果推广到Σ≥０，Ｖ≥０的情形，解决了这一模型
提出了一种基于ＣＯＲＢＡ的并行工程产品开发过程管理系统，阐述了系统的特点和设计思想，规划了系统的总体结构和主要功能，分析了系统的关键并给出了实现方法，现阶段的实施表明，该系统具有较
针对可展钣金ＣＡＤ系统，提出了一种对任意二维面进行三角划分的通用算法，并给出了算法应用的一个实例，验证了算法的正确性。