IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL＊-代数,并通过实例证明了IMTL＊-代数结构的存在性;其次,构造了一个非IMTL＊-代数的IMTL-代数,说明了IMTL＊-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画;最后,给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

浅谈复数的代数形式向复数的三角形式转化的方法

在复数的乘法、乘方、除法及开方运算中，复数的三角形式比复数的代数形式要方便得多。本文把复数的代数形式转化为复数的三角形式的方法加以简析。     

结构建模中区域划分的代数方法

针对现有结构建模区域划分方法的不足，基于将拓扑分析转化为代数分析的原理，指出区域蚜分的实质是要构造某种等价关系，该等价关系是元素不可分的充要条件，进而给出了充要条件定量，在此基础邮结构建模区域划分的代数方程，列出了代数方法的实施步骤，并通过一个具体示例的演示验证了该方法的简捷性和有效性。     

等价形式的永恒性原理——皮考克的符号代数

目的 系统探讨和研究皮考克(George Peacock,1791--1858)的符号代数思想.方法 文献考证和历史分析.结果 皮考克(George Peacock,1791--1858)的符号代数是在利用抽象符号的运算法则所决定的代数结构来确立负数和虚数的"合法化"基础时创造的一种新科学,是将算术代数中的规则通过"等价形式的永恒性原理"进行扩展得出的.结论 皮考克的代数思想为纯粹形式代数的产生铺平了道路,尤其是直接影响了布尔逻辑代数思想的形成.     

Java面向对象语义的一种代数描述方法

运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描述模型的框架.     

一种构造格蕴涵代数的方法

格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。     

拟遗传代数的一种判定方法

利用[1]中引进的图表示的两个子范畴,给出拟遗传代数的一种判定方法.     

一种用于Web服务合成过程建模的不确定性事件代数方法

Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一种支持语义表示及推理的形式化方法.针对Web服务合成的特点及合成过程本身具有的不确定性,首先基于统计学习的思想对传统事件代数进行不确定性扩展,给出Web服务不确定事件代数(WSUEA)的定义、操作及语义,进而对服务合成中的顺序、分支及并行等基本情形分别给出其WSIJEA表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.     

一种求解Lyapunov方程的代数方法

利用矩阵代数理论提出一种求解Lyapunov方程的新方法,用于控制系统的稳定性分析中, 计算结果表明,该方法简明实用,不仅易于在计算机上实现,且便于探讨Lyapunov方程的数学本质.     

一种用于Web服务合成过程建模的不确定性事件代数方法

 Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一种支持语义表示及推理的形式化方法.针对Web服务合成的特点及合成过程本身具有的不确定性,首先基于统计学习的思想对传统事件代数进行不确定性扩展,给出Web服务不确定事件代数(WSUEA)的定义、操作及语义,进而对服务合成中的顺序、分支及并行等基本情形分别给出其WSUEA表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.     

计算实特征灵敏度的代数法

对于实特征灵敏度分析问题，给出了一种代数法求解公式，所得出的方法既适合于单频，也适合于重频。为说明算法的数值稳定性，还给出了严格的数学证明。     

水资源最优规划的一种代数方法

本文以极大极小代数为基础,给出了一种求解水资源最优规划问题的代数算法。最后用实例验证了该法的有效性。     

BR0-代数定义的简化形式

作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系.     

一种模糊集中的Hopf代数

基于模糊代数中模糊群的代数结构,结合Hopf代数中的运算,在特殊的模糊群所生成的向量空间上定义了新的运算,赋予其余代数的结构,并利用模糊群中的逆运算定义对极,构造了一种在模糊群生成的向量空间上的模糊Hopf代数。     

一种新的代数对角化法的应用

文中使用一种新的对角化方法将SSH模型的哈密顿量对角化,这种代数法的好处是能在将哈密顿量对角化的同时给出对应的基态,文中还将得到的结果与Bogoliubov-Valatin变换法的作了相应的比较。显示出了这一新的对角化方法的优越性。     

一种用“改进的王氏代数法”求有向树组的方法

本文在定义了一个算子“M”之后,借用“广义树法”的有向树分解定理,将“改进的王氐代数法”推广到有向图,推广后的方法不产生非树组合类冗余项,且能自然地消除大部份由有源元件和变压器等引起的对消项,有效地解决了“改进的王氐代数法”应用于有向图时引起的算法退化问题.     

一种连续信号卷积的代数方法探究

《信号与系统》是现代信息科学的基础,初学者普遍感觉较难学懂。《信号与系统》课程的基础和灵魂便是卷积。卷积运算的难点在于确定卷积积分的积分限和在相应区间上的被积信号。卷积运算的本质是定积分计算。如何将卷积运算转化为大家熟悉的定积分运算,是文中探讨的核心思想。多数教材基于几何思想采用图像法计算卷积,文中对一种计算连续信号卷积的代数方法进行了探究。     

BL代数的一种弱化形式

在对BL 代数及其相关逻辑代数研究的基础上, 通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式--WBL-代数, 并给出WBL-代数结构的实例; 证明BL 代数是WBL 代数, 并通过实例说明WBL-代数是BL-代数的真弱化形式, 且是MTL-代数的真加强形式; 在MTL-代数的基础上给出WBL-代数的一些特征定理.     

基于判据的一种Lanczos方法

本文给出了Lanczos算法的判据的一种计算方法,将其与Lanczos算法中出现的三对角方程组的解相联系,提出了一种Lanczos方法。附有数值算例。     

一种实用的拓扑简化方法

拓扑分析法可以快速显示场的全局结构,在侧重于考虑场的特殊结构时显示出了较大的优越性。但是将该方法应用在复杂而信息丰富的流场中时,可视化的结果可能是成簇的、混乱的,这就需要进行多级拓扑来对拓扑图像进行简化。本文提出了一种称为"对距离过滤"的方法来进行拓扑简化,并将该方法应用于海洋流场,同时对不同级别的拓扑可视化结果进行了比较。实验表明:该方法可以快速的可视化流场的主要特征而不显得混乱,有利于保持复杂流场的全局信息。