首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   114篇
  国内免费   7篇
  完全免费   50篇
  自动化技术   171篇
  2018年   2篇
  2017年   4篇
  2016年   5篇
  2015年   9篇
  2014年   8篇
  2013年   17篇
  2012年   23篇
  2011年   15篇
  2010年   18篇
  2009年   14篇
  2008年   11篇
  2007年   13篇
  2006年   9篇
  2005年   5篇
  2004年   3篇
  2003年   2篇
  2002年   2篇
  2001年   1篇
  2000年   2篇
  1998年   1篇
  1997年   6篇
  1996年   1篇
排序方式: 共有171条查询结果,搜索用时 140 毫秒
1.
SET协议中问题的分析及解决方案   总被引:12,自引:0,他引:12  
文中对SET协议中的“k out of n”问题进行了全面的分析,并提出了完整的解决方案,在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolgo程序流程,全文着重于在SET协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。  相似文献
2.
一种面向动态软件体系结构的在线演化方法   总被引:11,自引:0,他引:11       下载免费PDF全文
余萍  马晓星  吕建  陶先平 《软件学报》2006,17(6):1360-1371
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.  相似文献
3.
自动识别技术在质量追溯中的应用   总被引:11,自引:0,他引:11  
质量追溯是提高产品质量和客户满意度的重要环节,制造业在质量追溯工作中普遍遇到了数据采集量大、差错率高和采集操作影响生产效率等一系列问题。为了解决这些问题,该文介绍了自动识别技术的一些特点,以及如何在质量追溯工作中应用该技术来加快数据采集的速度、降低差错率和提高生产效率,最终提高整个质量追溯管理的水平。此外,该文还介绍了一个实际投入使用的质量追溯管理系统的具体构成、主要流程和应用中的需要注意的一些问题及经验。  相似文献
4.
基于RFID技术的肉牛养殖质量安全可追溯系统研究   总被引:8,自引:0,他引:8  
消费者和国际贸易对食品质量的要求日益提高,而运用监控、预警、追踪、追溯等技术在食品生产的关键环节上进行的质量监控是有效保障食品质量安全的重要手段。研究采用B/S(浏览器/服务器)模式结构体系,基于RFID技术构建了肉牛养殖可追溯系统。系统通过应用RFID技术,实现了对每头肉牛的养殖信息的自动采集,并针对每头肉牛形成可在Internet网络上进行查询的质量追溯档案。解决了牛肉在肉牛养殖环节(牛肉生产源头)上进行以肉牛个体为单位实施质量监控和实现可追溯的问题。  相似文献
5.
电子商务安全协议的逻辑验证   总被引:6,自引:0,他引:6       下载免费PDF全文
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.  相似文献
6.
基于UML的需求分析过程研究   总被引:4,自引:0,他引:4  
郑明辉 《微机发展》2004,14(5):120-123
为提高软件生产过程的质量,文章提出了一种基于UML的概念建模方法。概念建模的目的是用一种规约详细描述系统的功能,主要工作是寻找系统必需的类。该方法利用熟知的UML的标准符号和技术.介绍了以时序图作为分析工具,将高层次的软件需求分解成更详细规约的需求分析过程(RAP),并讨论了确认、验证和可跟踪性问题。  相似文献
7.
以体系结构为中心的构件模型的形式化语义   总被引:4,自引:0,他引:4       下载免费PDF全文
楚旺  钱德沛 《软件学报》2006,17(6):1287-1297
目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.  相似文献
8.
基于Web的亚热带水果产品质量安全追溯系统关键技术研究   总被引:4,自引:0,他引:4  
徐龙琴 《计算机工程与设计》2011,32(4):1174-1177,1189
为了实现对亚热带水果"从果园到餐桌"全方位的跟踪和追溯,分析了水果产品生产流程并确定了影响其质量的关键点,以产品生产批次作为"身份标识",采用UCC/EAN-128编码方式结合流程编码、RFID和二维码等编码技术进行了追溯编码,并采用任务与角色相结合的权限分配策略,构建了一个多层次多用户权限动态管理的亚热带水果生产加工全过程的质量跟踪与追溯系统,为生产者、质检部门和消费者提供一个集产品生产加工诸环节的信息交流平台,并以网络、语音、短信、触摸屏向公众提供追溯查询和防伪服务,具有应用推广价值。  相似文献
9.
应用RFID技术和无线通信的实时物流追踪系统   总被引:3,自引:0,他引:3  
张昊  陈宇 《测控技术》2005,24(12):68-70
介绍了一种面向大型制造企业物料和在制品追踪的系统设计与实现方法,即采用RFID技术与无线通信技术为主的实时物流追踪系统.对相关的硬件设备作了说明,同时阐述了这种方法的优点.  相似文献
10.
标准模型下的高效短群签名   总被引:3,自引:1,他引:2  
基于SDH假设下BB签名方案,构造了一个两层签名方案,通过应用合理的假设和非交互知识证明系统,提出了一种标准模型下完全匿名的动态短群签名方案,并证明了该方案满足BSZ模型的安全需求.与最近的其他方案相比,该方案具有较高的运行效率和较短的签名长度,且允许新成员的动态加入,群管理员不能伪造成员的签名.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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