检索结果-南通市图书馆

A Generalized Existence Theorem of Backward Doubly Stochastic Differential Equations

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2010年第8期26卷 1525-1534页

作者： qian lin School of Mathematics Shandong University Ji'nan 250100 P. R. China and Laboratoire de Mathematiques CNRS UMR 6205 Universite de Bretagne Occidentale6avenue Victor Le Gorgeu CS 93837 29238 Brest cedex 3 France

In this paper, we deal with a class of one-dimensional backward doubly stochastic differential equations （BDSDEs）. We obtain a generalized comparison theorem and a generalized existence theorem of BDSDEs.

关键词： Backward doubly stochastic differential equations comparison theorem existence theorem backward stochastic integral

贻贝肽对厚壳贻贝稚贝生长发育及微生物群落结构的影响

在线全文

学校读者我要写书评

暂无评论

渔业科学进展 2025年第1期46卷 115-126页

作者：林倩李政杨金龙马蕃梁箫上海海洋大学水产与生命学院科技部海洋生物科学国际联合研究中心上海201306 上海市水产动物良种创制与绿色养殖协同创新中心上海201306 中国-葡萄牙星海“一带一路”联合实验室上海200120

为探究海洋生物活性肽对厚壳贻贝(Mytilus coruscus)生长发育的影响,本研究以厚壳贻贝稚贝为实验对象,通过投喂不同浓度的贻贝肽(0、7、9、10、70和90 mg/L),测定壳长、壳高、湿重等指标,以确定最适贻贝肽浓度,并对投喂前后的稚贝微生... 详细信息

为探究海洋生物活性肽对厚壳贻贝(Mytilus coruscus)生长发育的影响,本研究以厚壳贻贝稚贝为实验对象,通过投喂不同浓度的贻贝肽(0、7、9、10、70和90 mg/L),测定壳长、壳高、湿重等指标,以确定最适贻贝肽浓度,并对投喂前后的稚贝微生物群落进行分析,实验周期为56 d。结果显示,相较于未投喂贻贝肽的对照组,投喂9 mg/L的贻贝肽显著促进稚贝生长,且壳长、壳高和湿重分别提升了27.37%、32.35%和115.49%;同时发现,高浓度贻贝肽(70 mg/L和90 mg/L)对厚壳贻贝稚贝产生了致死效应。通过16S rRNA基因扩增和测序对比分析了28 d和56 d贻贝肽投喂组与未投喂组的厚壳贻贝稚贝微生物组群落结构变化。研究结果显示,投喂9 mg/L贻贝肽改变了稚贝微生物群落结构组成,提高了拟杆菌门(Bacteroidota)和变形菌门(Proteobacteria)的丰度,降低了放线菌门(Actinobacteriota)的丰度;同时,属水平分析发现,贻贝肽投喂组有效增加了鲁杰氏菌属(Ruegeria)、黏着杆菌属(Tenacibaculum)、居海杆菌属(Maribacter)、栖砂杆菌属(Arenibacter)、十八碳杆菌属(Octadecabacter)和希瓦氏菌属(Shewanella)等有益菌的物种丰度,显著减少了红球菌属(Rhodococcus)、气单胞菌属(Aeromonas)等潜在致病菌的丰度。综上,贻贝肽能有效促进厚壳贻贝的稚贝生长发育,并且可以优化厚壳贻贝微生物群落结构,研究成果将为后续开展贻贝肽等海洋生物活性肽对贝类稚贝中间培育以及海水贝类养殖可持续发展提供基础和数据支撑。

关键词：厚壳贻贝生长微生物群落结构贻贝肽

Differentiability of stochastic differential equations driven by the G-Brownian motion

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2013年第5期56卷 1087-1107页

作者： lin qian Institute of Mathematical Economics Bielefeld University

In this paper,we study the differentiability of the solutions of stochastic differential equations driven by the G-Brownian motion with respect to the initial data and the parameter.

关键词： G-expectation G-Brownian motion differentiability stochastic differential equations

A Comparison Theorem and Uniqueness Theorem of Backward Doubly Stochastic Differential Equations

在线全文

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2011年第2期27卷 223-232页

作者： qian lin Zhen Wu School of Mathematics Shandong University Jinan 250100 China Laboratoire de Mathematiques CNRS UMR 6205 Universite de Bretagne Occidentale 6 avenue Victor Le Gorgeu CS 93837 29238 Brest cedex 3 France

In this paper, we deal with one dimensional backward doubly stochastic differential equations （BDSDEs）. We obtain a comparison theorem and a uniqueness theorem for BDSDEs with continuous coefficients.

关键词： backward doubly stochastic differential equations comparison theorem backward stochastic integral uniqueness theorem

Simulation of the mixing process in FCIs with hydrodynamic fragmentation model

在线全文

学校读者我要写书评

暂无评论

Nuclear Science and Techniques 2007年第4期18卷 242-246页

作者： lin qian CAO Xuewu School of Nuclear Science and Engineering Shanghai Jiaotong University Shanghai 200240 China

Fuel Coolant Interactions (FCIs) are important issues in nuclear reactor severe accident analysis. In FCIs, fragmentation model of molten droplets is a key factor to estimate degree of possible damage. In this paper, the mixing process in FCIs is studied by the simulation of MIXA experiment with hydrodynamic fragmentation model. The result shows that hydrodynamic fragmentation model underestimates the fragmentation rate of high temperature molten droplets under the condition of low Weber numbers. It is concluded that models based on thermal fragmentation mechanism should be adopted to analyze the FCI process and its consequence.

关键词：核反应堆燃料冷冻作用事故燃料熔化

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using UPPAAL and Simulink/Stateflow

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第6期35卷 1324-1342页

作者： qian-qian lin Shu-ling Wang Bo-Hua Zhan Bin Gu State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China Beijing Institute of Control Engineering Beijing 100081China

Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable transport in data distribution service (DDS). Formal modelling and verification of the protocol provide stronger guarantees of its correctness and efficiency than testing alone. In this paper, we build formal models for the RTPS protocol using UPPAAL and Simulink/Stateflow. Modelling using Simulink/Stateflow allows analyzing the protocol through simula-tion, as well as generate executable code. Modelling using UPPAAL allows us to verify properties of the model stated in TCTL (Timed Computation Tree Logic), as well as estimate its performance using statistical model checking. We further describe a procedure for translation from Stateflow to timed automata, where a subset of major features in Stateflow is supported, and prove the soundness statement that the Stateflow model is a refinement of the translated timed automata model. As a consequence, any property in a certain fragment of TCTL that we have verified for the timed automata model in UPPAAL is preserved for the original Stateflow model.

关键词： Real-Time Publish and Subscribe(RTPS) modelling verification UPPAAL Simulink/Stateflow

Design and implementation of 1 GHz high speed data acquisition system

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2009年第1期20卷 55-59页

作者： Zou lin Wang Xuegang qian Lu School of Electronic Engineering Univ. of Electronic Science and Technology of China Chengdu 610054 P. R. China

With the development of current electronic technology, numerous high-speed data acquisition systems provide a variety of potential benefits. This article describes a high-speed data acquisition system which consists of ECL logic and TTL logic devices, samples and stores data with a 1 GHz clock. This system is accomplished easily and works stably. A performance test of this system has been undertaken and the results show that the effective number of bits （ENOB） is more than 6.5 bits.

关键词： A/D converter high-speed data acquisition system effective number of bits.

Effects of electromagnetic induction and noise on the regulation of sleep wake cycle

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2019年第12期62卷 2113-2119页

作者： JIN WuYin WANG An MA Jun lin qian School of Mechanical and Electronical Engineering Lanzhou University of TechnologyLanzhou 730050China Department of Physics Lanzhou University of TechnologyLanzhou 730050China Editorial Department of Journal of Lanzhou University of Technology Lanzhou 730050China

As an exploration of electromagnetic induction effects on homeostatic regulation of sleep wake cycle, a magnetic flux term coupled with membrane current is proposed as an equivalent induction current act on a physiologically-motivated mathematical model, to study the effects of electromagnetic induction and its noise on the sleep wake cycle. The basic model includes 2 simplified Hodgkin-Huxley type neurons connected via glutamate(Glu) synapses, one of which additionally contains hypocretin/orexin(Hcrt/ox) as the functionally relevant co-transmitter. The numerical results suggest that when a constant current(DC) stimulus is applied to the model, the average fire frequency of the Hcrt/ox neuron could be modified from gamma to delta frequency with increased the intensity of electromagnetic induction, but the local Glu neuron transforms active into sleep ***, the homeostatic regulation function has better robustness to electromagnetic induction and its noise than the current or conductance noise, even there is a similar stochastic resonance phenomenon. For the circadian current input case, the time of wake up is delayed and fall asleep is advanced when the electromagnetic induction and its noise is considered. Furthermore, the effects of electromagnetic noise on the regulation is not significant, but only to inhibit the neuronal discharge activities and change the time of wake up and fall asleep of the Glu neuron, characterized by the sleep duration is slightly prolonged with increasing the strength of noise intensity.

关键词： electromagnetic induction sleep wake cycle noise neural model

VIBRATION AND STABILITY OF VERTICAL UPWARD-FLUID-CONVEYING PIPE IMMERSED IN RIGID CYlinDRICAL CHANNEL

在线全文

学校读者我要写书评

暂无评论

Acta Mechanica Solida Sinica 2008年第5期21卷 431-440页

作者： Qin qian lin Wang Qiao Ni Department of Mechanics Huazhong University of Science and Technology Wuhan 430074 China

A theoretical model is developed for the vibration and stability of a vertical pipe subjected concurrently to two dependent axial flows. The external fluid, after exiting the outer annular region between the pipe and a rigid cylindrical channel, is conveyed upwards inside the pipe. This configuration thus resembles of a pipe that aspirating fluid. The equation of planar mo- tion is solved by means of the differential quadrature method （DQM）. Calculations are conducted for a slender drill-string-like and a bench-top-size system, for different confinement conditions of the outer annular channel. It is shown that the vibrations of these two systems are closely related to the degree of confinement of the outer annular channel. For a drill-string-like system with narrow annuli, buckling instability may occur in the second and third modes. For a bench-top-size system, however, both buckling and flutter may occur in the lowest three modes. The form of instability depends on the annuli size.

关键词： pipe conveying fluid annular flow axial flow drill-string stability critical flow velocity