搜索结果: 1-15 共查到“工学 实时系统”相关记录24条 . 查询时间(0.39 秒)
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展（图）
系统 理论 观测 自动机
2024/9/20
2024年7月24日，中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员（第一作者）的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods （FM 2024）接收。论文关注实时系统的不透明性（Opacity）这一信息安全性质，针对广泛使用的实时系统形式模型时间自动...
2020年9月10日，北京市科学技术奖励大会在北京召开。中国科学院软件研究所软件工程技术研发中心参与完成的“基于国产基础软硬件的交通行业复杂实时系统关键技术及应用“项目荣获北京市科学技术二等奖。
2017年嵌入式实时系统的安全性和可靠性研讨会（2nd Workshop on Security and Dependability of Critical Embedded Real-Time Systems）
2017年 嵌入式 实时系统 安全性 可靠性 研讨会
2017/11/27
At their heart, many critical systems and system infrastructures are composed of real-time and embedded systems (RTES). For example, RTES control our power grids, maintain our smart homes, steer our v...
一种基于GPU的主动声纳宽带阵列信号处理实时系统
GPU 主动声纳 宽带阵列信号 实时性
2014/4/28
该系统采用基于CUDA(Compute Unified Device Architecture，统一计算设备架构)并行编程模型的GPU(Graphic Processing Unit，图形处理器)，完成了宽带LFM及CW信号的几种经典波束形成和匹配滤波过程，并实现了系统的实时性处理。实验结果表明：该系统与CPU平台相比，处理速度提高了近一个数量级；与具有同等处理速度的DSP阵列信号处理平台相比，克...
并发实时系统的串行非实时仿真框架
武器系统 并发实时 仿真 框架
2013/3/25
为了解决并发实时系统在通用计算机上的仿真问题,文中分析了并发实时系统的一般特性,归纳了仿真验证的硬件架构选择,通过分离并发进程计算与运行顺序,按照时标调度进程,提出了一种将并发问题串行化的通用仿真框架,该框架适用于一般性的并发实时系统仿真,可以有效加快仿真程序开发,提高程序质量。
WSN软实时系统的DVS控制优化算法
无线传感器网络 软实时系统 动态电压调节
2009/10/12
为降低无线传感器网络(WSN)软实时系统中的能量消耗，建立能量消耗数学模型，引入离散事件系统框架中的优化控制问题使目标函数最小化，采用线性规划方法求解，得到一种可扩展的低复杂度算法，并对该算法进行优化。数值结果表明，应用优化算法对WSN节点进行动态电压调节，能在满足时限要求的基础上更大程度地节省节点能量。
基于面向方面MDA的实时系统开发方法
面向方面 模型驱动架构 实时系统
2009/9/4
实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题，提出基于面向方面模型驱动架构的实时系统开发方法。该方法在设计阶段将系统的非功能需求从功能需求中分离出，以降低系统开发的复杂性，提高系统的可重用性、可维护性和横切关注点的模块化程度。通过应用实例证明该方法是有效的。
基于C/S关系的实时系统构件交互规约
接口设计 C/S关系 交互规约
2009/6/23
给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题，提出了构件相互交互的文本描述语言语法语义规约，其主要刻画了分布式实时构件之间的交互协议及其实时特性。
μC/OS-II实时系统任务调度优化
实时任务 优先级反转 调度
2009/5/7
使用实时内核时，优先级的反转问题是实时系统中出现得最多的问题。为了解决这一问题，操作系统必须动态地提升获得资源的任务的优先级。该文分析了μC/OS-II的任务调度机制，提出了一种基于优先级继承提升的策略用以解决优先级的反转问题，从而优化了实时操作系统的任务调度，增强了其对高优先级任务调度的实时性。
非周期软实时系统的动态最优控制方法
非周期 软实时系统 最优控制
2009/2/12
运用多优先级排队系统的分析方法,研究了到达时刻和执行时间均不确定的非周期软实时系统,提出了一种针对DM调度算法的动态最优控制方法。该方法能在统计意义上确保系统的实时性,同时又兼顾系统的QoS需求和提高系统吞吐率。实例表明，该方法能提高系统的实际利用率，降低系统的截止时间错过率,是一种有效的载荷管理方法。
基于干涉原理测量溶液浓度变化分布的实时系统仿真实现
干涉测量 直方图 形态学滤波
2008/12/3
实验利用数字全息干涉技术对电极反应过程中溶液浓度变化分布进行测量。运用基于直方图的自适应滤波方法和基于形态学滤波的固液界面提取方法，解决了每更换一次实验数据都要人工识别和更换滤波参数以及手动去除固侧干扰信息的难题，为实现从摄像机实时读取数据、实时处理、测量和观察提供了仿真依据。
嵌入式实时系统及其在通信系统中的应用
嵌入式实时操作系统 板级支持包(BSP) 电信管理网
2008/12/1
阐述了嵌入式实时系统的原理及特点,分析并论述嵌入式实时系统实现过程中的关键问题,讨论了嵌入式实时系统在通信领域中的应用。
提出了两种分布式实时容错调度算法：副版本后调度算法(BKCL)及无容错需求后调度算法(NFRL)，并研究了算法的时间复杂度.这两种容错调度算法能同时调度具有容错需求的实时任务和无容错需求的实时任务.BKCL和NFRL所产生的调度可保证：在分布式系统中一个节点机失效的情况下，具有容错需求的实时任务仍然可在截止时间内完成.在描述了两个实时容错调度算法之后，分别证明了这两个算法的容错调度正确性.接着，阐...
采用云方法对多机实时系统任务的重要性和任务处理的适时性进行分析，实时计算被激活任务的价值及其在不同资源条件下的作业执行时间，提出一种兼顾任务价值和作业执行时间两方面因素的新的调度策略——云调度策略，有效地解决了任务优先级的判定和任务处理适时性问题，提高了系统资源利用效率、运行质量和系统整体效能．仿真证明，此策略优于现在广泛采用的固定优先级和先到先处理调度策略．