工学 >>> 计算机科学技术 >>> 计算机软件 >>> 软件理论 操作系统与操作环境 程序设计及其语言 编译系统 数据库 软件开发环境与开发技术 软件工程 计算机软件其他学科
搜索结果: 1-14 共查到计算机软件 可解释相关记录14条 . 查询时间(0.054 秒)
Aims and scope: Research progress in computer vision and pattern recognition has lead to a variety of modeling techniques with (almost) human-like performance in a variety of tasks. A clear example o...
VoiceXML技术能有效结合通信网和Internet,为电话用户提供丰富的语音应用。本文提出一种基于OSA/Parlay API(开放式应用编程接口)的VoiceXML解释器的设计与实现方案,能有效屏蔽不同制式电信网络的异构性,具有很好的跨平台通用性。针对解释器中业务状态变化多和网络功能扩展的需要,以state模式优化设计,从而保持整体系统的稳定性和可扩充性。最后说明了实现情况,并以一个具体业务...
论述质量保证在开发过程中的重要地位,所制定的规定和守则,适用于管理人员和具体开发人员,提出在满足质量要求下进行开发,并在开发中确保质量的认识。
在全面系统地分析了长庆石油公司采气厂的高含水气井气藏的储层岩性、物性、孔隙结构、敏感性矿物、裂缝类型密度延伸长度、充填性等基本地质特征的基础上,引用生产动态资料进行了相关的研究,取得了如下成果:(1)研究出了气水两相试井分析理论。a.通过对气水井井底压力分析,得出了含水率对井底压力的影响规律,提出了低、中及高含水情形下所使用的试井分析方法。b.建立了考虑井筒储存和表皮效应影响下的气水两相试井解释模...
该项目形成了以测井曲线数字化SCTR方法、基于Agent的测井曲线信息管理系统、环形MiddleAgent体系结构模型、采用改进的Gaia和OAA相结合的方法轮知道系统分析和设计、开发了基于数据库访问的Agent通讯语言BDACL为核心技术的功能强大的软件系统。主要性能指标:充分发挥智能Agent优势、将软件功能模块有机地结合起来;增加强大的Oracle管理功能,并融入油田的标准数据库管理系统;测...
新型试井解释软件MWTWINV3.0     试井解释  软件       2008/8/18
《新型试井解释软件》(MWTWINV3.0)为新一代试井解释系统,它基于当今最新试井解释理论。MWTWINV3.0它包含油水井试井解释、早期试井解释系统、多井系统中的试井分析、常规试井分析和特征综合试井分析等。该软件系统的方法是在国内外最新的研究成果基础上研究出的。
一种解释学习系统的模型EBL/GA     解释学       2007/12/28
解释学习是演绎式学习方法,而遗传算法是归纳式学习方法,本文提出的解释学习系统模型EBL/GA,结合两者的优点提高了系统的效用. EBL/GA的特点在于:(1)将宏规则的概念加以扩大, 并不局限于可操作的规则. (2)采用结构化遗传算法在庞大宏规则空间内搜索有用的宏规则,以优化宏规则集. (3)采用优胜劣汰的进化思想对宏规则进行有效的管理.这些特点使得EBL/GA 在提高系统效用方面比包括PROD...
广义证据理论的解释          2007/12/27
本文把Dempster使用的随机集合概念推广到了布尔代数上,并用这个推广了的概念讨论了信息源上的不确定性结构与假设空间上的不确定性结构之间的关系.利用这个关系,本文推广了上、下概率的概念, 并用其解释了Guan和Bell提出的广义证据理论,同时还证明了Guan和Bell定义的条件信任函数,实际上是Dempster条件规则的推广.本文的解释方法一方面拓宽了广义证据理论的内容,另一方面亦为广义证据理论...
提出了一种基于痕迹的特征模型多重解释新方法,通过一次分解两次组合形成零件所有可能的制造特征模型.首先,制造特征模型中的特征被分解为最小加工体;然后利用残留在最小加工体中的特征痕迹,重构零件所有可能的制造特征;根据制造特征模型的存在条件,建立制造特征模型方程,该多解方程的解就是零件制造特征模型的多重解释.
利用闭凸集上的投影解释support vector的几何意义,利用支持超平面讨论线性分类器 的设计问题.对线性可分情形,Support vector由一类数据集合闭凸包在另一类数据集合闭凸包上投影的非零系数向量组成,SVM所决定的超平面位于两投影点关于各自数据集合支持超平面的中间.作为应用,文中给出一种设计理想联想记忆前馈神经网络的方法,它是FP算法的一般化.
DJS—130单用户BASIC是一个在我国广泛使用的程序语言。但是,由于它对数组处理的限制,影响了它的使用范围。本文提出了一个实用的改进方案。通过对原解释程序作一些适当的修改,可把数组的体积扩展到整个自由空间。相应地,数组下标通过定标尺语句亦可扩展到最大65536(一维)。扩充后的BASIC解释程序经过一个阶段的实际使用,效果良好。
个稍复杂的程序,在它已投入使用之后若干年,有时还会发现一些漏洞。最近我们发现了某单用户 BASIC解释程序的漏洞,就是一个例子。由于这个程序在国产DJS—100系列计算机上被广泛地应用着,因此有必要提出来,引起大家重视,并及时加以纠正。
代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性.

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...