•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第4351-4360项 搜索用时 67 毫秒
[首页] « 上一页 [431] [432] [433] [434] [435] 436 [437] [438] [439] [440] [441] 下一页 » 末  页»
4351.
下载全文  总被引:4,自引:0,他引:4
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理… …   相似文献
张再跃  眭跃飞  曹存根 《软件学报》2005,16(8):1359-1365
4352.
针对约束多目标优化问题,提出修正免疫克隆约束多目标优化算法.该算法通过引进一个约束处理策略,用一个修正算法对个体的目标函数值进行修正,并对修正后的目标函数值采用免疫克隆算法进行优化,用一个精英种群对可行非支配解进行存储.该算法在优化过程中,既保留了非支配可行解,也充分利用了约束偏… …   相似文献
4353.
为了满足用户复杂查询的需求,开发了一个基于WEB的通用组合查询模块.详细介绍其设计与实现思想,且操作简单,易实现,对开发大型B/S结构的管理信息系统在设计通用组合查询模块时,提供了一个很好的解决方案.  相似文献
4354.
随着视频和互联网技术的发展,视频信息的存储安全问题越来越紧迫。本文针对新一代国际视频压缩编码标准H.264 的编码特点,提出一种将流密码与H.264 熵编码相结合的视频加密算法,通过加密码字索引达到保密目的。实验证明,此算法在安全性、计算复杂度、压缩比以及率失真等方面性能良好,适… …   相似文献
4355.
从图像中提取出头发区域,能够为头发分析、发型趋势预测等任务提供有利的线索.但是,头发的类内模式非常复杂,并且它与其他物体类间也常因光照复杂、表观特征相似等因素而难以分离.因此,头发分割是一个非常具有挑战性的问题.为了一定程度地解决这些问题,提出了一种由粗到细的头发分割方法.首先,… …   相似文献
王丹  山世光  张洪明  曾炜  陈熙霖 《软件学报》2013,24(10):2391-2404
4356.
编码机会路由是有损无线Mesh网络中提供高吞吐量和高可靠性传输的理想方案.该路由机制建立在无线广播的多用户分集优势和随机网络编码的纠删特性之上,为广播MAC的设计引入了新的机会和挑战.基于最优停止理论,研究面向编码机会路由的机会广播信道接入问题,提出一种在接入延迟和信道交付能力之… …   相似文献
蔡顺  张三峰  董永强  吴国新 《软件学报》2012,23(9):2401-2415
4357.
下载全文  总被引:15,自引:0,他引:15
面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechar… …   相似文献
李留英  王戟  齐治昌 《软件学报》2001,12(12):1864-1873
4358.
针对参数未知的分数阶Chen混沌系统,研究其同结构同步以及与分数阶Lü混沌系统的异结构同步问题。利用分数阶系统稳定性理论和拉普拉斯变换理论,设计并证明了系统的反馈控制器,给出了一种分数阶混沌保密通信系统。运用分数阶微积分的预估——校正算法进行数值仿真,验证了所提出方法的有效性。… …   相似文献
王震  孙卫 《计算机应用研究》2012,29(6):2221-2223
4359.
传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫星轨道测算系统中的误差处理策略分别封装为类中的方法和方面,… …   相似文献
崔展齐  王林章  刘慧根  李宣东 《软件学报》2011,22(11):2639-2651
4360.
下载全文  总被引:1,自引:0,他引:1
覆盖网是各种数据分发应用的基础架构.在节点波动的网络环境中实现快速而准确的数据分发,对覆盖网提出了两个要求:高效的数据路由;较强的系统鲁棒性.已有的覆盖网构建方法多侧重于某个方面的优化,因而未能充分权衡数据路由效率与系统鲁棒性.提出了一种混合式数据分发覆盖网--Laurel.La… …   相似文献
郑重  王意洁  马行空 《软件学报》2011,22(4):722-735
[首页] « 上一页 [431] [432] [433] [434] [435] 436 [437] [438] [439] [440] [441] 下一页 » 末  页»