首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   37篇
  完全免费   24篇
  自动化技术   61篇
  2008年   2篇
  2006年   1篇
  2005年   2篇
  2004年   3篇
  2003年   4篇
  2002年   1篇
  2001年   4篇
  2000年   2篇
  1999年   4篇
  1998年   3篇
  1997年   7篇
  1996年   5篇
  1995年   6篇
  1994年   4篇
  1993年   3篇
  1992年   8篇
  1990年   2篇
排序方式: 共有61条查询结果,搜索用时 31 毫秒
1.
移动代理系统的安全机制   总被引:13,自引:3,他引:10  
朱向华  万燕  孙永强 《计算机工程》2001,27(1):137-138,146
分析了威胁移动代理系统安全的若干问题,研究并讨论了系统模型中不同组成部分交互时的安全机制。  相似文献
2.
用Spi演算描述和验证密码学安全协议   总被引:3,自引:0,他引:3  
讨论了针对共享密钥安全协议的Spi演算,而且对安全协议的Spi演算描述和验证进行了深入的探讨。  相似文献
3.
基于EJB的业务规则引擎的设计和实现   总被引:3,自引:3,他引:0  
业务规则引擎技术提高了企业应用系统性能。首先介绍了EJB,然后从设计和实现两个方面讨论了一种基于EJB的业务规则引擎技术。  相似文献
4.
一个安全的移动代理系统的双向认证机制   总被引:3,自引:0,他引:3  
移动代理能够自主地在异构的网络同迁移。在代理迁移到下一个服务器之前,需要解决代理迁徙过程中的安全性问题,即如何进行代理与服务器之间的双向认证。本文提出的非对称双向鉴证协议能够较好地解决该安全问题。  相似文献
5.
关于移动代理的通信模型的研究   总被引:3,自引:0,他引:3  
唐进  万燕  孙永强 《计算机工程》2000,26(12):132-133,175
讨论了移动代理中通信技术的基本概念及相关问题。在此基础上引入了一个移动代理系统的基本原型,并对该原型进行了改进。在改进过的移动代理系统上,设计了相应通信模型,提出了相应算法。  相似文献
6.
DODM:演绎型对象数据模型   总被引:2,自引:0,他引:2  
演绎型对象数据库是演绎数据库和对象数据库结合的产物,它集成了演绎数据库的查询推理能力和对象数据库的强大建模能力。文中在已有的研究基础上较系统地研究演绎环境下对象数据模型,提出将类作为对象逻辑标识的集体和构造子;关系和集合为一类类构造子,体现了实体关系数据模型的思想;将型作为性质的集体,显式地区分类和型。引入型间偏相似关系来刻画继承语义,使得单继承、多继承和单调继承、非单调继承统一于型间偏相似关系,  相似文献
7.
基于重写方法的程序开发系统的设计和实现   总被引:2,自引:0,他引:2  
林凯  孙永强 《计算机学报》1996,19(9):641-648
本文介绍了一个基于重写方法的程序开发系统的设计和实现。该系统使用代数规范说明语言和扩展的函数式语言合成而形成的混合语言进行程序设计。系统将代数规范转换为合流的重写系统,并以平行最外方法辅以必要归约进行计算。该文详细介绍了系统的原理和实现技术,并以一些实例说明了系统的特点。  相似文献
8.
一个安全的移动代理系统的访问控制策略   总被引:2,自引:0,他引:2  
在移动代理系统的安全策略中,防止恶意移动代理攻击主机的有效手段是采取访问控制机制,限制移动代理对本地资源的访问。提出了一个简单安全的访问控制机制,可以有效地控制移动代理在本地主机的更新及创建权限。  相似文献
9.
一种并行查询优化策略   总被引:2,自引:0,他引:2  
叙述了在扩展BSP计算机上实现的shared_nothing并行对象关系数据库(PORDB)的两阶段查询优化。它分为顺序优化阶段和并行化两个阶段。顺序优化阶段在预测并行通信代价的基础上,采用基于代价的顺序查询优化。并行化阶段为缩减探索空间,先按照并行模式划分并行单元,再以并行单元为单位分配处理机。BSP模型可简化并行模式的实现和并行单元的划分。  相似文献
10.
项重写的图实现   总被引:2,自引:0,他引:2  
图重写能够有效地实现项重写。文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性:在无环出现的情况下,图重写对一切项重写下正确;在无环出现的条件下,图重写对左线性合流的项重写是完备的。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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