首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   374篇
  国内免费   4篇
  完全免费   98篇
  自动化技术   476篇
  2018年   5篇
  2017年   4篇
  2016年   3篇
  2015年   16篇
  2014年   26篇
  2013年   18篇
  2012年   20篇
  2011年   54篇
  2010年   28篇
  2009年   28篇
  2008年   41篇
  2007年   30篇
  2006年   32篇
  2005年   22篇
  2004年   32篇
  2003年   13篇
  2002年   20篇
  2001年   9篇
  2000年   10篇
  1999年   9篇
  1998年   14篇
  1997年   6篇
  1996年   5篇
  1995年   7篇
  1994年   5篇
  1993年   8篇
  1992年   2篇
  1990年   2篇
  1989年   3篇
  1988年   3篇
  1987年   1篇
排序方式: 共有476条查询结果,搜索用时 31 毫秒
1.
电子商务协议研究综述   总被引:28,自引:0,他引:28       下载免费PDF全文
周龙骧 《软件学报》2001,12(7):1015-1031
电子商务协议是电子商务实施的技术基础.对电子商务协议研究进行综述,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模)以及对若干著名电子商务协议的描述和分析.  相似文献
2.
事务工作流的建模和分析   总被引:19,自引:0,他引:19  
丁柯  金蓓弘  冯玉琳 《计算机学报》2003,26(10):1304-1311
事务工作流由若干个事务组成,其执行满足松弛原子性.只有良构的事务工作流才能保证所有执行均满足松弛原子性.事务具有不同的可补偿特性和可重复特性,在包含多种控制结构的复杂事务工作流中,事务之间组合失配问题可能造成事务工作流的非良构性.该文给出了事务工作流模型及良构性的形式化定义,提出了一个良构性判断定理,通过一种构造性的方法来有效地验证事务工作流的良构性,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器.  相似文献
3.
网格环境下的一种事务协调机制及其补偿技术   总被引:13,自引:0,他引:13  
事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一,用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力,基于Gtobus Toolkit和代理技术,提出了一种能够同时管理原子事务和聚合事务的事务协调机制,研究了相应的可以容错各种失败的协调算法,通过自动产生和执行补偿事务,聚合事务协调机制可以满足网格计算中对长事务的处理要求。  相似文献
4.
基于工作流对象的网络办公软件设计   总被引:13,自引:4,他引:9  
通过对政府、企业日常办公的深入研究,确立了工作流的概念,进而提出了基于工作流的网络办公软件设计方法。工作流法较好地实现了软件的原子性和自组织性。以工作流法设计的系统具有很强的生命力和良好的动态性。  相似文献
5.
一个安全、原子的电子商务协议及其形式化验证   总被引:11,自引:0,他引:11  
电子商务的普及与接受主要取决于下述属性的解决:安全、原子、隐私与匿名,形式化描述和分析是描述电子商务协议并验证它各性的有效方法,面向物理商品交易的电子商务协议需要具备3个属性:安全、原子和隐私,介绍了一个安全、可靠的电子商务协议BEARCAT及其形式化描述,并龙有人侵者的情况下,通过用BAN类型的逻辑证明所期望的属性的方式对协议的强度和正确性作形式化分析。  相似文献
6.
三维交互网络虚拟原子吸收实验室的构建   总被引:9,自引:7,他引:2  
基于VRML和JAVA技术的结合构建了网络三维交互原子吸收虚拟实验室。利用VRML技术构建虚拟仪器部分,实现了可控制的非线性的场景与视角变换、仪器的仿真操作等多种功能,以此取代实际环境中的各种硬件。利用JAVA技术构建工作站部分,实现了对虚拟仪器中各种部件的控制及参数设定功能,完整实现了虚拟硬件与工作软件之间的数据传送等功能。据此建立的原子吸收网络虚拟实验室可在网络上顺利运行。  相似文献
7.
SET协议系统缺陷及其改进方案   总被引:8,自引:0,他引:8  
甘元驹 《计算机工程与应用》2003,39(20):137-138,160
电子商务的流行与接受主要取决于下述属性:安全、原子、匿名和不可否认性。文章对现在流行的安全电子交易SET标准进行分析,指出SET协议存在不满足数字商品交易的原子性以及确认发送原子性等缺陷。并在原有SET基础上对其协议流程进行改进,使其不仅具有交易原子性,而且还使用交易双方具有不可否认性以及公平交易等特点。  相似文献
8.
Netbill协议原子性的符号模型检验分析   总被引:7,自引:1,他引:6  
电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题,采取一定的方法对协议进行分析检验是协议开发过程中一个必要环节。论文在对Nelbill协议及其原子性进行形式化描述的基础上,基于符号模型检验器(SMV)从钱原子性和商品原子性两个角度对Netbill协议进行了分析和检验,从而表明了用SMV对电子商务协议分析和验证的可行性。  相似文献
9.
扩展型关联规则和原关联规则及其若干性质   总被引:7,自引:1,他引:6  
已有的关联规则模型所反映的基本上是频繁事件中所隐藏的一种积极或肯定关系,而没有反应其隐含的否定关系,在实际应用中,这种否定关系与肯定关系一样也是很重要的,在此论述的扩展型关联规则模型就能反映上述两种关系,据此可以得到更多的规则知识,此外,由于Aproiri关联规则生成方法产生的关联规则具有较大的冗余性,论述的原关联规则可以消除关联规则的这种冗余特性,挖掘原关联规则既能大大减少关联规则的数,目,又能节省规则生成时间,把扩展型关联规则和原关联规则相结合,可使得对扩展关联规则的挖掘更加有效,实验结果也支持了上述结论。  相似文献
10.
从面向对象模型到关系模型   总被引:7,自引:2,他引:5  
文章首先概述了面向对象模型设计的方法,然后着重讨论了将面向对象模型的转换为关系模型及关系模型优化的问题,最后给出一个应用实例。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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