搜索结果: 1-15 共查到“计算机科学技术 实时系统”相关记录15条 . 查询时间(0.187 秒)
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展(图)
系统 理论 观测 自动机
2024/9/20
2024年7月24日,中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员(第一作者)的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods (FM 2024)接收。论文关注实时系统的不透明性(Opacity)这一信息安全性质,针对广泛使用的实时系统形式模型时间自动...
基于面向方面MDA的实时系统开发方法
面向方面 模型驱动架构 实时系统
2009/9/4
实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题,提出基于面向方面模型驱动架构的实时系统开发方法。该方法在设计阶段将系统的非功能需求从功能需求中分离出,以降低系统开发的复杂性,提高系统的可重用性、可维护性和横切关注点的模块化程度。通过应用实例证明该方法是有效的。
基于C/S关系的实时系统构件交互规约
接口设计 C/S关系 交互规约
2009/6/23
给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了构件相互交互的文本描述语言语法语义规约,其主要刻画了分布式实时构件之间的交互协议及其实时特性。
非周期软实时系统的动态最优控制方法
非周期 软实时系统 最优控制
2009/2/12
运用多优先级排队系统的分析方法,研究了到达时刻和执行时间均不确定的非周期软实时系统,提出了一种针对DM调度算法的动态最优控制方法。该方法能在统计意义上确保系统的实时性,同时又兼顾系统的QoS需求和提高系统吞吐率。实例表明,该方法能提高系统的实际利用率,降低系统的截止时间错过率,是一种有效的载荷管理方法。
基于干涉原理测量溶液浓度变化分布的实时系统仿真实现
干涉测量 直方图 形态学滤波
2008/12/3
实验利用数字全息干涉技术对电极反应过程中溶液浓度变化分布进行测量。运用基于直方图的自适应滤波方法和基于形态学滤波的固液界面提取方法,解决了每更换一次实验数据都要人工识别和更换滤波参数以及手动去除固侧干扰信息的难题,为实现从摄像机实时读取数据、实时处理、测量和观察提供了仿真依据。
提出了两种分布式实时容错调度算法:副版本后调度算法(BKCL)及无容错需求后调度算法(NFRL),并研究了算法的时间复杂度.这两种容错调度算法能同时调度具有容错需求的实时任务和无容错需求的实时任务.BKCL和NFRL所产生的调度可保证:在分布式系统中一个节点机失效的情况下,具有容错需求的实时任务仍然可在截止时间内完成.在描述了两个实时容错调度算法之后,分别证明了这两个算法的容错调度正确性.接着,阐...
采用云方法对多机实时系统任务的重要性和任务处理的适时性进行分析,实时计算被激活任务的价值及其在不同资源条件下的作业执行时间,提出一种兼顾任务价值和作业执行时间两方面因素的新的调度策略——云调度策略,有效地解决了任务优先级的判定和任务处理适时性问题,提高了系统资源利用效率、运行质量和系统整体效能.仿真证明,此策略优于现在广泛采用的固定优先级和先到先处理调度策略.
网络实时系统端对端的时钟同步研究及算法实现
2007/12/13
Abstract针对端对端的实时网络控制系统,提出一种端对端时钟同步算法ETSA(Endtoend Time Synchronizaiton Algorithm).本文提出的时钟同步算法采用一种新的时钟同步原理,通过TCP/IP协议,能够达到较高的时钟同步精度,同时实现起来简单、便捷.理论分析和网络实验验证了所提时钟同步算法的有效性.
开放式实时系统的调度理论与方法分析
2007/11/2
AbstractAs the applications of real-time systems are becoming more and more popular, the system scheduling mechanism faces new requirements and challenges because of the coexistence of different kinds...
一种开放混合实时系统的开放自适应调度算法
2007/11/2
AbstractTo meet the system scheduling requirements of open hybrid real-time systems, an open adaptive real-time scheduling framework, called OARtS (open adaptive real-time scheduling), is presented in...
一种可行的容错实时系统可调度性分析
2007/11/2
Li J, Yang FM, Lu YS. A feasible schedulability analysis for fault-tolerant real-time systems.
Journal of Software, 2005,16(8):1513-1522.DOI:
10.1360/jos161513 http://www.jos.org.cn/1000-9825/16/...
基于逻辑"或"约束优化的实时系统设计
2007/11/2
Liu JX, Wang YJ, Wang Y, Xing JS, Zeng HT. Real-Time system design based on logic OR constrained optimization.
Journal of Software, 2006,17(7):1641-1649.DOI:
10.1360/jos171641 http://www.jos.or...
基于WCET分析的实时系统轨迹获取技术
2007/11/2
Wang X, Ji ML, Wang J, Qi ZC. Trace acquirement technology of real-time systems based on WCET analysis.
Journal of Software, 2006,17(5):1232-1240.DOI:
10.1360/jos171232 http://www.jos.org.cn/1000...
一种基于时间自动机的实时系统测试方法
2007/11/1
Chen W, Xue YZ, Zhao C, Li MS. A method for testing real-time system based on timed automata. Journal of
Software, 2007,18(1):62-73.DOI:
10.1360/jos180062 http://www.jos.org.cn/1000-9825/18/62.htm...