全文获取类型
收费全文 | 801篇 |
免费 | 23篇 |
国内免费 | 66篇 |
专业分类
系统科学 | 322篇 |
丛书文集 | 23篇 |
现状及发展 | 1篇 |
综合类 | 544篇 |
出版年
2023年 | 4篇 |
2022年 | 7篇 |
2021年 | 2篇 |
2020年 | 6篇 |
2019年 | 1篇 |
2018年 | 4篇 |
2017年 | 3篇 |
2016年 | 7篇 |
2015年 | 9篇 |
2014年 | 26篇 |
2013年 | 21篇 |
2012年 | 34篇 |
2011年 | 47篇 |
2010年 | 37篇 |
2009年 | 43篇 |
2008年 | 44篇 |
2007年 | 114篇 |
2006年 | 69篇 |
2005年 | 61篇 |
2004年 | 61篇 |
2003年 | 48篇 |
2002年 | 40篇 |
2001年 | 39篇 |
2000年 | 31篇 |
1999年 | 28篇 |
1998年 | 29篇 |
1997年 | 24篇 |
1996年 | 16篇 |
1995年 | 6篇 |
1994年 | 12篇 |
1993年 | 5篇 |
1992年 | 2篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 3篇 |
1988年 | 3篇 |
排序方式: 共有890条查询结果,搜索用时 15 毫秒
51.
52.
53.
事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理. 相似文献
54.
ZHOU Conghua CHEN Zhenyu 《武汉大学学报:自然科学英文版》2006,11(5):1297-1301
The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic (CTL) allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic * (CTL * ) can be used to character the relaxed soundness of the workflow. 相似文献
55.
基于模糊Petri网的供应链牛鞭效应的成因与控制建模分析 总被引:7,自引:0,他引:7
从信息流角度,建立了基于模糊Petri网的牛鞭效应成因与控制模型,给出了相应的模糊推理算法,通过仿真分析,验证了一些重要结果。该模型描述了供应链中信息对决策的影响及供应链成员同步运作的现象,将供应链中牛鞭效应成因与控制可视化,为牛鞭效应问题的进一步研究提供一个新的思路。 相似文献
56.
针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件;对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。 相似文献
57.
58.
模糊Petri网是知识表达与并行推理的重要工具,但拓扑为非严格分层的结构。为在不增加虚节点的情况下实现模糊Petri网的反向传播学习,提出模糊Petri网元模型的概念,统一四种基本产生式规则对应的模糊Petri网模型。并建立元模型的结论置信度关于条件置信度的连续映射,给出了正向推理算法。为提高收敛速率,先通过基于回溯策略的反向推理算法,计算元模型结论置信度对条件置信度的梯度函数,最后采用Levenberg-Marquardt算法实现权值优化。 相似文献
59.
根据多年的工作经历,作者对Petri网学习和应用中的一些问题进行了探讨,并简要介绍了Petri网教材。 相似文献
60.
基于ExSpect的排队系统建模与仿真 总被引:1,自引:2,他引:1
随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具。介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。 相似文献