检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

长的中波红外HgCdTe平接线列阵(下)

红外 1999年第5期20卷 26-29页

作者： jean paul chamonal 高国龙法国LETI/LIRCEA

5.1500元中波红外IRCMOS平接列阵的性能在这一节中,我们给出从一个工作于3μm～5μm波段的1500元平接线列上获得的表征结果。

关键词：中波红外器件汞镉碲平接线列阵

On the Contribution of Wu Wen-Tsün to Algebraic Topology

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2019年第1期32卷 3-36页

作者： BRASSELET jean-paul I2M (CNRS)-Aix-Marseille University

The aim of this article is to present the contribution of Wu Wen-Tsün to Algebraic Topology and more precisely to the theory of characteristic classes. Several papers provide complete and welldocumented biography and academic career of Wu Wen-Tsün, in particular, Hudecek, 2014; O'Connor and Robertson, 2006; Wen-Tsün Wu's Academic Career, 2006; Selected works of Wen-Tsun Wu, *** author does not repeat the details provided in these papers concerning the Wu Wen-Tsün's bibliography, we will just mention people involved in the Wu Wen-Tsün's period in *** addition to Wu Wen-Tsün's papers, the Dieudonné's book(Dieudonné, 1960) provides an excellent presentation of main results of Wu Wen-Tsün in Algebraic and Differential Topology. The author will use and abuse of this book(and refer to) when *** the introduction, the author recalls mainly historical facts concerning the contribution of Wu Wen-Tsün to Algebraic Topology. The second section shows speci?cally the contribution of Wu WenTsün to the Stiefel-Whitney classes and introduces the third section, dealing with the(real) Wu *** author provides de?nition, properties as well as further developments and generalizations of the Wu classes. The fourth and ?fth sections are devoted to recent applications: In Cobordism theory and in Mathematical Physics. The author notices that Wu classes have been used as well in other domains,in particular surgery theory(Madsen and Milgram, 1979). The last section concerns the complex Wu classes and shows that the more recent Mather classes coincide with the previously de?ned complex Wu classes, that is a result from Zhou(1994)(see also Liu, 1996).This article is devoted to the contribution of Wu Wen-Tsün to the theory of Characteristic Classes,which coincides with his "French period"(1947–1951). However, speaking of Algebraic Topology, it is worthwhile to mention the important contribution of Wu Wen-Tsün to the Theory of realization of complexes or manifolds in Eucl

关键词： Algebraic topology characteristic class cobordism theory mathematical physics Wu Class

Microbiota-host interplay at the gut epithelial level,health and nutrition

在线全文

学校读者我要写书评

暂无评论

Journal of Animal Science and Biotechnology 2017年第2期8卷 327-334页

作者： jean-paul Lallès Division of Human Nutrition Division INRA Clermont-Ferrand France Human Nutrition Research Center-West Nantes France

Growing evidence suggests the implication of the gut microbiota in various facets of health and disease. In this review, the focus is put on microbiota-host molecular cross-talk at the gut epithelial level with special emphasis on two defense systems： intestinal alkaline phosphatase（IAP） and inducible heat shock proteins（iHSPs）. Both IAP and iHSPs are induced by various microbial structural components（e.g. lipopolysaccharide, flagellin, CpG DNA motifs）,metabolites（e.g. n-butyrate） or secreted signal molecules（e.g., toxins, various peptides, polyphosphate）. IAP is produced in the small intestine and secreted into the lumen and in the interior milieu. It detoxifies microbial components by dephosphorylation and, therefore, down-regulates microbe-induced inflammation mainly by inhibiting NF-κB pro-inflammatory pathway in enterocytes. IAP gene expression and enzyme activity are influenced by the gut microbiota. Conversely, IAP controls gut microbiota composition both directly, and indirectly though the detoxification of pro-inflammatory free luminal adenosine triphosphate and inflammation inhibition. Inducible HSPs are expressed by gut epithelial cells in proportion to the microbial load along the gastro-intestinal tract. They are also induced by various microbial components, metabolites and secreted molecules. Whether iHSPs contribute to shape the gut microbiota is presently unknown. Both systems display strong anti-inflammatory and anti-oxidant properties that are protective to the gut and the host. Importantly, epithelial gene expressions and protein concentrations of IAP and iHSPs can be stimulated by probiotics, prebiotics and a large variety of dietary components, including macronutrients（protein and amino acids, especially L-glutamine, fat, fiber）, and specific minerals（e.g. calcium）and vitamins（e.g. vitamins K1 and K2）. Some food components（e.g. lectins, soybean proteins, various polyphenols） may inhibit or disturb these systems. The general cel ular and molecula

关键词： Diet Gut Inducible heat shock protein Inflammation Intestinal alkaline phosphatase Microbiota

Single-particle cryo-EM: beyond the resolution

在线全文

学校读者我要写书评

暂无评论

National Science Review 2019年第5期6卷 864-866页

作者： jean-paul Armache Yifan Cheng Department of Biochemistry and Molecular Biology and the Huck Institutes of the Life Sciences Pennsylvania State University Howard Hughes Medical Institute University of California San Francisco Department of Biochemistry and Biophysics University of California San Francisco

Structural biology aims to provide structural insights into our understandings of biological processes at the atomic *** structures of biological macromolecules are often determinedby one of the three major methods:Xr... 详细信息

关键词： Single-particle cryo-EM beyond the resolution

G~n filling orbicular N-sided holes using periodic B-spline surfaces

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2011年第7期54卷 1383-1394页

作者： paul jean-Claude School of Software Tsinghua University Key Laboratory for Information System Security Ministry of Education of China Tsinghua National Laboratory for Information Science and Technology Institute National de Recherche en Informatique et en Automatique

The orbicular N -sided hole filling problem is usually introduced by filleting an end-point of a part with large *** existing methods based on quadrilateral partition or constrained-optimization can rarely generate high-order continuous blending surfaces under these *** paper first reparameterizes the boundary of the specified orbicular N -sided hole to ensure the compatibility of neighboring cross-boundary derivatives on the connecting points,preserving their G n *** we compute the control points of the periodic B-spline surface using the sufficient G n continuity condition on the pole and the algorithm of extending parametric *** method generates single blending surface,which can be converted into standard Bspline surface by adding knots without introducing *** only elevates the degree of the boundary by *** construction method is simple and efficient,without iteration nor large-scale matrix *** achieves G n continuity under compatible *** blending examples underline its feasibility and practicability.

关键词： CAD periodic B-spline surface polar coordinates N -sided hole filling G n continuity

Subdifferentials of Distance Functions,Approximations and Enlargements

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2007年第3期23卷 507-520页

作者： jean-paul PENOT Robert RATSIMAHALO Department of Mathematics Faculty of Sciencesav.de l'Université BP 115564013 PA U CédexFrance Business Unit:Bank and Financials SODIFRANCE104 rue Castagnary75015 ParisFrance

In this work, we study some subdifferentials of the distance function to a nonempty nonconvex closed subset of a general Banach space. We relate them to the normal cone of the enlargements of the set which can be cons... 详细信息

关键词： Distance function Normal cone Regularization Subdifferential

Effect of stocking density on performances of juvenile turbot (Scophthalmus maximus) in recirculating aquaculture systems

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Oceanology and Limnology 2013年第3期31卷 514-522页

作者：李贤刘鹰 jean-paul BLANCHETON Key Laboratory of Marine Biotechnology Institute of OceanologyChinese Academy of Sciences Graduate University of Chinese Academy of Sciences IFREMER UMR Ecosym USTL

Limited information has been available about the influence of loading density on the performances of Scophthalmus maximus, especially in recirculating aquaculture systems （RAS）. In this study, turbot （13.84±2.74 g; average weigh±SD） were reared at four different initial densities （low 0.66, medium 1.26, sub-high 2.56, high 4.00 kg/m^2） for 10 weeks in RAS at 23±1℃ Final densities were 4.67, 7.25, 14.16, and 17.47 kg/m^2, respectively, which translate to 82, 108, 214, and 282 percent coverage of the tank bottom. Density had both negative and independent impacts on growth. The final mean weight, specific growth rate （SGR）, and voluntary feed intake significantly decreased and the coefficient of variation （CV） of final body weight increased with increase in stocking density. The medium and sub-high density groups did not differ significantly in SGR, mean weight, CV, food conversion rate （FCR）, feed intake, blood parameters, and digestive enzymes. The protease activities of the digestive tract at pH 7, 8.5, 9, and 10 were significantly higher for the highest density group, but tended to be lower （not significantly） at pH 4 and 8.5 for the lowest density group. The intensity of protease activity was inversely related to feed intake at the different densities. Catalase activity was higher （but not significantly） at the highest density, perhaps because high density started to induce an oxidative effect in turbot. In conclusion, turbot can be cultured in RAS at a density of less than 17.47 kg/m^2. With good water quality and no feed limitation, initial density between 1.26 and 2.56 kg/m^2 （final： 7.25 and 14.16 kg/m^2） would not negatively affect the turbot cultured in RAS. For culture at higher density, multi-level feeding devices are suggested to ease feeding competition.

关键词： turbot stocking density growth protease activity

A comparative study of two formal semantics of the SIGNAL language

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第5期7卷 673-693页

作者： Zhibin YANG jean-paul BODEVEIX Mamoun FILALI School of Computer Science and Engineering Beihang University Beijing 100191 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantics for SIG- NAL, such as denotational semantics based on traces （called trace semantics）, denotational semantics based on tags （called tagged model semantics）, operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by syn- chronous transition systems （STS）, etc. However, there is lit- tle research about the equivalence between these semantics. In this work, we would like to prove the equivalence be- tween the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different defini- tions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The dis- tance between these two semantics discourages a direct proof of equivalence. Instead, we transform them to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL.

关键词： synchronous language SIGNAL trace seman- tics tagged model semantics semantics equivalence Coq

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2019年第4期13卷 715-734页

作者： Zhibin YANG jean-paul BODEVEIX Mamoun FILALI School of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China State Key Laboratory of Software Development Environment Beijing 100191 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 211106 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

This paper presents a simple and safe compiler, called MinSIGNAL, from a subset of the synchronous dataflow language SIGNAL to C, as well as its existing en? hancements. The compiler follows a modular architecture, and can be seen as a sequence of source-to-source transformations applied to an intermediate representation which is named Synchronous Clocked Guarded Actions (S-CGA) and translation to sequential imperative code. Objective Caml (OCaml) is used for the implementation of MinSIGNAL. As a modem functional language, OCaml is adapted to symbolic computation and so, particularly suitable for compiler design and implementation of formal analysis tools. In particular, the safety of its type checking allows to skip some verification that would be mandatory with other languages. Additionally, this work is a basis for the formal verification of the compilation of SIGNAL with a theorem prover such as Coq.

关键词： synchronous languages SIGNAL Synchronous Clocked Guarded Actions (S-CGA) Objective Caml functional programming