•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3041-3060项 搜索用时 154 毫秒
[首页] « 上一页 [148] [149] [150] [151] [152] 153 [154] [155] [156] [157] [158] 下一页 » 末  页»
3041.
下载全文  总被引:38,自引:3,他引:38
法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计算证据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度对其进行研究.在这一领域把法律和技术分离的做法会导致法律认… …   相似文献
丁丽萍  王永吉 《软件学报》2005,16(2):260-275
3042.
  总被引:10,自引:2,他引:10
阐述了物理隔离与网络隔离的概念、内涵,对网络隔离技术进行了分类,阐述了实际正在开发的一种网络隔离体系结构,提出了网络隔离技术的参考模型。  相似文献
3043.
  
针对单种群差分进化算法易出现早熟收敛的问题,提出了一种改进的动态多种群并行差分进化算法。该算法首先利用佳点集方法产生初始种群以增强算法的稳定性和全局搜索能力。基于个体的适应度将种群分为三个子种群,并分别执行采用不同实验向量产生策略和控制参数设置的差分进化算法,既保持了各个子种群算… …   相似文献
龙文 《计算机应用研究》2012,29(7):2429-2431
3044.
针对传统网络覆盖模型仅以区域覆盖率作为评价标准,而未考察不同覆盖模型下节点能量有效性问题,在协作覆盖模型的基础上,提出了能量有效的分层协作覆盖模型EEHCCM(energy efficient hierarchical collaboration coverage model),… …   相似文献
杨勇  夏士雄  周勇 《软件学报》2012,23(10):2783-2794
3045.
下载全文  总被引:2,自引:1,他引:1
目的由于当前大多数的追踪算法都是使用目标外观模型和特征进行目标的匹配,在长时间的目标追踪过程中,目标的尺度和形状均会发生变化,再加上计算机视觉误差,都会导致追踪的失误。提出一种高效的目标模型用于提高追踪的效率和成功率。方法采用分割后提取的目标特征来进行建模表示外观结构,利用图像分… …   相似文献
3046.
下载全文  总被引:13,自引:4,他引:13
意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).… …   相似文献
胡山立  石纯一 《软件学报》2000,11(7):965-970
3047.
鉴于IPSec VPN双边穿越NAT的现象广泛存在和目前IETF尚未对此提出任何可行的解决方案这一现状,本文提出了三种方案,并详细介绍了IPSec VPN通过各独立网络上的代理服务器实现双边NAT穿越和借助双方信任的中间服务器实现双边NAT穿越这两种方案的具体实现过程。… …   相似文献
3048.
下载全文  总被引:12,自引:0,他引:12
给出一个经济、实用、有效的安全应用服务器的研制背景、设计方案及其实现技术.该安全应用服务器使得基于美国国防部颁发的可信计算机评估标准和可信数据库管理系统解释中的C2级安全标准的数据库管理系统,达到以强制访问控制为基本特征的B类安全标准.  相似文献
邵佩英 《软件学报》2001,12(1):154-158
3049.
  总被引:9,自引:0,他引:9
全面总结现有的数据降维方法,对具有代表性的降维方法进行了系统分类,详细地阐述了典型的降维 方法,并从算法的时间复杂度和优缺点两方面对这些算法进行了深入的分析和比较。最后提出了数据降维中仍 待解决的问题。  相似文献
3050.
针对H.323视频会议系统设计了一种基于RTP的音视频同步方法,该方法在严格遵守RTP协议的前提下,将音视频数据联系起来通过同一个媒体通道传输,从而达到唇音同步的目的。实验表明:该方法在对图像质量影响很小的情况下,很好地实现了音视频的同步播放,并且具有实现简便,不增加系统负担等优… …   相似文献
3051.
下载全文  总被引:18,自引:1,他引:18
本文介绍了基于JDBC的数据库连接池的工作原理,提出了一个高效的连接使用管理策略,并给出了数据库 应用的具体实现。  相似文献
3052.
基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试.判定是形式规格说明中用于描述前、后置条件的主要形式.分析了基于规格说明的逻辑覆盖测试准则,针对已有的决定性逻辑覆盖测试准则的不足,提出了掩盖性逻辑覆盖测试准则,并对其进行了详细分析.提出了掩盖性逻辑覆盖测试… …   相似文献
钱忠胜  缪淮扣 《软件学报》2010,21(7):1536-1549
3053.
下载全文  总被引:3,自引:1,他引:3
在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大… …   相似文献
蒋鲲  高小山  岳晶岩 《软件学报》2003,14(12):2092-2097
3054.
示波法血压测量的关键是脉搏波的提取以及收缩压、舒张压的判定。就此两方面,改进并实现了非线性的形态滤波器,从脉搏波和袖带压的混合信号中滤得脉搏波,并结合波形特征法和S判别法,实现了收缩压舒张压的判定。通过验证,较单纯的归一化比例系数法,该算法明显提高了测量结果的准确性与重复性。… …   相似文献
3055.
  总被引:1,自引:0,他引:1
为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic fi… …   相似文献
张琛  段振华  田聪 《软件学报》2011,22(11):2625-2638
3056.
研究了从数据密集型Web页面中自动提取结构化数据并形成知识表示系统的问题。基于知识数据库实现动态页面获取,进行预处理后转换为XML文档,采用基于PAT-array的模式发现算法自动发现重复模式,结合基于本体的关键词库自动识别页面数据显示结构模型,利用XML的对象-关系映射技术将数… …   相似文献
3057.
  总被引:2,自引:0,他引:2
提出了一种分块帧差和背景差相融合的运动目标检测方法。该方法利用图像分块建立初始背景模型,将视频图像划分为多个子块,对帧间差分图像的各子块进行自适应阈值检测,完成运动目标的粗分割,采用双阈值背景差分和邻域背景差分法对粗分割出来的运动区域进行细分割。背景采用自适应更新方法,能够克服光… …   相似文献
3058.
提出集成分析来自相同研究问题的不同数据集来识别表达不稳定的基因.把这一问题形式化为一个非线性整数规划问题,三个启发式的算法被提出来求解这一优化问题;进一步地设计了一个统计量来度量基因的不稳定表达程度.提出的方法应用于两个真实数据,实验结果显示:所识别的不稳定基因在两个数据中的表达… …   相似文献
杨昆  李建中  徐德昌  戴国骏 《软件学报》2010,21(9):2148-2160
3059.
  总被引:3,自引:0,他引:3
CISC与RISC是目前微控制器(MCU)设计的两种主要指令体系。从MCU的架构原理入手分析基于这两种指令体系的MCU的各自功能特点,说明对于不同应用系统所需的嵌入式MCU设计所要考虑的基本问题及关键模块的设计方法。最后,以一款自主设计的八位MCU与CISC型微控制器MCS51… …   相似文献
3060.
  
目前的经典多尺度系统Curverlet、Contourlet存在的主要缺点之一是它们无法将连续性与数字世界进行统一处理,而Shearlet系统是目前多尺度领域内唯一满足这一性质同时还提供对图像的最优稀疏表示的多尺度系统。提出一种用限制频带的Shearlet变换来进行多尺度分析,其… …   相似文献
[首页] « 上一页 [148] [149] [150] [151] [152] 153 [154] [155] [156] [157] [158] 下一页 » 末  页»