•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8281-8300项 搜索用时 117 毫秒
[首页] « 上一页 [410] [411] [412] [413] [414] 415 [416] [417] [418] [419] [420] 下一页 » 末  页»
8281.
下载全文  总被引:4,自引:0,他引:4
迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用,已有10多年研究历史,然而,至今对什么是迭代算子尚无确切和统一的定义,严重影响了对这一概念的理解,也阻碍了它的广泛应用,本文在分析研究现有各种迭代算子概念局限性的基础上,将迭代算子定义为包含于组合数据类型内部的抽象数据… …   相似文献
8282.
  总被引:3,自引:0,他引:3
为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类… …   相似文献
8283.
下载全文  总被引:1,自引:0,他引:1
有限域GF(2k)上本原σ-LFSR序列的分量序列均是二元域上具有相同极小多项式的m-序列,已知一条GF(2k)上本原σ-LFSR序列的距离向量,就可以用二元域上的m-序列构造它.研究了一类本原σ-LFSR序列——Z本原σ-LFSR序列距离向量的计算问题.给出了一种GF(2k)上… …   相似文献
8284.
在传统的静态资源预留机制(static resource reservation mechanism,简称SRRM)下,用户的预留请求一旦通过接纳测试就立即被调度到某个资源上.因此,SRRM无法考虑在预留提前时间(book-ahead time)内作业队列的变化对调度目标产生的影… …   相似文献
高瞻  罗四维 《软件学报》2011,22(10):2497-2508
8285.
提出一套基于自适应网格变形的图像编辑算法框架,包括图像中特征物的平移、旋转和变形,以及保持特征物的任意几何边界图像适应.该算法将图像表示为基于图像特征的自适应三角网格,由此将图像编辑问题转换为带约束的网格变形问题.网格变形由一个二次型能量函数所控制,特征物的平移、旋转和变形可以表… …   相似文献
金勇  吴庆标  刘利刚 《软件学报》2012,23(5):1325-1334
8286.
在现实世界里,AI系统难免受到噪声的影响.系统有效工作与否取决于它对噪声的敏感性如何.解释学习EBL(explanation-basedlearning)也不例外.本文探讨了在例子受到噪声影响的情况下,解释学习的处理问题,提出了一个算法NR-EBL(noise-resistant… …   相似文献
张旗  石纯一 《软件学报》1996,7(6):339-344
8287.
8288.
下载全文  总被引:8,自引:0,他引:8
对医学图像体数据及重构几何模型进行虚拟剖切,可以方便地看到内部的组织,便于观察和诊断,可用于医疗放射治疗规划.针对医学图像重建的表面几何模型,提出了对模型进行平面剖切、立体开窗及任意交互切割的算法.平面剖切和开窗是用剖切面或剖切体对重建模型施以剖切,在剖切面上生成边序列及顶点序列… …   相似文献
8289.
下载全文  总被引:9,自引:0,他引:9
名字解析机制是移动Agent技术研究的重要课题.目前,多数基于域名系统的名字解析机制由于算法自身的复杂性限制,很难实现移动对象的应用级位置透明性访问.全局的、与位置无关的命名和名字解析极大地方便了移动Agent系统通信模型和导航模型的建立,具有良好的实用性.通过引入一种基于全局命… …   相似文献
王申康  滕敏堂 《软件学报》2002,13(4):616-620
8290.
尽管当前基于全局光照模型的图形绘制方法可以渲染出高质量的图象 ,但因为其计算量巨大 ,难以适用于诸如建筑物漫游、虚拟现实等对绘制速度有严格要求的场合 .为此引入光学映射虚物体的概念 ,利用构建在联网PC机上的集群系统 ,并行创建反射和折射虚物体 ,然后利用集群中各节点的图形加速硬… …   相似文献
8291.
  
随着3D视频技术的再度兴起,基于深度图像的3D视频数据表示格式得到了广泛的应用,因此针对深度图像的编码算法已成为当前研究的热点课题。利用小波变换后子带系数的分布统计特征,提出了一种不同于以往的基于小波变换的深度图像编码方案。该方案对小波量化系数进行统计分析,利用子带间小波系数的相… …   相似文献
李幸  赵耀  林春雨  姚超 《计算机科学》2014,41(10):134-138
8292.
提出了一种针对TOF MRA(time-of-flight magnetic resonance angiography)磁共振图像的双重分割脑血管提取方法。首先结合高斯滤波,采用二维OTSU算法,结合MIP(maximum intensity projection)图像获得三维… …   相似文献
8293.
为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消除上述安全隐患,提出了鲁棒灰箱演算.鲁棒灰箱演算在依靠反动作解决强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了安全灰箱演算中的… …   相似文献
管旭东  杨怡玲  尤晋元 《软件学报》2002,13(5):1018-1023
8294.
  总被引:36,自引:0,他引:36
在回顾CAD系统的几类系统模型并分析其优缺点的基础上,立足于CAD系统的开放性、集成性和效率,运用基于组件的软件工程技术,提出了CAD系统组件模型,并详细地分析了模型中各组件的功能和组件间的通讯.系统模型具有两级总线结构,较之以往的模型,其开放性大大提高,便于实现结构灵活、开放性… …   相似文献
陆薇  刘强  周琛  孙家广 《软件学报》1998,9(9):651-655
8295.
下载全文  总被引:5,自引:0,他引:5
基于Harn数字签名方案和零知识证明,针对信息保护系统构造了一种认证存取控制方案.该方案与已有的存取控制方案相比要更加安全.因为在该方案中,用户与系统不必暴露秘密信息就可以进行双向认证,并且其共享密钥可用于认证用户访问保密文件的请求合法权限.该方案能够在动态环境中执行像改变存取权… …   相似文献
施荣华 《软件学报》2002,13(5):1003-1008
8296.
下载全文  总被引:15,自引:0,他引:15
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集… …   相似文献
卿斯汉 《软件学报》2005,16(10):1757-1765
8297.
  
密集场景分析是目前计算机视觉领域的热点和难点课题。提出了一种新的密集场景下集群目标运动模式的分析算法。该算法根据集群目标运动特有的规则获取集群目标的轨迹片段,对轨迹片段学习后验散度,得出产生式-判别式混合特征映射,该特征映射有效地将底层特征和运动模式的语义信息结合起来。通过对特征… …   相似文献
王冲鶄  赵旭  刘允才 《计算机科学》2014,41(10):106-109,143
8298.
针对数量激增、数据类型复杂的遥感影像,准确和具有普适性的分类是亟待解决的问题。提出一种轮转径向基函数神经网络模型应用于遥感影像的处理方法。通过对输入数据的特征变换,使特征总集变为多个子特征集,依据PCA(主成分分析)变换处理这些新的子特征集,将得到的系数用于改变训练样本,增加基分… …   相似文献
8299.
分布式监测系统广泛应用于检测对象分散的大型工程项目,而信息系统是其中重要的组成部分.本文将信息系统分为内部信息系统和外部信息系统,内部信息系统负责数据汇集及管理,为数据库服务器系统架构设计,外部信息系统则利用原始监测数据,计算监测目标并将其呈现给用户.在内部信息系统中通过协调服务… …   相似文献
8300.
给出了命题逻辑上信念修正的两种可操作的完全方法.首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个过程,该过程能求得所有的极大协调子集.因为这两种方法都能求得所有的极大协调子集,所以把它们… …   相似文献
李未  栾尚敏 《软件学报》2002,13(1):59-64
[首页] « 上一页 [410] [411] [412] [413] [414] 415 [416] [417] [418] [419] [420] 下一页 » 末  页»