不变式相关论文
有限群的表示可以根据群G阶数和域F特征数之间的关系分为模表示与非模表示,模表示与非模表示在不变式的研究中具有很大不同.在非模......
不可分解表示是群表示论研究的一个重要方向,Higman给出了有限群在代数闭域下的不可分解模表示个数是否有限的充要条件[6].Janusz......
本文的研究内容分为以下两个方面.首先,探讨了有限群不变式中的超曲面问题.在研究有限群与其子群不变式的关系时,T-函子被证明是一......
学位
本文主要讨论了在一类特殊表示下p-群Dade基全体所构成集合的具体结构,即p-群在一种三角表示下,如果令其表示空间的对偶空间V*,我......
本文首先介绍了有限群不变式理论中一些相关的基本概念和性质.然后通过求Transfer簇及D2p的p阶元素,应用Hilbert零点定理,对二面体......
一、分離参数法 例1 设不等式mx2-x 1＞0在区间（1，3）上对一切x恒成立，求实数m的取值范围. 解析 不等式mx2-x 1＞0在（1，3）上恒成立，即 ......
本文对有限域上三类不可约有限反射群的不变式进行了研究。文章分为三个部分： 第一章相关知识简介：主要介绍了本文将要用到的基本......
本文主要讨论了在一类特殊表示下p-群Dade基全体所构成集合的具体结构，即p-群在一种三角表示下，如果令其表示空间的对偶空间V?，我们确......
本文首先介绍了有限群不变式理论中一些相关的基本概念和性质.然后通过求Transfer簇及D2p的p阶元素，应用Hilbert零点定理，对二面体群......
本文针对Java语言中多线程对共享资源访问的同步机制问题,提出了一种基于共享资源状态检测的同步测试系统.通过对共享资源及其状态......
在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足......
在Maple数学软件中，符号微分方程式的解算功能有了很大的增强，ode-pde程序包允许处理带有常数、非常数不变式的Abel型微分方程以及大......
在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于......
程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。......
基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言......
坡S是一个元素满足条件s＋1=1的交换半环.证明了坡S上n×n矩阵A可逆当且仅当∑nk=1 aik=1（i=1,2,…,n）且aikajk=0（i≠j,k=1,2,…,n）.......
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于......
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人......
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性......
将有界分配格上可逆矩阵的有关结果推广到坡上的矩阵。给出坡上方阵A的一些可逆条件，证明了A可逆当且仅当A的任一行元素之和是1，且处......
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面......
令局是一个特征数为P的有限域．这篇注记的目的是重新构造如上可三角化矩阵群的自然表示的不变式环的极小生成元之集．......
An Invariance for （2＋1）-Extension of Burgers Equation and Formulae to Obtain Solutions of KP Equatio
In this article, we study the (2+1)-extension of Burgers equation and the KP equation. At first, based on a known Backlu......
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性.本文基于不变式方式和PATH路径公理系统,......
对二维线性控制系统引入不变式、预解方程和特征常数的概念,得到二维线性控制系统具有解析解的一个实用的充分条件,并给出了其基解......
一个群的基函数的选择并非唯一,不同的基函数对应不同的表示矩阵.即使相同的表示矩阵,基函数也可以有不同的选择.在相变的宏观唯象......
With在《算法+数据结构=程序》一书中关于“对半检索”程序中给出了一个不变式，但该不变式是不完善的。本文对此予以了修正，并通过一......
介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件......
利用常微分方程的不变式，非常方便地求解了一些量子力学问题。...
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
价键理论的不变式方法的新算法吴玮，莫亦荣，张乾二（厦门大学化学系，厦门，３６１００５）关键词价键理论，群论，不变式近年来，我们提出了闭壳层的价键（ＶＢ）计算的......
程序验证是保证程序正确性的关键技术。停机性和安全性验证是程序验证中的两个重要研究内容,受到了大量关注和广泛研究。本文针对......
设有限群G通过群同态ρ:G → GL(n,Fq)作用在有限域Fq的n维向量空间V上.群G在对偶空间V*上的诱导作用可以扩展到多项式函数的对称......
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性.在开发过程中,利用抽象......
结合形式化软件开发方法和面向对象的方法学，使用SPEC#开发物流信息管理系统，利用该语言中的前置条件、后置条件、对象不变式等形式......
本文讨论了n阶变系数线性常微分方程y(n+P1（x）yn-1+…+Pn-1（x）y1+Pn（x）y=0分别在变换y=u （x）z和t=（?）（x）下的不变式问题,并给出了在未知函数变......
协议广义上指网络协议,协议的功能是用于描述模块间的通讯规则,本文中,协议狭义地指由卫式命令语言(Guarded Command Language)描......
抽象解释为程序不变式的自动化生成提供了通用的框架。但是,该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集。因而,对......
不变式和状态方程的求解是Petri网分析中的基本问题.研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态......
<正> 引言 操作系统的主要目的是使许多程序共享一台计算机资源,而且这些程序对其资源的需求情况是不可予知的。所以操作系统设计......
众所周知,常系数微分方程根据线性常微分方程的一般理论是可解的。然而变系数二阶及高阶微分方程的求解却十分困难,因此探讨它们的......
以往在代数学教科书里虚数是作为代数方程的虚根来教的,由于接触不到它的真正面目,所以学生往往体会不到复数的实用价值,但是一旦......
<正> 以集团传记和类似材料为基础的史学技巧称为颜面术(prosopography)。该方法的特征是,用与许多人和事件相关的资料作为其材料......
0引言带参系统存在于许多应用领域中,比如缓存一致协议等。因为它的研究价值,验证这样的系统也就吸引来了形式化验证、模型检测和......
著名的 Riccati 方程和二阶线性齐次微分方程,一般说来是不可积的.本文首先评述了前人的某些结果是非实质性的,然后对这两类方程统......
证明和测试是验证规格说明是否正确的2种方法，两者互为补充。针对软件规格说明难以证明的问题，提出对状态空间进行完备性测试的理论......
