Hamilton正则系统下二阶循环算子的讨论

本文考虑了无穷维线性Hamilton正则系统,将微分方程系统下获得循环算子的线性化方法,移植到Hamilton系统下,并得到确定方程(组),通过解方程(组)获得了循环算子的矩阵新形式,进一步,通过算例,验证了在Hamilton体系下,依然符合在此类微分方程系统下的关系.     

某些发展方程的Hamilton正则表示

本文基于已有方法,引进一种新对偶参量的设法,并给出求Hamilton正则化的一种改进方法,对此法进行规范,进而推广该法,使得它的应用范围更广,计算量更小,更易于获得Hamilton正则表示.最后举例验证了该法的有效性.     

关于一类发展方程Hamilton正则形式的实现

本文首先利用前人的重要结论巧妙地给出了一类发展方程Hamilton正则形式规范化的实现步骤;其次,对特殊三阶Hamilton算子确定的发展方程化为正则形式做了进一步的推广;最后,通过3个算例验证了本文方法的可行性。     

关于左定微分方程解的讨论

本文应用Gram矩阵有关理论,证明2n阶实系数对称微分方程∑ k=0(-1)~(n-k)(P_ky~(n-k))~(n-k)=λry(r是不定实权函数,λ∈c,且I_mλ≠0)至少有n个线性独立解属于Hibert空间H。     

二阶线性微分方程解的讨论

本文给出了二阶线性微分方程的积分解法．     

运动微分方程正则化及其可积情况

本文将可化为正则形的运动微分方程与正则方程相对照,讨论了如果正则方程的Hamilton-Jacobi方程可通过分离变量法或根据其Hamilton函数的类型求出其全积分,则原运动微分方程可积.     

一种求解偏微分方程反问题的正则化方法

成功地解决了由双侧向测深、浅视电阻率同时反演地层真电阻率和等效侵入带直径问题，建立了可靠的反演算法，此算法的最主要优点在于它不依赖于初值的选择，因而是真正具有工程实用价值的算法，完全满足测井解释的要求。     

关于黑洞分类和形成的讨论

结合黑洞引入、分类和形成的分析,探讨了黑洞现象和与其相关物理学知识的内在关系。     

运用分类讨论思想解题小议

本文简述了分类讨论的一般步骤和分类讨论的动因和方法,特别强调了概念型,性质型,含参型,简化型四种基本方法。     

分类讨论思想及其应用浅谈

分类讨论原则是求解有关数学问题的重要方法。学习和掌握这一思想方法,对于培养学生全面、缜密的思维能力和分析解决实际问题的能力有重要作用。正因为如此,现行中学教学教材、近年来高考命题及国内外的数学竞赛中都重视了这方面能力的培养及考查。1.什么是分类讨论思想     

分类讨论思想与数学解题

分类讨论思想是指在解决一个问题时,无法用同一种方法去解决,而需要一个标准将问题划分成几个能用不同形式去解决的小问题,将这些小问题一一加以解决,从而使问题得到解决,这就是分类讨论思想。     

安乐死的分类——一个讨论的进路

安乐死问题上聚讼纷纭的不同声音，交织了道德的纷争与政策上的考量。因而适度的区分道德与法律问题是必要的，这其中安乐死的分类成为讨论安乐死问题的一种策略和分析路径。尽管各种分类的道德差异尚不清晰，但其中的一些基础分类已为国外的法律和司法判决所支持，成为探讨安乐死的正当性并逐步获取道德共识的进路，也为法律和公共政策谨慎处理安乐死事案提供了可行的策略。     

两类混合型泛函微分方程解的存在性的统一讨论

本文给出了两类混合型泛函微分方程 x(t)=f_1(t,x(t),x(t-τ(t))) (A) x(t)=f_2(t,x(t),x(t-τ(t)),x(t)+τ(t))) (B)的一个统一表达式 　x(t)=f(t,x(t),x(t-τ(t)),x(t)+τ(t)))　 (C)　并讨论了统一表达式(C)的一种Catuchy问题,给出并证明了该问题的解的一个局部存在性定理。从而推广了文[1]中定理5的结果。     

哲学理论的形式化问题

形式化是现代逻辑最重要的方法。将形式化方法引入哲学研究是必要的，也是有可能的，当今的“哲学逻辑”把这种可能性变成了现实；哲学理论的形式化有自己的具体操作程序。但是哲学理论的形式化也有其内在局限，即适用范围的狭窄性、研究结果的尝试性、作用程度的有限性；因此最后结论是：形式化是哲学研究的一种重要的辅助性研究方法，必须注意将它与其他哲学研究方法配合使用。     

意义的形式化研究

一、Bloomfield对意义的认识20世纪前半叶,语义学是一门新学科,与哲学、心理学和逻辑学等学科密切相关。Bloomfield(1933)受行为主义的影响,将意义定义如下:“语言学的意义是指发话人所处的场景以及对受话人产生的反应。为了给每种语言的意义下确切的定义,我们应该对发话人的认     

语境的形式化研究

语境是语言交际的重要因素 ,信息技术不断发展 ,计算机处理自然语言 ,必须对语境形式化。本文从计算语用学和人工智能的角度出发 ,对语境的形式化研究进行了综述。计算语用学的目的是建立自然语言理解系统 ,而人工智能研究语境形式化主要解决知识普遍性的问题。从第 2节到第 4节 ,文章从理论背景 ,研究方法和逻辑表征方式三个方面综述McCarthy(1987) ,Perrault和Allen(1980 ) ,Bunt(2 0 0 0 )对语境进行的形式化研究 ,比较它们的不同和相同之处 ,为语境的形式化提供可借鉴的方法和理论。     

Hamilton图的一个充分条件

本文的主要结果是：设Ｇ是Ｄ－圈圈，若存在某个ｔ≤δ，使得任何ｔ＋１为的独立集Ｘ＝（ｘ０，ｘ１，…），有∑ｄ（ｘｉ）〉１／２（ｔ＋１）（ｎ－１）则Ｇ是Ｈａｍｉｌｔｏｎ图。     

基于个体行为动机讨论道德情感的内在分类

德行,其实是人内在思想情感的外在表达,人们所做的一切都受到内在思想情感的控制。人是一种思想情感极其丰富的复杂动物,在他们的内部世界,各式各样的情感错综交织,且又因为各种情感成分的多与少,决定了人们是出于什么样的目的而做出有德之事。     

用不变量法讨论二阶曲线射影分类

在学生掌握了矩阵的基础知识后,使用不变量法讨论二阶曲线射影分类既简单又易掌握。