您的位置： 专家智库 > >

周巢尘

作品数：6 被引量：33H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 1篇科技成果

领域

  • 2篇自动化与计算...
  • 1篇经济管理
  • 1篇电子电信
  • 1篇文化科学

主题

  • 2篇电脑
  • 2篇电脑软件
  • 2篇政府
  • 2篇政府行为
  • 1篇设计方法
  • 1篇设计理论
  • 1篇时段演算
  • 1篇时态
  • 1篇时态逻辑
  • 1篇通信
  • 1篇通信系统
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇系统形式
  • 1篇控制系统
  • 1篇分布式
  • 1篇分布式系统
  • 1篇分析与设计方...
  • 1篇程序设计

机构

  • 3篇中国科学院软...
  • 1篇北京航空航天...
  • 1篇中国科学院
  • 1篇联合国大学

作者

  • 6篇周巢尘
  • 1篇陈宗基
  • 1篇李晓山
  • 1篇詹乃军
  • 1篇王戟
  • 1篇俞新尧

传媒

  • 2篇开放导报
  • 2篇计算机学报
  • 1篇中国科学（A...

年份

  • 1篇2018
  • 1篇1999
  • 1篇1998
  • 1篇1996
  • 1篇1994
  • 1篇1989
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
时段演算综述被引量：15
1994年
时段演算是用于嵌入式实时软件系统设计的演算系统．本文概述了该演算系统，其中包括时段演算、扩充时段演算、平均值演算和概率时段演算．它们都是区间时态逻辑的扩展，可用于处理数学分析中函数在连续时间上的一些概念，如：积分，平均值，分段连续性和可微性．该演算能够应用于对混合系统的实时需求进行刻划和精化，同时也能定义计算系统的实时行为和语义，以及用来计算关于系统需求的满足概率．
李晓山周巢尘
关键词：时段演算程序设计
实时和嵌入式系统形式设计理论
詹乃军周巢尘
研究目的：复杂实时和嵌入式系统广泛应用于国民经济发展和国防建设的众多重要领域，如轨道交通、航空航天、核电、军工等。在这些领域，系统安全是至关重要的，如果发生失效将会给生命、自然环境、国家安全、社会经济等带来重大灾难性后果...
关键词：
混合控制系统及其分析与设计方法被引量：19
1996年
混合控制系统是指那些由实时决策子系统和实时数值反馈子系统组成的系统，这类系统的特点是事件变量和时间变量的演化在不同子系统内并行、实时地进行．本文基于对混合控制系统以往研究框架的分析，给出了混合控制系统的一个新框架，并提出了混合动态系统的分析和设计方法．混合控制系统的设计包括系统性能指标的分解、决策子系统的设计和实时数值反馈子系统的设计，其分析则分为离散时间域和离散事件域分析．文中采用了煤气炉系统作为例子说明所提出的混合控制系统的框架和分析、设计方法．
陈宗基俞新尧王戟周巢尘
关键词：控制系统
发展中华地区科学技术的一种模式
1998年
周巢尘
关键词：政府行为电脑软件
通信系统的时态描述
1989年
本文建立一种描述通信系统外部行为的时态逻辑。该逻辑的基本谓词为INT,PASS和CLD,记录通信通道的瞬时状态,即打算通信,或正传递消息,或通道关闭。并引入辅助变元,将通道状态汇总为系统状态。从而使各类安全性、活性和公平性均能确切表述。使用这一逻辑进行描述时,还可得益于组合式规则——子描述的逻辑合取组成系统描述。本文还提出了证明由CSP语言书写的通信协议满足其行为描述的推理规则。
周巢尘
关键词：通信系统时态逻辑分布式系统
发展中华地区科学技术的一种模式
1999年
周巢尘
关键词：政府行为电脑软件
全选 清除 导出
共1页<1>
聚类工具0