搜索筛选:
搜索耗时0.0462秒,为你在为你在23,761,000篇论文里面共找到 9 篇相符的论文内容
发布年度:
[学位论文] 作者：姬孟洛,,
来源： 年份：2006
与非实时系统不同，实时系统的正确性不仅要求输出结果在逻辑上正确，而且要求输出结果必须在规定的时间范围内产生。时间对于实时系统具有至关重要的意义。分析实时程序最差情况......
[期刊论文] 作者：李军,姬孟洛,
来源：飞行器测控学报 年份：2002
文章介绍了对称多处理机（SMP）系统中旋转锁的使用，包括旋转锁的概念和使用原则，旋转锁机制中的优先级逆转问题，以及在实时系统开发中的应用。...
[期刊论文] 作者：姬孟洛, 齐治昌,,
来源：计算机科学 年份：2006
事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系...
[期刊论文] 作者：姬孟洛,齐治昌,
来源：计算机工程与科学 年份：2006
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况......
[期刊论文] 作者：姬孟洛,李军,王馨,齐治昌,
来源：计算机工程 年份：2006
利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；并在自盒测试工具NPCA的基础上，利用该方法实现了WCET分析工具NPCA-WCET。...
[期刊论文] 作者：姬孟洛,舒云星,黄辰林,高翔,陶荣,,
来源：计算机工程与科学 年份：2017
嵌入式控制系统通常都有模式，比如启动模式、正常工作模式以及紧急模式等。程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的。基于源程序，获取其模式，不仅能够......
[期刊论文] 作者：朱志萍,高翔,孟建奇,李社珍,姬孟洛,,
来源：机械制造 年份：2015
针对某制造企业生产过程中存在质量信息游离、信息"孤岛"的问题,依托产品的工艺规程,结合生产管理的实际状况,提出了将企业质量信息管理应用于ERP系统的思想。通过辨析产品实...
[期刊论文] 作者：侯小静,姬孟洛,黄辰林,舒云星,阎奔,,
来源：计算机工程 年份：2017
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间（WCET）计算更为精准。为此,提出一种自动分析实时控制系统程序模式的......
[期刊论文] 作者：姬孟洛,舒云星,周亚飞,刘宗福,侯小静,,
来源：铁道运输与经济 年份：2014
综合客运枢纽具有综合运输的整体优势,而信息系统是其业务运营的核心支撑。以开发的客运枢纽信息化项目为基础,对综合客运枢纽信息系统及其关键技术展开研究。在分析信息系统...
相关搜索：
