期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
A direct proof of uniqueness of square-root of a positive semi-definite tensor
1
作者 邵玥 吕存景 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2009年第6期713-716,共4页
Understanding of the basic properties of the positive semi-definite tensor is a prerequisite for its extensive applications in theoretical and practical fields, especially for its square-root. Uniqueness of the square... Understanding of the basic properties of the positive semi-definite tensor is a prerequisite for its extensive applications in theoretical and practical fields, especially for its square-root. Uniqueness of the square-root of a positive semi-definite tensor is proven in this paper without resorting to the notion of eigenvalues, eigenvectors and the spectral decomposition of the second-order symmetric tensor. 展开更多
关键词 positive semi-definite tensor second-order tensor uniqueNESS decomposi-tion
下载PDF
基于UML状态图的类测试用例自动生成方法 被引量:23
2
作者 张毅坤 施凤鸣 +2 位作者 姚全珠 刘军 付长龙 《计算机工程》 CAS CSCD 北大核心 2003年第21期91-93,共3页
UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用 ,基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合,提出... UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用 ,基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合,提出了一种基于UML 状态图的类的测试用例自动生成方法。 展开更多
关键词 统一建模语言 状态图 扩展的有限状态机 基于规约的测试 测试用例生成 唯一输入输出
下载PDF
基于微卫星标记的三疣梭子蟹家系系谱认证 被引量:5
3
作者 刘磊 李健 刘萍 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第7期38-44,共7页
用6个微卫星标记对三疣梭子蟹(Portunus trituberculatus)的6个家系进行系谱鉴别和遗传多样性研究。6个微卫星标记在6个家系中显示了高度的遗传差异,6个位点的多态信息含量(PIC)分别为Pot09位点0.6045,Pot14位点0.6072,Pot17位点0.8130,... 用6个微卫星标记对三疣梭子蟹(Portunus trituberculatus)的6个家系进行系谱鉴别和遗传多样性研究。6个微卫星标记在6个家系中显示了高度的遗传差异,6个位点的多态信息含量(PIC)分别为Pot09位点0.6045,Pot14位点0.6072,Pot17位点0.8130,Pot18位点0.6870,Pot25位点0.7839,Pot42位点0.6330。6个多态性位点共发现了32个等位基因,每个位点的等位基因数在4~8个之间。不同位点共发现7个家系特异性等位基因,2#和3#家系中各发现2个,1#、5#、6#家系中各发现1个,4#家系未发现特异性等位基因。根据已知亲本及子代基因型,可推断出6个家系中全部亲本的基因型,据此鉴别各家系。在Pot18位点可将1#家系和6#家系与其他家系相区别;Pot14位点和Pot17位点可将3#家系与其他家系相区别;Pot42位点可将5#与其他家系相区别;Pot17位点和Pot25可将2#家系与其他家系相区别。因此,Pot18位点、Pot14位点和Pot17位点、Pot42位点、Pot17位点和Pot25位点可分别用于鉴别1#和6#家系、3#、5#、2#家系的特异性标记。研究表明,在选用的6个微卫星标记中,最少选用3个标记可鉴别6个三疣梭子蟹家系。 展开更多
关键词 三疣梭子蟹 微卫星标记 特异性等位基因 亲缘鉴定
下载PDF
无限时滞中立型随机泛函微分方程解的存在唯一性(英文) 被引量:7
4
作者 周少波 薛明皋 《应用数学》 CSCD 北大核心 2008年第1期75-83,共9页
有限时滞随机泛函微分方程的存在唯一性已经得到较多的研究,但对于无限时滞随机泛函微分方程的性质极少.本文在不需要线性增长条件,在一致Lipschitz条件下证明了无限时滞中立型随机泛函微分方程的存在唯一性,给出了精确解和近似解的误... 有限时滞随机泛函微分方程的存在唯一性已经得到较多的研究,但对于无限时滞随机泛函微分方程的性质极少.本文在不需要线性增长条件,在一致Lipschitz条件下证明了无限时滞中立型随机泛函微分方程的存在唯一性,给出了精确解和近似解的误差估计,最后给出了解的矩估计. 展开更多
关键词 存在性 唯一性 中立型随机泛函微分方程 无限时滞
下载PDF
极正交各向异性圆板非线性弯曲的定性分析及单调迭代解 被引量:3
5
作者 尚新春 程昌钧 《应用数学和力学》 EI CSCD 北大核心 1990年第12期1067-1081,共15页
本文对极正交各向异性圆板在任意轴对称载荷和边界条件下的非线性弯曲问题进行了较为系统的研究.首先,将边值问题归结为等价的积分方程,并且借助于广义函数得到了线性问题的一般解答.其次,对导出的非线性积分方程解的性质作了较为细致... 本文对极正交各向异性圆板在任意轴对称载荷和边界条件下的非线性弯曲问题进行了较为系统的研究.首先,将边值问题归结为等价的积分方程,并且借助于广义函数得到了线性问题的一般解答.其次,对导出的非线性积分方程解的性质作了较为细致的讨论,例如边缘皱褶,非负性和奇性等.然后,构造了解的双边单调迭代格式,并给出了迭代格式的收敛性判据和误差估计,同时还讨论了解的全局存在唯一性.最后,给出了一个数值例子来说明本文方法和结论的应用.本文某些结果是由作者新得到的。 展开更多
关键词 圆板 各向异性 弯曲 非线性
下载PDF
论儿童文学促进幼儿情感发展及其优化策略 被引量:5
6
作者 孙建国 《教育文化论坛》 2013年第6期41-46,共6页
幼儿期是人的情感发展的关键期和敏感期,在此期间对幼儿进行儿童文学教育意义重大。本文首先论述了儿童文学促进幼儿情感发展的情育、催化、取向等三个方面的独特功能。然后论述了儿童文学与幼儿情感发展的密切联系,即情感教育离不开儿... 幼儿期是人的情感发展的关键期和敏感期,在此期间对幼儿进行儿童文学教育意义重大。本文首先论述了儿童文学促进幼儿情感发展的情育、催化、取向等三个方面的独特功能。然后论述了儿童文学与幼儿情感发展的密切联系,即情感教育离不开儿童文学教育、情感熏陶离不开儿童文学渗透、情感发展离不开儿童文学接续。最后,论述了儿童文学促进幼儿情感发展的优化策略,即泛灵原则:开发幼儿潜在天性;游戏原则:叩响幼儿情商之门;互动原则:指引幼儿审美途径。 展开更多
关键词 儿童文学 幼儿情育 情感发展 独特功能 密切联系 优化策略
下载PDF
n阶微分方程三点边值问题 被引量:1
7
作者 刘 颖 《应用数学与计算数学学报》 2001年第1期29-36,共8页
用上、下解方法讨论了非线性n阶常微分方程满足三点全非线性边界条件的边值问题解的存在性和唯一性。
关键词 边值问题 上解 下解 存在性 N阶微分方程 非线性 唯一性
下载PDF
对称点偶的基圆方程及其性质
8
作者 张建元 张毅敏 +1 位作者 胡晓飞 韩艳 《吉首大学学报(自然科学版)》 CAS 2014年第4期1-7,共7页
给出了以2定点为对称点偶的基圆方程(即表达式),利用它研究了基圆的一些性质,得到对称点偶的基圆唯一存在的条件.在几何变换方面解决了关于圆周的反演变换的一个逆问题,即给定对称点偶及半径等条件求基圆.
关键词 对称点 基圆 反演变换 比值 方程 分布 性质 唯一性
下载PDF
一类新的关于(4+4+1)-体共轭套中心构型(英文)
9
作者 刘学飞 张春涛 +1 位作者 冯天祥 陈晓春 《数学杂志》 CSCD 北大核心 2013年第3期401-408,共8页
本文研究R3中一类(4+4+1)-体中心构型.利用中心构型等价类的性质及代数、分析方法,得到了该构型构成中心构型的充分和必要条件,证明了对任意给定的质量比这类中心构型存在的结论,解决了给定不同质量比范围该类中心构型是否唯一的问题,... 本文研究R3中一类(4+4+1)-体中心构型.利用中心构型等价类的性质及代数、分析方法,得到了该构型构成中心构型的充分和必要条件,证明了对任意给定的质量比这类中心构型存在的结论,解决了给定不同质量比范围该类中心构型是否唯一的问题,推广了文[16]的结论. 展开更多
关键词 (4+4+1)-体问题 共轭套 中心构型 存在唯一性
下载PDF
均匀电场中的椭球形导体 被引量:4
10
作者 赵强 曲哲 《物理与工程》 2016年第1期23-25,共3页
本文利用"一个均匀极化的电介质椭球,其表面的极化电荷在椭球内产生一个与极化方向严格相反的均匀电场"这个观点,以均匀极化的旋转椭球形电介质为模型,用类比的方法导出了均匀外电场中旋转椭球形导体表面电荷的分布规律.
关键词 旋转椭球 导体 均匀极化 静电场的唯一性
下载PDF
四阶非线性常微分方程非线性三点边值问题解的存在性与唯一性
11
作者 裴明鹤 禹海兰 《数学物理学报(A辑)》 CSCD 北大核心 2000年第2期194-201,共8页
该文利用“Matching”技巧 ,给出了四阶非线性常微分方程y(4) =f(x,y,y′,y″,y ) ,满足非线性三点边界条件k(y(b) ,y′(b) ,y″(b) ,y (b) ,y(a) ,y′(a) ,y″(a) ,y (a) ) =0 ,y(b) =μg(y′(b) ,y (b) ) =0 ,h(y(b) ,y′(b) ,y″(b) ... 该文利用“Matching”技巧 ,给出了四阶非线性常微分方程y(4) =f(x,y,y′,y″,y ) ,满足非线性三点边界条件k(y(b) ,y′(b) ,y″(b) ,y (b) ,y(a) ,y′(a) ,y″(a) ,y (a) ) =0 ,y(b) =μg(y′(b) ,y (b) ) =0 ,h(y(b) ,y′(b) ,y″(b) ,y (b) ,y(c) ,y′(c) ,y″(c) ,y (c) ) 展开更多
关键词 非线性常微分方程 三点边值问题 存在性
下载PDF
约束最佳一致逼近理论
12
作者 彭云柯 《华中理工大学学报》 CSCD 北大核心 1992年第3期33-38,共6页
本文根据工程中的需要,提出一新型最佳一致逼近问题:函数族u(α,x)在随参数α而变化的定义域X(α)上取值、参数α在点集A(A中的点α对应的X(α)非空)中取值时的最佳一致逼近问题.文中给出了判别最佳逼近函数的Kolmogorov型定理、一阶和... 本文根据工程中的需要,提出一新型最佳一致逼近问题:函数族u(α,x)在随参数α而变化的定义域X(α)上取值、参数α在点集A(A中的点α对应的X(α)非空)中取值时的最佳一致逼近问题.文中给出了判别最佳逼近函数的Kolmogorov型定理、一阶和二阶必要条件和充分条件、以及一阶二阶局部唯一性定理. 展开更多
关键词 最佳一致逼近 充要条件 唯一性
下载PDF
含有卷积核的线性Volterra积分微分方程的数值解 被引量:3
13
作者 耿进龙 贾高 《上海理工大学学报》 EI CAS 北大核心 2008年第1期22-26,共5页
利用不动点定理证明了含有卷积核的线性Volterra积分微分方程古典解的存在性与唯一性.讨论了用TayIor公式求解该类方程的方法,并通过几个具体的例子说明这种方法的精确性.
关键词 积分微分方程 存在性和唯一性 TAYLOR公式 卷积核 不动点定理
下载PDF
一类具分布时滞的分数阶神经网络的一致稳定性
14
作者 李琳 杨海洋 田垒 《安庆师范学院学报(自然科学版)》 2015年第3期22-25,共4页
本文讨论了一类具分布时滞的分数阶神经网络系统的一致稳定性问题,主要应用分数微积分理论与Banach不动点定理得到了该系统解的存在唯一性条件和一致稳定性结果。
关键词 CAPUTO分数阶导数 神经网络系统 分布时滞 解的存在唯一性 一致稳定性
下载PDF
Electromagnetic Scattering in a Two-layered Medium
15
作者 FENG LI-XIN LI YUAN 《Communications in Mathematical Research》 CSCD 2011年第4期349-359,共11页
The object of this paper is to investigate the three-dimensional electro- magnetic scattering problems in a two-layered background medium. These problems have an important application in today's technology, such as t... The object of this paper is to investigate the three-dimensional electro- magnetic scattering problems in a two-layered background medium. These problems have an important application in today's technology, such as to detect objects that are buried in soil. Here, we model both the exterior impedance problem and the inhomogeneous medium problem in R3. We establish uniqueness and existence for the solution of the two scattering problems, respectively. 展开更多
关键词 ELECTROMAGNETIC scattering problem layered medium integral equa-tion uniqueness and existence Green function
下载PDF
脉冲时滞微分方程解的整体存在唯一性、振动性与非振动性 被引量:24
16
作者 申建华 《数学学报(中文版)》 SCIE CSCD 北大核心 1997年第1期53-59,共7页
本文讨论脉冲时滞微分方程X’(t)=f(t,x(t-T_1(t)),…,x(t-T_n(t))),x(t_k)-x(t_k^-)=I_k(x(t_k^- )).获得了方程(E) 解的一个整体存在唯一性定理.当(E)是线性方程时,给出了由时滞微分方程解的振动性或非振动性刻划出相应的脉冲时滞微... 本文讨论脉冲时滞微分方程X’(t)=f(t,x(t-T_1(t)),…,x(t-T_n(t))),x(t_k)-x(t_k^-)=I_k(x(t_k^- )).获得了方程(E) 解的一个整体存在唯一性定理.当(E)是线性方程时,给出了由时滞微分方程解的振动性或非振动性刻划出相应的脉冲时滞微分方程的同样性质的一般性脉冲条件. 展开更多
关键词 时滞微分方程 整体存在唯一性 振动性
原文传递
Carnot群上的Hardy型不等式和唯一延拓性 被引量:2
17
作者 王家林 廖冬妮 《数学学报(中文版)》 SCIE CSCD 北大核心 2015年第4期577-584,共8页
给出了一般Carnot群上的L^p加权Hardy型不等式,1<p<+∞,由此导出了Hardy-Sobolev型不等式.作为对该不等式的一个应用,考虑了一类带奇异位势的p-sub-Laplace方程,对其弱解建立了二重性和唯一延拓性.
关键词 HARDY型不等式 Hardy-Sobolev型不等式 唯一延拓性 CARNOT群
原文传递
若干完全三部图的色唯一性
18
作者 林永 邹辉文 《数学的实践与认识》 CSCD 北大核心 2007年第5期129-133,共5页
用P(G,λ)表示图G的色多项式.若对任意图H,当P(H,λ)=P(G,λ)时都有H和G同构,则称图G是色唯一的.给出了以下结果:m≥2且k≥0时,完全三部图K(m,m,m+k)是色唯一的;m≥2且m+1>k≥0时,完全三部图K(m,m+1,m+k)是色唯一的.
关键词 完全三部图 色唯一图 色划分 色多项式
原文传递
RIEMANN-HILBERT PROBLEMS OF DEGENERATE HYPERBOLIC SYSTEM
19
作者 Zhongtai Ma, Guangshan Xu (School of Math., Shandong Institute of Business & Technology, Yantai 264005, Shandong) 《Annals of Differential Equations》 2010年第2期200-205,共6页
This paper is concerned with the Riemann-Hilbert problems of degenerate hyperbolic system in two general domains, where the boundary curves are given by the parameter equations of the arc length s. We prove the existe... This paper is concerned with the Riemann-Hilbert problems of degenerate hyperbolic system in two general domains, where the boundary curves are given by the parameter equations of the arc length s. We prove the existence and uniqueness of solutions to the Riemann-Hilbert problems by conformal deformations. The corre-sponding representations of solutions to the problems are also presented. 展开更多
关键词 Riemann-Hilbert problem degenerate hyperbolic system deforma-tion of hyperbolic domain uniqueness and existence
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部