排序方式: 共有44条查询结果,搜索用时 218 毫秒
1.
中断驱动系统模型检验 总被引:1,自引:1,他引:0
针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法. 相似文献
2.
针对没有数字输出接口的X光机,设计了X线影像数据的采集系统,在软件上以虚拟设备驱动和多线程为主要技术提高了影像采集、与影像处理的并行性。 相似文献
3.
基于OEM的XML半结构数据的模式描述方法 总被引:3,自引:1,他引:3
半结构数据的类型和模式是提高半结构数据处理效率的关键技术,首先对半结构数据的特点及半结构数据的模式的特点进行了论述,然后对基于XML的模式描述形式进行了研究,提出了一种基于OEM的XMLDTD模式的定义和形式化描述方法。 相似文献
4.
基于模糊逻辑的ABR显式流量控制算法 总被引:7,自引:0,他引:7
面向连接的ATM网络通过一系列的流量管理机制为各种应用提供纯粹的服务质量(QoS)保证,其中ABR业务流量控制的作用尤显重要.显式速率(Explicit Rate,ER)控制是一种有效的机制,有效性、公平性和算法复杂度是各种显式速率控制算法所面临的主要问题.该文将ABR业务流基于速率的端到端闭环反馈控制抽象为控制理论中典型的调节系统,运用不依赖对象模型的模糊控制理论设计了一种新的流量控制算法——模糊速率控制算法(FRCA).仿真试验表明FRCA的综合性能良好:保证了最大—最小公平性的实现;在LAN和WAN上均有较好的适应能力;算法的复杂度低;队列长度的控制能力强;易于硬件实现. 相似文献
5.
RED算法的稳定性:基于非线性控制理论的分析 总被引:16,自引:2,他引:16
随机旱期检测(Radom Erly Detection,ERD)算法是主动队列管理(ActiveQueue Management,AQM)的有效实现算法,有关它性能的研究是近来网络研究的一个热点,在某些网络配置和负载状态下,RED存在稳定性问题,已有的关于RED稳定性的研究用不同的方法,从不同的角度定性或定量地揭示了可能的原因,并给出了稳定运行的工作区间,但没有对等幅振荡的队列行为给出一个合理的解释,在该文中,作者利用描述函这一非线性控制理论中经典的分析方法,分析了RED和getle-RED的工作特性,认为分组丢弃概率曲线中的非线性结构诱发的自激振荡是队列呈现周期运动的本质原因;虽然相比较而言,getle-RED比RED有更宽的稳定工作区间,但也是非常有限公司,解决AQM稳定性的理想途径是设计更为鲁棒的线性控制器。 相似文献
6.
多对象多媒体应用允许多路媒体同时呈现,其同步控制比较复杂,可分为传输过程中与呈现过程中的同步。然而现有的同步方法忽略了媒体在最后呈现过程中的同步,也没有考虑各媒体对象之间的同步要求差异。针对以上问题,为视频点播提出了一种在应用层上控制多对象多媒体同步呈现质量的方法。在采用多级缓冲门限实现媒体内同步反馈控制的基础上,依据主要媒体对象的呈现时间戳,在每一个呈现场景内调整次要媒体对象的呈现速率,从而实现媒体间的同步呈现。实验结果表明该方案能够有效地提高同步质量,且媒体间的同步性能平均提高28.45%。 相似文献
7.
基于实例的多智能体储集层伤害诊断模型的研究 总被引:2,自引:0,他引:2
针对钻井过程储集层伤害类型诊断涉及的因素繁多 ,往往是根据以往类似问题诊断的经验与结果来求解所面临的问题 ,本文利用基于实例推理和 Agent的概念与技术 ,将钻井过程储集层伤害类型诊断实例构造为具有知识、目标和能力的智能实体 ,提出一个基于实例的多智能体储集层伤害类型诊断模型 ,并通过建立实例智能体之间的偏序关系进行问题的诊断 ,从而提高了推理系统的诊断性能 相似文献
8.
9.
10.