•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第6901-6920项 搜索用时 121 毫秒
[首页] « 上一页 [341] [342] [343] [344] [345] 346 [347] [348] [349] [350] [351] 下一页 » 末  页»
6901.
  总被引:1,自引:0,他引:1
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度… …   相似文献
王蓁蓁 《计算机科学》2014,41(3):12-16,35
6902.
  
研究了移动无线因特网中基于QoS的切换支持机制,该机制采用移动台辅助切换策略和基于底层信息的动态切换准则,软、硬切换有机结合,同时辅以重路由、频繁切换QoS控制与缓存等技术,为用户QoS保证提供支持。原型系统实现表明,该机制是可行和有效的。  相似文献
6903.
  总被引:1,自引:9,他引:1
该文是关于“中国图形工程”年度文献综述系列之七。为了让图形学及其相关领域内的理论研究和开发人员对中国图形学研究进展有一个全面的了解,以及为读者查阅相关文献提供方便,对2001年发表的有关计算机图形学的主要论文根据内容进行了分类和统计,这些学术研究和技术应用论文是从图形学论文发表比… …   相似文献
6904.
下载全文  总被引:28,自引:3,他引:28
骆华俊  唐稚松  郑建丹 《软件学报》2000,11(8):1024-1029
6905.
  总被引:5,自引:0,他引:5
自由立体显示技术是指不需佩戴立体眼镜等附属设备的3维立体显示技术.它可分为全息立体技术、3维集成成像技术、体3维显示技术和基于视差的自由立体显示技术.其中体3维显示技术和基于水平视差的自由立体技术发展很快.本文首先论述了静态体3维显示技术和扫射体3维显示技术两类不同的体3维显示技… …   相似文献
6906.
  总被引:4,自引:0,他引:4
图象增强技术主要是通过调整图象的参数来改善图象质量,以获得更佳的视觉效果.为了获得色彩更加鲜艳,细节更加清晰的彩色图象,因而根据人眼视觉对亮度和颜色不同的敏感特性,按照视觉心理选择了HSV彩色空间,并在此空间中,提出了一种基于小波变换的彩色图象增强算法.该算法首先进行了自适应亮度… …   相似文献
6907.
主要目的是研究NP与PP的关系。引入了一个NP的等价的随机定义。基于此等价定义,定义了另一个随机复杂性类:SUPER-NP。虽然SUPER-NP与NP非常接近,但令人吃惊的是发现了PP包含于SUPER-NP,从而NP包含于PP包含于SUPER-NP。考虑到NP=PCP(log,O… …   相似文献
赵运磊  朱洪  赵一鸣 《软件学报》2001,12(7):967-970
6908.
下载全文  总被引:1,自引:1,他引:0
为了提供较大的可调信息嵌入量和保持载密图像良好的视觉质量,提出一种基于模运算及其周期性特点的安全隐写算法。首先将秘密信息流转为n进制信息流表示,然后根据余数循环的特点,应用具有安全特性的模函数将一位n进制信息嵌入载体图像的一个像素中,直至信息嵌入完毕。选择不同的参数n可以得到不同… …   相似文献
6909.
下载全文  总被引:1,自引:0,他引:1
适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,另一方面也缺乏有效的框架来同时考虑如何应对已知的环境变化和未… …   相似文献
刘春  张伟  赵海燕  金芝 《软件学报》2015,26(4):713-729
6910.
  
不完备形式背景中包含有不确定性信息,其上的知识表示与完备形式背景上的知识表示既有区别又有联系.为了研究两者的内在联系,定义了偏小近似形式背景与偏大近似形式背景,以及偏小近似概念格与偏大近似概念格,提出了偏大近似概念格上粗糙概念的识别方法,研究了偏小近似概念格与偏大近似概念格之间的… …   相似文献
智慧来 《计算机科学》2015,42(1):276-278
6911.
  
减少或者避免重复劳动是应对软件危机的一个重要方法.对软件重用技术进行研究,以避免重复劳动为目标,提出利用群体智慧的间层模型来试图解决软件危机问题.提出的柠檬框架是间层模型的一个实现,具有一定的实用性.同时柠檬框架也是正在进行的一个项目.  相似文献
6912.
  
针对主机标识协议(HIP, host identity protocol)实际部署应用的相关问题,设计实现了一种基于HIP的安全IP通信系统(HIPSCS, HIP based secure communication system)。该系统通过将主机标识(HI, host id… …   相似文献
周敏  陈鸣  邢长友  蒋培成 《通信学报》2012,33(Z2):270-275
6913.
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法,得到有序实数加法理论的一个量词消去的判定过程.在此基础上构造出一个新的、更为精细的判定方法.并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱.与E.D.Sontag的类似结论比较,… …   相似文献
薛锐 《软件学报》2001,12(7):1088-1093
6914.
下载全文  总被引:2,自引:0,他引:2
建立Agent思维状态模型是Agent理论 研究的一个重要课题.结合效用提出一种Agent思维状态模型BDICU(belief desire intentio n combined with utility),使Agent的行为具有逻辑理性和决策理性,为副作用问题提供了 解决方法… …   相似文献
徐晋晖  石纯一 《软件学报》2000,11(11):1522-1526
6915.
  总被引:7,自引:0,他引:7
准确、灵活的叶片模型对植物建模具有重要的意义,但目前大部分植物叶片曲面模型没有提供足够的准确性和细节描述。为了给生成准确、细致的叶片几何模型提供灵活的方法,即首先利用B样条曲线来描述叶片的边缘轮廓和主脉;然后用Delaunay三角化方法对叶片曲面进行网格化;最后通过改进Loop细… …   相似文献
6916.
讨论翻转距离星树问题,将3SAT问题归约到目标序列部分固定的翻转距离星树问题,证明实例中当有向符号序列个数为3时,若目标序列符号顺序固定,且有部分符号方向给定,则只确定其余符号方向以使得目标序列与已知3条给定序列翻转距离之和最小所对应的翻转距离星树问题也是NP-难解问题.同时,还… …   相似文献
6917.
下载全文  总被引:4,自引:1,他引:3
在底层网络通信协议中使用内存映射机制为用户层应用提供了虚拟网络界面,使用户层能够方便地访问快速通信设备;通过减少系统软件的协议处理开销,有效地减少了网络通信的延迟.讨论了通信协议中的内存映射机制的设计思想和实现过程,提出了通信区的概念,利用通信区有效地完成核心与用户之间的数据交换… …   相似文献
6918.
基于实例的机器翻译(example-based machine translation,简称EBMT)使用预处理过的双语例句作为主要翻译资源,通过编辑与待翻译句子匹配的翻译实例来生成译文.在EBMT系统中,翻译实例选择及译文选择对系统性能影响较大.提出利用统计搭配模型来增强EBM… …   相似文献
刘占一  李生  刘挺  王海峰 《软件学报》2012,23(6):1472-1485
6919.
下载全文  总被引:1,自引:0,他引:1
薄板样条插值TPS是基于标记点的医学图像弹性配准中常用的插值方法,但该方法的扭曲作用是全局的,对于局部扭曲配准会导致匹配精度下降。基于径向基函数的图像变换方法可以解决局部扭曲配准问题,但如何选取径向基函数的参数还没有很好地解决。本文针对以高斯基函数为径向基函数的局部弹性变换问题,… …   相似文献
6920.
本文提出了一种新的不确定性推理方法HUIM.这种方法把基于假设的真值维持系统(ATMS)和Dempster—Shafer的证据理论有机地结合在一起,使得ATMS这种符号代数系统可用来处理以数值形式表示的不确定性信息.将该方法应用于基于规则的系统,可以弥补这类系统在不确定性推理方面… …   相似文献
康建初  王江 《软件学报》1994,5(7):56-64
[首页] « 上一页 [341] [342] [343] [344] [345] 346 [347] [348] [349] [350] [351] 下一页 » 末  页»