检索结果-南通市图书馆

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.74g; average weight±SD) were reared at four different initial densities (low 0.66, medium 1.26, sub-high 2.56, high 4.00 kg/m2 ) for 10 weeks in RAS at 23±1℃. Final densities were 4.67, 7.25, 14.16, and 17.47 kg/m2 , 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/m2 . With good water quality and no feed limitation, initial density between 1.26 and 2.56 kg/m2 (final: 7.25 and 14.16 kg/m2 ) would not negatively affect the turbot cultured in RAS. For culture at higher density, multi-level feeding devices are suggested to ease feeding competition.

关键词：循环水产养殖系统放养密度大菱鲆表演饲料转化率蛋白酶活性循环水养殖系统自由采食量

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

Oculoplastic publication trends in general ophthalmology journals

在线全文

学校读者我要写书评

暂无评论

International Journal of Ophthalmology(English edition) 2022年第11期15卷 1852-1856页

作者： jean-paul Dray Nur Khatib Eric Souied Peerooz Saeed Guy Ben Simon Juliana Gildener-Leapman Ofira Zloto Department of Ophthalmology Centre Hospitalier Intercommunal de CreteilCreteil 94000France Orbital Center Department of OphthalmologyAmsterdam University Medical CentersAmsterdam 1105the Netherlands Goldschleger Eye Institute Sheba Medical CenterAffiliated to the Sackler Faculty of MedicineTel Aviv UniversityTel Aviv6997801Israel Meir Medical Center Kfar Saba 4428164Israel

AIM: To examine the publication trend of oculoplastic articles throughout the last decade in general ophthalmology ***: A review of all abstracts published between Januar y 2010 to December 2019 in general, clinical ophthalmic journals was conducted. Articles that were categorized as original articles in general and clinical journals were included in the ***: Totally 10 281 abstracts were included. Of them 465(4.5%) were oculoplastic publications. The mean number of annual-publications was 46.5 and the mean annual-rate of oculoplastic publications was 4.51%. A significant decreasing trend in the number of oculoplastic publication in the last decade was found(P<0.01, R^(2)=0.770). However, there was no significant change in the annual-rate of oculoplastic publications during the last decade(P=0.191, R2=0.203). From the 465 oculoplastic articles: 179(38.5%) were articles about eyelid diseases, 160(34.40%) were about orbit diseases, 92(19.80%) were about lacrimal diseases and 34(7.30%) were about thyroid eye disease(TED). A significant decreasing trends in the number of orbital and eyelids publications were found(P<0.01, P<0.01). However, there were no significant changes in the annual-rate of orbital, eyelids, TED and lacrimal-diseases publications throughout the last ***: Oculoplastic subspecialty deals with a wide range of pathologies in different ages. However, less than 5% of the articles in general, clinical, high impact factor ophthalmology journals are about oculoplastic diseases. One of the best way for ophthalmologists from different subspecilties, nowadays, to be updated, is to read highimpact-factor, general ophthalmology journals. Therefore, it is important that those journals will include articles about breakthroughs in oculoplastic.

关键词： oculoplastic publications journals general articles ophthalmology

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

Visual Simulation of Multiple Unmixable Fluids

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2007年第1期22卷 156-160页

作者：郑文雍俊海 jean-Claude paul School of Software Tsinghua University Beijing 100084 China Department of Computer Science and Technology Tsinghua University Beijing 100084 China CNRS Paris 75794 France

We present a novel grid-based method for simulating multiple unmixable fluids moving and interacting. Unlike previous methods that can only represent the interface between two fluids （usually between liquid and gas）, this method can handle an arbitrary number of fluids through multiple independent level sets coupled with a constrain condition. To capture the fluid surface more accurately, we extend the particle level set method to a multi-fluid version. It shares the advantages of the particle level set method, and has the ability to track the interfaces of multiple fluids. To handle the dynamic behavior of different fluids existing together, we use a multiphase fluid formulation based on a smooth weight function.

关键词： computational fluid dynamics natural phenomena physically based animation

On the Centre of Mass Motion in Human Walking

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2017年第5期14卷 542-551页

作者： Justin Carpentier Mehdi Benallegue jean-paul Laumond LAAS-CNRS University of Toulouse Humanoids Research Group National Institute of Advanced Industrial Science and Technology

The center of mass （CoM） is a key descriptor in the understanding and the analysis of bipedal locomotion. Some approaches are based on the premise that humans minimize the CoM vertical displacement. Other approaches express walking dynamics through the inverted pendulum model. Such approaches are contradictory in that they lead to two conflicting patterns to express the CoM motion： straight line segments for the first approaches and arcs of a circle for the second ones. In this paper, we show that CoM motion is a trade-off between both patterns. Specifically, CoM follows a ＂curtate cycloid＂, which is the curve described by a point rigidly attached to a wheel rolling on a flat surface. We demonstrate that all the three parameters defining a curtate cycloid only depend on the height of the subjects.

关键词： Human locomotion analytical model centre of mass locomotion signature synergies.

Large-scale industrial manufacturing of carbon nanotubes in a continuous inclined mobile-bed rotating reactor via the catalytic chemical vapor deposition process

在线全文

学校读者我要写书评

暂无评论

Frontiers of Chemical Science and Engineering 2017年第2期11卷 280-289页

作者： Sophie L. Pirard Sigrid Douven jean-paul Pirard Laboratory of Chemical Engineering Department of Chemical Engineering University of Liege B-4000 Liege Belgium

This article reports the different steps of the design, development and validation of a process for continuous production of carbon nanotubes （CNTs） via catalytic chemical vapor deposition from the laboratory scale to the industrial production. This process is based on a continuous inclined mobile-bed rotating reactor and very active catalysts using methane or ethylene as carbon source. The importance of modeling taking into account the hydrodynamic, physicochemical and physical phenomena that occur during CNT production in the process analysis is emphasized. The impact of this invention on the environment and human health is taken into consideration too.

关键词： carbon nanotubes catalytic chemical vapor deposition inclined rotating reactor industrial process scaling-up

镰状细胞对内皮诱导一氧化氮的清除能力低下(英文)

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Pharmacologica Sinica 2002年第11期23卷 9-15页

作者： Leopoldo OLMOS,jean-Vivien MOMBOULI,Nathan WASSERSTRUM,paul MVANHOUTTE Center for Experimental Therapeutics Baylor College of Medicine Houston TX 77030 USA University of Marien Ngouabi Brazzaville Republic of Congo Center for Experimental Therapeutics Baylor College of Medicine Houston TX 77030 USA lnstitut de Recherches Internationales Servier 92415 Courbevoie Cedex France

AIM: To assess the ability of sickle cells to interfere with the release or transfer of endothelium-derived relaxing factor (EDRF) in comparison to normal erythrocytes. METHODS: A perfusion-superfusion bioassay system was used a canine carotid artery with endothelium (donor of EDRF) and a ring of the same vessel without endothelium (detector) were separated by tubing resulting in a five second interval for transfer of EDRF from donor to detector. Changes in isometric tension were monitored in both the donor and the detector preparations. Release of EDRF, as determined by sustained relaxations during the contractions to phenylephrine, was induced by infusing acetylcho-line through the donor artery. RESULTS: Supervision with normal and sickle erythrocytes caused impairment of the endothelium-dependent relaxations in both detector and donor tissues. When infused through the transfer line, sickle cells were less potent than normal erythrocytes in inhibiting relaxation in the detector tissues. In contrast, i

关键词：镰状细胞贫血内皮血管平滑肌红细胞微循环一氧化氮