检索结果-南通市图书馆

Numerical simulation of water-slag elbow erosion-inhibiting by regulating the slag injection position with a novel preceding rotating sheet structure

在线全文

学校读者我要写书评

暂无评论

Particuology 2024年第7期90卷 323-339页

作者： Fopeng Wen Liuyun Xu yixiang chen Zhaofu Deng Shen Zhang Wenming Song Yuge Li Liping Wei School of Chemical Engineering Northwest UniversityXi’an710069China School of Chemistry and Chemical Engineering Yan'an UniversityYan'an716000China Machinery Industry Shanghai Lanya Petrochemical Equipment Inspection Institute Co. Ltd.Shanghai201518China The Research Center of Chemical Engineering Applying Technology for Resource of Shaanxi Xi’an710069China

The elbow erosion seriously jeopardizes the safe and stable operation of water–slag discharge pipeline of the coal gasification *** work simulated water–slag elbow characteristics with various slag injection positions by simulating five simplified and representative erosion categories,including A-type horizontal-vertical elbow with an upstream flow,B-type horizontal-vertical elbow with a downstream flow,C-type vertical-horizontal elbow with an upstream flow,D-type vertical-horizontal elbow with a downstream flow and E-type horizontal-horizontal *** with the C/D-type elbow,where particles were injected uniformly,the A-type elbow and E-type elbow were found to increase erosion rate,while the B-type elbow decreases erosion *** interesting discovery is that the elbow erosion rate is relatively low for small particles when particles are injected from the middle and bottom positions of the inlet section of the *** on the observation,a novel preceding rotating sheet structure was developed to regulate the particle injection *** shows an excellent anti-erosion performance by reducing the maximum erosion rate of particles with diameters of 50,100,and 200μm by 23%,35%,and 43%,respectively.

关键词： Erosion Slag-water Uneven particles Elbow pipe Erosion inhibition Preceding rotating sheet structure

Timed-pNets： a communication behavioural semantic model for distributed systems

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2015年第1期9卷 87-110页

作者： Yanwen chen yixiang chen Eric MADELAINE MoE Engineering Research Center for Software/Hardware Co-design Technology and Application Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China INRIA Sophia Antipolis Mediterannee Sophia Antipolis 06902 France University of Nice Sophia Antipolis CNRS Sophia Antipolis 06900 France

This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such system has its own physical clock, it brings the challenges of correctly specifying the system time constraints. Based on the logical clocks proposed by Lamport, and CCSL proposed by Aoste team in INRIA, as well as pNets from Oasis team in INRIA, we develop timed-pNets to model communication behaviours for distributed systems. Timed-pNets are tree style hierarchical structures. Each node is associated with a timed specification which consists of a set of logical clocks and some relations on clocks. The leaves are represented by timed-pLTSs. Non-leaf nodes （called timed-pNets nodes） are synchronisation devices that synchronize the behaviours of subnets （these subnets can be leaves or non-leaf nodes）. Both timed-pLTSs and timed-pNets nodes can be translated to timed specifications. All these notions and methods are illustrated on a simple use-case of car insertion from the area of intelligent transportation systems （ITS）. In the end the TimeSquare tool is used to simulate and check the validity of our model.

关键词： ITS logical time formal method timed specification synchronous and asynchronous communication

标准表法气体流量标准装置数据验证功能的实现

在线全文

学校读者我要写书评

暂无评论

计量与测试技术 2024年第1期51卷 36-38页

作者：陈奕湘吴霆烽广州能源检测研究院

本文针对标准表法气体流量标准装置计量性能验证方法的不足,提出一种可伴随检定工作,并实现数据验证功能装置的典型设计,从而保障装置量值传递的准确性。

关键词：标准表法气体流量标准装置计量性能验证方法

Tectonic evolution of convergent plate margins and its geological effects

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2022年第7期65卷 1247-1276页

作者： Yongfei ZHENG yixiang chen Renxu chen Liqun DAI CAS Key Laboratory of Crust and Mantle Materials and Environments School of Earth and Space SciencesUniversity of Science and Technology of ChinaHefei 230026China

Oceanic lithosphere is generated at divergent plate boundaries and disappears at convergent plate *** spreading and plate subduction together constitute the physical coupling and mass conservation relationships to the movement of lithospheres on *** zones are a key site for the transfer of both matter and energy at converging plate boundaries,and their study has been the hot spot and frontier of Earth system science since the development of plate tectonics *** far as the dynamic regime and geothermal gradient of convergent plate margins are concerned,they have different properties in different stages of the subduction zone *** general,the early low-angle subduction leads to compressional tectonism dominated by low geothermal gradients at the plate interface,and the late high-angle subduction results in extensional tectonism dominated by high geothermal gradients at the plate interface and its hanging *** rifts are produced along suture zones through not only slab rollback or slab breakoff in the terminal stage of oceanic subduction but also foundering and thinning of the lithosphere in the post-subduction *** to the differences and changes in the geometric and thermobaric structures of convergent plate margins,a series of changes in the type of metamorphism and magmatism can occur in active and fossil subduction *** and melting of the subducting oceanic crust are prominent at subarc depths,giving rise to fluids that dissolve different concentrations of fluid-mobile incompatible *** subduction zone fluids at subarc depths would chemically react with the overlying mantle wedge peridotite,generating metasomatites as the mantle sources of mafic magmas in oceanic and continental ***,these metasomatites did not partially melt immediately upon the fluid metasomatism to trigger arc magmatism,and they did not melt until they were heated by asthenospheric convection due to rollback of th

关键词： Plate tectonics Continental geology Convergent margins Continental rifting Subduction zone Orogenic belt

Two-thirds simulation indexes and modal logic characterization

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2011年第4期5卷 454-471页

作者： Yanfang MA Min ZHANG yixiang chen Liang chen School of Computer Science and Technology Huaibei Normal University Huaibei 235000 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China School of Mathematical Sciences Huaibei Normal University Huaibei 235000 China

Two-thirds simulation provides a kind of abstract description of an implementation with respect to a specification. In order to characterize the approximate two-thirds simulation, we propose the definition of a two- thirds simulation index which expresses the degree to which a binary relation between processes is two-thirds simulation. 2-two-thirds simulation and its substitutivity laws are given in this paper. And, based on 2-two-thirds simulation, we present a measure model for describing the degree of approximation between processes. In particular, we give the modal logical characterization of 2-two-thirds simulation.

关键词： simulation metric two-thirds simulation,process calculus

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

高低压开关柜安装与接地保护装置应用

电力设备管理 2024年第13期 294-296页

作者：秦侣陈怡翔中国联合工程有限公司

高低压开关柜安装与接地保护装置是为了保护人员和安全使用电力设备而进行的安装和操作过程。随着电力设备和系统的不断发展和进步,高低压开关柜在各个行业中应用越来越广泛,开关柜安装和接地保护装置应用,对于保障电力设备正常运行和... 详细信息

高低压开关柜安装与接地保护装置是为了保护人员和安全使用电力设备而进行的安装和操作过程。随着电力设备和系统的不断发展和进步,高低压开关柜在各个行业中应用越来越广泛,开关柜安装和接地保护装置应用,对于保障电力设备正常运行和提高电气系统安全性具有重要意义。本文将从高低压开关柜安装和接地保护装置应用两个方面展开阐述,旨在提高读者对该方面的了解和认识。

关键词：高低压开关柜接地保护装置安装应用

Connection models for the Internet-of-Things

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2020年第3期14卷 65-85页

作者： Kangli HE Holger HERMANNS Hengyang WU yixiang chen MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal UniversityShanghai 200062China Saarland University Saarland Informatics CampusSaarbrücken 66123Germany

The Internet-of-Things(IoT)is expected to swamp the *** order to study and understand the emergent behaviour of connected things,effective support for their modelling is *** the heart of IoT are flexible and adaptive connection patterns between things,which can naturally be modelled by channel-based coordination primitives,and characteristics of connection failure probabilities,execution and waiting times,as well as resource *** latter is especially important in light of severely limited power and computation budgets inside the *** this paper,we tackle the IoT modelling challenge,based on a conservative extension of channel-based Reo *** introduce a model called priced probabilistic timed constraint automaton,which combines models of probabilistic and timed aspects,and integrates pricing *** expressive logic called priced probabilistic timed scheduled data stream logic is presented,so as to enable the specification and verification of properties,which characterize data-flow streams and prices.A small but illustrative IoT case demonstrates the principal benefits of the proposed approach.

关键词： IoT Reo cost time probability automaton

A verification framework for spatio-temporal consistency language with CCSL as a specification language

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2020年第1期14卷 105-129页

作者： Yuanrui ZHANG Frédéric MALLET yixiang chen MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal UniversityShanghai 200062China University Nice Sophia Antipolis I3SUMR 7271 CNRSINRIA06900 Sophia AntipolisFrance

The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and *** restriction by both locations and time is of first importance for some types of real-time *** is a formal specification language based on logical *** is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time *** consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time *** propose a theory combining these two languages and a method verifying CCSL properties in STeC *** adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.

关键词： spatio-temporal consistency real-time systems spatio-temporal systems high-level modelling language clock constraint specification model checking verification framework

Redox processes in subduction zones:Progress and prospect

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Earth Sciences 2020年第12期63卷 1952-1968页

作者： Jintuan Wang Xiaolin Xiong yixiang chen Fangfang Huang State Key Laboratory of Isotope Geochemistry Guangzhou Institute of GeochemistryCASGuangzhou510640China School of Earth and Space Sciences University of Science and Technology of ChinaHefei230026China

Oxygen fugacity(fO_(2))is an intensive variable that describes the redox state of a *** controlling the valence state of multivalent elements,fO_(2)affects the stability of iron-bearing minerals,dominants the species of volatile elements(e.g.,carbon and sulfur),and controls the partitioning behaviors of multivalent elements(e.g.,iron,vanadium,cerium,europium).Thus,fO_(2)plays a key role in understanding the generation and differentiation of arc magmas,the formation of magmatic-hydrothermal deposits,and the nature of magmatic *** zones are an important site for arc magmatism and fluid action,and the study of redox processes is indispensable in subduction zone *** this paper,we first introduce the concept,expression,and estimation methods of fO_(2).Then we retrospect the history and progress about the oxidation state of the metasomatized mantle wedge,summarize the redox property of slab-derived fluids,and review the latest progress on redox evolution of arc magmas during magma generation and *** main conclusions include:(1)despite its wide variation range,fO_(2)of the mantle wedge is generally higher than that of the oceanic mantle;(2)the redox property of the subducting slab-derived fluids is still controversial and the mechanism for the oxidization of the mantle wedge remains unclear;(3)how the fO_(2)varies during the generation and differentiation of the arc magmas is *** propose that the crux in deciphering the oxidization mechanism of the mantle wedge is to determine the mobility of iron,carbon and sulfur in subducting slab-derived fluids(especially solute-rich fluid or supercritical fluid);the key in understanding the redox evolution during arc magma generation and differentiation is to determine the partition coefficients of Fe^(3+)and Fe^(2+)between ferromagnesian minerals and silicate melts.

关键词： Subduction zones Oxygen fugacity Mantle wedge Slab dehydration Arc magma differentiation