论文部分内容阅读
利用抽象状态机（ASM），形式化描述了共享网络中实时任务接纳控制机制，提出了实时任务可执行概率设计过程的ASM模型，利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计，还有利于实现实时任务接纳控制机制，并为利用ASM模型方法设计实现其他控制机制提供了范例。
基于ASM描述共享网络的实时任务可执行概率设计
【摘 要】
：
利用抽象状态机（ASM），形式化描述了共享网络中实时任务接纳控制机制，提出了实时任务可执行概率设计过程的ASM模型，利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助
【机 构】
：
国防科学技术大学并行与分布处理国防科技重点实验室,国防科学技术大学计算机学院
【出 处】
：
计算机系统应用
【发表日期】
：
2011年9期
其他文献
混凝投药过程是水处理工艺中重要环节之一，对混凝投药过程的监控是十分需要的。以水处理辅助决策系统项目的开发为背景，利用VB设计了混凝投药监控系统，实现了数据的采集、显示与
提出了一种基于改进的Logistic混沌序列（NCA）的彩色图像分块加密算法,分别对图像的R、G、B分量进行了分块置乱,摆脱了NCA用于像素加密时对迭代数的限制,然后通过取迭代值有效数
现代远程医疗是计算机网络、多媒体技术以及医学诊断技术相结合而形成的一门新兴课题。针对当前系统在平台依赖性及远程操控等方面的弱点,结合JMF（Java Media Framework）框架及
提出并设计了一种能够实现综放煤岩自动识别功能的系统。该系统采用TLC320AD50C和TMS320VC5402DSP对采集的声波信号进行处理,在此基础上,将独立变量分析(ICA)理论中的FastICA算法应用其中完成软硬件设计。该系统具有较高的实时性和算法处理能力,能够准确地实现煤岩识别。
为提高校园教学活动的效率,通过delphi建立智能校园的教师机和学生机的软件系统,实现智能校园的软件系统,结合Aglet进行上下文感知,通过对学生机的上下文信息实时读取来进行
详细介绍了屏幕监控软件的设计思路和开发技术。使用WinSock API接口和MFC网络编程技术,系统采用C/S模式,基于UDP协议进行通信,客户机端（Client）通过Winsock发送抓取监控屏幕的
为实现橘科植物病害的计算机识别和病害程度的科学评价,提出通过分析病害图像,自动提取有效特征,设计分类器模型识别的方法.深入研究了怎样对病害图像进行自动增强处理、病斑分割、特征提取,以及怎样构建分类器模型等技术.最后以常见也容易混淆的五种柠檬病害为例,提取其病斑色调、纹理、形态三种特征向量,分别采用支持向量机和BP神经网络进行训练、测试.实验结果表明,该方法能很好识别植物病害类别,为科学防治和病害危
工程项目管理中项目工期的确定包括许多不确定因素，传统的网络计划方法不能解决此类不确定问题，基于模糊集合理论对工程项目工期的不确定性进行了分析论证，将三角模糊数引入到项
根据SoC(片上系统)平台的特点,分析嵌入式系统用于2D游戏动画实现存在的问题。采用特殊数据结构对画面进行分块,结合硬件特性并利用μCOS-II操作系统来解决资源利用、更新和渲染的问题,从而在系统整体性能不受影响的条件下使游戏画面流畅。
长期演进系统LTE是下一代移动通信系统的主要标准之一，其安全性对于系统的成功部署至关重要。研究LTE中本地信号切换也即X2切换时的密钥管理，并关注当前方案仅具备两跳前向安全