2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
董护斌
作品数:
2
被引量:3
H指数:1
供职机构:
西北大学信息科学与技术学院软件工程研究所
更多>>
发文基金:
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
郝克刚
西北大学信息科学与技术学院软件...
王斌君
中国人民公安大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
期刊文章
1篇
学位论文
领域
2篇
自动化与计算...
主题
1篇
形式化
1篇
形式化方法
1篇
时态逻辑
1篇
时序逻辑
1篇
实时系统
1篇
流模型
1篇
工作流
1篇
工作流模型
1篇
公理
1篇
公理系统
1篇
PETRI网
机构
2篇
西北大学
1篇
中国人民公安...
作者
2篇
董护斌
1篇
王斌君
1篇
郝克刚
传媒
1篇
小型微型计算...
年份
1篇
2003
1篇
2002
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
面向实时系统的实时区域时态逻辑:RRTL
实时系统作为一种在现实中广泛使用的反应型系统,因其大多使用于安全攸关的领域,所以必须保证它的安全可靠。为了它到这个目的,必须使用具有严格数学基础的形式化方法。在本文中,我们首先对形式化方法作了一个概要的介绍。但是因为它又...
董护斌
关键词:
形式化方法
时序逻辑
公理系统
文献传递
扩展的信牌驱动模型中配对结构之研究
被引量:3
2003年
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
王斌君
董护斌
郝克刚
关键词:
工作流模型
PETRI网
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张