一类非线性微分代数子系统的逆系统控制及应用

对于指数1且关联可测的非线性微分-代数子系统,研究其逆系统控制方法,并将结果应用于电力系统元件分散控制.首先描述了此类非线性微分-代数子系统的物理背景和系统特性,并给出了非线性微分-代数子系统的α阶积分右逆系统和可逆的定义;然后给出了一种递归算法,以此来判别被控系统的可逆性,并构造出由状态反馈和动态补偿实现的α阶积分右逆系统,实现了复合系统的线性化解耦;最后针对多机电力系统中的一台同步发电机,应用所提出的方法研究其励磁控制电压问题.仿真结果验证了所提出方法的有效性.     

基于VC++软件的无线电磁波CT层析成像反演技术研究

主要研究壤层工作面无线电磁波层析成像反演,根据煤层对电磁波吸收特征以及电磁波在煤层中传播特点,选择直射线追踪,反投影法(BPT)、代数重建法(ART)、联合迭代重建法(SIRT)等图像重建方法,对比分析了不同方法的优缺点,最后选择SIRT方法利用VC++软件编制程序实现,在实际资料处理中取得良好效果。     

A3型李代数的张量积分解

不可约模的张量积分解是李代数表示理论的重要问题,在计算最低双边胞腔上的Kazhdan-Lusztig多项式的首项系数时,有重要的应用.通过李代数中的相关知识和计算机编程,给出了A3型李代数的部分张量积分解的具体表达式,为进一步计算?3型仿射Weyl群最低双边胞腔上的Kazhdan-Lusztig首项系数奠定了基础.     

基于FANUC数控系统实现刀具寿命管理

文章结合HARDINGE数控车床实例，介绍了如何利用FANUC18T数控系统中提供的计数器跟踪刀具加工的次数，通过新增一个刀具寿命管理功能模块的PMC子程序，为用户提供一个友好、可视、便捷的刀具寿命管理功能。对今后类似的设备功能设计和改进都具有实际的指导意义和参考价值。     

基于选择性TpV正则化的DBT重建算法

针对数字乳腺断层合成摄影(digital breast tomosynthesis,DBT)为有限角度的低剂量重建问题,提出了一种基于选择性TpV(total pvariation,TpV)正则化的重建算法。采用两相式重建策略,对DBT投影数据进行联合代数重建(simultaneous algebra reconstruction technique,SART),获得满足数据一致性以及非负性约束的图像,采用选择性TpV正则项作为约束条件更新图像,抑制图像噪声,锐化图像边缘特性,两相交替进行,直到满足收敛准则。应用该算法对数字仿真乳腺体模进行重建,实验结果表明,与SART算法、SART-TpV算法相比,该算法不仅平滑了图像噪声,而且保留了图像的边缘特性,尤其实现了微小钙化的清晰显像。     

概念代数在本体合并中的应用

本体合并是本体集成的一种较为有效的方式,是用于解决本体异构以实现本体资源重用和共享的一种方法。引入概念代数以弥补本体的概念深度表达不够、形式化程度低等缺陷。将本体与概念代数结合,提出一种基于概念代数的本体表示方法,其恰好符合领域专家构建本体的意识活动,可以更好地表达和处理知识。概念代数是一种抽象的数学结构,形式化程度较高,并且其概念之间的认知关系更便于进行知识推理。利用概念代数将本体表示为可视化的概念网形式,进而利用概念代数的运算实现概念之间的合并及关联,提出一种基于概念代数的本体合并方法,是对概念代数应用到本体的一种尝试,为本体的处理提供了一个新的视角。     

基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

具有几乎完美代数免疫的偶数元弹性函数构造

完美代数免疫(PAI)的布尔函数能够抵御代数攻击和快速代数攻击。PAI函数的构造是目前布尔函数研究最具挑战性的问题之一。利用布尔函数的双变元表达式和有限域理论,基于Carlet-Feng函数提出一种新的偶数元布尔函数的一般性构造。证明由该构造得到的函数具有一阶弹性和至少次优代数免疫度等密码学性质,给出其代数免疫度达到最优时的充分条件,并比较该类函数、Carlet-Feng函数和由一阶级联方式构造的函数在6~16之间的所有偶数变元下抵抗快速代数攻击能力。实验结果表明,该类函数能更好地抵抗快速代数攻击,且具有几乎完美的代数免疫性能。     

格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。     

语言真值直觉模糊逻辑的知识推理

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。