•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第5061-5080项 搜索用时 191 毫秒
[首页] « 上一页 [249] [250] [251] [252] [253] 254 [255] [256] [257] [258] [259] 下一页 » 末  页»
5061.
简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用… …   相似文献
刘玲  徐家福 《软件学报》2011,22(5):877-886
5062.
下载全文  总被引:1,自引:0,他引:1
本文扼要地论述了高级综合的过程和其中控制信息的提取与变换,实现了控制流综合与数据流综合结果的衔接,并对FPGAXilinx设计库单元映射成工艺相关的ASIC,直至生成FPGA器件.  相似文献
5063.
下载全文  总被引:3,自引:0,他引:3
半监督聚类旨在根据用户给出的必连和不连约束,把所有数据点划分到不同的簇中,从而获得更准确、更加符合用户要求的聚类结果.目前的半监督聚类算法大多数通过修改已有的聚类算法或者结合度规学习,使聚类结果与点对约束尽可能地保持一致,却很少考虑点对约束对周围无约束数据的显式影响程度.提出一种… …   相似文献
何萍  徐晓华  陆林  陈崚 《软件学报》2014,25(5):997-1013
5064.
下载全文  总被引:4,自引:1,他引:4
随着传统体系结构路由器在可靠性和多维可扩展性等方面不能满足下一代Internet发展的需要,集群结构的路由器将成为未来骨干网络的核心.如何保证集群路由器各个路由节点转发表的单映像性,对控制平面及转发平面的性能至关重要,是值得研究的重要问题.在分析现有的各种转发表同步机制特点的基础… …   相似文献
5065.
下载全文  总被引:5,自引:0,他引:5
提出了一种通过遗传算法(GA)对单个分类器进行优化以及对多个分类器进行组合优化的方法.该方法使用叠加(stacking)的策略.经典的叠加策略分为两步,该方法将遗传算法作为叠加策略的第2步.实验结果表明,遗传算法可以较好地完成优化任务,同单个分类器比较,它可以提高分类的精度.在对… …   相似文献
季文赟  周傲英  张亮  金文 《软件学报》2002,13(2):245-249
5066.
下载全文  总被引:9,自引:0,他引:9
随着ARM技术的广泛应用,建立基于ARM构架的嵌入式操作系统已成为当前研究的热点.本文结合实例论述了基于ARM9核的微处理器上的嵌入式Linux操作系统的移植技术,讨论了uClinux内核的移植过程中内核代码裁剪,介绍了移植uClinux的基本实现过程.  相似文献
5067.
下载全文  总被引:1,自引:0,他引:1
针对证据理论无法有效处理海量信息融合的不足,提出一种结合聚类和凸函数证据理论的海量信息融合方法,旨在解决状态评价等普遍而重要的应用问题.该方法首先基于聚类算法BIRCH对采集的海量信息进行预处理,形成多个簇;然后,针对状态评估类问题所用数据大多为数值数据和序数数据这一特点,计算每… …   相似文献
李嘉菲  周斌  刘大有  胡亮  王峰 《软件学报》2014,25(9):2026-2036
5068.
提出了一种基于支持向量机的联合多种置信特征进行语音识别确认的判定方法.从待确认语音中提取出分段的后验概率和线性预测编码识别结果置信特征,其中后验概率根据垃圾模型近似计算得到;设计支持向量机分类器联合多种置信特征给出最终确认结果.实验结果表明,所提出的置信特征和支持向量机分类器取得… …   相似文献
严斌峰  朱小燕  张智江  张范 《软件学报》2006,17(12):2547-2553
5069.
下载全文  总被引:1,自引:0,他引:1
访问控制列表(access control list,简称ACL)是解决和提高网络安全性的方法之一,但访问控制列表应用在网络设备的接口上将降低网络设备的性能.当ACL条目达到一定数量后,很难进行人工处理,根据一定算法进行ACL自动优化显得尤为重要.在深入研究ACL优化问题的基础上… …   相似文献
曾旷怡  杨家海 《软件学报》2007,18(4):978-986
5070.
下载全文  总被引:2,自引:1,他引:2
以具有自启动功能的同步十进制加法计数器的设计与仿真为例,阐述proteus电路设计与仿真在教学中的应用。实践表明,Proteus环境下的虚拟开发环境,具有不受实验室场地、时空的限制,有利于促进专业课程的教学和实验改革,从而实现了真正意义上的电子设计自动化。  相似文献
5071.
针对刀片服务器散热系统的高稳定性、高可靠性需求,设计了一种基于MPC8245+FPGA结构的风扇控制系统,采用了一种基于阈值的风扇调速控制策略,只有当温度的变化达到了预设的阈值之后风扇的转速才会在温度上升曲线及温度下降曲线之间转换,从而大大减少了温度波动导致风扇频繁调速而产生的非… …   相似文献
5072.
下载全文  总被引:3,自引:0,他引:3
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制… …   相似文献
5073.
本文所介绍的灾害测评系统是一个集组件技术、气象卫星遥感和ArcGIS行业应用为一体,并具有旱涝气象灾害监测和损失评估功能的综合性集成软件.文中主要分析了旱涝灾害测评系统的设计目标、功能结构、处理流程和模块实现等.该系统软件能向政府和有关部门及时提供客观准确的旱涝灾害监测、损失评估… …   相似文献
5074.
下载全文  总被引:8,自引:0,他引:8
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.… …   相似文献
刘怡文  李伟琴  冯登国 《软件学报》2003,14(6):1148-1156
5075.
数字校园是一种分布式的基础信息共享平台,文中针对数字校园中异构应用系统的信息交换特点,提出采用WebServices在现有的各种异构系统之上构建一个通用的与平台无关的、语言无关的技术层,各种不同平台之上的应用依靠这个技术层可以实现彼此的连接和集成,达到异构系统之间数据无缝传递和交… …   相似文献
5076.
  
在研究透镜成像模型与针孔成像模型的基础上 ,在计算机三维场景成像中实时地模拟出景深效果。算法利用了 MRT( multiple render targets)技术及 GPU的可编程性 ,在渲染时将场景存为纹理 ,并输出了像素的深度值和模糊因子 ,利用模糊因子计算每像素模糊圈大小并… …   相似文献
5077.
下载全文  总被引:1,自引:0,他引:1
为了解决数字博物馆信息孤立的问题,通过构建适合数字博物馆的虚拟空间的方法,将分散、孤立的文物信息实现共享。即这个虚拟的空间的作用是以一定的策略利用互联网进行文物信息的搜集、发现,然后对其进行理解、提取、组织和处理。设计过程中采用多线程、信息再过滤、信息重新分类等技术,对信息获取、… …   相似文献
5078.
下载全文  总被引:1,自引:0,他引:1
目前在具有后向无关联性的本地验证撤销群签名方案中,公钥长度和时间间隔的总数线性相关,撤销列表的大小与时间间隔的总数和被撤销用户的总数线性相关.因此,当时间间隔总数和被撤销成员总数比较大时,所需的存储空间和撤销验证时的开支都比较高.在DTDH和q-SDH假设下,提出一种具有后向无关… …   相似文献
魏凌波  武传坤  朱婷鸽 《软件学报》2009,20(7):1977-1985
5079.
随着P2P 技术在电子商务等领域的广泛应用,对分布在P2P 网络中的数据进行聚集操作的需求越来越迫切.但是,由于P2P 网络的大规模及分散性,这种聚集操作的实现颇具挑战性.而且在很多应用中,P2P 网络中的数据往往是随时间变化的,这进一步增加了聚集操作的难度.现有P2P 网络中的… …   相似文献
程思瑶  姜守旭  李建中 《软件学报》2009,20(7):1800-1811
5080.
下载全文  总被引:1,自引:0,他引:1
Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“… …   相似文献
韦梓楚 《软件学报》2000,11(11):1560-1566
[首页] « 上一页 [249] [250] [251] [252] [253] 254 [255] [256] [257] [258] [259] 下一页 » 末  页»