•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第581-600项 搜索用时 84 毫秒
[首页] « 上一页 [25] [26] [27] [28] [29] 30 [31] [32] [33] [34] [35] 下一页 » 末  页»
581.
下载全文  总被引:2,自引:0,他引:2
文章简述了SSL V3.0的分层结构,加密属性,并从握手协议层和记录协议层出发对其安全性做出分析。  相似文献
582.
下载全文  总被引:2,自引:0,他引:2
匹配跟踪作为一种自适应的信号分解算法,为语音和音频正弦建模提供了一个新的框架.分析了基于匹配跟踪的正弦建模过程以及感知加权匹配跟踪正弦建模算法,并在此基础上提出了感知梯度正弦建模方法.该方法结合匹配跟踪自适应的动态特征,利用心理声学模型计算当前合成信号的动态掩蔽阈值,以此为参考提… …   相似文献
张文耀  许刚  王裕国 《软件学报》2003,14(3):467-472
583.
下载全文  总被引:2,自引:0,他引:2
为了实现电站锅炉炉膛火焰的可视化和对炉膛燃烧状况进行在线智能诊断 ,以便为电站运行人员提供有效的运行指导信息 ,研制开发了一套基于 Web的火焰图象处理和燃烧诊断系统 ,并提出了一种采用 Java技术、基于 Web应用的浏览器 /服务器 (B/ S) 3层结构模型 ,同时分析了 … …   相似文献
584.
下载全文  总被引:2,自引:0,他引:2
澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机及G-量子文法和g-量子文法,并阐明了它们与其他量子自动机之间的等价关系.在一定条件下讨论了G(g)-量子自动机与G(g)-量子文法的等价性,从而解决了… …   相似文献
邱道文 《软件学报》2003,14(1):9-15
585.
下载全文  总被引:2,自引:0,他引:2
由 Kass等人提出的主动轮廓模型 ,本质上是一条能量最小化的轮廓曲线 .它作为一种全新的采用自上而下机制的图象目标提取方法 ,由于它有效地利用了高级信息 ,从而提高了目标提取的速度和准确性 ,已经在数字图象处理和计算机视觉领域得到了广泛的应用 .原始的主动轮廓模型算法可以分为构… …   相似文献
586.
下载全文  总被引:2,自引:0,他引:2
青鸟网上构件库系统通过对可复用构件的管理,支持软件企业进行基于构件的软件开发.系统在提高开放性的同时,往往会带来安全性以及知识产权方面的问题.为了解决这些问题,在青鸟网上构件库系统中采用基于角色的访问控制机制,并将构件描述信息与构件实体区别对待.为构件库系统及其所管理的构件定义了… …   相似文献
587.
下载全文  总被引:2,自引:0,他引:2
针对互操作所导致的异构系统间数据交换构造STEP模型映射算法,为基于不同STEP应用协议的CAX系统集成提供了一种方法讨论,首先对STEP/EXPRESS数据模型作出形式化定义,在此基础上提出了两种STEP模型映射技术-静态映射与动态映射,并阐述了基于EXPRESS-X的实现及其… …   相似文献
杨子江  李善平等 《软件学报》2002,13(8):1643-1651
588.
下载全文  总被引:2,自引:0,他引:2
归纳了ORDBMS(object-relationaldatabasemanagementsystem)主动性规则的一般描述形式,对规则各种语义、规则继承、规则操作、多规则触发以及规则的级联触发进行了全面的探讨.提出并实现了一种适用于ANGEL系统的简化E-C-A(event-c… …   相似文献
李红燕  李战怀  唐世渭 《软件学报》2001,12(9):1329-1335
589.
下载全文  总被引:2,自引:0,他引:2
本文介绍了如何利用Visual Basic开发数据库软件,详细讨论了Data控件的各种操作以及利用SQL实现更加复杂的数据库操作。  相似文献
590.
下载全文  总被引:2,自引:0,他引:2
对于图的非同构问题,设计一种交互式零知识的证明协议,许多文章都有讨论,但都是不完善的,本文给出了一个完整的关于图的非同构零知识交互证明协议.  相似文献
郭宝安  卢开澄 《软件学报》1997,8(7):481-485
591.
下载全文  总被引:2,自引:0,他引:2
本文论述了网络技术中典型的以太网技术的发展过程,并就当前大家关心的网络交换技术的应用环境以及从不同的角度对交换器的分类作了论述。  相似文献
592.
下载全文  总被引:2,自引:1,他引:2
本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.  相似文献
宋立彤  金成植 《软件学报》1996,7(5):306-313
593.
下载全文  总被引:2,自引:0,他引:2
CASEC++语言是面向对象的CASE环境青鸟Ⅱ型系统中设计、实现的一个与C++完全兼容并支持永久对象的面向对象程序设计语言.在青鸟Ⅱ型系统中,它是对象管理系统OMS(objectmanagementsystem)的操纵语言和所有集成工具的编程语言,同时也是支持最终用户的通用的编… …   相似文献
594.
下载全文  总被引:2,自引:0,他引:2
用面向对象方法管理框架系统中的工程和设计数据已成为大多数人的共识.本文对该系统中的Server/Client结构和并发控制、长事务管理、网络上的对象版本管理等进行了论述,提出了想法和实现.该系统已应用到电子CAD框架系统中.  相似文献
595.
下载全文  总被引:2,自引:0,他引:2
为避免BP算法本身易陷入局部极小值的缺陷,本文将具有新组合激活函数的BP法与传统的BP方法(标准和带动量项)分别与统计最优化方法相结合组成混合算法,将他们分别应用于天气预报和贷款之中,并进行了仿真比较,在预报准确率和学习速度方面获得了比较满意的结果.本模拟程序在Turbo-Pas… …   相似文献
姜天戟  袁曾任 《软件学报》1996,7(6):379-384
596.
下载全文  总被引:2,自引:0,他引:2
二元可满足性问题是一个多项式可解的问题.本文首先证明了该问题有解的充要条件,然后给出了判定该问题的一个新的多项式算法.如果判定某个表达式是可满足的话,那么求解算法不需要任何回溯就能准确地给出它的每个解.本文试图通过对二元可满足性的研究为研究其它问题提供一点启示.  相似文献
597.
下载全文  总被引:2,自引:0,他引:2
本文系统地提出一种严格的软件开发方法,它基于逐步精化和重用组合的程序设计思想,将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体,使软件开发中的“创造”和“演算”得到合理的折衷.本文已初步实现了面向该方法的实现工具.  相似文献
598.
下载全文  总被引:2,自引:0,他引:2
专家们认为,提高软件质量是核心问题,因为软件质量越高需要的维护越少人而为新的设计解放人力资源。这就是说,经费要重新分配,把资金投放在开发过程的前端,而在测试阶段可大大节省。一个程序的每次变化一般都使其更加复杂。因此准序变化越少,所保持的结构越好。质量功能调配(QFD)是用于提高过程质量的一种工具,它既适用于制造业和服务业,也能用于提高软件质量。… …   相似文献
599.
下载全文  总被引:2,自引:0,他引:2
本文介绍了DeDB的递归查询算法,提出为减少冗余及回溯计算的基本原理.根据该原理,提出了一种高效的递归查询算法GCQA,它包括2部分,一是预编译算法;另一个是递归编译算法.实验结果表明这种算法是高效的.  相似文献
怀进鹏 《软件学报》1994,5(7):44-50
600.
下载全文  总被引:2,自引:1,他引:2
本文给出堆整序的一个新算法,其实用价值比以前的算法效率提高一倍,其理论意义是在复杂性的数量级和主项系数方面已具有最优性能.  相似文献
[首页] « 上一页 [25] [26] [27] [28] [29] 30 [31] [32] [33] [34] [35] 下一页 » 末  页»