全文获取类型
收费全文 | 84篇 |
免费 | 13篇 |
国内免费 | 23篇 |
专业分类
综合类 | 15篇 |
矿业工程 | 1篇 |
无线电 | 14篇 |
一般工业技术 | 6篇 |
自动化技术 | 84篇 |
出版年
2019年 | 1篇 |
2018年 | 1篇 |
2014年 | 1篇 |
2010年 | 3篇 |
2009年 | 2篇 |
2008年 | 9篇 |
2007年 | 14篇 |
2006年 | 9篇 |
2005年 | 6篇 |
2004年 | 10篇 |
2003年 | 5篇 |
2002年 | 7篇 |
2001年 | 5篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1998年 | 6篇 |
1997年 | 8篇 |
1996年 | 3篇 |
1995年 | 5篇 |
1994年 | 5篇 |
1993年 | 4篇 |
1992年 | 5篇 |
1991年 | 2篇 |
1990年 | 5篇 |
1989年 | 2篇 |
排序方式: 共有120条查询结果,搜索用时 15 毫秒
1.
2.
功能确定的离散并发系统的Petri网规范设计方法 总被引:7,自引:0,他引:7
本文提出概念模型的概念,作为实际问题到Petri网模型的桥梁,也就是系统的规格说明,概念模型包括功能图,资源图和约束集三部分,由此将系统设计中的功能与环境严格区分开,给出实际问题到概念模型,以及概念模型到Petri网模型的转换算法,从而构成一个面向功能的系统的Petri网规范设计方法,通过一制造系统的建模,说明了该方法的规范性和有效性。 相似文献
3.
基于Petri网的煤矿安全系统分析 总被引:2,自引:0,他引:2
用Petri网模拟和分析煤矿事故,针对无重复底事件系统,给出定性的分析方法,提出有重复底事件系统的Petri网形式化建模方法和基于并发机制的分析方法,包括定性,定量两个方面。通过实际问题的分析,体现了该方法的应用广泛性和有效性。 相似文献
4.
Petri网化简规则在系统中的实现 总被引:1,自引:0,他引:1
Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。 相似文献
5.
6.
7.
基于模糊Petri网的服务发现框架研究 总被引:1,自引:0,他引:1
现有的主流服务发现方法不支持模糊逻辑推理,无法处理软计算语义,从而缺乏灵活性.为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异,提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架.为支持这一框架。设计了一种模糊Petri网服务描述语言,其主要特点是变迁表示一个服务或者请求;变迁的输入库所表示服务执行前应满足的条件,变迁的输出库所表示只有在所需争件满足的情况下服务才能成功执行.变迁相关的CF值(certainty factor value)表示服务消费者对Agent所提供服务的置信度.其次,提出了支持软计算语义的松弛匹配机制,并且给出了模糊松弛匹配算法;借助于本体库(类库),通过计算命题的真实度,在不精确模糊信息情况下,可以实现服务和请求的模糊松弛匹配. 相似文献
8.
9.
蒋昌俊 《山东矿业学院学报》1995,14(1):94-100
本文提出Petri网的两种新的广义笛积运算,讨论了它们的代数性质,这些结果可以作为受控Petri网的分析或合成的依据。 相似文献
10.
求有效极小(受控)可重复向量的一个算法 总被引:9,自引:3,他引:9
文献[1]基于有效(受控)可重复向量,给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,然而,求取一个标准Petri网的有效(受控)可重复向量是着定网语言属型的前提条件,文献[1]没有给出求取它们的方法,本文提出一个算法,使得文献[1]判据可实现,此外,作为副产品,同时产生出网的所有极小T-不变量以及公平性判定的实现。 相似文献