公共文化服务平台

国家重点基础研究发展计划(2003CB316902): 作品数：24 被引量：256H指数：7; 相关作者：蒋昌俊丁志军苗夺谦裴道武孙萍更多>>; 相关机构：同济大学国家高性能计算机工程技术研究中心山东科技大学更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术理学建筑科学更多>>

模糊命题演算系统■~*的简化与独立性被引量：2: 2006年; 模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。; 裴道武; 关键词：模糊逻辑独立性

基于Petri网与GA算法的FMS调度优化被引量：39: 2005年; 提出了一种应用遗传算法解决柔性制造系统调度优化问题的新方法.首先用 Petri网对柔性制造系统进行建模,然后应用遗传算法对该模型进行调度并获取近似最优解.在该算法中,用 Petri网模型的激发序列作为染色体,采用期望值方法作为选择算子,总加工时间作为适应度函数,两点交叉法作为交叉算子,交叉点选择能到达相同标记的转移.对于变异算子,首先从染色体上随机选择一点作为变异点,然后从这点开始应用变异算法,该变异算法类似于Petri网的可达树算法.由于算法中的选择、交叉和变异算子都是对 Petri网模型中的元素进行操作,与问题空间中的元素无关,因此,与其它调度算法相比,它有较高的通用性.既可以处理典型的 Job Shop问题,也可以处理小批量、多品种的FMS(Flexible Manufacturing System)调度问题.文中通过实验验证了算法的有效性.; 郝东蒋昌俊林琳; 关键词：生产调度 PETRI网柔性制造系统

关于形式系统L^(*)的强完备性被引量：3: 2005年; 进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明了系统 L? 的强完备性定理。; 裴道武; 关键词：模糊逻辑

主动形状模型中搜索过程与搜索空间的改进被引量：1: 2008年; 主动形状模型是近年来广泛使用的特征点对准算法.但是其搜索空间难以重构出现实中复杂多变的搜索对象.另外,搜索过程中由于没有提示或约束,故所得结果不稳定.因此,本文改进搜索空间与搜索过程,通过在搜索空间中加入主要形状变化子空间,重构模型更加泛化,利用搜索过程中的误差来分析搜索状态,反馈约束下一步的搜索方向和过程.这样的反馈、迭代搜索过程大大增加搜索过程的主动性和目的性,且搜索结果唯一.最终的人脸对准实验证明,本文的改进较大地提高了对准精度.; 何良华胡蝶蒋昌俊; 关键词：主分量分析

基于遗传算法的本体概念分类规则学习算法被引量：2: 2006年; 为了更好地界定本体中的概念,提出一种基于遗传算法(GeneticAlgorithm,GA)的本体概念分类规则的学习方法.从已有的本体库中获取实例作为训练样本,通过该算法寻找一组与数据样本集一致的规则.以一组规则集作为遗传算法的个体,即优化的目标,同时考虑到规则集的覆盖性、一致性、简洁性和多样性4个方面建立适应值函数,优化得到一组能够分类概念的规则集合.进而这组规则集可用于指导和丰富本体知识,例如当本体中引入新的实例时,可以通过此概念分类规则集确定实例所属的概念.对已有本体学习后的实验结果表明该算法收敛性很好,而且能获得较好的规则集.; 王俊丽丁志军蒋昌俊; 关键词：本体学习遗传算法

基于本体的城市交通的知识分析和推理被引量：39: 2007年; 以城市交通为研究和应用背景,基于本体模型的知识表示技术,建立城市交通本体。对城市交通领域知识进行规范描述,详细描述了定义类层次及类的属性和关系,以及实例的基本规则,并从领域知识中提取出类内公理和类间公理,建立公理库,用于领域知识的一致性分析和知识推理。解决了语义层次上信息共享和交互的问题,为上海城市交通信息网格的交通信息服务提供语义支撑。; 黄珂萍蒋昌俊; 关键词：城市交通本体知识获取公理

模糊推理三I算法的逻辑基础被引量：15: 2004年; 在模糊推理理论中 ,近期问世的三 I推理方法以逻辑蕴涵运算取代传统的合成运算 ,从根本上改进了传统的合成推理规则 (即 CRI方法 )。本文基于模糊命题逻辑的形式演绎系统 L* 和模糊谓词逻辑的一阶系统 K* ,构建了一个完备的多型变元一阶系统 K*ms,并且将三 I算法完全纳入了模糊逻辑的框架之中 ,从而为模糊推理奠定了严格的逻辑基础。; 裴道武傅丽; 关键词：模糊逻辑模糊推理 CRI算法三I算法

基于改进的GPL主曲线算法的指纹特征分析与提取被引量：5: 2007年; 在对 GPL(Generalized Polygonal Line)主曲线算法和指纹数据特点分析的基础上,针对指纹数据本身的特点,改进原来的 GPL 主曲线算法以得到更好的指纹骨架,并实现基于主曲线的指纹特征提取.实验结果表明,改进的 GPL 主曲线算法在指纹骨架提取的效率和效果上比原算法都有明显提高.基于主曲线的指纹特征提取相对于其它一些传统方法也有着更高的准确率,具有一定的应用价值.; 张红云苗夺谦傅文杰; 关键词：指纹细节特征提取主曲线

基于三角范数的模糊逻辑中的三I方法(英文)被引量：5: 2006年; 三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。; 裴道武; 关键词：非经典逻辑模糊推理 T-NORM LOGIC

基于主曲线的脱机手写数字结构特征分析及选取被引量：11: 2005年; 要提高脱机手写数字识别的识别率,关键是特征的提取与选择.主曲线是主成分分析的非线性推广,它是通过数据分布“中间”并满足“自相合”的光滑曲线.它较好地反映了数据分布的结构特征.在数字特征选取中,首先将主曲线用于训练数据的特征提取;其次在详细分析数字主曲线的结构特点的基础上,选择出用于数字识别的粗分类、细分类特征;最后在对手写数字进行识别时,先进行粗分类再进行细分类.所提方法在Concordia大学的CENPARMI手写体数字数据库上的实验结果表明:利用这些特征能有效区分相似字符,提高了手写数字的识别率,为脱机手写数字识别的研究提供了一条新途径.; 张红云苗夺谦张东星; 关键词：主曲线结构特征特征选取

国家重点基础研究发展计划(2003CB316902)