首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   153篇
  免费   17篇
  国内免费   13篇
综合类   4篇
机械仪表   1篇
建筑科学   1篇
水利工程   1篇
无线电   10篇
一般工业技术   2篇
冶金工业   1篇
自动化技术   163篇
  2023年   1篇
  2019年   1篇
  2018年   1篇
  2014年   7篇
  2013年   2篇
  2012年   3篇
  2011年   4篇
  2010年   9篇
  2009年   16篇
  2008年   10篇
  2007年   10篇
  2006年   22篇
  2005年   15篇
  2004年   15篇
  2003年   12篇
  2002年   12篇
  2001年   4篇
  2000年   3篇
  1999年   3篇
  1998年   8篇
  1997年   5篇
  1996年   5篇
  1995年   5篇
  1994年   6篇
  1993年   2篇
  1991年   1篇
  1983年   1篇
排序方式: 共有183条查询结果,搜索用时 125 毫秒
1.
分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。  相似文献   
2.
根据教育领域中资源访问的聚集性等特征,以教育资源云存储系统架构为基础,设计了副本热度表征副本访问聚集性程度,实现了基于时空特征的副本相关数值计算;同时运用服务集概念和Hadoop分布式文件系统(HDFS)的存储机制提出了三方面的副本管理策略;最后在已开发的教育云存储系统ERS-cloud上进行了一系列实验,结果表明该策略能有效提升教育云存储系统应用效率.  相似文献   
3.
本文首先介绍了动态数据交换(DDE)的原理,然后讨论了如何通过DDE实现AS/400与PC的连接及其在VB下的具体实现方法  相似文献   
4.
本文介绍两种NT平台上访问Web后端数据库的方法,详细阐述了其工作原理,并简单说明其使用方法  相似文献   
5.
企业信息比理的传统方式面临挑战 随着计算机在企业中应用的普及和深入,企业信息处理系统已从单一应用发展到综合应用,从简单处理深入到复杂处理,从企业内部发展到企业外部;企业信息处理所包括的内容从文字处理、统计报表到数据分析和预测,从主要业务流程的管理和控制到企业内部及外部的信息交流和访问;从事务处理系统、管理信息系统到辅助决策系统,企业信息处理的模式已由集中式、分散式发展到分布式处理模式。企业中关键性的应用任务正从大型主机或中型系统转移到支持客户机/服务器处理模式的分布式网络系统上。  相似文献   
6.
一类针对Navier-Stokes方程的链状区域分裂法武云海(中山大学计算机系)AKINDOFLINKDOMAINDECOMPOSITIONMETHODFORNAVIER-STOKESEQUATIONS¥WuYun-hai(DepartmentofC...  相似文献   
7.
规则度量值序列的信息扩散估计研究   总被引:1,自引:0,他引:1  
潘定  赵晶 《计算机工程》2006,32(17):80-82,1
对若干连续期间的数据挖掘将形成规则的度量值序列。对度量值序列的参数估计,可获得度量值的基本特征参数,用作评价规则的兴趣度,掌握规则的演化规律。基于信息扩散原理,提出了适用于小样本的度量值扩散估计方法。以度量值序列作为非完备知识样本,讨论在波动和上升(下降)趋势下的序列参数计算。实验表明,该方法准确简便、抗干扰性好。  相似文献   
8.
实例化空间:一种新的安全协议验证逻辑的语义模型   总被引:1,自引:0,他引:1  
给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(cryptographical message exchange)模型上的.在此语义模型基础上,文章提出了一系列与安全属性相关的验证公理,由此可以证明它们在此语义模型下的正确性.更重要的是,在此语义下的公理集在算法上是完全可以实现的,其对应的工具SPV(Security Protocol Verifier)已经开发成功,并且可以验证复杂的协议.在这套安全协议验证模型理论下,可以很方便地处理包括公钥、私钥、共享密钥和Hash函数组成的复杂信息格式.而且,在此语义基础上的公理集是纯命题逻辑的,因此所需要的验证目标可以很方便地转化成可满足性问题(SAT),从而可以利用工业上快速高效的SAT求解器实现.  相似文献   
9.
Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。  相似文献   
10.
离线匿名电子现金系统的设计与实现   总被引:1,自引:0,他引:1  
本文利用Java Applet和Java Network Launch Protocol等技术设计和实现了一个基于RSA盲数字签名的离线匿名的电子现金系统。系统采用B/S和C/S相结合的架构,可以方便进行Web在线支付和点对点支付。系统通过数字证书提供对用户和银行的强身份认证,用户在银行网站进行存取款和在商家网站进行支付,通过SSL协议来保证通信数据的安全,同时用户数据以加密的方式保存在本地磁盘,并可方便地移植到智能卡设备。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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