首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   213篇
  免费   15篇
  国内免费   10篇
综合类   81篇
机械仪表   19篇
无线电   16篇
一般工业技术   1篇
自动化技术   121篇
  2024年   1篇
  2022年   7篇
  2021年   5篇
  2020年   4篇
  2019年   9篇
  2018年   5篇
  2017年   5篇
  2016年   4篇
  2015年   9篇
  2014年   5篇
  2013年   5篇
  2012年   5篇
  2011年   11篇
  2010年   9篇
  2009年   14篇
  2008年   13篇
  2007年   16篇
  2006年   18篇
  2005年   19篇
  2004年   5篇
  2003年   3篇
  2002年   6篇
  2001年   6篇
  2000年   4篇
  1999年   8篇
  1998年   2篇
  1997年   3篇
  1996年   5篇
  1995年   1篇
  1994年   1篇
  1993年   1篇
  1992年   9篇
  1991年   2篇
  1990年   2篇
  1989年   12篇
  1988年   3篇
  1987年   1篇
排序方式: 共有238条查询结果,搜索用时 15 毫秒
1.
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...  相似文献   
2.
为了提高基于ALC的事例检索的效率,通过概念距离及LCS推理给出了索引节点密度大且带权重的事例库层次结构,实现了事例更细致的分类及统一概念距离的语义。根据该结构的组织方式、LCS概念及概念距离给出了事例筛选及相似性度量算法,证明了通过事例筛选得到的候选事例集明显减小,采用相似性度量算法能得到合理的候选事例序列,从而提高了基于ALC的事例检索的效率。  相似文献   
3.
Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。  相似文献   
4.
两层和三层Client/Server结构的分析   总被引:15,自引:0,他引:15  
介绍两层和三层客户/服务器结构,分析它们各自的优缺点,以及对重用的难易程度和开发阶段进行了比较,以便对给定的项目进行结构的适当选择。  相似文献   
5.
逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互.减少对调试过程不必要的调用能够提高软件开发的效率.程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一.给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用.然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用.  相似文献   
6.
公平非否认协议的有限状态分析   总被引:3,自引:0,他引:3  
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性.为此对该协议进行了改进。  相似文献   
7.
模糊柔性制造系统的混杂Petri网建模与调度   总被引:2,自引:0,他引:2  
对模糊柔性制造系统的建模和调度进行了研究.定义了一种具有模糊区间速率的混杂Petri网模型,提出了模型的迁移使能和迁移引发语义,定义了弱使能迁移的模糊使能规则,给出了模型动态演变算法.建立了模糊柔性制造系统调度的模糊线性规划模型,并对典型的工业实例进行了分析.研究结果表明,基于所定义的混杂Petri模型能够有效地描述和分析模糊柔性制造系统.  相似文献   
8.
和与积是一个著名的数迷问题.采用公告逻辑对该问题进行建模,将其Kripke模型符号化表示为多智能体有限状态程序,并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解.在时态逻辑模型检测器NuSMV基础上扩展实现了本文算法,然后在相同实验平台上用动态认知建模工具DEMO对该问题进行求解.实验表明,我们的算法不仅结果正确,而且在运行效率上与DEMO相比占有绝对优势.  相似文献   
9.
相似语义工作流检索是语义工作流重用的首要任务.现有的相似语义工作流检索方法仅关注结构特征,忽略了行为特征,影响了检索到的相似语义工作流的整体质量,提高了语义工作流重用的代价.为此,提出一种结合行为和结构特征的2阶段相似语义工作流检索算法.使用任务紧邻关系集表达语义工作流的执行行为,结合领域知识构造语义工作流库的任务紧邻关系树索引和数据索引.针对查询语义工作流,先基于任务紧邻关系树索引和数据索引进行过滤得到候选语义工作流集;然后使用图匹配相似性算法对候选语义工作流集进行验证,得到排序的候选语义工作流集.实验结果表明,较主流的语义工作流检索算法,该方法的检索性能有较大提升,可以为工作流重用提供更高质量的语义工作流.  相似文献   
10.
本文给出了一种利用泰勒级数估计双线性系统参数的方法。通过将输入输出进行泰勒级数展开,把原微分方程模型转化成一个代数方程,进而利用最小二乘原理得到参数的估值。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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