位置：成果数据库 > 期刊 > 期刊详情页
一类Schrodinger-Virasoro型李代数的量子化
  • 期刊名称：数学学报(中文版)
  • 时间：2012.7.7
  • 页码：707-714
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]宁夏大学数学计算机学院,宁夏银川750021
  • 相关基金：国家自然科学基金项目（61063003）
  • 相关项目：泛型程序的规范和验证问题研究
作者： 王伟|许莹|
关键词： Hoare公理, 正确性验证, WP语义, 公理化方法, 前置条件
中文摘要：

随着软件规模越来越大，软件正确性问题也随之而来，基于Hoare公理系统的程序形式化验证方法，能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题，利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。

同期刊论文项目
李代数
期刊论文 65 会议论文 2
泛型程序的规范和验证问题研究
期刊论文 5 会议论文 5
与W-无穷代数相关的李代数的表示理论及相关顶点算子代数的构造与表示
期刊论文 7
同项目期刊论文
蕴含一类图论性质的可图序列
基于RFID与WSN融合技术的井下定位算法研究
深度网络结构在行人检测任务中的性能对比
基于MVC的网络化学习云平台架构
广义Schrodinger-Virasoro代数的导子和中心扩张
Derivations and automorphisms of twisted deformative schrodinger-virasoro lie algebras
半群OCKn的理想的秩
E类保序严格部分一一变换半群的极大逆子半群
Classification of Indecomposable Modules of the Intermediate Series over Deformative Schrodinger-Virasoro Lie Algebras
Indecomposable modules of the intermediate series over W(a,b)
Lie Algebras and Related Topics
Quasifinite representations of a class of Block type Lie algebras B(q)
Lie bialgebra structures on the extended affine Lie algebra \tilde sl_2(C_q)
DRINFELD TWIST DEFORMATIONS OF THE SUPER-VIRASORO ALGEBRAS
Central Extensions and Derivations of Generalized Schrodinger-Virasoro Algebras
Quantization of Schrodinger-Virasoro Lie algebra
Classification of indecomposable modules of the intermediate series over the twisted N=2 superconfor
Quantization of the q-analog Virasoro-like algebras
2-COCYCLES OF TWISTED DEFORMATIVE SCHRODINGER–VIRASORO ALGEBRAS
Lie Bialgebra Structures on the Extended Schrodinger-Virasoro Lie Algebra
Lie Super-bialgebra Structures on the Centerless Twisted N = 2 Super-conformal Algebra
Lie Bialgebra Structures on the Centerless W-Algebra W(2,2)
QUANTIZATION OF LIE ALGEBRAS OF BLOCK TYPE
Low-dimensional Cohomology of the q-deformed Heisenberg-Virasoro Algebra of Hom-type
LIE SUPER-BIALGEBRA STRUCTURES ON GENERALIZED SUPER-VIRASORO ALGEBRAS
Quantizations of the W-Algebra W(2,2)
Second cohomology group of extended W-algebras
Derivations of the Even Part of the Odd Hamiltonian Superalgebra in Modular Case
LIE BIALGEBRA STRUCTURES ON THE q-ANALOG VIRASORO-LIKE ALGEBRAS
素特征Hamilton超代数的偶部
Lie super-bialgebra structures on the Ramond N=2 super-virasoro algebra
Lie Super-bialgebra Structures on Generalized Ramond N = 2 Super-Virasoro Algebras
Quantizations of the Extended Affine Lie Algebra sl_2(\tilde C_q)
Quantum Deformations of the Heisenberg-Virasoro Algebra
Lie bialgebra structures on the Lie algebra sl_2(\tilde C_q[x, y])
Z^2-graded modules of the intermediate series over a Lie algebra of Block type
Irreducible Quasi- finite Representations of a Block Type Lie Algebra
Classification of Indecomposable Modules of the Intermediate Series over Deformative Schrodinger-Vir
Quasi-finite Irreducible Graded Modules for the Virasoro-like Algebra
The Lie Conformal Algebra of a Block Type Lie Algebra
W(a, b) Lie Conformal Algebra and Its Conformal Module of Rank One
QUANTIZATION OF HAMILTONIAN-TYPE LIE ALGEBRAS
广义Weyl超代数的导子
非阶化Witt型李代数的广义Verma模(英文)
Lie super-bialgebra structures on the super-Virasoro algebra
Block型代数的量子化
一类单完备李代数
Block type symmetry of bigraded Toda hierarchy
Generalised Jantzen filtration of Lie superalgebras I
Derivations and Automorphisms of Twisted Deformative Schrodinger–Virasoro Lie Algebras
Structure of a Class of Lie Algebras of Block Type
Derivations and Automorphism Group of Completed Witt Lie Algebra
Generalised Verma modules for the orthosymplectic Lie superalgebra osp(k vertical bar 2)
q-Deformation of W(2, 2) Lie Algebra Associated with Quantum Groups
Hom-Lie Color Algebra Structures
Derivation algebra and automorphism group of generalized topological N = 2 superconformal algebra