期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
知识库系统中的一种并发控制方法
被引量：
3
1
作者
曲云尧
施伯乐
《软件学报》
EI
CSCD
北大核心
1994年第2期14-21,共8页
本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．
关键词
知识库
并发控制
专家系统
在线阅读
下载PDF
职称材料
一种新型的矿井通风智能监测系统
2
作者
刘炳云
卢大伟
《煤矿自动化》
1999年第1期26-28,共3页
介绍了一种新型的矿井智能监测系统的结构、组成、工作原理及性能指标，并对仪器的测频精度进行了分析。该智能监测仪通过对井下风压、风速、温度等参数的监测，找出煤矿通风系统存在的隐患。这对提高煤矿安全生产具有重要的现实意义。
关键词
矿井
通风
检测
单片机
智能监测系统
在线阅读
下载PDF
职称材料
Petri网的叠加运算
被引量：
1
3
作者
蒋昌俊
《计算机学报》
EI
CSCD
北大核心
1994年第A00期82-87,共6页
本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件．本文的结果是文献（１）的进一步发展，在某些方面比文献（１）的结果要好．
关键词
PETRI网
叠加运算
计算机网络
在线阅读
下载PDF
职称材料
约束并发机制下Petri网模型的逻辑行为考察与随机性能评估
4
作者
蒋昌俊
疏松桂
郑应平
《自动化学报》
EI
CSCD
北大核心
1996年第4期410-417,共8页
提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．
关键词
约束并发机制
PETRI网模型
随机品质
逻辑行为
在线阅读
下载PDF
职称材料
动态数据库中的并发控制方法
5
作者
曲云尧
《小型微型计算机系统》
CSCD
北大核心
1993年第4期39-44,共6页
本文给出了动态数据库中的一种并发控制方法。作者以SQL语言为背景,给出了面向操作条件的事务定义;设计了基于二段锁(2PL)的并发控制方法:Condi-tion-Locking-Rule,此方法可以有效地解决动态数据库中的幽灵(Phantom)问题,从而使并发控...
本文给出了动态数据库中的一种并发控制方法。作者以SQL语言为背景,给出了面向操作条件的事务定义;设计了基于二段锁(2PL)的并发控制方法:Condi-tion-Locking-Rule,此方法可以有效地解决动态数据库中的幽灵(Phantom)问题,从而使并发控制机制进一步实用化。
展开更多
关键词
并发控制
数据库
动态数据库
在线阅读
下载PDF
职称材料
题名
知识库系统中的一种并发控制方法
被引量：
3
1
作者
曲云尧
施伯乐
机构
山东矿业学院计算机系
出处
《软件学报》
EI
CSCD
北大核心
1994年第2期14-21,共8页
文摘
本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．
关键词
知识库
并发控制
专家系统
Keywords
Knowledgebased,concurrency control,2PL.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
一种新型的矿井通风智能监测系统
2
作者
刘炳云
卢大伟
机构
山东矿业学院计算机系
出处
《煤矿自动化》
1999年第1期26-28,共3页
文摘
介绍了一种新型的矿井智能监测系统的结构、组成、工作原理及性能指标，并对仪器的测频精度进行了分析。该智能监测仪通过对井下风压、风速、温度等参数的监测，找出煤矿通风系统存在的隐患。这对提高煤矿安全生产具有重要的现实意义。
关键词
矿井
通风
检测
单片机
智能监测系统
Keywords
mines
ventilation
detection
single chip microcomputer
分类号
TD723 [矿业工程—矿井通风与安全]
在线阅读
下载PDF
职称材料
题名
Petri网的叠加运算
被引量：
1
3
作者
蒋昌俊
机构
山东
矿业
学院
计算机
科学
系
出处
《计算机学报》
EI
CSCD
北大核心
1994年第A00期82-87,共6页
基金
国家自然科学基金
文摘
本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件．本文的结果是文献（１）的进一步发展，在某些方面比文献（１）的结果要好．
关键词
PETRI网
叠加运算
计算机网络
Keywords
Petri net, iterative addition, cycle type net, star type net
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
约束并发机制下Petri网模型的逻辑行为考察与随机性能评估
4
作者
蒋昌俊
疏松桂
郑应平
机构
山东矿业学院计算机系
出处
《自动化学报》
EI
CSCD
北大核心
1996年第4期410-417,共8页
基金
国家自然科学基金
文摘
提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．
关键词
约束并发机制
PETRI网模型
随机品质
逻辑行为
Keywords
Restrictive concurrent machine, Petri net model, logical properties,stochastic performances, analysis, estimation, schedule.
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
动态数据库中的并发控制方法
5
作者
曲云尧
机构
山东矿业学院计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
1993年第4期39-44,共6页
文摘
本文给出了动态数据库中的一种并发控制方法。作者以SQL语言为背景,给出了面向操作条件的事务定义;设计了基于二段锁(2PL)的并发控制方法:Condi-tion-Locking-Rule,此方法可以有效地解决动态数据库中的幽灵(Phantom)问题,从而使并发控制机制进一步实用化。
关键词
并发控制
数据库
动态数据库
Keywords
Concurrency control Database
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
知识库系统中的一种并发控制方法
曲云尧
施伯乐
《软件学报》
EI
CSCD
北大核心
1994
3
在线阅读
下载PDF
职称材料
2
一种新型的矿井通风智能监测系统
刘炳云
卢大伟
《煤矿自动化》
1999
0
在线阅读
下载PDF
职称材料
3
Petri网的叠加运算
蒋昌俊
《计算机学报》
EI
CSCD
北大核心
1994
1
在线阅读
下载PDF
职称材料
4
约束并发机制下Petri网模型的逻辑行为考察与随机性能评估
蒋昌俊
疏松桂
郑应平
《自动化学报》
EI
CSCD
北大核心
1996
0
在线阅读
下载PDF
职称材料
5
动态数据库中的并发控制方法
曲云尧
《小型微型计算机系统》
CSCD
北大核心
1993
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
