期刊文献+
共找到1,459篇文章
< 1 2 73 >
每页显示 20 50 100
SCHWARZ TYPE LEMMAS FOR QUATERNION K-REGULAR FUNCTIONS
1
作者 Xiaotong LIANG Xiaojing DU Yonghong XIE 《Acta Mathematica Scientia》 2026年第1期131-144,共14页
In this paper,Schwarz-type lemmas for different classes of quaternion functions are obtained.Firstly,some properties of symmetric points are given.Secondly,the Schwarz-type lemma and the Schwarz-Pick-type theorem for ... In this paper,Schwarz-type lemmas for different classes of quaternion functions are obtained.Firstly,some properties of symmetric points are given.Secondly,the Schwarz-type lemma and the Schwarz-Pick-type theorem for quaternion regular functions are obtained.Finally,the Schwarz-type lemma for quaternion k-regular functions is derived. 展开更多
关键词 QUATERNION Schwarz-type lemma Schwarz-Pick lemma Poisson integral formula
在线阅读 下载PDF
Hopf Lemma of Mixed Local and Nonlocal Weighted Semilinear Elliptic Equations
2
作者 Yongzhi DAIJI Shuibo HUANG Qiaoyu TIAN 《Journal of Mathematical Research with Applications》 2025年第4期513-520,共8页
In this paper,we consider the Hopf lemma of the following mixed local and nonlocal weighted semilinear elliptic equations{-div(|x|^(-2α)■u)+(-△)_(α)^(s)u=0,x∈U,u(x^(^))=-u(x),x∈H,u(x)=0,x∈R^(N)\U,where H belong... In this paper,we consider the Hopf lemma of the following mixed local and nonlocal weighted semilinear elliptic equations{-div(|x|^(-2α)■u)+(-△)_(α)^(s)u=0,x∈U,u(x^(^))=-u(x),x∈H,u(x)=0,x∈R^(N)\U,where H belong to R^(N)with 0∈H is an open and affine half space,U belong to H is an open and bounded set,s∈(0,1),α∈[0,N-2s/2),(-△)_(α)^(s)is weighted fractional Laplacian with a weighted function. 展开更多
关键词 mixed local and nonlocal Hopf lemma weighted fractional Laplacian
原文传递
多元函数的差分型与因子型分解及Hammersley-Clifford定理
3
作者 段小刚 《数学进展》 北大核心 2026年第1期20-34,共15页
差分型与因子型数学分解,是理解多元函数本质和重塑多元函数结构的重要依据.文献上存在几种著名的精确分解式,包括Hoeffding分解、Besag差分公式、Efron-Stein ANOVA分解引理和Brook因子分解定理等.这些看似数学游戏的分解式,在联合密... 差分型与因子型数学分解,是理解多元函数本质和重塑多元函数结构的重要依据.文献上存在几种著名的精确分解式,包括Hoeffding分解、Besag差分公式、Efron-Stein ANOVA分解引理和Brook因子分解定理等.这些看似数学游戏的分解式,在联合密度建模和变差分析等统计研究话题中发挥着关键作用,而这些本质上联系紧密的分解式散布在不同类型文献中.本文系统整理阐述差分型与因子型分解的重要结论,并尝试对部分结论给出新颖的理解和论证视角.论文还深入探索了精确分解式在三种经典统计建模场景中的巧妙应用. 展开更多
关键词 ANOVA分解 Brook引理 Gibbs抽样器 马尔可夫随机场 U统计量
原文传递
带递归定义的SMT公式求解技术综述
4
作者 冯维直 刘嘉祥 +1 位作者 张立军 吴志林 《软件学报》 北大核心 2026年第2期508-542,共35页
带有递归数据结构,如列表(list)和二叉树(tree)等数据类型的程序,在计算机领域被广泛使用.程序验证问题通常将程序转换为可满足性模理论(satisfiability modulo theories,SMT)公式进行求解.递归数据结构通常会转换为代数数据类型(algebr... 带有递归数据结构,如列表(list)和二叉树(tree)等数据类型的程序,在计算机领域被广泛使用.程序验证问题通常将程序转换为可满足性模理论(satisfiability modulo theories,SMT)公式进行求解.递归数据结构通常会转换为代数数据类型(algebraic data type,ADT)和整数等混合理论的一阶逻辑公式.另外,为表示递归数据结构的性质,程序中通常需要包含递归函数,递归函数在SMT中则需要通过包含量词和未解释函数的断言来表示.关注带有ADT和递归函数这两类递归定义SMT公式的求解方法.从SMT求解器、自动定理证明器和约束霍恩子句(constrained Horn clause,CHC)求解器这3方面对现有技术进行梳理和介绍.同时,对主流的求解工具进行统一实验对比,探究现有求解工具和技术在各类问题上的优势和缺陷,尝试寻找潜在的优化方向,为研究者提供有价值的分析和参考. 展开更多
关键词 形式化方法 递归函数 可满足性模理论 归纳推理 引理合成 约束霍恩子句
在线阅读 下载PDF
复Finsler流形上的一类Schwarz引理
5
作者 李龙杰 李锦玲 《集美大学学报(自然科学版)》 2026年第1期115-120,共6页
文中证明了紧复Finsler流形(M,G)到复Finsler流形(N,G_(1))上的一类Schwarz引理。特别地,假设G_(1)是N上的上半连续的复Finsler伪度量。作为应用,给出了紧复Finsler流形上的刘维尔型定理。对非紧的情况,证明了复平面到复Finsler流形上... 文中证明了紧复Finsler流形(M,G)到复Finsler流形(N,G_(1))上的一类Schwarz引理。特别地,假设G_(1)是N上的上半连续的复Finsler伪度量。作为应用,给出了紧复Finsler流形上的刘维尔型定理。对非紧的情况,证明了复平面到复Finsler流形上的刘维尔型定理。 展开更多
关键词 复FINSLER流形 全纯截面曲率 SCHWARZ引理 刘维尔定理
在线阅读 下载PDF
巴拿赫代数上的共同e⁃Drazin可逆性
6
作者 胡广飞 严锴 《哈尔滨商业大学学报(自然科学版)》 2026年第1期106-110,共5页
设A为Banach代数,对于A中满足ab^(n)=b^(n+1),ba^(n)=a^(n+1)的元素a和b,证明了元素1-a和1-b同时具有e⁃Drazin可逆性、eg⁃Drazin可逆性以及ep⁃Drazin可逆性.并且,这些广义逆之间的具体关系表达式被明确给出.所得结果为观察1-a和1-b的(广... 设A为Banach代数,对于A中满足ab^(n)=b^(n+1),ba^(n)=a^(n+1)的元素a和b,证明了元素1-a和1-b同时具有e⁃Drazin可逆性、eg⁃Drazin可逆性以及ep⁃Drazin可逆性.并且,这些广义逆之间的具体关系表达式被明确给出.所得结果为观察1-a和1-b的(广义)Drazin逆提供了不同的视角. 展开更多
关键词 DRAZIN逆 广义逆 BANACH代数 Jacobson引理 可逆性 广义Drazin逆
在线阅读 下载PDF
整数积阵的斜整除、拟斜整除及其应用
7
作者 徐斌 商宇 邓勇 《高师理科学刊》 2026年第1期1-4,共4页
给出整数积阵、斜整除、拟斜整除等概念,证明了关于素因数的斜整除等价于整除及拟斜整除必定整除等结论。给出Gauss引理新的证明方法,推广Eisenstein判别法,并且给出Eisenstein判别法推广定理的两个应用实例。
关键词 整数积阵 斜整除性 拟斜整除 高斯引理 艾森斯坦因判别法
在线阅读 下载PDF
ELE restrains empty glumes from developing into lemmas 被引量:12
8
作者 Lilan Hong Qian Qian +6 位作者 Keming Zhu Ding Tang Zejun Huang Ling Gao Ming Li Minghong Gu Zhukuan Cheng 《Journal of Genetics and Genomics》 SCIE CAS CSCD 2010年第2期101-115,共15页
Although there is evident homology among reproductive organs when comparing Poaceae (grass) and eudicots, the identity of grass specific organs, such as lodicules, palea, lemma, and glumes has been the subject of a ... Although there is evident homology among reproductive organs when comparing Poaceae (grass) and eudicots, the identity of grass specific organs, such as lodicules, palea, lemma, and glumes has been the subject of a vast and largely inconclusive discussion. Here we provide some direct evidence to support the idea that the empty glumes of rice (Oryza sativa) are counterparts of lemmas. We show that the development of empty glumes is regulated by ELE (elongated empty glume), which belongs to a plant specific novel gene family. Mutations at the ELE locus cause elongated empty glumes, which mimic the lemmas and have the epidermal morphology of lemmas with four or five vascular bundles. As a nuclear-localized gene, ELE is specifically expressed at the empty glumes of immature spikelets, and its ectopic expression causes many floral development defects, including lemma-like palea, extra palea-like structures, elongated lodicules, extra stamens and stigmas. Our result suggests that empty glumes are lemmas of the sterile florets located at the lateral side of the rice spikelet, and ELE acts as a regulator restraining its growth to maintain its small size in wild-type plants. 展开更多
关键词 empty glumes lemmas ELE RICE
原文传递
A NOTE ON SCHWARZ LEMMA FOR THE MODULUS OF HOLOMORPHIC MAPPINGS ON D 被引量:4
9
作者 刘洋 戴绍虞 《Acta Mathematica Scientia》 SCIE CSCD 2015年第1期89-94,共6页
In this note, we consider a holomorphic mapping f from the unit disk C in C to p-ball B^p = {z∈C^n;i=1∑n|zi|p〈1,1〈p〈+∞. It is proved that for such f,| | |f||(z)|≤1-||f(z)||^2/1-|z|^2,z∈D. Th... In this note, we consider a holomorphic mapping f from the unit disk C in C to p-ball B^p = {z∈C^n;i=1∑n|zi|p〈1,1〈p〈+∞. It is proved that for such f,| | |f||(z)|≤1-||f(z)||^2/1-|z|^2,z∈D. The extremal problem is also discussed when p is an even number. This result extends some related results on Schwarz lemma. 展开更多
关键词 Schwarz lemma holomorphic mapping p-ball
在线阅读 下载PDF
New versions of Barbalat's lemma with applications 被引量:6
10
作者 Mingzhe HOU Guangren DUAN Mengshu GUO 《控制理论与应用(英文版)》 EI 2010年第4期545-547,共3页
This note presents a set of new versions of Barbalat's lemma combining with positive (negative) definite functions.Based on these results,a set of new formulations of Lyapunov-like lemma are established.A simple ex... This note presents a set of new versions of Barbalat's lemma combining with positive (negative) definite functions.Based on these results,a set of new formulations of Lyapunov-like lemma are established.A simple example shows the usefulness of our results. 展开更多
关键词 Barbalat's lemma Lyapunov-like lemma
在线阅读 下载PDF
A version of Hill's lemma for Cosserat continuum 被引量:3
11
作者 Xikui Li Qipeng Liu 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2009年第4期499-506,共8页
On the basis of Hill's lemma for classical Cauchy continuum, a version of Hill's lemma for micro-macro homogenization modeling of heterogeneous Cosserat continuum is presented in the flame of average-field theory. T... On the basis of Hill's lemma for classical Cauchy continuum, a version of Hill's lemma for micro-macro homogenization modeling of heterogeneous Cosserat continuum is presented in the flame of average-field theory. The admissible boundary conditions required to prescribe on the representative volume element for the modeling are extracted and discussed to ensure the satisfaction of Hill-Mandel energy condition and the first-order average field theory. 展开更多
关键词 Hill's lemma Hill-Mandel condition Cosserat continuum Average-field theory RVE boundary conditions
在线阅读 下载PDF
THE SCHWARZ LEMMA AT THE BOUNDARY OF THE NON-CONVEX COMPLEX ELLIPSOIDS 被引量:2
12
作者 Le HE Zhenhan TU 《Acta Mathematica Scientia》 SCIE CSCD 2019年第4期915-926,共12页
Let B2,p:= {z ∈ C2: |z1|2+ |z2|p< 1}(0 < p < 1). Then, B2,p(0 < p < 1) is a non-convex complex ellipsoid in C2 without smooth boundary. In this article, we establish a boundary Schwarz lemma at z0 ... Let B2,p:= {z ∈ C2: |z1|2+ |z2|p< 1}(0 < p < 1). Then, B2,p(0 < p < 1) is a non-convex complex ellipsoid in C2 without smooth boundary. In this article, we establish a boundary Schwarz lemma at z0 ∈ ?B2,p for holomorphic self-mappings of the non-convex complex ellipsoid B2,p, where z0 is any smooth boundary point of B2,p. 展开更多
关键词 BOUNDARY SCHWARZ lemma HOLOMORPHIC mappings Kobayashi metric NONCONVEX COMPLEX ELLIPSOIDS
在线阅读 下载PDF
The soft glumes of common wheat are sterile-lemmas as determined by the domestication gene Q 被引量:1
13
作者 Gaoyuan Song Guoliang Sun +7 位作者 Xingchen Kong Meiling Jia Ke Wang Xingguo Ye Yun Zhou Shuaifeng Geng Long Mao Aili Li 《The Crop Journal》 SCIE CAS CSCD 2019年第1期113-117,共5页
The Q gene in common wheat encodes an APETALA2(AP2) transcription factor that causes the free threshing attribute. Wheat spikelets bearing several florets are subtended by a pair of soft glumes that allow free liberat... The Q gene in common wheat encodes an APETALA2(AP2) transcription factor that causes the free threshing attribute. Wheat spikelets bearing several florets are subtended by a pair of soft glumes that allow free liberation of seeds. In wild species, the glumes are tough and rigid,making threshing difficult. However, the nature of these "soft glumes", caused by the domestication allele Q is not clear. Here, we found that over expression of Q in common wheat leads to homeotic florets at glume positions. We provide phenotypic, microscopy, and marker genes evidence to demonstrate that the soft glumes of common wheat are in fact lemma-like organs, or so-called sterile-lemmas. By comparing the structures subtending spikelets in wheat and other crops such as rice and maize, we found that AP2 genes may play conserved functions in grasses by manipulating vestigial structures, such as floret-derived soft glumes in wheat and empty glumes in rice. Conversion of these seemingly vegetative organs to reproductive organs may be useful in yield improvement of crop species. 展开更多
关键词 FLORET development SPIKE morphology STERILE lemma Wheat
在线阅读 下载PDF
Bounded Real Lemma for Generalized Linear System with Finite Discrete Jumps 被引量:1
14
作者 何黎明 杨晓军 翁正新 《Journal of Shanghai Jiaotong university(Science)》 EI 2006年第4期440-444,共5页
The strict bounded real lemma for linear system with finite discrete jumps was considered. Especially, the case where D matrices in the system are not assumed to be zero was dealt. Several versions of the bounded real... The strict bounded real lemma for linear system with finite discrete jumps was considered. Especially, the case where D matrices in the system are not assumed to be zero was dealt. Several versions of the bounded real lemma are presented in terms of solution to Riccati differential equations or inequalities with finite discrete jumps. Both the finite and infinite horizon cases are considered. These results generalize the existed bounded real lemma for linear systems. 展开更多
关键词 BOUNDED real lemma SAMPLED-DATA systems RICCATI EQUATIONS
在线阅读 下载PDF
A SCHWARZ-PICK LEMMA FOR THE MODULUS OF HOLOMORPHIC MAPPINGS FROM THE POLYDISK INTO THE UNIT BALL 被引量:4
15
作者 戴绍虞 潘一飞 《Acta Mathematica Scientia》 SCIE CSCD 2014年第6期1775-1780,共6页
In this paper we prove a Schwarz-Pick lemma for the modulus of holomorphic mappings from the polydisk into the unit ball. This result extends some related results.
关键词 holomorphic mappings Schwarz-Pick lemma the polydisk
在线阅读 下载PDF
Synergistic roles of LAX1 and FZP in the development of rice sterile lemma 被引量:1
16
作者 Yidong Wang Shanshan Wei +3 位作者 Yubing He Lang Yan Rongchen Wang Yunde Zhao 《The Crop Journal》 SCIE CAS CSCD 2020年第1期16-25,共10页
Rice florets are subtended by two sterile lemmas,whose origin and biological functions have not been studied extensively.Here we demonstrate that two putative transcription factors,LAX PANICLE1(LAX1)and FRIZZY PANICLE... Rice florets are subtended by two sterile lemmas,whose origin and biological functions have not been studied extensively.Here we demonstrate that two putative transcription factors,LAX PANICLE1(LAX1)and FRIZZY PANICLE(FZP),synergistically control the development of sterile lemmas.Both LAX1 and FZP are previously known for their roles in panicle and floret development.Disruption of either LAX1 or FZP greatly reduces the number of floret development.We generated new lax1 mutants(lax1-c)using CRISPR/Cas9 gene editing technology.In addition to the expected lax panicle phenotypes,we noticed that a significant number of spikelets of lax1-c developed elongated sterile lemmas.Moreover,our characterization of lax1-RNAi plants also revealed sterile lemma phenotypes similar to lax1-c mutants.We isolated a weak allele of fzp(fzp-14)in a genetic screen for lax1–1 enhancers.The fzp-14 lax1–1 double mutants completely eliminated flower development.Interestingly,the isolated fzp-14 produced spikelets with elongated sterile lemmas.Furthermore,fzp-14 was haploid-insufficient in the lax1–1 background whereas fzp-14 heterozygous plants were indistinguishable from wild type plants.The lax1–1 fzp-14+/−also developed elongated sterile lemma as observed in lax1-c,lax1-RNAi,and fzp-14,suggesting that LAX1 and FZP synergistically control sterile lemma development. 展开更多
关键词 LAX1 FZP RICE CRISPR Flower development Sterile lemma
在线阅读 下载PDF
Bounded Real Lemmas for Fractional Order Systems 被引量:1
17
作者 Shu Liang Yi-Heng Wei +2 位作者 Jin-Wen Pan Qing Gao Yong Wang 《International Journal of Automation and computing》 EI CSCD 2015年第2期192-198,共7页
This paper derives the bounded real lemmas corresponding to L∞norm and H∞norm(L-BR and H-BR) of fractional order systems. The lemmas reduce the original computations of norms into linear matrix inequality(LMI) probl... This paper derives the bounded real lemmas corresponding to L∞norm and H∞norm(L-BR and H-BR) of fractional order systems. The lemmas reduce the original computations of norms into linear matrix inequality(LMI) problems, which can be performed in a computationally efficient fashion. This convex relaxation is enlightened from the generalized Kalman-YakubovichPopov(KYP) lemma and brings no conservatism to the L-BR. Meanwhile, an H-BR is developed similarly but with some conservatism.However, it can test the system stability automatically in addition to the norm computation, which is of fundamental importance for system analysis. From this advantage, we further address the synthesis problem of H∞control for fractional order systems in the form of LMI. Three illustrative examples are given to show the effectiveness of our methods. 展开更多
关键词 Fractional order systems L∞norm H∞norm H∞control bounded real lemmas linear matrix inequality(LMI).
原文传递
THE EXTENDED JORDAN'S LEMMA AND THE RELATION BETWEEN LAPLACE TRANSFORM AND FOURIER TRANSFORM 被引量:1
18
作者 魏志勇 诸永泰 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1997年第6期571-574,共4页
Jordan's lemma can be used for a wider range than the original one. The extended Jordan's lemma can be described as follows. Let f(z) be analytic in the upper half of the z plane (Imz≥0), with the exception o... Jordan's lemma can be used for a wider range than the original one. The extended Jordan's lemma can be described as follows. Let f(z) be analytic in the upper half of the z plane (Imz≥0), with the exception of a finite number of isolated singularities, and for P>o, if then where z=Rei and CR is the open semicircle in the upper half of the z plane.With the extended Jordan's lemma one can find that Laplace transform and Fourier transform are a pair of integral transforms which relate to each other. 展开更多
关键词 extended Jordan's lemma Laplace transform Fourier transform complex variable function
在线阅读 下载PDF
On necessity proof of strict bounded real lemma for generalized linear systems with finite discrete jumps 被引量:1
19
作者 XiaojunYANG ZhengxinWENG ZuohuaTIAN 《控制理论与应用(英文版)》 EI 2004年第4期411-415,共5页
Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with exp... Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps. 展开更多
关键词 Bounded real lemma Linear systems with finite discrete jumps Riccati equations
在线阅读 下载PDF
The Extension of Robinson's Sequential Lemma and Its Application 被引量:1
20
作者 陈东立 马春晖 卢志义 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2007年第3期471-474,共4页
A. Robinson's sequential lemma is extended to nets in general topological space, and obviously the case of nets in ^*R is its corollary. As its application, the paper proves a property about topology of uniform conv... A. Robinson's sequential lemma is extended to nets in general topological space, and obviously the case of nets in ^*R is its corollary. As its application, the paper proves a property about topology of uniform convergence. 展开更多
关键词 Robinson's sequential lemma MONAD monad of uniformity topology of uniform convergence
在线阅读 下载PDF
上一页 1 2 73 下一页 到第
使用帮助 返回顶部