赋权型自动机的不同模型研究

自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,有穷状态自动机是正则语言的识别机器,通常分为确定型与非确定型两种模型,其识别语言的能力是等价的。赋权自动机是另一类重要的自动机模型,自动机的每条转移规则和状态可以赋以某一代数结构上的某一数值,从而可以计算输入字符串的权值。任何有穷状态自动机都可以视为一特殊赋权自动机,因此赋权自动机功能更强大,应用更为广泛。

基于自动机的可配置产品功构映射过程研究

针对现有可配置产品功能结构域映射实现方法的局限性,给出了面向配置设计的产品功构模型知识表达。根据模型层次节点功构单元间结构特征,提出了基于半环赋权自动机的单约束线结构产品功构模型功能结构域映射实现方法;按照"析取-合取"策略,运用自动机析取、同效、去冗余性等方法将多约束树型产品功构模型析取为若干相对独立的线结构产品功构模型,按单约束线结构产品功构模型映射方法求解,将所有解运用"合取"方法,实现了多约束树型产品功构模型功构映射。最后,通过在液压机配置设计功能结构映射中的应用,表明了上述方法的有效性。

基于K-WFA的机械产品运动方案设计求解

为获得更加多样的运动方案,防止设计的组合爆炸,提出一种基于半环赋权自动机(K-WFA)的机械产品运动方案设计求解方法.利用功能语义单元模型表达机械产品运动方案设计的设计信息,以对设计者的设计思维进行合理捕捉和描述.建立机械产品运动方案设计的认知模型,使用基于半环的赋权自动机对其进行编译,由客户需求决定自动机的权重集,并通过权重集进行输入机构的截取与方案的优选.分别定义了功能语义单元求解的并联元自动机和反馈元自动机模型,借助赋权自动机的析取、逆转等运算,实现功能语义单元的串联求解、并联求解以及反馈求解.通过设计实例,详细地阐述了基于K-WFA的运动方案设计求解过程,证明了该方法的可行性.