您的位置： 专家智库 > >

张广泉

作品数：7 被引量：20H指数：3
供职机构：重庆大学计算机学院更多>>
发文基金：国家自然科学基金重庆市应用基础研究项目四川省教育厅青年基金更多>>
相关领域：自动化与计算机技术理学电子电信更多>>

合作作者

文献类型

  • 6篇期刊文章
  • 1篇学位论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信
  • 1篇理学

主题

  • 2篇时态逻辑
  • 2篇故障诊断
  • 2篇并发处理
  • 2篇并发系统
  • 1篇电子设备
  • 1篇形式化
  • 1篇形式化描述
  • 1篇时态
  • 1篇实时系统
  • 1篇启发式知识
  • 1篇专家系统
  • 1篇微分
  • 1篇微分方程
  • 1篇系统形式
  • 1篇逻辑
  • 1篇逻辑与
  • 1篇混合式
  • 1篇计算机
  • 1篇故障诊断系统
  • 1篇反应式

机构

  • 7篇重庆大学
  • 1篇重庆师范学院

作者

  • 7篇张广泉
  • 5篇戎玫
  • 3篇沈一栋

传媒

  • 5篇重庆大学学报...
  • 1篇计算机工程

年份

  • 5篇1999
  • 2篇1998
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
广义反应式系统形式开发方法研究
该文给出基于转换系统的不同扩充形式，作为三类反应式系统的计算模型;采用时态逻辑PLTL及其扩充形式作为三类反应式系统的形式化描述语言。对上述问题，进行了系统而深入的研究，取得了如下主要结果:(1)针对上述第一类问题，提出...
张广泉
关键词：并发系统实时系统
文献传递
混合系统的形式化模型被引量：8
1999年
混合系统是一种离散和连续构件融合在一起的反应系统，通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。本文概述了目前几个重要的混合计算模型，并通过扩充公平转换系统ＦＴＳ，提出混合系统的一种新的计算模型———混合转换系统ＨＴＳ。
张广泉沈一栋
关键词：微分方程
第一原理与启发式知识协同作用的故障诊断系统被引量：4
1999年
提出一个将第一原理与启发式知识相结合的故障诊断系统，该系统将基于第一原理的方法与传统的基于经验知识的方法协调统一起来，因此兼具两种方法的优点。
戎玫张广泉沈一栋
关键词：电子设备故障诊断系统启发式知识
一种基于第一原理的定性诊断探测法
1999年
提出了一种基于第一原理的定性诊断探测法，该方法将经验知识纳入算法中，与国际上典型的ＧＤＥ系统中的Ｓｈａｎｎｏｎ熵预测法相比更快速、简单、有效，并且对探测值与新候选的关系进行了仔细分析，利用所得结论可大大地减少诊断系统的计算时间。
戎玫张广泉沈一栋
关键词：故障诊断
一种新的混合式定性诊断推理模型
1998年
国际上现有的诊断推理方法可归纳为两类：基于第一原理的定性诊断推理和基于启发式知识的定性诊断推理，由于这两种方法各有其优缺点，因此如何将两种方法有机地结合起来成为近年来该领域的研究热点。本文提出一种将第一原理与启发式知识有机结合的模型，并给出了相应的算法。
戎玫张广泉沈一栋
关键词：混合式专家系统
并发系统基本模型及其分析被引量：6
1998年
本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网、ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等，并分析了上述一些模型的特点和不足之处，指出ＦＴＳ模型为时态逻辑用于并发系统形式描述提供了良好的基础。
张广泉戎玫沈一栋
关键词：并发处理并发系统程序设计计算机
时态逻辑与并发程序被引量：3
1999年
分别阐述了基于ＭａｎｎａＰｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型，并给出该模型与转换系统之间的对应关系；将时态逻辑与公平转换系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）；指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。
张广泉戎玫
关键词：并发处理时态逻辑并发程序
全选 清除 导出
共1页<1>
聚类工具0