•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第1881-1900项 搜索用时 110 毫秒
[首页] « 上一页 [90] [91] [92] [93] [94] 95 [96] [97] [98] [99] [100] 下一页 » 末  页»
1881.
本文着重讨论了如何在JavaApplet中调用ActiveX控件的方法,达到在网页中使用ActiveX控件以设计出动态交互式的网页。  相似文献
1882.
构造了一个完美零知识的五步交互证明系统,该系统不依赖于任何(复杂性和计算能力)假设, 在该系统中,证明者可具有有限或无限的计算能力.  相似文献
1883.
指纹方向场的估计是指纹识别预处理算法中的重要环节,对算法识别效率起到关键作用。本文提出了一种网格插值模型,该模型以指纹奇异点为中心,将指纹平面做网格划分,利用插值算法建立了方向场与指纹奇异点之间的非线性关系。模型中利用了指纹的全局信息来调整网格点的值,使得它与传统的基于局部信息的… …   相似文献
1884.
  
一般地,从HTML网页中提取正文信息,应先将HTML、网页解析成DOM树,然后遍历DOM树,依据目标信息在DOM树中的分布规律,将信息从DOM树中提取。这种传统方法将解析DOM树和从DOM树中提取信息看成两个独立的过程,制约了提取信息的速度。事实上,在准确提取目标信息的过程中,独… …   相似文献
张瑞雪  宋明秋  公衍磊 《计算机科学》2011,38(4):213-215,225
1885.
下载全文  总被引:8,自引:2,他引:8
高独特性特征的选择以及合适匹配策略的选用是人脸识别技术的关键。讨论了基于仿射不变的几何特征SIFT算子进行人脸识别的方法。SIFT算子的计算复杂度较高,并且不同的人脸表情和图像模糊会加大特征匹配的难度。为克服上述缺点,提出了一种新的算法,将选择6个人脸上感兴趣子区域进行描述,并根… …   相似文献
1886.
针对多幅眼底图像拼接的问题,提出一种优化的多幅眼底图像拼接方法。该方法在基于特征的层次鲁棒估计方法完成两两图像初始配准的基础上,提出一种基于重叠区域的配准修正,得到两幅图像之间的良好配准;然后建立图像之间配准关系的无向图,并将配准图像中匹配特征的几何误差和相似度作为图中边的权值,… …   相似文献
1887.
下载全文  总被引:66,自引:0,他引:66
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方… …   相似文献
任洪敏  钱乐秋 《软件学报》2003,14(6):1066-1074
1888.
下载全文  总被引:4,自引:0,他引:4
提出了一种基于方向性天线的分布式拓扑控制算法,可以同时通过调整网络中各节点的发射功率和改变节点天线的方向来对网络的拓扑进行控制,每个节点逐渐增大它的发射功率直到该节点在其方向性天线的每个扇区内找到足够数量的邻节点为止.在这种基于方向性天线的分布式拓扑控制算法的基础上又使用了两种不… …   相似文献
贺鹏  李建东  陈彦辉  陈亮 《软件学报》2007,18(6):1308-1318
1889.
下载全文  总被引:1,自引:4,他引:1
该文是关于中国图像工程的年度文献综述系列之十八.为了使国内广大从事图像工程研究和图像技术应用的科技人员能够较全面地了解国内图像工程研究和发展的现状,并能够方便地查询有关文献,现从2012年国内15种有关图像工程重要中文期刊共134期上发表的2 912篇学术研究和技术应用文献中,选… …   相似文献
1890.
下载全文  总被引:1,自引:2,他引:1
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型… …   相似文献
文艳军  王戟  齐治昌 《软件学报》2007,18(6):1270-1281
1891.
下载全文  总被引:2,自引:0,他引:2
与以往尽最大努力的查询服务提供方式不同,讨论了数据流处理中确定性QoS的保证问题以网络演算为理论基础,提出了一种数据流处理中的QoS建模和QoS保证方法.系统运行前验证所有查询在满足各自的QoS前提下的可调度性.在运行时为通过QoS可调度性验证的每个查询分配代表其QoS需求的服务… …   相似文献
武珊珊  于戈  吕雁飞  谷峪  李晓静 《软件学报》2008,19(8):2066-2079
1892.
下载全文  总被引:43,自引:0,他引:43
支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型的设计提供指导.从时间和工作流组成的过程级别两个角度分析了其动态特性的表现,扩展了工作流管… …   相似文献
1893.
  
近年来,动作模型学习引起了研究人员的极大兴趣.可是,尽管不确定规划已经研究了十几年,动作模型学习的研究仍然集中于经典的确定性动作模型上.提出了在部分观测环境下学习不确定动作模型的算法,该算法可应用于假定人们对转移系统一无所知的情形下进行,输入只有动作-观测序列.在现实世界中,这样… …   相似文献
1894.
下载全文  总被引:2,自引:0,他引:2
以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的环境中通过合同与其他Agent进行协同工作.… …   相似文献
廖备水  黄华新  高济 《软件学报》2008,19(3):605-620
1895.
人群仿真目前在工业、建筑、交通等多种领域中应用广泛.实现复杂场景中的人群运动实时仿真,效率是亟待解决的关键性问题,而提高仿真效率所必须面临的挑战主要有人群的渲染、位置及状态的实时更新和碰撞检测.提出一种基于场的方法来实现人群运动的实时仿真,通过构建导航场和密度场引导人群运动.导航… …   相似文献
1896.
针对非参数核密度估计在前期学习阶段信息冗余和计算量大,在后期背景更新阶段自适应性差需手动调整阈值和检测结果出现阴影等问题,提出一种基于局部时空域模型的核密度估计目标检测方法。在前期训练学习阶段采用K均值聚类选择关键帧,从而避免信息冗余和计算量大问题;在后期背景更新阶段,构建一种局… …   相似文献
1897.
下载全文  总被引:101,自引:0,他引:101
提出了一个基于Agent的分布式入侵检测系统模型框架.该模型提供了基于网络和基于主机入 侵检测部件的接口,为不同Agent的相互协作提供了条件.在分布式环境中,按照系统和网络的 异常使用模式的不同特征和环境差异,可利用不同的Agent进行检测,各Agent相互协作,检测 异常行为… …   相似文献
马恒太  蒋建春  陈伟锋  卿斯汉 《软件学报》2000,11(10):1312-1319
1898.
下载全文  总被引:24,自引:0,他引:24
信息检索长期存在着用词歧义性问题,在Web搜索上的表现更加突出.提出了一种基于用户查询日志的查询扩展统计模型,将用户查询中使用的词或短语与文档中出现的相应词或短语以条件概率的形式连接,利用贝叶斯公式挑选出文档中与该查询关联最紧密的词加入原查询,以达到扩展优化的目的.实验结果表明,… …   相似文献
崔航  文继荣  李敏强 《软件学报》2003,14(9):1593-1599
1899.
下载全文  总被引:1,自引:1,他引:1
网格变形作为一种几何模型交互编辑技术在几何建模和计算机动画中具有重要价值。近年来,保细节的网格变形特别是微分域网格变形一直得到国内外研究人员的高度关注。从骨骼变形、曲面变形、空间变形3个方面,结合近年来网格变形领域的最新研究进展,通过对各种典型的网格变形算法的算法思想、特点、局限… …   相似文献
1900.
为采用定理证明的方法对并发及交互式系统进行验证,研究了有穷论域下有穷时间一阶投影时序逻辑(projection temporal logic,简称PTL)的一个完备公理系统.在介绍PTL的语法、语义并给出公理系统后,提出了PTL公式的正则形(normal form,简称NF)和正… …   相似文献
舒新峰  段振华 《软件学报》2011,22(3):366-380
[首页] « 上一页 [90] [91] [92] [93] [94] 95 [96] [97] [98] [99] [100] 下一页 » 末  页»