•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7201-7220项 搜索用时 104 毫秒
[首页] « 上一页 [356] [357] [358] [359] [360] 361 [362] [363] [364] [365] [366] 下一页 » 末  页»
7201.
提出了一种提高多播可扩展性的新思路——将多播可扩展性作为一个最优化目标引入到多播路由算法的设计中,采用多目标最优化路由算法,提高现有多播可扩展性方法的效率.采用多目标最优化路由设计方法对AM(aggregated multicasc)和DTM(dynamic tunnel mul… …   相似文献
胡光岷  CHANG Rocky 《软件学报》2008,19(6):1546-1554
7202.
下载全文  总被引:3,自引:0,他引:3
自动指纹识别系统AFIS(automatedfingerprentidentificationsystem)要求对支持该系统的数据库中的指纹图象数据进行压缩,以提高系统实用性,其恢复图象要求有很高的保真度,以避免丢失细节.同时,在实用系统中,还需要有较快的图象恢复时间.本文总结一… …   相似文献
倪林  张长水  荣钢  边肇祺 《软件学报》1996,7(5):272-279
7203.
针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表达能力,便于仿真领域的用户在模型… …   相似文献
夏薇  姚益平  慕晓冬 《软件学报》2013,24(3):421-432
7204.
  总被引:27,自引:2,他引:27
软件agent的研究已经在计算机科学的各个领域引起极大的兴趣.由于软件agent的研究者来国许多不同颖域,使得软件agent的合义也具有多重性,但有一点是明确的,即软件agent是计算机程,具有自主性、协作性,并且能帮助入类完成一些特定的任务。  相似文献
刘弘 《计算机科学》1998,25(2):24-28
7205.
下载全文  总被引:1,自引:0,他引:1
目前,软件可靠性研究和实践者普遍感到,由于缺乏失效数据,严重影响了工作的进展.该文通过研究和分析软件测试与软件可靠性度量之间的关系,提出了一种基于测试执行的失效数据模型JBFDM(Jade Bird failure data model),并探讨了基于此模型的数据收集和管理技术.… …   相似文献
方菲  王立福  杨芙清 《软件学报》1999,10(12):1233-1237
7206.
在移动社交网络中,为保证交友匹配过程中用户的隐私,提出多密钥混淆隐私保护方案.利用代理重加密技术,对用户密钥密文进行重新加密,实现了以扩充交友访问策略条件的交友匹配,并保证密文转换过程中用户的隐私不被泄露;利用随机密文组件加密技术,实现了对真实明文对应加密文件的信息隐藏,提高了攻… …   相似文献
7207.
  
针对软件可信演化中对软件可信性相关属性的需求,提出一种考虑历史数据的软件可信演化分析方法。通过收集软件演化的历史数据,提取软件可信演化相关属性并进行量化,建立软件可信演化着色原则,构建软件可信演化分析图。实验结果表明,通过对软件可信演化分析图中演化单元的观察,可实时、有效、直观地… …   相似文献
赵倩  冯光升  李莉 《计算机科学》2013,40(5):173-176
7208.
eMule网络是近年来越来越流行的文件共享对等网络.一直以来,文件源的准确定位是文件共享对等网络的一个关键步骤;此外,不健康内容的肆意传播也使网络监管成为必需.这些都导致准确确定eMule网络中节点的需求,同时促使eMule网络最佳节点标识问题的提出.然而,eMule网络中广泛使… …   相似文献
刘祥涛  程学旗  李洋  陈小军  白硕  刘悦 《软件学报》2011,22(9):2121-2136
7209.
基于目标的SAR图像压缩关键问题是将自动目标检测与图像压缩算法相结合。提出了以db4小波进行小波域多分辨率恒虚警率(CFAR)检测并嵌入图像编码中,在压缩有损量化前检测出目标区,推导了重要小波系数掩膜公式并据此将每个子带中的系数分成目标与背景两个序列,对目标序列以高比特率ECTC… …   相似文献
7210.
无适当使用软件测量将可能引起软件低品质且高成本的窘态.凝聚力是软件品质重要因子之一如同维护度,可靠度和再利用度.软件模组品质的优劣必影响整体系统之品质的优劣.为了设计和维护高品质软件,软件专案经理人和软件工程师无可避免需引用软件凝聚力测量以衡量和产生高品质软件.提出以活路跃变量及… …   相似文献
李明奇  施国琛  黄德胜  邓有光 《软件学报》2001,12(10):1447-1463
7211.
下载全文  总被引:9,自引:0,他引:9
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统… …   相似文献
杜玉越  蒋昌俊 《软件学报》2002,13(8):1698-1704
7212.
使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定律在形式化实时程序和验证实时性质中起着重要作用.最后还给出了时间化RSL的一些代数定律.这些定律可以从… …   相似文献
李黎  何积丰 《软件学报》2001,12(6):802-815
7213.
H.264/AVC是最新的视频压缩编码标准,在帧内预测过程中,采用了率失真优化技术(RDO)进行预测模式的选择,使编码性能得到显著提高,但同时编码复杂度和计算量也明显增加。研究了现有的典型快速帧内预测算法,并提出一种融合宏块平坦性特征和4×4块纹理特征的快速帧内预测算法。算法通过… …   相似文献
7214.
下载全文  总被引:1,自引:0,他引:1
总变差滤波能保持边缘,4阶PDE滤波能在图像的光滑区域消除阶梯现象,为此提出了一个用于图像去噪的基于偏微分方程(PDE)的组合模型,把总变差(toval varition,TV)滤波和一个四阶PDE滤波通过某一权函数τ进行了加权组合。该组合模型很好地保留了二者的优点。数值试验结果… …   相似文献
7215.
为了能够提高行驶速度,保障行车安全,提高行驶环境认知,设计了一个基于单目视觉的车辆自适应道路、前车检测、超车指导系统,其主要应用于双车道结构化道路,而且在晴天与阴天不同天气情况下,车道线以及深色、浅色车辆均可识别,并可跟踪、超越前车。实验结果表明,该系统可以应用于不同环境背景下,… …   相似文献
7216.
下载全文  总被引:6,自引:0,他引:6
利用NOAA AVHRR时间序列数据集进行中国植被绿波随季相变化的规律分析.研究结果表明,植被绿波在一年中沿纬和经度变化有很大差异,并有一定的规律.在同一经度,绿波随着季相变化由南向北推进.在同一纬度绿波的强度与一年的降雨量有密切关系,绿被指数由东向西逐渐减小.从每月绿度等级图宏… …   相似文献
7217.
下载全文  总被引:11,自引:0,他引:11
模糊目标信息系统(fuzzy objective information systems,简称FOISS)在许多实际应用中存在,这种系统上的知识简化不能采用Pawlak信息系统上的约简方法.因此,提出了模糊目标信息系统上的口分布约简、α最大分布约简、α分配约简、粗糙分布约简,并给… …   相似文献
管涛  冯博琴 《软件学报》2004,15(10):1470-1478
7218.
下载全文  总被引:2,自引:1,他引:1
本文探讨如何通过类库将并发性引入顺序面向对象语言.以C++为例,在并发类库中提供并发类及相应工具,使之支持分布并行的面向对象程序设计.本文介绍并发类库及语言底层支撑系统的设计与实现,最后给出初步测试结果.  相似文献
杨延中  王为  田籁声 《软件学报》1998,9(6):401-404
7219.
本文给出了HOS方法学中基本控制结构JOIN、INCLUDE、OR和复合控制结构COJOIN、COINCLUDE及COOR的语义构造规则.以此为基础,提出了一种层次武功能理解方法,并讨论了其在HOS规格说明的语义验证和复用方面的应用.  相似文献
吕建  费宗铭 《软件学报》1995,6(12):734-741
7220.
  总被引:24,自引:2,他引:24
一、引言软件复用已经融入软件工程研究的主流,被视为是使软件开发真正走上工程化和产业化道路的希望。人们在实践中认识到软件复用是一个涉及到技术、方法学、管理和文化等多个方面的复杂问题。除了日常隐含发生的对专业知识和经验的复用之外,最典型的复用活动表现为借鉴、理解、修改和集装各种不同抽… …   相似文献
[首页] « 上一页 [356] [357] [358] [359] [360] 361 [362] [363] [364] [365] [366] 下一页 » 末  页»