搜索筛选:
搜索耗时3.8740秒,为你在为你在102,285,761篇论文里面共找到 12 篇相符的论文内容
发布年度:
[期刊论文] 作者：詹乃军,
来源：中国科学E辑 年份：2004
研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里，程序变量被解释成时间的函数. 为了定义局部变量声明的语义，必须引进关于程序变量的量词. 因此，建立高阶时段演......
[期刊论文] 作者：詹乃军,
来源：计算机科学技术学报(英文版) 年份：2001
This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is given in terms of Duration Calculus which pro...
[期刊论文] 作者：詹乃军,
来源：中国科学：技术科学英文版 年份：2000
This paper studies how to describe the real-time behaviour of programs using duration calculus. Since program variables are interpreted as functions over time i...
[学位论文] 作者：詹乃军,
来源：中国科学院软件研究所 年份：2000
该文的主要工作是研究如何用时段演算来刻画程序的实时行为.为了处理局部变量的声明,作者们必须引进关于程度变量的量词.而在实时程序设计里,所有程序变量均看成时间域上的函...
[会议论文] 作者：詹乃军,徐永森,
来源：中国通信学会第四届学术年会 年份：1995
...
[会议论文] 作者：詹乃军,宋方敏,
来源：第六届全国青年计算机工作者会议 年份：1996
Ｒ·Ｍｉｌｎｅｒ在他的多元π－演算（〔１〕）里，引进了种类（ｓｏｒｔ）和分类（ｓｏｒｔｉｎｇ）概念，这类似于函数式语言里的类型（ｔｙｐｅ）和类型化（ｔｙｐｅｉｎｇ）。在〔２〕里，Ｓｉｍｏｎ·Ｊ·Ｇａｙ给出了一个推导满足已知代理的分类算法。他们处理问题的出发点均是认为一......
[期刊论文] 作者：刘涛,王淑灵,詹乃军,,
来源：软件学报 年份：2017
近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全...
[期刊论文] 作者：詹乃军,王戟,李宣东,
来源：软件学报 年份：2016
形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技...
[期刊论文] 作者：白云军,甘庭,焦莉,薛白,詹乃军,,
来源：中国科学:数学 年份：2021
如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略时延因素,这会导致在不考虑......
[期刊论文] 作者：王戟, 詹乃军, 冯新宇, 刘志明,,
来源：软件学报 年份：2019
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经...
[期刊论文] 作者：郭丹青,吕继东,王淑灵,唐涛,詹乃军,周达天,邹亮,,
来源：中国科学:信息科学 年份：2015
高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统...
[期刊论文] 作者：杨孟飞,顾斌,段振华,金芝,詹乃军,董云卫,田聪,李戈,董晓刚,李晓锋,
来源：中国空间科学技术 年份：2020
程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先概述了程序合成方法的国内外研究现状和存在的问题，在此基础上，提出了软件IP（Intellectual Property，知识产权）的概念和一种基于软件IP的嵌入式软件智能合成开发模式（IP-based Embe......
相关搜索：
