搜索结果: 76-90 共查到“知识库 计算机科学技术基础学科其他学科”相关记录148条 . 查询时间(4.913 秒)
三种近似推理模式的等价性
逻辑真度 伪距离空间 近似推理
2009/7/10
论证了伪距离空间中近似推理模式I与模式II是等价的;证明了模式I与模式III也是等价的,从而得出三种近似推理模式是等价关系。
一类新的Vague集间的相似度量方法及其应用
Vague集 相似度量 模式识别
2009/7/9
相似度量是研究和应用Vague集的重要工具。首先介绍了Vague集的概念,接着用实例说明已有的Vague集相似度量在某些情况下并不适用,并分析了造成不适用的原因,进而给出了Vague集相似度量的公理化定义,提出了一种新的Vague集之间的相似度量,并将其应用于模式识别中。
一种基于GEP的演化硬件复杂电路优化算法
基因表达式程序设计 演化硬件 优化电路
2009/7/8
演化硬件是近年来新兴的研究热点,它是演化算法和可编程逻辑器件相结合而形成的硬件设计新方法。在演化硬件中门电路的优化设计是一个重要的研究领域。提出一种新的基于基因表达式程序设计(GEP)的算法来进行复杂优化电路的设计,通过仿真实验表明,该算法不仅收敛速度快,而且还能利用该算法优化大规模的门电路,克服了传统优化方法的求解速度慢甚至不收敛等缺点。该算法较传统的电路优化方法更简单、更高效。
一种基于规则的语言的公理语义
公理语义 Hoare逻辑 形式语法
2009/7/8
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。
一种新型的AUV系统建模方法研究
AUV 面向对象Petri网 系统建模
2009/7/6
在Petri网基础上,引入面向对象技术,提出了一种面向对象Petri网(OOPN)模型,详细论述了这种面向对象Petri网的结构,形式定义,建模步骤,并针对水下无人探测器系统操作环境的特殊性,为AUV系统建立了完整的OOPN模型,真实地反映了系统的动态特性,从而为AUV系统建模和分析提供了一个更为有效的工具。
用于企业数据建模的域数据模型的研究
数据模型 数据容器 关系
2009/7/6
针对现有的通用数据模型与具体的应用结合不紧密的特点,提出了构造更贴近具体应用领域的域数据模型,用于解决MIS开发过程中,应用层面的数据访问控制的难题。提出并描述了数据域模型的概念,详细讨论了域模型的形式化表达、域关系运算和域运算等概念。
Theincreasing complexity of communities established around free and opensource software (FOSS) projects as well as the increasing commercialinterest in such projects has led to more and more communiti...
基于RS和SVM的客户协同创新伙伴选择
伙伴选择 粗糙集 支持向量机
2009/6/24
针对客户协同创新伙伴选择时面临决策属性多并且可供决策分析数据样本少的难题,提出了基于粗糙集和支持向量机的客户协同创新中伙伴选择模型。该方法的核心是应用粗糙集进行属性约简作为数据预处理以删除决策中的冗余属性,然后结合支持向量机在处理小样本以及非线性问题上的优势进行客户分类,在保证不会降低分类性能的前提下达到降低数据维数和分类过程中的复杂度的目的。论文最后将该方法应用于一工程实例,结果初步验证了论文提...
概念格属性约简的判定
概念格 属性约简 协调集
2009/6/16
引入Galois联络,利用Galois联络深入研究了概念格的基本性质。指出概念格同构是格同构。为了寻求更为简洁、合理的约简算法,在更一般的形式背景(即对象集和属性集有限或无限)中,给出协调集的四类判定定理,将已有结果做了推广而且丰富了协调集的判定。举例说明在一般的形式背景中,约简不一定存在。
电子学习系统中的知识表示与知识发现模型研究
课程 知识表示 知识发现
2009/6/16
领域本体提供了丰富的概念集,是领域知识共享的基础。讨论了电子教学系统中课程知识体系的组织与本体表示方法,构造了基于领域本体的知识发现模型,阐述了基于领域概念对相似性的本体映射过程,实现了基于单元知识的电子教学资源的灵活共享。
回归型模糊最小二乘支持向量机
最小二乘支持向量机 模糊隶属度 数据域描述
2009/5/26
为了克服最小二乘支持向量机对于孤立点过分敏感的问题,将模糊隶属度概念引入最小二乘支持向量机中,提出了基于支持向量域描述的模糊最小二乘支持向量回归机.该方法先对样本进行数据域描述得到一个包含该组数据的最小半径的超球,再根据特征空间中样本与超球球心的距离确定它们的隶属度,减少了奇异点(噪声)的影响;把所要求解的约束凸二次优化问题转化为正定线性方程组,并采用快速Cholesky分解的方法求解该方程组.实...
一种有限扫描操作测试压缩方法
有限扫描操作 静态测试压缩 启发式方法
2009/5/25
针对集成电路测试时间长,导致测试费用高的问题,提出了一种基于有限扫描操作的扫描电路静态测试压缩方法.利用有限扫描操作代替全扫描操作,用有限扫描操作合并测试对,通过减少移位操作次数减少测试时间.同时,将启发式方法用于限制候选测试对数量,给候选测试对进行排序,降低计算复杂度,加速压缩过程.基准电路实验结果表明,相同故障覆盖率下,本方法所需平均测试时间仅为典型方法的50%左右.
Web应用程序建模和测试用例生成方法
Web应用 组件 测试模型
2009/5/7
根据基于组件的Web应用程序的特点,提出逻辑组件的概念。按功能将待测系统划分成逻辑组件,并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系,自动机表示逻辑组件的行为关系,自动机的复合表示逻辑组件间的交互操作。根据复合的自动机,利用建立的操作映射表生成测试用例。分析了一个测试准则,并提出逻辑组件测试序列的覆盖度概念。