•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8561-8580项 搜索用时 115 毫秒
[首页] « 上一页 [424] [425] [426] [427] [428] 429 [430] [431] [432] [433] [434] 下一页 » 末  页»
8561.
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。  相似文献
吕建  徐家福 《软件学报》1992,3(4):24-31
8562.
本文是编译者在对Alfred C Weaver先生《The Xpress Transfer Protocol)的初步学习和认识基础上整理的。该文对XTP发展背景、功能及其前景等做了较详细的论述。编译者在网络的管理和维护中所遇到的诸多的协议问题,在Weaver先生的这篇论文中得到了… …   相似文献
8563.
  
基于无线物理层信道特征参数构建密钥是依据无线信道衰落和噪声的客观存在,利用通信双方共享信道的时变性、互易性及唯一性,在评估彼此高度相关的信道参数的基础上协商提取密钥的一种物理层安全\"一次一密\"解决方案,具有无条件安全的属性。由于这方面的研究在现实应用中既可避免现行\"四次握手… …   相似文献
8564.
下载全文  总被引:8,自引:0,他引:8
统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程图(object-process diagram… …   相似文献
8565.
下载全文  总被引:1,自引:0,他引:1
详细对比了传统Min-Min算法的高效特性和Max-Min算法的负载平衡特性,结合Min-Min和Max -Min算法的优点,提出新的具有动态特性的启发式算法(Heuristic task scheduling algorithm based on Min-Min and Max… …   相似文献
8566.
下载全文  总被引:2,自引:0,他引:2
形体的抽壳是构造具有薄壁外壳形状物体的一种有效方法.文章基于边界表示的正则形体,给出体抽壳运算的数学定义,并提出实现体抽壳运算的算法.该算法把形体的三维运算转化到曲面的参数域上,进行二维环之间的合并运算,从而降低了问题的复杂度.  相似文献
左征  胡事民  孙家广 《软件学报》1999,10(7):761-765
8567.
下载全文  总被引:1,自引:1,他引:0
针对维汉统计机器翻译中未登录词较多的现象和维吾尔语语言资源匮乏这一现状,结合维吾尔语构词特征以及相应的字符串相似度算法,提出了一种基于字符串相似度的维汉机器翻译未登录词识别模型。该模型借助短语表和外部词典,与未翻译的维语词求相似度,取相似度最大短语对应的汉语翻译作为此未登录词的最… …   相似文献
8568.
提出了一种普遍适用于网格拓扑压缩的高效熵编码方法.不同于以往的单纯利用算术编码或Huffman编码对遍历网格生成的拓扑流进行编码压缩,对这些拓扑流的每个符号先计算其Huffman编码,然后采用基于上下文(已编码序列的倒数第2个符号作为上下文)的算术编码方法来编码其Huffman值… …   相似文献
8569.
下载全文  总被引:4,自引:0,他引:4
利用多媒体计算机的文本、图象、动画、视频和音频的综合处理能力和其交互式特点,编制的计算机教学测试习题软件,能创设出图文并茂、生动逼真的教学环境,本文结合Authorware特殊的编程方式,利用其系统函数和变量,在由Authorware写就的课件中实现了一定程度的智能性操作过程。… …   相似文献
8570.
下载全文  总被引:3,自引:0,他引:3
本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效… …   相似文献
沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21
8571.
本文讲述了VC 中定制“浏览文件夹”对话框的技术,并通过一个实例,说明了通过定制的“浏览文件夹”对话框选择路径的具体实现方法。  相似文献
8572.
ITU-TG.723.1是一种用于多媒体通信的双码率语音编码标准,几乎在所有的语音网关设备上面g723.1音频编解码器都是必须支持的一个标准编解码器。针对G.723.1音频编解码算法尚未在BF532+uClinux平台上实时实现的情况,基于BF532+uClinux平台提出了该算… …   相似文献
8573.
实现了一个基于程序行为分析的高主动防御能力的文件防篡改软件,详细介绍了其结构和工作原理。该软件把文件操作拦截、程序行为分析、进程内存扫描、文件完整性检查4项技术有机结合,向被动防御模式的文件防篡改软件结构中注入主动因子,提高软件的主动防御能力。  相似文献
吴标  赵方 《计算机系统应用》2009,18(11):114-117
8574.
下载全文  总被引:2,自引:2,他引:0
传统的文本谱聚类需要的文本相似矩阵依赖于向量空间模型,忽略了词与词之间的语义关系,存在词频维数过高、计算代价高等问题。针对这些问题,提出了一种基于潜在语义分析(latent semantic analysis,LSA)的文本相似矩阵构造方法,利用奇异值分解(singular va… …   相似文献
8575.
下载全文  总被引:3,自引:1,他引:2
针对噪声环境下的语音识别问题,对现有的噪声鲁棒语音识别技术进行讨论,阐述了噪声鲁棒语音识别研究的主要问题,并根据语音识别系统的构成将噪声鲁棒语音识别技术按照信号空间、特征空间和模型空间进行分类总结,分析了各种鲁棒语音识别技术的特点、实现,以及在语音识别中的应用。最后展望了进一步的… …   相似文献
8576.
下载全文  总被引:10,自引:0,他引:10
对全局运动估计算法进行研究,提出一种新的快速且鲁棒性较好的全局运动估计算法.全局运动估计是MPEG-4中的sprite编码中的关键技术,其性能将直接影响编码效率和速度.所提出的算法比传统的Levenberg-Marquadet方法要快,而且参数估计比较准确.新算法是基于非线性密度… …   相似文献
贺玉文  赵黎  钟玉琢  杨士强 《软件学报》2001,12(8):1220-1228
8577.
VoIP中G.729B的话音激活检测算法(VAD)通常只是在高信噪比下才会有着良好的检测效果,而在低信噪比下或者有背景噪声的情况下检测效果却不佳。为此详细研究了自适应多速率语音编码(AMR)中的VAD2算法以及将其引入到G.729B中的可行性,并在此基础上对vAD2做了一些优化处… …   相似文献
8578.
下载全文  总被引:1,自引:0,他引:1
不完全信息下的近似推理是知识工程面临的困难问题之一.文章提出了一种具有非单调性质的优先逻辑程序理论.该理论能够对知识的解释进行综合评判,进而优选解释,使其成为现有知识的最佳理论逼近,达到在择优意义下的理论完全化,避免了对知识的完全性及一致性要求.为获取应用领域的优先逻辑程序,基于… …   相似文献
叶风  徐晓飞  王亚东 《软件学报》1999,10(3):304-309
8579.
为了避免蚁群算法在优化搜索过程中易陷入局部最优和早熟收敛,提出一种求解多维背包问题的新型分散搜索算法.该算法是把蚁群算法的构解方法引入到分散搜索算法中,在搜索过程中,既考虑解的质量,又考虑解的分散性.同时,该分散算法还采用了动态更新参考集与阈值接收算法的阈值参数,以控制搜索空间来… …   相似文献
8580.
可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的\"运算\"实现,结合进程代数中算子的概念,定义… …   相似文献
袁博  汪斌强 《软件学报》2012,23(10):2735-2745
[首页] « 上一页 [424] [425] [426] [427] [428] 429 [430] [431] [432] [433] [434] 下一页 » 末  页»