搜索结果: 151-165 共查到“知识库 编译系统”相关记录223条 . 查询时间(3.985 秒)
广义证据理论的解释
2007/12/27
本文把Dempster使用的随机集合概念推广到了布尔代数上,并用这个推广了的概念讨论了信息源上的不确定性结构与假设空间上的不确定性结构之间的关系.利用这个关系,本文推广了上、下概率的概念, 并用其解释了Guan和Bell提出的广义证据理论,同时还证明了Guan和Bell定义的条件信任函数,实际上是Dempster条件规则的推广.本文的解释方法一方面拓宽了广义证据理论的内容,另一方面亦为广义证据理论...
扩展面向对象编程(XOOP)的理论和方法
面向对象 继承 归纳 编程语言
2007/12/27
针对使用继承的传统对象系统在映射真实世界的对象关系时遇到的各种困难，提出一种普遍的软件工程方法，即扩展的面向对象方法(XOO)，它通过支持双向派生、归纳、更一般的多态机制等技术，来补足继承机制的不足，并进一步增强对象方法在描述对象关系方面的能力.作者强调了虚归纳是一种普遍的软件工程方法，它使得归纳与继承的高效结合成为可能，可以作为重用已有类库代码和与继承类层次结合的有效方法.文中还描述了XOOP的...
改进的算术编码
2007/12/27
算术编码是基于统计的、无损数据压缩效率最高的方法.对于算术编码的进位问题,目前广泛使用的是Rissanen和Langdon提出的比特填充技术.本文提出进位陷阱技术,不必人为插入填充比特就可以解决进位问题,因而能够得到一个确切的数,并使解码端得到很好的简化.以进位陷阱的思想为基础,本文提出算术编码的一种简捷的终止技术,称为中值终止技术,并重新构造了算术编码和解码算法.本文讨论了算术编码的分析性质,得...
基于痕迹的特征模型解释技术研究
特征识别 特征痕迹 制造特征 体分解
2007/12/27
提出了一种基于痕迹的特征模型多重解释新方法，通过一次分解两次组合形成零件所有可能的制造特征模型.首先，制造特征模型中的特征被分解为最小加工体；然后利用残留在最小加工体中的特征痕迹，重构零件所有可能的制造特征；根据制造特征模型的存在条件，建立制造特征模型方程，该多解方程的解就是零件制造特征模型的多重解释.
基于函数级FPGA原型的硬件内部进化
可进化硬件 染色体表达 函数级FPGA 内部可进化硬件
2007/12/27
电路进化设计是现阶段可进化硬件（EHW）研究的重点内容.针对制约进化设计能力的主要“瓶颈”，该文提出并讨论了一种简洁高效的内部进化方法，包括基于函数变换的染色体高效编码方案、与之配套的函数级FPGA原型和进化实验平台以及在线评估与遗传参数自适应方法等.交通灯控制器、4位可级联比较器等相对复杂且具应用价值的电路的成功进化，证明该方法适用于组合、时序电路的进化设计，并可显著地减少运算量，提高进化设计的...
基于DCT子空间失真测度的快速矢量编码算法
2007/12/27
在本文中,我们介绍了一种基于离散余弦变换(DCT)子空间失真测度的快速矢量编码算法.该算法利用DCT子空间映射,将失真测度维数从16降至4,从而使编码计算复杂度降为1/4,并且结合部分失真算法进一步减小了编码计算复杂度.同时本文提出的最小覆盖集搜索算法大大改善了子空间失真测度算法等非最优矢量编码算法的信噪比特性. 测试结果表明, 相对于采用欧氏测度的穷尽搜索编码算法,该算法运算时间减少85—88%...
提出一种多维函数的通用进化逼近方法.通过构造一类结合采样函数和样条函数优点的基本函数族，提出一种单调函数逼近方法，并借助采样函数的有界变差特点，将该方法推广到一般函数情形，这两种函数的逼近都可通过遗传算法完成.该方法的优点在于可以简单一致地推广到更高维函数的逼近，并使逼近复杂度与维数成线性关系，降低学习算法难度.试验表明，该方法是有效的.基于文中单调函数逼近技术提出的一种新的决策策略学习方法已成功...
动态Sprite编码的研究与改进
MPEG-4 基于对象的编码 动态Sprite编码 全局运动估计
2007/12/27
Sprite图像是视频对象VO(Video Object)在一段图像序列中所有可见部分的组合,是MPEG-4提出的重要的概念之一.它利用了图像的镶嵌技术和图形的几何变换技术,极大地提高了编码效率.本文研究了MPEG-4的验证模型中的动态Sprite的编码算法后发现,原有算法在视频对象做快速运动时,其编码效率是不能令人满意的.通过扩大全局运动估计的搜索区域、
预测当前帧的运动参数和减少迭代次数等改...
带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用
2007/12/27
本文提出了一种形式表示带时间参数布尔函数(Timed Boolean Function或TBF)的新方法——带时间参数的二叉判定图(Timed Binary Decision Diag-ram或TBDD),并将其应用于电路时间延迟的准确计算. TBDD是传统布尔函数的符号表示——有序二叉判定图(OBDD)的扩展,可以统一地描述电路的逻辑功能和时间特征.由于采用了有效的压缩和节点共享策略,在典型的应...
深入研究了基于模型的编码方法,提出了基于内容的网格模型生成方法, 通过从边到点的模型生成思想,能得到更好地反映图像结构的模型.在六边形匹配算法的基础上,提出了快速的模型运动估计算法,改进后的运动估计算法在基本上保证了原有运动估计的信噪比的同时, 大大地缩短了运动估计的计算时间.模型补偿后的差值图像由一个自适应位分配策略的编码方法编码.实验结果表明,基于模型的编码方法在低码率下能得到较好的解码质量,...
从多边形窗口线裁剪的本质特征出发，首次提出窗口顶点编码的新概念.以被裁剪直线为参照系，将多边形窗口划分为正区、负区和近零区三类区域，从而快速完成多边形窗口顶点编码.通过窗口顶点编码与传统的线段编码相结合，无须求交即可快速排除大部分窗外线段；进一步可以直接得到与直线相交的窗口边，加快了求交进程.更有意义的是，通过窗口顶点编码还可以准确判断并高效处理如下两类特殊相交情况：裁剪直线通过多边形的顶点、裁剪...
国产开放系统平台Java及时编译器的设计与实现
Java 虚拟机 及时编译
2007/12/27
详细阐述了国产操作系统平台(COSA/COSIX)Java及时编译器的设计与实现技术.在设计时作者采用了指令静态模拟与宏替换相结合的编译方法, 抽象出平台独立的指令属性四元组,提高了程序的可移植性；就及时编译的特点及其优化进行了讨论,并就如何评价及时编译的热点提出了作者的观点.实验证明采用及时编译技术可显著提高Java程序的执行效率.
文中阐述了p-HPF编译系统中对核外计算的支持以及采取的优化策略.通过对编程模型的扩充和并行I/O模型的构造,p-HPF编译系统已能对核外数组进行有效的处理.通过采用数据筛选、行列优先、预取、文件与数组的一一映射等优化策略,使并行程序执行核外计算的效率得到了大幅度地提高. 文中叙述了核外计算模型及其优化的设计思想与实现,并以矩阵乘程序为例解释了核外计算程序的执行过程.
我与上海社会科学院历史研究所的编译组
上海社会科学院历史研究所
2007/12/25
我于1956年毕业于北京大学法语系，分配到上海外国语学院工作。我的同学倪静兰毕业后随即进入历史所。1978年，历史所招聘外语人才，我通过考试而被录用，遂被分配在编译组的法语组。
编译组的人都是78、79年这两年招聘的，负责人为章克生。当时，倪静兰也被分配在法语组，其身体状况不是很好；另外有位年轻人，名叫苑晔，父母都是高干。日文组有一位姓吴的学者，我们都叫他吴老，名字不太记得了（当是吴绳海先生——...