•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3861-3880项 搜索用时 104 毫秒
[首页] « 上一页 [189] [190] [191] [192] [193] 194 [195] [196] [197] [198] [199] 下一页 » 末  页»
3861.
下载全文  总被引:3,自引:0,他引:3
提出了一种集基于节点地理位置信息的集成拓扑控制、MAC和路由为一体的高能效数据收集协议REEGF(geographic forwarding protocol with reliable and energy-efficient).REEGF使用了具有双无线信道协作通信结构的网络… …   相似文献
郑国强  李建东  周志立 《软件学报》2010,21(9):2320-2337
3862.
许多计算或数据密集型的科学应用要求一种共享和协同使用分布异构资源的机制,作为其复杂的问题求解过程的一部分.网格环境下银河系化学演化研究是中国虚拟天文台应用系统的一个重要部分.详细描述了该演化研究的设计和实现.通过这个范例,提出一种共享和协同使用资源的机制.该机制通过在网格环境中集… …   相似文献
罗泽  崔辰州  南凯  阎保平 《软件学报》2005,16(8):1465-1473
3863.
下载全文  总被引:8,自引:1,他引:7
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质… …   相似文献
3864.
  总被引:23,自引:0,他引:23
工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作流过程模型的发展趋势,为工作流建模的进一步研究提供基础。… …   相似文献
3865.
  总被引:5,自引:0,他引:5
针对目前常用的垃圾邮件过滤技术普遍存在误报和漏报与分类过滤效率之间的矛盾问题,提出了一种改进的垃圾邮件过滤算法。在对这种新算法进行仿真测试后发现,新算法不仅有效地降低了漏报率和误报率,同时也减少了分类时间,为改进现有垃圾邮件过滤系统提供了一条新的解决方法和途径。  相似文献
3866.
由于红外图像对比度低、色彩信息匮乏且灰度级动态范围小,基于红外成像的目标跟踪一直是本领域研究的难点和重点。提出了一种融合灰度核直方图和SURF(speeded up robust features)特征的红外目标跟踪算法。在首帧采用灰度核直方图和SURF特征分别描述目标模板,在以… …   相似文献
3867.
定义了一个命题线性时序逻辑的对偶模型的概念.一个公式f的对偶模型是指f的满足以下条件的两个模型(即状态的w序列):在每个位置上这两个模型对原子命题的赋值都是对偶的.然后,对于确定一个公式f是否有对偶模型的判定问题(记为DM)和在一个Kripke-结构中确定是否存在从两个给定状态出发的对偶模型满足给定公式f的判定问题(记为KDM)的复杂性进行了研究.证明了以下结果:对于只含有F(\"Future\")算子的命题线性时序逻辑,DM和KDM都是NP完全的;而对于以下命题线性时序逻辑,DM和KDM都是PSPACE完全的:含有F,X (\"Next\")算子的逻辑、含有U(\"Until\")算子的逻辑、含有U,S,X算子的逻辑以及由Wolper给出的含有正规语言算子的逻辑(一般称为扩展时序逻辑,简称ETL).… …   相似文献
吴志林  张文辉 《软件学报》2007,18(7):1573-1581
3868.
依据非下采样Contourlet分解系数与其父系数之间的相关性,给出非高斯双变量分布模型,并基于该模型提出一种新的非下采样Contourlet变换图像分割方法。用合成纹理图像和实际图像进行仿真实验,并与小波域隐马尔可夫树模型分割及Contourlet域隐马尔可夫树模型分割等方法进… …   相似文献
3869.
下载全文  总被引:2,自引:0,他引:2
分析了overlay拓扑管理中流言机制的一般过程,发现固定周期的流言报文中存在的数据交换盲目性的弊端.为此,引入动态的自适应用期来代替固定周期,使得局部拓扑稳定的节点较少发出流言报文,而局部拓扑动荡的节点较多发出流言报文.这种方法提高了数据交换效率,节省了网络资源,允许在局部加快… …   相似文献
孙晓  王晖  汪浩  姜志宏  陶钧 《软件学报》2008,19(9):2422-2431
3870.
针对图像局部特征组合稳定性差和区分力不足的问题,通过对由图像半局部邻域特征挖掘得到的频繁项集进行统计学过滤、模式分解、模式总结及模式组成项间几何关系的建模,提出两种具有较强表征力和区分力的图像中层表示模型:类间共用稳定模式(inter-class common stable pa… …   相似文献
3871.
纹理进化系统是一个面向近似规则纹理合成的算法,系统的主要特点是在进化理论的基础上,通过定义相关行为来优化纹理块在被拼接后无法改变而引发的累积误差问题.提出一种新的基于协同进化思想的纹理合成方案,通过新定义的个体选取及排布方式,可适用任意方向周期的纹理;通过去除迁徙、预建立适应度表… …   相似文献
3872.
在IPv6 物联网中,RPL 路由模型已得到广泛的认可.然而对于规模较大的多跳网络结构,RPL 面临着部分转发节点路由容量较大的问题.而且物联子网中扁平化的地址结构使得这一问题更为突出.设计了支持IPv6 地址自动分配的轻量级树型转发模型TFAD(tree forwarding … …   相似文献
肖融  陈文龙  孙波 《软件学报》2014,25(8):1729-1742
3873.
下载全文  总被引:4,自引:0,他引:4
对局域网和广域网上大量突发网络流量的分析结果表明,网络流量普遍存在着自相似性和长相关性,其中Hurst指数是表征网络流量突发特性的重要参数.通过在小波域内对网络流量这种特性的分析,给出了其小波系数的本质和统计特性.针对基于小波的Hurst指数估计方法的自适应问题,结合方差分析给出… …   相似文献
洪飞  吴志美 《软件学报》2005,16(9):1685-1689
3874.
空间方向关系形式化模型是空间关系研究的重要内容,然而对特殊方向关系(“包围”,“在…和…之间”等)表达方法的研究尚不成熟.首先分析了目前存在的特殊方向关系形式化模型的特点和缺陷,然后介绍了四叉树直方图的基本思想和构造方法,接着详细阐述了基于四叉树直方图的特殊空间方向关系的判定方法… …   相似文献
3875.
  总被引:11,自引:0,他引:11
网络的普及和办公自动化的需求推动了Web应用开发,从应用软件的设计角度,开发高效、易用、易维护和可复用的Web应用成为关键。结合设计模式和Java Web开发技术,讨论如何构建高效Web应用开发的模型,并从数据流的角度进行了详细分析。  相似文献
3876.
3877.
下载全文  总被引:2,自引:0,他引:2
利用Contourlet变换的多尺度、局部化、方向性和各向异性等优点,提出了一种基于Contourlet变换的遥感多光谱与全色波段图像融合新算法。算法首先对多光谱图像进行IHS变换,然后将多光谱的I分量和全色图像进行Contourlet分解,进而在不同子带中进行图像融合,低频采用… …   相似文献
3878.
下载全文  总被引:2,自引:0,他引:2
目前,门户的功能定位已经从传统的信息集成转向应用集成.门户环境中应用间的进一步集成实际上表现为Portlet互操作问题. 现有Portlet互操作方法在共享范围、标准兼容方面存在不足且难于集成已有应用系统.提出了一种基于语义数据协作的Portlet互操作方法,其基本思想是:将参与… …   相似文献
宋靖宇  魏峻  万淑超 《软件学报》2007,18(7):1705-1714
3879.
下载全文  总被引:8,自引:0,他引:8
本文以北京市为例,在遥感和GIS技术的支持下,以TM热红外遥感影像定量反演的城市地表温度为基础,分析了城市热岛效应与城市土地利用/覆盖变化的关系,以期为缓解城市热岛效应提供科学依据。  相似文献
3880.
  总被引:2,自引:1,他引:1
MOM(Message-Oriented Middleware,消息中间件)是解决异构分布式系统中通信和排队问题的中间件技术,ActiveMQ则是MOM的一个跨语言跨平台实现。首先介绍了ActiveMQ的特点,并对其性能和稳定性进行了对比测试。然后,在其基础之上增加了消息总线控制… …   相似文献
[首页] « 上一页 [189] [190] [191] [192] [193] 194 [195] [196] [197] [198] [199] 下一页 » 末  页»