搜索结果: 1-15 共查到“计算机科学技术基础学科 实时”相关记录52条 . 查询时间(0.078 秒)
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展（图）
系统 理论 观测 自动机
2024/9/20
2024年7月24日，中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员（第一作者）的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods （FM 2024）接收。论文关注实时系统的不透明性（Opacity）这一信息安全性质，针对广泛使用的实时系统形式模型时间自动...
2024年3月11日，《自然·神经科学》在线发表了题为《实时分析大规模神经成像，实现神经动态的闭环研究》的论文，报道了中国科学院脑科学与智能技术卓越中心杜久林研究组、穆宇研究组和自动化研究所蒿杰研究组的合作研究。研究成果已授权发明专利“光学脑机接口系统和方法”（专利号：ZL202310131178.9）。
航空瞬变电磁(AEM)法对地形适应性强，采集效率高，是重要的浅地表勘探方法。
求解带用户满意度的多目标实时车辆路径问题的改进伊藤算法
动态车辆路径问题 伊藤算法 蚁群算法 用户满意度
2017/1/5
基于对标准车辆路径问题的分析,本文构建了一种包括交通因素、客户需求动态改变、用户满意度的多目标动态车辆路径问题模型.针对伊藤算法在求解离散组合优化问题时效率较低、收敛性较差等缺陷,本文以具有通用性的伊藤算法为框架,参考蚁群算法,设计了伊藤-蚂蚁优化算法,并采用正交实验的方法,分析了改进算法参数的设置问题.为了验证改进算法的有效性,文章对标准测试数据集中的数据进行了测试.最后,将标准测试数据改编成符...
针对Marginalized粒子滤波中随机量测噪声对于非线性状态估计精度的不利影响以及线性状态估计中计算量较大问题,提出了一种基于权重一致性优化的实时Marginalized粒子滤波算法.首先,结合量测系统建模中先验信息的提取和利用,通过粒子权重间一致性距离和一致性矩阵的构建,提出了量测提升策略下权重的一致性优化方法,以改善粒子滤波在非线性状态估计中的滤波精度.其次,通过对Marginalized...
中国科学院上海微系统所太赫兹固态技术重点实验室，基于太赫兹量子级联激光器（THz QCL）、THz量子阱探测器（THz QWP）、THz信号调制解调模块以及实时视频信号获取和显示模块，于近日实现了基于THz波的实时视频通信演示，通信频点为3.9 THz，为未来的THz无线通信技术奠定了基础。
实时任务调度算法最早可行时刻的求取模式
平滑插入 最早可行时刻 实时系统 任务压缩
2012/3/12
提出实时任务调度算法最早可行时刻的求取模式。利用试探到公倍点、试探到截止期对齐和试探到较小的剩余使用率这3种收敛模式，求取任务插入的最早可行时刻。给出每种模式的仿真示例，利用时间复杂度分析上述收敛模式，根据立即平滑插入点确定立即时间段。仿真示例证明，该收敛模式正确，在运行时能在最早可行时刻插入新任务。
实时系统中基于反馈的闭环调度算法通常用于过载发生后的情况。为此，提出一种基于反馈控制的实时调度算法。该算法利用回归模型与非精确计算模型对每个任务进行跟踪，并在系统瞬时利用率大于系统最大利用率时提前进行调整。实验结果表明，该算法能有效预防系统过载，保证任务实时性。
提出了一种适用于实时性环境的Java虚拟机垃圾收集算法。该算法对增量式收集器中堆空间的划分方式、引用跟踪等方面进行了改进，以减少垃圾收集带来的不确定性暂停，并可以使用户指定一个时间段内垃圾收集导致应用程序暂停的最长时间，从而使其适用于实时性环境。实验结果表明，该算法有效减少了暂停的频率和时长。
提出两种遍历有向非循环图的更新导出数据对象事务调度算法，并且建立了相应评估系统性能的价值模型用来检验算法执行效率。通过系列仿真实验表明两种算法在一定程度上提高了系统性能。
在802.16e系统中，当具有实时业务的多个移动站点(MS)同时进入休眠模式时，重叠的侦听窗口上数据调度的竞争将会影响MS的节能效率。该文对这种实时业务下多MS同时进入休眠模式的场景进行分析，提出了一种改进的休眠算法。该算法通过调整新加入连接休眠模式的启动时间，使得各MS的侦听窗口尽量分散，实现系统负载在OFDM帧上较为均匀的分布，从而提高网络的平均节能效果。仿真结果表明所提出算法不仅能够提高系统...
改进的异构多处理器的实时任务调度算法研究
异构多处理器 实时任务 调度
2010/8/31
现有的很多调度算法存在时间复杂度过高或调度成功率低的问题。提出一种新的调度算法(HRTSA)，提高实时任务的调度成功率。HRTSA首先通过METC策略初始化分簇，降低算法的时间复杂度；再在放置任务时根据处理器的负载均衡进行处理器负载的有效控制；最后通过任务复制调度以提高任务调度成功率。对比实验分析表明提出的HRTSA算法时间复杂度与RTSDA相比较低，调度成功率较高。
实时任务在异构集群中的自适应容错调度研究
实时 异构集群 容错 自适应算法 服务级别 primary/backup任务拷贝
2010/3/26
异构集群由于良好的扩展性和可用性，逐渐成为当前并行计算的热点。在具有实时性要求的异构集群中，调度是提高系统性能的关键所在。在此提出了两种自适应调度算法SANOL和SAOL，在保证异构集群中任务的实时性和容错性的前提下，自适应地根据系统的负载情况动态地调整任务的服务级别，从而提高整个系统的灵活性、可调度性和资源利用率。通过实验将这两种算法与另外一种有效率的调度算法DYFARS算法进行比较，结果表明所...
一种新的自适应实时活动音频检测算法
能量 自适应 音频检测
2010/3/26
针对音频评价系统中信号同步处理对算法准确度、复杂度、实时性等要求，提出一种简单、有效、实时的活动音频检测方法。该方法基于音频短时能量特征，通过能量均值和均方差分层逐步调整，动态设定判决门限，通过倒置非活动音频段，快速区分活动音频和非活动音频。提出的方法在低信噪比环境下也能实时地检测出活动音频。
