检索结果-南通市图书馆

On notions of harmonicity for non-symmetric Dirichlet form

在线全文

学校读者我要写书评

暂无评论

science china mathematics 2010年第6期53卷 1407-1420页

作者： MA ZhiMing1, ZHU RongChan1, & ZHU XiangChan2 1institute of Applied mathematics, academy of mathematics and systems science, chinese academy of sciences, beijing 100190, china 2school of Mathematical sciences, Peking University, beijing 100871, china 1. institute of Applied mathematics Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China2. School of Mathematical Sciences Peking University Beijing 100871 China

In this paper, we extend the equivalence of the analytic and probabilistic notions of harmonicity in the context of Hunt processes associated with non-symmetric Dirichlet forms on locally compact separable metric spaces. Extensions to the processes associated with semi-Dirichlet forms and nearly symmetric right processes on Lusin spaces including infinite dimensional spaces are mentioned at the end of this paper.

关键词： harmonic functions uniformly integrable martingale SPV integrable non-symmetric Dirichlet forms non-symmetric Beurling-Deny decomposition Hunt processes

Admissible Estimation for Finite Population When the Parameter Space is Restricted

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica sinica,English Series 2002年第1期18卷 37-46页

作者： ZOU guo Hua institute of systems science. academy of mathematics and system sciences. chinese academy of sciences. beijing 100080. P. R. china institute of systems science Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing P. R. China

This paper considers the admissibility of the estimators for finite population when the parameter space is restricted. We obtain all admissible linear estimators of an arbitrary linear function of characteristic values of a finite population in the class of linear estimators under the criterion of the expectation of mean souared error.

关键词： Survey sampling Admissibility Linear estimator Superpopulation model Restricted parameter space

Concatenating construction of the multisymplectic schemes for 2+1-dimensional sine-Gordon equation

在线全文

学校读者我要写书评

暂无评论

science china mathematics 2004年第1期47卷 18-30页

作者： WANG Yushun, WANG Bin & QIN MengzhaoLASG, institute of Atmospheric Physics, chinese academy of sciences, beijing 100029, china school of mathematics and Computer science, Nanjing Normal University, Nanjing 210097, china school of mathematics and system science, chinese academy of sciences, beijing 100080, china 1. LASG Institute of Atmospheric Physics Chinese Academy of Sciences 100029 Beijing China 2. school of mathematics and Computer science Nanjing Normal University 210097 Nanjing China 3. school of mathematics and system science Chinese Academy of Sciences 100080 Beijing China

In this paper, taking the 2+1-dimensional sine-Gordon equation as an example, we present the concatenating method to construct the multisymplectic schemes. The method is to discretizee independently the PDEs in different directions with symplectic schemes, so that the multisymplectic schemes can be constructed by concatenating those symplectic schemes. By this method, we can construct multisymplectic schemes, including some widely used schemes with an accuracy of any order. The numerical simulation on the collisions of solitons are also proposed to illustrate the efficiency of the multisymplectic schemes.

关键词： 2+l-climensional sine-Gordon equation multisymplectic scheme concatenating method solitons

Discovery of immune related factors in Fenneropenaeus chinensis by annotation of ESTs

在线全文

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2004年第1期14卷 48-55页

作者： SHEN Yaoqing 1,2 , XIANG Jianhai 1*, WANG bing 1,2 , LI Fuhua 1 and TONG Wei 3(1. Experimental Marine Biology Laboratory, institute of Oceanology, chinese academy of sciences, Qingdao 266071,china 2. graduate school of the chinese academy of sciences, beijing 100039, china 3. Genomics & Bioinformatics institute, chinese academy of sciences, beijing 101300, china) chinese Acad Sci Inst Oceanol Expt Marine Biol Lab Qingdao 266071 Peoples R China chinese Acad Sci Grad Sch Beijing 100039 Peoples R China chinese Acad Sci Geonom & Bioinformat Inst Beijing 101300 Peoples R China

A total of 10446 expressed sequence tags (ESTs) are obtained by a large scale sequencing of a cDNA library from cephalothorax of adult Fenneropenaeus chinensis . An EST analysis platform was built up based on local computers and bioinformatic techniques were used to annotate these ESTs in order to promptly find possible functional genes, especially for immune related factors. About 4% of the ESTs show similarity to the coding sequences of such factors, including lectin, serine protease, serpin, lysozyme, etc. These ESTs provide a partial profile of the immune system in F. chinensis and useful information for further study on these genes.

关键词： Fenneropenaeus chinensis bioinformatics ESTs immune factors

Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china mathematics 2007年第7期50卷 941-950页

作者： Ning ZHANG~(1+) Hong-bo LI~2 1 china institute for Actuarial science (CIAS),Central University of Finance and Economics,beijing 100081,china 2 academy of mathematics and systems science,chinese academy sciences,beijing 100080,china 1. china institute for Actuarial science (CIAS) Central University of Finance and Economics Beijing 100081 China 2. academy of mathematics and systems science Chinese Academy Sciences Beijing 100080 China

This paper discusses two problems:one is some important theories and algorithms of affine bracket algebra;the other is about their applications in mechanical theorem *** we give some efficient algorithms including the boundary expanding algorithm which is a key feature in *** analyze the characteristics of the boundary operator and this is the base for the implementation of the *** also give some new theories or methods about the exact division,the representations and structure of affine geometry and so *** practice,we implement the mechanical auto-proving system in Maple 10 based on the above algorithms and *** we test about more than 100 examples and compare the results with the methods before.

关键词： mechanical theorem proving geometric invariance bracket algebra affine geometry affine bracket algebra 68T15 03B35

The Koppelman-Leray formula on complex Finsler manifolds

在线全文

学校读者我要写书评

暂无评论

science china mathematics 2005年第6期48卷 847-863页

作者： QIU Chunhui & ZHONG Tongde school of Mathematical sciences, Xiamen University, Xiamen 361005, china academy of mathematics and system sciences, chinese academy of sciences, beijing 100080, china 1. school of Mathematical sciences Xiamen University 361005 Xiamen China 2. academy of mathematics and system sciences Chinese Academy of Sciences 100080 Beijing China

By means of the invariant integral kernel (the Berndtsson kernel), the complex Finsler metric and the non-linear connection associated with the Chern-Finsler connection to research into the integral representation theory on complex Finsler manifolds, theKoppelman and Koppelman-Leray formulas are obtained, and the - -equations are solved.

关键词： complex Finsler manifold, Chern-Finsler connection, invariant integral kernel, Koppelman-Lerayformulas, - -equation.

Weight hierarchies of linear codes satisfying the Near-Chain condition

在线全文

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2005年第9期15卷 784-792页

作者： LIU Zihui1** and CHEN Wende2(1. school of Mathematical sciences, Peking University, beijing 100871, china 2. Laboratory of systems and Control and Key State Laboratory of Information Security, institute of systems science, academy of mathematics and systems science, chinese academy of sciences, beijing 100080, china) school of Mathematical sciences Peking University Beijing 100871 China. Laboratory of systems and Control and Key State Laboratory of Information Security Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China

The weight hierarchies of a linear [n,k;q] code C satisfying the Near-Chain condition are studied, almost all the weight hierarchies of such code are determined.

关键词： weight hierarchy Near-Chain condition difference sequence linear code.

Markov chain approach to identifying Wiener systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information sciences) 2012年第5期55卷 1201-1217页

作者： ZHAO WenXiao 1,2 & CHEN HanFu 1,2 1 Key Laboratory of systems and Control,institute of systems science,AMSS,chinese academy of sciences,beijing 100190,china 2 National Center for mathematics and Interdisciplinary sciences,chinese academy of sciences,beijing 100190,china 1. Key Laboratory of systems and Control Institute of Systems Science AMSS Chinese Academy of Sciences Beijing 100190 China2. National Center for Mathematics and Interdisciplinary Sciences Chinese Academy of Sciences Beijing 100190 China

Identification of the Wiener system composed of an infinite impulse response (IIR) linear subsystem followed by a static nonlinearity is *** recursive estimates for unknown coefficients of the linear subsystem and for the values of the nonlinear function at any fixed points are given by the stochastic approx-imation algorithms with expanding truncations (SAAWET).With the help of properties of the Markov chain connected with the linear subsystem,all estimates derived in the paper are proved to be strongly *** comparison with the existing results on the topic,the method presented in the paper simplifies the convergence analysis and requires weaker conditions.A numerical example is given,and the simulation results are consistent with the theoretical analysis.

关键词： Wiener system recursive identification stochastic approximation Markov chain strong consis-tency

Supervisory Control of Extended Timed Event Graphs

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae sinica 2003年第2期19卷 281-288页

作者： Zhi-bing Zhuo, Wen-de Cheninstitute of systems science, academy of mathematics and system sciences, chinese academy of sciences, beijing 100080, china institute of systems science Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing China

Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of extended timed events graphs. Supervisory control of extended timed event graphs (a class of discrete event dynamic systems) is studied in the dioid framework, a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable is presented. We prove all the strongly controllable subsets can form a complete lattice.

关键词： Keywords Supervisory control extended timed event graph (ETEG) dioid strong controllability discrete event dynamic system (DEDS)