•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3421-3440项 搜索用时 139 毫秒
[首页] « 上一页 [167] [168] [169] [170] [171] 172 [173] [174] [175] [176] [177] 下一页 » 末  页»
3421.
下载全文  总被引:15,自引:0,他引:15
面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechar… …   相似文献
李留英  王戟  齐治昌 《软件学报》2001,12(12):1864-1873
3422.
下载全文  总被引:15,自引:2,他引:15
过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,… …   相似文献
周建涛  史美林  叶新铭 《软件学报》2005,16(7):1242-1251
3423.
  总被引:15,自引:0,他引:15
传统的原子事务是由一个平坦数据库操作序列组成的,事 务的执行具有ACID(Atomicity, Consistency, Isolation, Durability)特性.然而,在实时 应用环境下,这些却不太适用.该文提出了一种支持实时应用的嵌套事务模型,给出了嵌套事 务的特性及… …   相似文献
刘云生  李国徽 《软件学报》1999,10(5):552-556
3424.
下载全文  总被引:15,自引:0,他引:15
在文本聚类/分类处理中,一个重要步骤就是寻找文本的合理表示.在被广泛采用的向量空间模型中,一个文本被表示成一个向量,向量的各维是特征项,而向量空间模型的核心问题就是如何进行特征的抽取和选择.在特征的权重计算中,存在一种对偶性现象.利用迭代的方法来处理和利用这种对偶性,获得了文本的… …   相似文献
卜东波  白硕  李国杰 《软件学报》2002,13(11):2083-2089
3425.
下载全文  总被引:15,自引:0,他引:15
色彩管理已成为操作系统的一个重要组成部分,它为各种设备和平台提供一致的、高质量的色彩再生机制.当前,ICC标准已被很多软、硬件厂商所接受,并成为事实上的色彩管理工业标准.实现基于ICC标准的色彩管理系统虽然可采用不同的技术和方法,但是,这些技术和方法不能对所有应用提供一个完备的解… …   相似文献
徐丹  蒙耀生  石教英 《软件学报》1998,9(10):740-747
3426.
  总被引:15,自引:0,他引:15
首先介绍Web Services的技术体系和优越性,随后介绍并比较了异构数据库集成的两种策略,即多数据库策略和联邦式策略。在此基础上,根据具体的实际需求提出了一种多数据库与联邦式数据库联合应用的异构数据库集成方案,在方案中区域内采用多数据库,各区域间采用联邦式数据库,并采用Web… …   相似文献
3427.
下载全文  总被引:15,自引:0,他引:15
信任软件版权管理是数字版权体系中专门针对软件版权控制的一项重要研究内容.针对当前版权许可软件措施在安全性、有效性方面无法完全满足国际通用的最终用户许可协议(EULA)要求的问题,基于第三方可信中心提出了一种动态许可证支持的信任版权动态分布式安全认证协议.该协议将软件实体、软件运行… …   相似文献
3428.
下载全文  总被引:15,自引:0,他引:15
数据挖掘中的频繁项目集更新算法研究是重要的研究课题之一.目前已有的频繁项目集更新算法主要针对单机环境,有关分布式环境下的全局频繁项目集的更新算法的研究尚不多见.为此,提出了快速更新全局频繁项目集算法(fast updating algorithm for globally fre… …   相似文献
杨明  孙志挥  宋余庆 《软件学报》2004,15(8):1189-1197
3429.
下载全文  总被引:15,自引:0,他引:15
提出了一种能够精确描述入侵检测技术的综合分类方法,针对多管理域环境设计了一个分布式协同入侵检测系统(distributedcooperativeintrusiondetectionsystem,简称DCIDS),通过不同管理域IDS(intrusiondetectionsyste… …   相似文献
段海新  吴建平 《软件学报》2001,12(9):1375-1379
3430.
  总被引:15,自引:0,他引:15
本文基于对智能控制产生、发展的全面回顾及其与人工智能、自动控制、控制论等的相互关系的深刻反思、总结,站在系统科学、信息科学与控制论的高度,提出了对智能控制若干问题的新观点,阐述了从认识论到方法论的一些重要问题。  相似文献
3431.
  总被引:15,自引:0,他引:15
本文介绍了在Sybase数据库应用系统中存储过程的创建与使用方法;阐述了在应用系统中应用存储过程的基本策略;最后给出应用存储过程的实例。  相似文献
陆鑫 《计算机应用》1999,19(2):12-14
3432.
下载全文  总被引:15,自引:1,他引:15
提出一种预估计混叠度的PEMAP(pre-estimated MAP(maximum a posteriori)算法,用于卫星图像的地面超分辨率处理.它通过频域分析确定卫星图像的混叠度,将其作为先验信息在空域控制MAP估计的循环迭代,联合估计帧间位移和高分辨率图像.该算法克服了最… …   相似文献
孟庆武 《软件学报》2004,15(2):207-214
3433.
下载全文  总被引:15,自引:0,他引:15
常识和时间推理是人工智能研究的两个主要课题.Allen等人提出的时间推理缺少时间点、时区和时距的统一表示;过分考虑计算,缺少规则推理;求解算法难以应用于多Agent环境并且没有考虑常识不一致性.该文提出一种时间信息表示网络,分析了约束之间的推导规则,给出了常识时间问题的多Agen… …   相似文献
3434.
下载全文  总被引:15,自引:1,他引:15
如何通过直观、简单和有效的评价方法,辅助消费者完成网上交易中的信任决策,已成为该领域需要面对和解决的一个基本问题.在信任云的基础上,提出一种基于云模型的主观信任量化评价方法.使用主观信任云的期望和超熵对信任客体信用度进行定量评价,进而设计一种信任变化云刻画信任客体信用度的变化情况… …   相似文献
王守信  张莉  李鹤松 《软件学报》2010,21(6):1341-1352
3435.
下载全文  总被引:15,自引:1,他引:14
结合模糊逻辑系统、自适应控制和H∞控制,对一类非线性多变量未知系统提出了新的控制策略,给出了控制算法的稳定性分析.仿真结果证明了所提控制算法的有效性.  相似文献
3436.
下载全文  总被引:15,自引:1,他引:14
非线性系统的PD型迭代学习控制孙明轩黄宝健张学智(西安工业学院电子系西安710032)关键词初始条件问题,迭代学习控制,非线性系统.1)国家自然科学基金资助项目.收稿日期1996-07-251引言运用迭代学习控制技术设计控制器时,只需要通过重复操作获...  相似文献
3437.
下载全文  总被引:15,自引:0,他引:15
在介绍适用于二值图象的软化形态学的定义及特性的基础上,将软化形态学概念加以推广,使之适用于灰度图象,并提出了一种基软化形态学的边缘检测方法-SMD,还把此方法与其他的基于匀边形态学方法进行了比较,实验结果表明该方法具有很强的抑制噪声能力。  相似文献
3438.
下载全文  总被引:15,自引:1,他引:14
在人工智能领域,足球机器人系统是一个非常好的应用与研究平台,它是一个由计算机视觉闭环的反馈控制系统,在足球机器人视觉子系统中,色标的设计是关系到系统辩识精度,实时性和抗干扰性的一个重要因素。通过对3种典型色标设计进行比较和分析,确定在一种比较合理的设计方案,并针对这种方案提出了一… …   相似文献
3439.
  总被引:15,自引:1,他引:15
This paper presents an introductory overview on the development of fault-tolerant control systems. For this reason, the paper is written in … …   相似文献
Jin Jiang 《自动化学报》2005,31(1):161-174
3440.
下载全文  总被引:15,自引:0,他引:15
描述了一个车辆牌照识别系统.该系统首先利用车辆位置传感器和图像采集卡来自动获取车辆图像并传输至计算机,然后识别车牌字符.结合网络技术,特定车牌信息和车辆图像可以很方便地从远端检索到.文中介绍了该系统的结构及工作流程,以及两种字符的识别方法:基于PCA-LSM的有限中文字符识别方法… …   相似文献
[首页] « 上一页 [167] [168] [169] [170] [171] 172 [173] [174] [175] [176] [177] 下一页 » 末  页»