检索结果-南通市图书馆

A UTP semantic model for Orc language with execution status and fault handling

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2014年第5期8卷 709-725页

作者： Qin li yongxin ZHAO Huibiao ZHU Jifeng HE Software Engineering Institute East China Normal University Shanghai 200062 China

The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional se- mantics for Orc does not contain the execution status of ser- vices so that a program cannot determine whether a service has terminated normally or halted with a failure after it pub- lished some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a seman- tic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that con- rains execution status information. A failure handling seman- tics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered bet- ter than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics.

关键词： Orc language service oriented computing uni-fying theories of programming denotational semantics op-erational semantics

3D limit analysis of rock slopes based on equivalent linear failure criterion with tension cut-off

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Rock Mechanics and Geotechnical Engineering 2023年第12期15卷 3118-3130页

作者： Zhibin Sun Bowen Wang yongxin li Jingshu Xu Jian Ji School of Automotive and Transportation Engineering Hefei University of TechnologyHefei230009China Key Laboratory of Ministry of Education for Geomechanics and Embankment Engineering Hohai UniversityNanjing210024China College of Architecture and Civil Engineering Beijing University of TechnologyBeijing100124China

Hoek-Brown (HB) failure criterion is widely used to predict the strength of intact or heavily jointed rock mass. For stability analysis of rock slopes governed by the HB failure criterion, the equivalent linearity to Mohr-Coulomb (MC) criterion is often adopted, leading to the well-known equivalent Mohr-Coulomb method (EMCM). Existing studies on EMCM analysis mainly consider the shear strength of rock material, while consideration of the tensile strength is rare. This contradicts the fact that the underlying tensile strength of rock mass has considerable impact on the rock slope stability in real world. In this regard, this paper proposes a limit analysis-based approach that can account for tension in the three-dimensional (3D) stability analysis of HB rock slope. This approach is established on the equivalent linearity of the HB criterion with consideration of tensile strength, known as the equivalent tension cut-off MC method (ETMCM), and using a horn-like 3D mechanism of limit analysis. The safety factor solutions given by the proposed approach are validated by previous studies and numerical results. Parametric studies are conducted to investigate the effect of rock tensile strength on slope stability. Results show that the consideration of tension leads to a more conservative safety factor and a sharper curvature of the failure surface, and these impacts tend to be more obvious with the increases in slope inclination and slope width. Finally, the stability of the HB rock slope under seepage conditions is studied using the proposed approach. The results indicate that the effect of tensile strength is highly remarkable in seepage circumstances.

关键词： Rock slope Hoek-Brown criterion Stability analysis Tensile strength limit analysis

Two highly efficient accumulation models of large gas fields in China

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Petroleum Science 2014年第1期11卷 28-38页

作者： Wang Hongjun Bian Congsheng liu Guangdi Sun Mingliang li yongxin Research Institute of Petroleum Exploration & Development CNPC China University of Petroleum

Based on reserve abundance,large gas fields in China can be divided into two types：type one of high abundance large gas fields,dominated by structural gas reservoirs; type two of low abundance large gas fields,dominated by stratigraphic and lithologic gas *** formation of these two types of large gas fields is related to the highly efficient accumulation of natural *** accumulation of high abundance gas fields is dependent on the rapid maturation of the source kitchen and huge residual pressure difference between the gas source kitchen and reservoir,which is the strong driving force for natural gas migration to *** the accumulation of low abundance gas fields is more complicated,involving both volume flow charge during the burial stage and diffusion flow charge during the uplift stage,which results in large area accumulation and preservation of natural gas in low porosity and low permeability *** conclusion should assist gas exploration in different geological settings.

关键词： Natural gas gas source kitchen highly efficient accumulation large gas field reserve abundance resource potential

Topology Optimization with Aperiodic Load Fatigue Constraints Based on Bidirectional Evolutionary Structural Optimization

在线全文

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2022年第1期130卷 499-511页

作者： yongxin li Guoyun Zhou Tao Chang liming Yang Fenghe Wu Heavy-Duty Intelligent Manufacturing Equipment Innovation Center of Hebei Province School of Mechanical EngineeringYanshan UniversityQinhuangdaoChina Space Star Technology Co. Ltd.BeijingChina

Because of descriptive nonlinearity and computational inefficiency,topology optimization with fatigue life under aperiodic loads has developed slowly.A fatigue constraint topology optimization method based on bidirectional evolutionary structural optimization(BESO)under an aperiodic load is proposed in this *** viewof the severe nonlinearity of fatigue damagewith respect to design variables,effective stress cycles are extracted through transient dynamic *** on the Miner cumulative damage theory and life requirements,a fatigue constraint is first quantified and then transformed into a stress ***,a normalized termination criterion is proposed by approximatemaximum stress measured by global stress using a P-normaggregation ***,optimization examples show that the proposed algorithm can not only meet the requirements of fatigue life but also obtain a reasonable configuration.

关键词： Topology optimization bidirectional evolutionary structural optimization aperiodic load fatigue life stress constraint

Efficient elimination and detection of phenolic compounds in juice using laccase mimicking nanozymes

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2021年第1期34卷 167-175页

作者： Hui Huang Lulu Lei Juan Bai ling Zhang Donghui Song Jingqi Zhao Jiali li yongxin li College of Food Science and Engineering Jilin UniversityChangchun 130025China College of New Energy and Environment Jilin UniversityChangchun 130021China

Residual phenols in the juice can cause turbidity and affect its sensory *** is used to remove phenolic compounds from fruit juice *** order to overcome the shortcomings of natural laccase instability and high cost,in this work,we prepared a laccase mimic enzyme based on copper ion and adenosine monophosphate(AMP-Cu nanozymes).At the same mass concentration(1 mg·ml^(-1)), the catalytic activity of the nanozyme is about 15 times that of *** AMP-Cu nanozymes had a higher V_(max) and a lower Km than *** laccase mimic enzyme had a good stability under the condition of 30-90 ℃ and pH> *** also maintained high catalytic activity at high salt concentrations and 9 days storage ***,the AMP-Cu nanozyme s maintained an initial catalytic activity of about 80% after six consecutive cycles of *** linear range of detection of phenolic compounds by AMP-Cu nanozymes was 0.1-100 μmol·L^(-1) with a detection limit of 0.033 μmol·L^(-1).The phenol removal rate of AMP-Cu nanozymes was much higher than that of laccase under different reaction *** the reaction was performed for 5 h,the phenol removal rate of the fruit juice by AMP-Cu nanozymes was about 65%.The efficient removal of phenolic compounds from different juices by AMP-Cu nanozymes indicate s that they have good application prospect in the food juice industry.

关键词： Nanomaterials Enzyme Mimic laccase Phenols detection Degradation Juice clarification

在线全文

学校读者我要写书评

暂无评论

基于多切线技术的盾构隧道开挖面稳定性分析

岩土工程学报 2025年第1期47卷 76-84页

作者：钟军豪 CHIAN Siau Chen 李永鑫刘明芳陈明辉吴振元龙桂华杨小礼周德中南大学土木工程学院湖南长沙410075 新加坡国立大学土木与环境工程系新加坡117576 合肥工业大学汽车与交通工程学院安徽合肥230009 深圳市市政工程总公司广东深圳518000

针对非线性条件下深埋隧道开挖面稳定性问题,采用多切线技术分段线性近似Power-Law(P-L)准则,基于极限分析上限定理,构建1种新的开挖面多曲线圆锥破坏机构,提出1种考虑拉应力截断Tensioncut-off(T-C)效应的开挖面稳定性理论计算方法。... 详细信息

针对非线性条件下深埋隧道开挖面稳定性问题,采用多切线技术分段线性近似Power-Law(P-L)准则,基于极限分析上限定理,构建1种新的开挖面多曲线圆锥破坏机构,提出1种考虑拉应力截断Tensioncut-off(T-C)效应的开挖面稳定性理论计算方法。通过与既有文献结果对比,验证所提方法的可靠性。根据反算的应力分布和破坏机构几何特点,探究不同参数条件下T-C对开挖面稳定性的影响。结果表明:(1)在线性条件下,黏聚力较大且内摩擦角较小时,T-C对开挖面临界支护力的影响较大;在非线性条件下,m的增加并不会放大T-C对开挖面稳定性的影响。(2)在抗拉强度较大时,T-C对开挖面稳定性影响较为显著,随着抗拉强度的折减,T-C控制的破坏机构尺寸逐渐减小,且顶部区域明显钝化。

关键词：开挖面稳定性多切线技术 Power-Law准则拉应力截断极限分析

Enhanced Removal of Phenols by MIZ-Cu Nanozyme Exhibiting Laccase-like Activity and Broader Adaptability to Temperature and pH Conditions

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chemical Research in Chinese Universities 2023年第6期39卷 1111-1118页

作者： WANG Yunlong SUN Yue WANG Le ZHANG Hao HU Jiakang li yongxin Key Lab of Groundwater Resources and Environment of Ministry of Education Key Lab of Water Resources and Aquatic Environment of Jilin ProvinceCollege of New Energy and EnvironmentJilin UniversityChangchun 130021P.R.China

Phenolic compounds,classified as persistent organic pollutants,pose a significant threat to both human health and environmental ***,the efficient removal of phenolic substances from water is of paramount ***,a multicopper oxidase,is commonly utilized for the efficient removal of phenolic contaminants from water due to its highly effective catalytic activity towards phenolic ***,natural laccase exhibits certain limitations that impede its practical implementation in industrial settings,including a restricted pH activity range,diminished enzymatic efficacy at elevated temperatures,and substantial cost *** this work,we prepared a nanozyme(MIZ-Cu,MIZ:2-methylimidazole)with laccase-like activity by coordinating 2-methylimidazole and *** nanozyme overcomes the deactivation issues observed in natural laccase under high temperature and alkaline *** catalytic activity of the MIZ-Cu towards phenolic compounds surpasses that of natural laccase across a wide range of temperature and pH *** pH=9,80℃,and 500 mmol/L NaCl conditions,the removal rate of four phenols(catechol,hydroquinone,resorcinol,and phloroglucinol)by MIZ-Cu was much higher than that of natural *** results also demonstrate exceptional removal rates in natural aquatic environments,thereby presenting a promising approach for the treatment of phenol-containing wastewater originating from industrial facilities.

关键词： Nanozyme Laccase Phenol Pollutant removal Wastewater treatment

Epistasis-aware genome-wide association studies provide insights into the efficient breeding of high-yield and high-quality rice

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Integrative Agriculture 2024年第8期23卷 2541-2556页

作者： Xiaogang He Zirong li Sicheng Guo Xingfei Zheng Chunhai liu Zijie liu yongxin li Zheming Yuan Lanzhi li Hunan Engineering&Technology Research Center for Agricultural Big Data Analysis&Decision-making/College of Plant Protection Hunan Agricultural UniversityChangsha 410128China Hubei Key Laboratory of Food Crop Germplasm and Genetic Improvement/Food Crop Institute Hubei Academy of Agricultural SciencesWuhan 430064China

Marker-assisted selection(MAS)and genomic selection(GS)breeding have greatly improved the efficiency of rice *** to the influences of epistasis and gene pleiotropy,ensuring the actual breeding effect of MAS and GS is still a difficult challenge to *** this study,113 indica rice varieties(V)and their 565 testcross hybrids(TC)were used as the materials to investigate the genetic basis of 12 quality traits and nine agronomic *** original traits and general combining ability of the parents,as well as the original traits and midparent heterosis of TC,were subjected to genome-wide association *** total,381 primary significantly associated loci(SAL)and 1,759 secondary SALs that had epistatic interactions with these primary SALs were *** these loci,322 candidate genes located within or nearby the SALs were screened,204 of which were cloned genes.A total of 39 MAS molecular modules that are beneficial for trait improvement were identified by pyramiding the superior haplotypes of candidate genes and desirable epistatic alleles of the secondary *** the SALs were used to construct genetic networks,in which 91 pleiotropic loci were ***,we estimated the accuracy of genomic prediction in the parent V and TC by incorporating either no SALs,primary SALs,secondary SALs or epistatic effect SALs as *** the prediction accuracies of the four models were generally not significantly different in the TC dataset,the incorporation of primary SALs,secondary SALs,and epistatic effect SALs significantly improved the prediction accuracies of 5(26%),3(16%),and 11(58%)traits in the V dataset,*** results suggested that SALs and epistatic effect SALs identified based on an additive genotype can provide considerable predictive power for the parental *** also provide insights into the genetic basis of complex traits and valuable information for molecular breeding in rice.

关键词： rice genome-wide association study epistasis gene pleiotropy maker-associated selection genome selection

1,3-Dipolar Cycloaddition of Polycyclic Aromatic Azomethine Ylides and Alkynylbenziodoxoles for Synthesis of Functional Dibenzoullazines

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2024年第10期42卷 1079-1083页

作者： Hui Han Glen Wee Zhuan Goh yongxin li Naohiko Yoshikai Shingo Ito Schoolof Chemistry ChemicalEngineering and BiotechnologyNanyang Technoogical University21 Nanyang LinkSingapore 637371Singapore Graduate School of Pharmaceutical Sciences Tohoku UniversitySendai 980-8578Japan

A new family of dibenzoullazine derivatives was synthesized through 1,3-dipolar cycloaddition of polycyclic aromatic azomethine ylides with alkynylbenziodoxoles followed by *** benziodoxole moiety in the resulting products was used as a versatile linchpin for the synthesis of structurally diverse functional dibenzoullazines that are difficult to access by other synthetic methods.

关键词： Cycloaddition Nitrogen heterocycles Azomethine ylides Hypervalent compounds Dibenzoullazine