首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   559篇
  国内免费   15篇
  完全免费   93篇
  自动化技术   667篇
  2021年   1篇
  2020年   2篇
  2019年   1篇
  2018年   1篇
  2017年   3篇
  2016年   11篇
  2015年   5篇
  2014年   23篇
  2013年   17篇
  2012年   22篇
  2011年   19篇
  2010年   26篇
  2009年   25篇
  2008年   91篇
  2007年   154篇
  2006年   52篇
  2005年   56篇
  2004年   26篇
  2003年   28篇
  2002年   31篇
  2001年   14篇
  2000年   14篇
  1999年   7篇
  1998年   8篇
  1997年   11篇
  1996年   3篇
  1995年   4篇
  1993年   4篇
  1992年   1篇
  1991年   3篇
  1990年   3篇
  1989年   1篇
排序方式: 共有667条查询结果,搜索用时 187 毫秒
1.
有界Petri网的活性和公平性的分析与实现   总被引:49,自引:6,他引:43  
吴哲辉 《计算机学报》1989,12(4):267-278
Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。  相似文献
2.
S-组合Petri网的活性分析与实现   总被引:19,自引:1,他引:18  
设Σ1=(N1,M1),Σ2=(N2,M2)是两个Petri网,且不含有冻结标志,Ni=(Si,Ti;Fi),i=1,2,T1∩T2=Φ,S1∩S2≠Φ,本文定义了Σ1,Σ2的S-组合Petri网Σs,通过引入Petri网互逆位置序偶的概念,深入研究了Σs的活性,给出了Σs有界活的几个判定条件。若Σ1,Σ2是两个活的Petri网,最后提出了一种实现S-组合Petri网活性的控制装置。  相似文献
3.
基于神经网络的污水处理软测量系统的研究   总被引:13,自引:1,他引:12  
针对污水处理质量指标无法在线检测的问题,提出了基于人工神经网络的软测量方法。构造了污水处理质量软测量的神经网络结构,运用实际工业污水处理过程测量数据对BP神经网络进行了训练和仿真。结果表明,实能准确地进行污水处理质量的实时估计,实现污水处理质量的实时控制。  相似文献
4.
采用计算机视觉进行孵化鸡蛋成活可能性的自动检测   总被引:11,自引:0,他引:11  
本研究将计算机视觉技术与遗传神经网络相结合,建立一套适合于孵化鸡蛋可成活性自动检测的计算机视觉系统,通过计算机视觉技术获取了孵化鸡蛋的角度直方图,并提取了孵化鸡蛋表面颜色特征,采用遗传算法优化了多层前馈神经网络的拓扑结构与权值,提高了神经网络的学习质量和学习速度,实现了孵化鸡蛋可成活性的自动检测,实验结果表明,该方法准确率较高,并具有鲁棒性和高速度。  相似文献
5.
论非对称选择网的活性与安全性   总被引:11,自引:3,他引:8       下载免费PDF全文
甄强  陆维明 《软件学报》2000,11(5):590-605
活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化I型与强化II型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.  相似文献
6.
Petri网精细化操作及其在系统设计中的应用   总被引:11,自引:0,他引:11       下载免费PDF全文
针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.  相似文献
7.
同步合成Petri网系统活性与无死锁性的保持性   总被引:10,自引:0,他引:10       下载免费PDF全文
蒲飞  陆维明 《软件学报》2003,14(12):1977-1988
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.  相似文献
8.
TIBO类衍生物抗HIV-1活性与电子结构关系的研究   总被引:10,自引:6,他引:4  
应用分子力学MM+方法,半经验量子化学MNDO计算了19个TIBO HIV-1逆转录酶抑制剂的优势构象和电子结构,得到了其抗HIV-1活性与电子结构的定量构效关系。结果表明:(1)TIBO类衍生物的体积越大、极性越小,即疏水性越大对抑制HIV-1活性越有利;(2)化合物中存在较大的正电区域,当C2原子连接吸电性基团时对药物的活性有利。  相似文献
9.
Visual C++和Fortran的混合编程—CASAC软件Windows版的研制   总被引:9,自引:2,他引:7  
计算机辅助筛选生物活性化合物软件(Computer-Aided Screening bioActive Compounds,简称CASAC)是在本实验室开发的用于研究分子 结构和生物活性关系的软件。它最早是在DOS系统下开发的,目前研制这个软件的Windows版本。所用到的两个编程工具是Fortran PowerStation和Visual C 。通过Fortran和C 的混合编程,本文讲述如何用Fortran PowerStation生成动态连接库,Visual C 如何调用所生成的动态连接库及如何调试。  相似文献
10.
基于XML的海洋天然产物数据库   总被引:9,自引:5,他引:4  
海洋天然产物数据库(NMPD)中含有约8000种海洋天然产物的分子结构及其生物来源、生物活性、药效、物理化学参数和参考文献等信息,部分分子结构信息用CML表示。MNPD基于XML构建,MNPD和XML的集成更有利于MNPD数据库的管理、查询、Web发布和数据交换,以及适应MNPD未来的扩展。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号