国家重点基础研究发展计划(2003CB316902)
- 作品数：24 被引量：254H指数：7
- 相关作者：蒋昌俊丁志军苗夺谦裴道武孙萍更多>>
- 相关机构：同济大学国家高性能计算机工程技术研究中心山东科技大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学建筑科学更多>>
- 网格体系的Petri网模拟与分析
- 2005年
- 应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
- 张鹏杜玉越杜玉越左风朝
- 关键词：网格PETRI网形式化分析
- 精炼工作流网的行为保持性质被引量：1
- 2007年
- 本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。
- 丁志军潘美芹蒋昌俊
- 关键词：工作流PETRI网精炼
- 模糊命题演算系统■~*的简化与独立性被引量：2
- 2006年
- 模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。
- 裴道武
- 关键词：模糊逻辑独立性
- 基于Petri网与GA算法的FMS调度优化被引量：38
- 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 主曲线算法在指纹骨架提取的效率和效果上比原算法都有明显提高.基于主曲线的指纹特征提取相对于其它一些传统方法也有着更高的准确率,具有一定的应用价值.
- 张红云苗夺谦傅文杰
- 关键词：指纹细节特征提取主曲线
