•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9661-9680项 搜索用时 594 毫秒
[首页] « 上一页 [479] [480] [481] [482] [483] 484 [485] [486] [487] [488] [489] 下一页 » 末  页»
9661.
  
利用人工鱼群算法的追尾思想并在过程中加入拥挤度因子,对人工萤火虫群算法进行了改进,提出了一种改进型人工萤火虫群算法,并将该算法用于多峰函数的优化问题.通过实验仿真及与其他算法进行的对比分析表明,改进后的人工萤火虫群算法在种群规模较小、迭代次数较少的情况下也可以精确捕获函数定义城内… …   相似文献
9662.
下载全文  总被引:2,自引:1,他引:2
本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.  相似文献
宋立彤  金成植 《软件学报》1996,7(5):306-313
9663.
由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法… …   相似文献
林振  吴定一 《软件学报》1995,6(6):366-371
9664.
LogC语言和环境面向知识推理,旨在为包括专家系统在内的一大类智能软件系统设计提供一般目的的集成化环境支持,本文从知识表示、推理效率和环境结构化等三方面阐述LogC语言和环境的设计特点。  相似文献
9665.
下载全文  总被引:2,自引:0,他引:2
给出了一种新型的模糊神经网络模型.该模型不需要领域专家的知识进行指导,而是通过对样本竞争分类产生模糊规则.每类样本对应于一条模糊规则,每条模糊规则的后件部分为一个对本类样本进行过学习训练的神经网络.文章以模糊神经网络在时间序列分析中的应用为例,通过与传统的时间序列分析方法以及前向… …   相似文献
周春光  张冰  梁艳春  胡成全  常迪 《软件学报》1999,10(12):1304-1309
9666.
  总被引:1,自引:0,他引:1
本文对微带型双列曲折线慢波结构中的场进行了分析。用数值求解法计算了电位函数U(y,z)和特征导纳Yc,推导出曲折线的色散方程和耦合阻抗表达式,并利用电子计算机计算了不同结构参量的曲折线特性。由此法所设计的二组曲折线已用于印制电路行波管中。实验结果与理论计算比较一致。  相似文献
9667.
为了解决前缀劫持、路由伪造和源地址欺骗问题,设计了一种路由体系——基于责任域的安全路由体系(accountability realm based secure routing architecture,简称Arbra)。首先,提出了自治系统到责任域的映射方法和基于责任域的两级路由… …   相似文献
卢宁宁  张宏科 《软件学报》2013,24(6):1274-1294
9668.
下载全文  总被引:1,自引:0,他引:1
该文针对编码MIMO系统,分析了MIMO检测过程中串行干扰删除引入的误差传播对软解调的影响,同时,借鉴软符号干扰消除的思想,推导出该系统中迭代信道软信息(Iterative Channel Soft Information, ICSI)的计算方法,并证明了该信道软信息等价于信道矩… …   相似文献
9669.
  
研究了Plateaued函数的对偶性;基于Plateaued函数对偶性的定义及函数限制的理论,得到了Plateaued函数与其对偶函数在子空间上的限制及正规性上的对应关系;利用Plateaued的对偶这一工具,得到了两个Plateaued函数的互相关平方和指标的界。  相似文献
9670.
下载全文  总被引:17,自引:1,他引:17
冯铁  张家晨  陈伟  金淳兆 《软件学报》2000,11(8):1078-1086
9671.
下载全文  总被引:21,自引:0,他引:21
由于CAD技术在功能与角色等方面的需求不断变化,AutoCAD的二次开发技术对于广大设计人员以及开发者来说就显得尤为重要.本文对AutoCAD的二次开发技术和方法进行了系统的总结,并详细分析了各种方法的应用特点以及优缺点. 以便广大AutoCAD二次开发人员能够更好地掌握与应用A… …   相似文献
9672.
手机3D 动画自动生成系统是要实现从用户发送信息给服务器,经过信息抽取、情节规划、场景规划等一系列的处理,最终生成与短信内容相关的视频动画并发送给接收方这一过程。其中场景规划模块是在情节定性规划的基础上确定情节的各个细节,并将其量化到三维动画场景文件中。在动画情节规划的基础上,对… …   相似文献
9673.
下载全文  总被引:8,自引:0,他引:8
细节层次是实时图形生成的一项重要技术.提出一种把视点无关和视点相关两类多细节层次技术结合起来的网格模型实时绘制算法.该算法首先根据应用领域的不同要求或用户给出的误差范围,对模型进行与视点无关的预处理简化,然后把简化后得到的模型用在与视点相关的实时简化算法中.实验表明,这种网格模型… …   相似文献
9674.
下载全文  总被引:6,自引:1,他引:6
本文讨论可重用构件应该具备的特性,并介绍一种可重用构件描述语言Recos.Recos支持面向对象设计,而且提供功能抽象和类属机制.  相似文献
9675.
下载全文  总被引:1,自引:0,他引:1
该文讨论保边缘的去噪问题。针对P—M扩散不能有效保持线状特征,相干增强扩散易出现虚假条纹的缺点,提出了一种P—M扩散与相干增强扩散相结合的去噪方法。首先,建立了一个P—M扩散与相干增强扩散的加权组合模型。该模型在图像边缘部分侧重于相干增强扩散,其余部分则侧重于P—M扩散。然后,针… …   相似文献
9676.
下载全文  总被引:14,自引:2,他引:14
该文针对具有自相似性的数据流的特征参数Hurst指数的小波提取方法进行了系统的分析和研究,对现有提取Hurst指数的小波方法给予了归纳和总结。通过大量的实验和分析,研究了消失矩阶数、小波函数以及分解级数的选择对小波法提取Hurst指数的准确性的影响,并得出了一些有意义的结论。… …   相似文献
9677.
下载全文  总被引:1,自引:0,他引:1
在以人体模型为基础的3维服装CAD系统中,为了获得设计师所需形体尺寸各异的人体模型,提出了一种多因素驱动人体模型变形的方法.该方法将人体模型的变形驱动因素分为尺寸因素、姿态因素和局部体形因素3类,并相应地提出了尺寸驱动、姿态驱动及局部体形驱动的人体模型变形算法.其中尺寸驱动采用基… …   相似文献
9678.
下载全文  总被引:1,自引:0,他引:1
与传统的利用立体视觉原理进行3维重建不同,在研究基于单幅全向图像重建空间水平直线问题的基础上,首先指出基于直线在全向图中的两个像点即可重建该水平直线,然后通过分析和推导空间水平直线在全向成像系统中的成像特点,有效简化了全向图中的水平直线检测;针对现有“四点定位”方法的不足,提出了… …   相似文献
9679.
提出了一种基于一阶逻辑的安全策略管理框架.首先,研究安全策略的语法和语义,给出将安全策略转换成扩展型逻辑程序的算法,进而构造出安全策略基本查询算法;其次,给出将安全策略复杂查询转换成基本查询的算法,进而构造出安全策略验证算法.在良基语义下,上述算法是可终止的、可靠的和完备的,且计… …   相似文献
9680.
为了方便程序员比较多种迷惑变换方案的优劣,提出了一种量化评价迷惑变换鲁棒性的方法.该方法从软件复杂度变化与代码功能模糊性两个相对独立的层面来刻画迷惑变换导致的鲁棒性.首先,从系统的复杂性与信息的多样性角度建立软件系统复杂度模型,模型包含软件结构、信息流、分支、循环以及元素的嵌套层… …   相似文献
付剑晶  王珂 《软件学报》2013,24(4):730-748
[首页] « 上一页 [479] [480] [481] [482] [483] 484 [485] [486] [487] [488] [489] 下一页 » 末  页»