•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7201-7220项 搜索用时 470 毫秒
[首页] « 上一页 [356] [357] [358] [359] [360] 361 [362] [363] [364] [365] [366] 下一页 » 末  页»
7201.
  
软件测试能够为软件可靠性提供一种运行前评估.为减少达到一定可靠性目标所需要的测试用例的数量,普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中.目前已经提出几种理论模型但是少有试验验证.本文对测试系统的定义进行了扩展,从规范、实现和测试之间的关系,研究了影响软件测试有效… …   相似文献
赵亮王建民  孙家广 《电子学报》2005,33(B12):2493-2497
7202.
下载全文  总被引:4,自引:0,他引:4
如何设计高阶统计安全的大容量隐写算法是当前隐写研究的难点和热点。该文基于Markov链安全性指标和动态补偿的思路,提出一种二阶统计保持的隐写算法。该算法在不降低嵌入量的前提下尽量保持了载体图像的二阶统计特性。实验结果表明,该算法在较大容量数据嵌入过程中,能较好保持二阶统计特性,取… …   相似文献
7203.
下载全文  总被引:3,自引:0,他引:3
分布式客户/服务器计算环境是90年代分布处理的主流计算环境.应用需求的发展使分布式客户/服务器计算环境面临许多新的技术问题,包括应用级系统集成问题、智能服务问题和支持协同工作问题等等.本文以银河分布式客户/服务器计算机系统YHCS为背景,讨论YHCS分布计算环境的构成及主要设计技… …   相似文献
吴泉源  王怀民 《软件学报》1997,8(10):745-751
7204.
  
提出了一种称为可纳子目标排序(admissible subgoal ordering,简称ASO)的排序关系,给出了可纳排序的形式化定义并讨论其对增量式规划的重要性.随后介绍了原子依赖关系理论和原子依赖图技术,能够在多项式时间内近似求解可纳子目标排序关系.最后给出了一种计算可纳子… …   相似文献
7205.
下载全文  总被引:3,自引:2,他引:3
建立一种基于人类视觉感知噪声模型的彩色图像质量评价方法用以评价含噪声图像的彩色图像质量。该方法用视觉感知图像质量的质量四参数:信息熵、平均对比度、平均灰度和关键区域图像的标准差,通过实验建立综合的彩色图像质量评价模型,称为最好质量彩色图像评价函数。该函数的最大值对应最好质量彩色图… …   相似文献
7206.
下载全文  总被引:1,自引:0,他引:1
基于增强现实技术,将实物用户界面应用到虚拟装配系统中,在单摄像头的条件下,将虚拟零件模型加载至实物标记上,用户通过操作实物标记来控制虚拟模型,完成装配过程。相比于传统的虚拟装配交互方式,增强了用户操作的切实感。根据装配任务需求设计了4类实物标记。提出了3种交互技术,包括接近性原理… …   相似文献
7207.
  
秘密双向认证协议(又被称为秘密握手)允许同一组织内群成员间进行匿名的相互认证和通信,但允许群成员把认证能力临时授权给一个可信代理者的功能实现并没有深入研究.为了实现更有效的可授权功能,提出了一个新型可授权的秘密双向认证协议.在该协议中,允许组织外一个被授权且可信的代理者和组织内的… …   相似文献
7208.
下载全文  总被引:6,自引:0,他引:6
提出了一种新的一维变形变换方法并将之应用于手写体汉字的整形变换。尽管不同书写风格的同不类手写体汉字存在较大的随意性,但它们的拓扑结构是一致的,因此可将手写体汉字看成是一种可变形物体。通过选择适当的变形参数,该变形变换可以将一个汉字变形为24种不同的收写风格,利用一个变形系数可控制… …   相似文献
7209.
下载全文  总被引:9,自引:0,他引:9
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统… …   相似文献
杜玉越  蒋昌俊 《软件学报》2002,13(8):1698-1704
7210.
下载全文  总被引:1,自引:0,他引:1
精确的纹理映射是体现模型视觉真实感的关键因素。本文在阐述纹理映射技术原理的基础上,探讨了基于3维激光扫描设备进行3D重建过程中,实现具有高度真实感的纹理映射所遇到的实际问题,提出了基于纹理的模型重构和纹理光照连续性重建算法,解决了纹理图像空间不连续、光照不连续等因素对模型真实感的… …   相似文献
7211.
下载全文  总被引:6,自引:0,他引:6
在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发.Z是一种基于数学表示的软件规格说明方法.前置条件的简化是Z规格说明方法中一种标准的检查,本文讨论了Z规格说明中关于操作的前置条件及其计算.提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产… …   相似文献
缪淮扣 《软件学报》1997,8(9):709-715
7212.
下载全文  总被引:17,自引:1,他引:17
近来,数据采掘的研究已从关系型和事务型数据库扩展到空间数据库.空间数据采掘是一个很有发展前景的领域,其中空间数据分类的研究尚处在起步阶段.该文分析和比较了现有的几个空间数据分类方法的利和弊,提出利用Rough Set的三阶段空间分类过程.实验结果表明,该算法对于解决包含不完整空间… …   相似文献
石云  孙玉芳  左春 《软件学报》2000,11(5):673-678
7213.
  总被引:1,自引:0,他引:1
随着Mashup服务的快速发展,如何在海量的服务集合中找到用户感兴趣的、服务质量高的Mashup服务,成为一个难题。针对该问题,提出一种基于信息熵多属性决策的Mashup服务推荐方法。首先建立用户兴趣模型和Mashup服务的质量(Quality of Service,QoS)模型… …   相似文献
7214.
下载全文  总被引:43,自引:0,他引:43
本文说明了以伪折射率为相似参量用相似理论估算蒸发波导高度的理论方法.由于海面附近折射率梯度变化可近似认为与气压无关,所以定义了伪折射率,推导了其相似公式,得到了蒸发波导高度满足的方程和一般文献都未给出的M剖面计算公式.本文给出了本方法的计算机模拟典型结果、利用实测海洋资料计算的蒸… …   相似文献
7215.
  
提出了面向语音关键词检测的多尺度声学模型建模框架,基于判决树的自动音素聚类生成了大尺度音素集,利用HMM声学模型训练技术生成了大尺度音素声学上下文相关的背景模型,提高了废料语音的建模精度,还给出了此框架下共享HMM状态的高效搜索空间构造方法,关键词识别准确率平均提高了绝对6.9%… …   相似文献
7216.
下载全文  总被引:4,自引:0,他引:4
快速搜索任意形状二维目标的质心,一直是模式识别,目标跟踪等领域中的关键问题,通过对矩方法的进一步分析,提出基于目标质心与目标上各点间蹭之和取得最小值这的一特性的质心快速搜索策略。  相似文献
7217.
为了正确快速地进行超声三维图像重建,讨论了有限衍射波束三维脉冲回波成像新方法,即使用有限衍射阵列声束一次发射成像,不仅成像区域声束不会发生扩散,而且可得到高信噪比、高帧率的超声三维图像。针对成像后由获取的数据归一化形成的空间散乱数据场,提出了一种新的插值三维重建算法,该算法从散乱… …   相似文献
7218.
  总被引:3,自引:0,他引:3
由于单一水平集只能通过其符号表达目标和背景两个区域,因此采用单水平集的Chan和Vese(C-V)模型无法分割出目标内部的子目标.为此,提出了基于C-V模型的目标多层次算法.首先给出了目标多层次分割策略;然后,提出了实现本策略的关键技术--背景填充技术,并从其视觉原理、技术实现和… …   相似文献
7219.
下载全文  总被引:2,自引:0,他引:2
图像金字塔是处理和分析数字图像的重要工具。以图像金字塔为研究对象,旨在减小图像金字塔的存储量,同时解决恢复数据时的精度截断问题。从同一思想出发,提出了两种新的金字塔结构:类均值金字塔与类高斯金字塔;它们都是通过对子像素的简单运算来求得父像素,而这种运算不存在精度截断问题,也不需要… …   相似文献
7220.
下载全文  总被引:5,自引:0,他引:5
人们对孤立的手写体汉字字符的离线 识别做了大量的研究工作,而走向实用化的进展并不快.除了单字识别率不理想以外,从文本 中正确分割出单个汉字字符也是一个主要难题,因为字符的识别离不开正确分割.利用汉字的 基本结构特征,根据两个组件之间的上下、左右和包围关系,对组件进行合并形成完整的… …   相似文献
吕岳  施鹏飞  张克华 《软件学报》2000,11(11):1554-1559
[首页] « 上一页 [356] [357] [358] [359] [360] 361 [362] [363] [364] [365] [366] 下一页 » 末  页»