•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9581-9600项 搜索用时 540 毫秒
[首页] « 上一页 [475] [476] [477] [478] [479] 480 [481] [482] [483] [484] [485] 下一页 » 末  页»
9581.
下载全文  总被引:10,自引:0,他引:10
近年来提出了许多监督和非监督模式识别技术用于磁共振图象的组织分类和定量分析。但是,这些方法的精度受到图象灰度不均匀性的严重影响。对于那些受灰度不均匀性影响的图象,如磁共振图象(MRI),提出了一种新的基于有偏场适配模糊聚类算法(BAFCM)来产生它们的分割结果。该算法通过修改C-… …   相似文献
9582.
  
连接是数据查询处理中最耗时、使用最频繁的操作之一,对提高连接操作的速率具有重要意义。阵列众核处理器是一类重要的众核处理器,具有强大的并行能力,可用来加速并行计算。基于阵列众核处理器的结构,设计和优化了一种高效的多层分区Hash连接算法。该算法通过多层划分的策略大大降低了主存访问次… …   相似文献
9583.
  总被引:10,自引:0,他引:10
针对Kohonen的自组织特征映射(SOFM)神经网络的不足,本文把进化计算的思想用于神经网络的结构寻优之中,提出了一种结构自适应的自组织神经网络(SASONN)模型,SASONN基于把每个神经元看成是一个进化群体中的一个个体的观点,构造了神经元生长(growing)和删除(pr… …   相似文献
吴郢  阎平凡 《电子学报》1999,27(7):55-58
9584.
  
大规模并行计算是当前该领域研究的一大热点.由于大多数应用问题是数据并行问题,所以人们更多地采用数据并行计算方法来解决实际问题.在数据并行计算中,影响计算速度的一个重要因素是数据的划分状况.该文针对一种较为流行的面向对象数据并行语言——pC++的数据划分算法进行了分析,并指出了其不… …   相似文献
石威  方滨兴  胡铭曾 《软件学报》1999,10(9):985-988
9585.
  
布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策… …   相似文献
9586.
  
软件是人思维的产物,人是决定其质量的关键性因素。随着“工程系统”向“社会技术系统”的扩展,软件心理学对软件工程的启发价值日益彰显。首先,总结了软件心理学的发展过程和研究体系。然后,论述了软件心理学6个主要领域的研究进展,分析了其对软件工程的启发价值,探讨了存在的不足及未来研究方向… …   相似文献
9587.
  
为提高Map-Reduce模型资源调度问题的求解效能,分别考虑Map和Reduce阶段的调度过程,建立带服务质量(QoS)约束的多目标资源调度模型,并提出用于模型求解的混沌多目标粒子群算法。算法采用信息熵理论来维护非支配解集,以保持解的多样性和分布均匀性;在利用Sigma方法实现… …   相似文献
9588.
  
外骨骼机器人人机交互是当前的研究热点,通常需要获取人体相关运动信息作为控制信号源。为了采集人体步态数据,研究了生理信号与关节运动之间的关联机制,设计了一种步态数据获取系统,其利用鞋内薄膜压力传感器和关节角度传感器组成测试设备,成功采集了15组健康男子在3km/h、4km/h和5k… …   相似文献
9589.
下载全文  总被引:1,自引:0,他引:1
如何高效地处理说明性查询语言中嵌入的用户自定义函数,是查询优化的一个重要内容.以往的研究成果不能处理一条语句中的多个用户函数,并且难以实现.提出了分3个阶段进行优化的方案,能够对用户定义的多个函数进行处理.首先,把用户定义的函数以区间约束的形式等价地表述出来;然后,通过对区间约束… …   相似文献
杨波  洪晓光  王海洋 《软件学报》2001,12(9):1393-1398
9590.
  
中断机制是决定RTOS实时性指标的核心机制.MQX是一个由Freescale维护、源代码公开、支持多任务的抢占式的RTOS,将会广泛用于ARM Cortex-M微处理器的应用中.MQX的中断机制具有实时响应、动态管理的特点.以ARM Cortex M4 Kinetis微控制器为蓝… …   相似文献
9591.
  
AC-BM算法的优点在于能同时进行多个模式串的匹配搜索,且文本串的移位得到优化,但一次只能在一个文本串中进行搜索.为了实现一次可以同时在多个文本串中进行搜索,设计了多目标AC-BM算法.利用自动机并操作技术构造多目标多模式树自动机,借助BM算法的坏字符跳转技术来计算文本串集移位.… …   相似文献
9592.
下载全文  总被引:21,自引:0,他引:21
提出了一种新的规划表示方法及规划知识图的概念.与目前规划识别领域广泛使用的Kautz方法相比,新的规划表示方法更加简便与直观.由于在规划知识图中增加了支持程度的概念,使得规划的识别可以随着收集到的新证据而合理地加以改变.所提出的基于规划知识图的规划识别算法把规划的识别问题转化为图… …   相似文献
姜云飞  马宁 《软件学报》2002,13(4):686-692
9593.
下载全文  总被引:3,自引:0,他引:3
本文提出了一种新的适用于多种动态模拟和复杂三维动画控制的面向对象的框架结构,它采用混合层次模型,其角色按部件层次组织其静态结构,角色中包含有决定其形状、样式和行为变化的属性,它按类的层次结构定义,属性的动态赋值通过引进的动态约束机制实现.该框架结构已用于SIMUKIT──用于多种… …   相似文献
王裕国  潘峰  胡静倩 《软件学报》1997,8(8):615-621
9594.
首先给出了量子最弱自由前置条件(weakest liberal precondition,简称wlp)wlp (A,B,C)-可交换的定义,研究了wlp (A,B,C)-可交换的充分必要条件;其次,得到了wlp 不是良好的谓词转换,验证了wlp 是比量子最弱前置条件(weakest precondition,简称wp)更弱的谓词转换,揭示了wlp 和wp 的本质区别;最后证明了wlp 的序列合成、并行合成和块结构等性质.… …   相似文献
9595.
下载全文  总被引:2,自引:0,他引:2
医学图象弹性配准是医学图象处理的一个重要研究方向 .目前采用的方法多是手动选择对应标记点 ,然后用薄板样条插值方法计算配准变换 .为了降低对应点的选取误差对配准准确性的影响 ,并克服手动选点操作繁杂、耗时大的问题 ,给出了一种准确、快速、鲁棒性好的配准方法 .即对薄板样条插值方法… …   相似文献
9596.
该文提出了一种快速单元级矢量有限元/自适应多层快速多极子并行算法,该算法可在单元级上完成有限元部分的所有计算过程而无须生成总体系数矩阵;通过将基函数和权函数分别用不同空间位置上的点源函数展开,使多层快速多极子部分的积分计算得到大大简化,转移过程可由快速傅里叶变换计算完成,与波形渐… …   相似文献
9597.
  
现有大规模支持向量机求解算法需要大量的内存资源和训练时间,通常在大集群并行环境下才能实现。提出了一种大规模支持向量机(SVM)的高效求解算法,以在个人PC机求解大规模SVM。它包括3个步骤:首先对大规模样本进行子采样来降低数据规模;然后应用随机傅里叶映射显式地构造随机特征空间,使… …   相似文献
9598.
下载全文  总被引:1,自引:0,他引:1
提出了一种基于认知结构的不确定推理方法:采用四值认知结构表达不确定知识,采用定义在认知结构上的双向认知推理结构来处理推理规则的不确定性.介绍的不确定推理方法可以包容精确的概率推理、容忍信息的不确定性、有效地避免推理规则之间的相互关系问题,并且使认知结构最简推理的计算复杂度与推理节… …   相似文献
刘洁  陈小平  蔡庆生  范焱 《软件学报》2001,12(11):1675-1679
9599.
下载全文  总被引:4,自引:0,他引:4
基于Hilbert空间填充曲线的Hilbert空间排列码是一种优秀的线性映射方法,故在空间查询与索引中得到广泛应用,传统的Hilbert排列码算法是基于Morton码上的二进制位操作,复杂度为O(n^2),在Hilbert空间填充曲线的空间层次发分解特征的基础上,提出了一种新的H… …   相似文献
9600.
下载全文  总被引:7,自引:1,他引:7
提出了一种从两幅未标定图象重建场景三维模型的方法 .这种方法充分利用了人造结构场景中大量存在的平行性和正交性几何约束 ,即利用每幅视图中三组互相垂直的平行线 ,计算出 3个影灭点 ,从而对每幅视图进行标定 .对两幅未标定图象 ,从基本矩阵只能得到射影重构 ,如果每幅图象都已标定 … …   相似文献
[首页] « 上一页 [475] [476] [477] [478] [479] 480 [481] [482] [483] [484] [485] 下一页 » 末  页»