•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第4261-4280项 搜索用时 110 毫秒
[首页] « 上一页 [209] [210] [211] [212] [213] 214 [215] [216] [217] [218] [219] 下一页 » 末  页»
4261.
下载全文  总被引:1,自引:0,他引:1
面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技… …   相似文献
袁敏  黄志球  胡军 《软件学报》2012,23(3):517-538
4262.
下载全文  总被引:14,自引:0,他引:14
云一直是遥感图象处理、图象分析的一大障碍.为了解决这一问题,试图探讨利用中分辨率成像光谱仪MODIS检测云的方法,该方法充分考虑到MODIS数据具有36个光谱通道,特别是红外波段细分的特点,先是基于云的波谱特性采用多光谱综合法、红外差值法及指数法来对MODIS图象上的云点进行检测… …   相似文献
4263.
  总被引:4,自引:1,他引:4
本文根据《ACM计算的战略方向》研讨会中关于“工人智能的战略方向”的讨论及其专论[1]、[2]进行编译,论述未来十年或更长时间内人工智能发展的战略方向,旨在展望今后的研究动向。  相似文献
4264.
下载全文  总被引:2,自引:0,他引:2
主要以提高求解马尔可夫决策问题的实时动态规划(real-time dynamic programming,简称RTDP)算法的效率为目的.对几类典型的实时动态规划算法所使用的收敛判据进行了对比分析,并利用值函数上界、下界给出了称为最优行动判据的收敛判据,以及一个更适合实时算法的分… …   相似文献
范长杰  陈小平 《软件学报》2008,19(11):2869-2878
4265.
下载全文  总被引:1,自引:0,他引:1
ERP中的企业资源计划信息不仅能用于企业资源优化配置,还能为产品设计决策提供非常有用的信息。目前产品设计阶段一般没有充分利用ERP中的信息,针对这种情况,在分析质量驱动产品设计内涵的基础上,提出了基于ERP的质量驱动产品开发的概念,建立了以质量功能展开(QFD)和故障模式效应分析… …   相似文献
4266.
下载全文  总被引:1,自引:0,他引:1
低占空比(low-duty-cycle,简称LDC)技术是当前延长无线传感器网络生命周期的最关键技术,为了有效延长机会网络生命周期,将低占空比技术引入机会网络,形成LDC机会网络.但是,现有机会网络路由算法不能很好地适应LDC环境,其性能会大幅度下降.为了解决该问题,提出一种基于… …   相似文献
4267.
下载全文  总被引:10,自引:0,他引:10
鉴于数字图像中的拐点通常成为重要的信息载体,因此准确、稳定和实时地检测出拐点便成为拐点检测算法面临的主要问题,针对该问题,提出了一种新的二值图像中拐点的实时检测算法。该算法与传统基于边界链码的拐点检测算法不同,其是首先构建像素的k(k>8)邻域,并将图像中物体的边界表示为k邻域链… …   相似文献
4268.
下载全文  总被引:2,自引:0,他引:2
给出了一种具有最优代数免疫度的偶数元布尔函数的构造,同时还给出了一种具有最优代数免疫度的平衡旋转对称偶数元布尔函数的构造.在构造过程中用到了线性代数和组合计数中的有关结论,这些函数对代数攻击均有很强的抵抗能力.构造的平衡旋转对称布尔函数还可用在Hash算法的轮函数中,增加了算法的… …   相似文献
孟强  陈鲁生  符方伟 《软件学报》2010,21(7):1758-1767
4269.
随着计算机网络、社交媒体、数字电视和多媒体获取设备的快速发展, 多媒体数据的生成、处理和获取变得越来越方便, 多媒体应用日益广泛, 数据量呈现出爆炸性的增长, 已经成为大数据时代的主要数据对象。然而由于多媒体数据本身的非结构化特性, 使得多媒体数据的处理和检索相对困难。如何有效地… …   相似文献
4270.
网络协议流不平衡环境下,流样本分布的变化对基于机器学习的流量分类器准确性及稳定性有较大的影响选择合适的机器学习算法以适应网络协议流不平衡环境下的在线流量分类,显得格外重要.为此,首先通过单因子实验设计,验证了C4.5决策树、贝叶斯核估计(NBK)和支持向量机(SVM)这3种分类算… …   相似文献
张宏莉  鲁刚 《软件学报》2012,23(6):1500-1516
4271.
  
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征… …   相似文献
4272.
讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安… …   相似文献
4273.
  
配准准确性是医学图像配准算法的一项重要指标,像素灰度是目前图像配准中广泛使用的特征,但是灰度特征来源单一,而且忽略空间信息,在一些情况下容易产生误配。针对这个问题,本文提出一种融合SIFT特征的熵图估计医学图像非刚性配准算法。该算法首先使用基于互信息的刚性配准算法对两幅待配准图像… …   相似文献
4274.
传统滤波器组为降低旁瓣,需要提高滤波器阶数。该文将广义旁瓣相消的思想运用于滤波器组的旁瓣干扰抑制,在滤波器通带外的干扰信号频率处自适应形成零点。基于LMS算法,该文提出了基于自适应旁瓣相消器的滤波器组旁瓣干扰抑制算法,给出了算法的矩阵形式。通过限制系数长度,旁瓣相消器仅仅对消旁瓣… …   相似文献
4275.
针对基于调色板图像的EzStego隐写算法,在分析比较了目前常见的χ^2统计分析与RS分析方法后,指出了这两种方法在低嵌入率的EzStego隐写图像检测中的不足及其产生问题的主要原因,考虑到EzStego隐写算法的以下两个显著特征:颜色对及顺序嵌入,提出了一种基于颜色对频度统计分… …   相似文献
4276.
下载全文  总被引:3,自引:0,他引:3
图像纹理特征能够反映图像的灰度分布程度、对比度、空间分布和图像的内在变化特性,在确保较低计算复杂度的前提下,有效提取深层次的图像纹理信息是其研究的难点问题。针对这一问题,从相邻区域的统计特征分析入手,提出了一种Haar型特性局部二元模式(Haar local binary pat… …   相似文献
周书仁  殷建平 《软件学报》2013,24(8):1909-1926
4277.
UMHexagonS是H.264视频编码标准中所采用的快速整像素运动估计算法,但在许多实时场景的应用中,该算法还明显存在搜索点数过多、搜索速度较慢的缺憾,急需进一步的改进和优化。在UMHexagonS算法的基础上,提出一种基于运动信息自适应的快速运动估计算法。使用动态搜索窗为不同… …   相似文献
4278.
PGM(pragmatic general multicast)是一种在IP协议中广泛应用的可靠的组播传输协议.但PGM标准本身没有拥塞控制方案,不能实时响应网络需求,及时地调节源端发送速率.针对这个问题,在保证PGM协议可扩展性的基础上,在发送方与CLR(current lim… …   相似文献
谭连生  熊乃学  杨燕 《软件学报》2004,15(10):1538-1546
4279.
针对固定指向地基天文光电探测系统中数量众多、成像相似的恒星目标对空间目标检测的干扰,提出一种基于时空域融合处理的恒星目标抑制算法。在时域上改进图像差分算法,采用时域膨胀差分抑制恒星目标;在空域上对检测到的恒星目标采用数学形态学重构来恢复恒星目标的完整星像,进而将形态学重构前后的图… …   相似文献
4280.
特征捆绑问题是认知科学和神经科学的中心问题之一。为了对彩色图像中颜色与形状这两种最基本特征实施捆绑,在简化脉冲耦合神经网络(PCNN)模型的基础上,提出一种基于矢量的特征捆绑脉冲耦合神经网络模型。在该模型中,利用神经元的第1次脉冲发放时间将不同的特征进行分离,同时利用神经元的自身… …   相似文献
[首页] « 上一页 [209] [210] [211] [212] [213] 214 [215] [216] [217] [218] [219] 下一页 » 末  页»