不变式相关论文
在百花盛开的中国科学园地里,教育科学这朵鲜花的绽开有着特别的意义,它从一个特殊的角度反映了社会的进步。笔者谨对教育科学的若干......
有限群的表示可以根据群G阶数和域F特征数之间的关系分为模表示与非模表示,模表示与非模表示在不变式的研究中具有很大不同.在非模......
不可分解表示是群表示论研究的一个重要方向,Higman给出了有限群在代数闭域下的不可分解模表示个数是否有限的充要条件[6].Janusz......
本文的研究内容分为以下两个方面.首先,探讨了有限群不变式中的超曲面问题.在研究有限群与其子群不变式的关系时,T-函子被证明是一......
学位
在这份报纸,我们在二个范围的楔上学习 comultiplications 的集合。我们首先对这个集合的尺寸和象关联性和交换性那样的 comultipli......
本文研究可逆过程热力学的几何理论.由态空间Ω=∞~f态(f——自由度)的簇性结构分析,得到热力学第一、二定律的不变式,并用以分析......
Bertrand Meyer是同时活跃于学术和商业二界的软件先驱。他目前担任瑞士理工学院的软件工程协会主席。他撰写了数量浩繁的论文和书......
星期天的Sardana舞、蜿蜒曲折的小道、庄严的大教堂和一家一家令人眼花缭乱的精品商店…… 曾经是公元前15世纪时罗马时期所谓的B......
本文主要讨论了在一类特殊表示下p-群Dade基全体所构成集合的具体结构,即p-群在一种三角表示下,如果令其表示空间的对偶空间V*,我......
本文首先介绍了有限群不变式理论中一些相关的基本概念和性质.然后通过求Transfer簇及D2p的p阶元素,应用Hilbert零点定理,对二面体......
一、分離参数法 例1 设不等式mx2-x 1>0在区间(1,3)上对一切x恒成立,求实数m的取值范围. 解析 不等式mx2-x 1>0在(1,3)上恒成立,即 ......
巴黎圣母院的钟声迎来了20世纪。1900年,人们都把眼光放在未来:科学家憧憬着惊人的突破,艺术家在追逐时代的潮流……8月6日,第二届......
本文试图对阿伦·福特(Allen Forte)《非调性音乐的结构》(The Structure of Atonal Music)一书的基本内容作一简要介绍。该书的主......
定义并讨论了一种新的数学函数,对不变式,将其应用到价键(VB)理论方法的Hamiltonian矩阵计算,提出VB理论的对不变式方法。在此方法......
几何教学中会有许多动态问题,其中包括三大变换:平移变换、旋转变换、对称变换以及点动、线动、面动的问题。要让学生的思维跟着图......
在热带地区,当纬圈或经圈方向上的地转平衡遭到破坏后,非地转运动将激发出重力惯性波,随着重力惯性波的频散,纬圈或经圈方向的地转......
本文从现有的协议验证技术的种类出发,论述了主要的验证技术的思想、内容、特点及能力,阐述了它们之间的关系以及验证技术的发展趋......
本文主要研究柔性制造系统中的死锁问题.利用Petri网对其建模,针对一种网的子类一S3PR网,提出了死锁预防策略.网模型中的信标可分为......
本文给出了证明决策表程序正确性的推理规则,其中特别使用了决策表程序的层次结构和不可能规则。本文最后以证明冒泡分类算法例示......
本文以言语感知的三个核心问题为线索,对在这一领域里的部分重要理论、模型和实验进行简要回顾.通过介绍言语感知研究的发展过程,......
本文对有限域上三类不可约有限反射群的不变式进行了研究。文章分为三个部分: 第一章相关知识简介:主要介绍了本文将要用到的基本......
本文主要讨论了在一类特殊表示下p-群Dade基全体所构成集合的具体结构,即p-群在一种三角表示下,如果令其表示空间的对偶空间V?,我们确......
本文首先介绍了有限群不变式理论中一些相关的基本概念和性质.然后通过求Transfer簇及D2p的p阶元素,应用Hilbert零点定理,对二面体群......
本文针对Java语言中多线程对共享资源访问的同步机制问题,提出了一种基于共享资源状态检测的同步测试系统.通过对共享资源及其状态......
在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足......
在Maple数学软件中,符号微分方程式的解算功能有了很大的增强,ode-pde程序包允许处理带有常数、非常数不变式的Abel型微分方程以及大......
在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于......
程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。......
【正】 我们必须知道,我们将会知道!——对自然的认识与逻辑(1930)早年 1862年1月23日,大卫·希尔伯特(David Hilbert)出生在......
【正】 1964年在纽约市举办的世界博览会上,各个公司都摆出他们的五光十色的产品争奇斗艳。可是有一家大计算机的制造厂商在展出他......
本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。......
本文介绍并讨论了形如y″+p(x)y′+Q(x)y=0的变系数方程,在P(x),Q(x)满足一定条件下,用变量代换化为常系数方程的方法。......
本文对二维变系数线性系统引入不变式预解方程的概念,得到一个新的、实用的可积定理,推广了一系列经典的可积性结果,导出了一些新......
基于模板和量词消去建立了一个求解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).......
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于......
本文试图对阿伦·福特(Allen Forte)《非调性音乐的结构》(The Structure of Atonal Music)一书的基本内容作一简要介绍。该书......
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人......
本文讨论如下半线性Klein-Gordon方程的初边值问题首先推导出上述问题的能量不变式,然后讨论在某些情况下解的爆破性质。......
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性......
在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足......
将有界分配格上可逆矩阵的有关结果推广到坡上的矩阵。给出坡上方阵A的一些可逆条件,证明了A可逆当且仅当A的任一行元素之和是1,且处......
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面......
价键理论的不变式方法的新算法吴玮,莫亦荣,张乾二(厦门大学化学系,厦门,361005)关键词价键理论,群论,不变式近年来,我们提出了闭壳层的价键(VB)计算的......
在射影半对称联络为半对称非度量联络基础上定义了一个射影半对称联络的对偶联络和相互联络,研究了相关性质,发现了射影半对称联络的......