检索结果-南通市图书馆

China Ocean Engineering 2024年第1期38卷 18-28页

作者： HU Ze-bo LIU Zhen LI Peng GUO Hai-yan wang shu-bing REN Xiao-hui HOU Hao wang Ye-shuo College of Civil Engineering and Architecture Shandong University of Science and TechnologyQingdao 266590China Qingdao Key Laboratory of Marine Civil Engineering Materials and Structures Qingdao 266590China College of Engineering Ocean University of ChinaQingdao 266100China CHEC Dredging Co. LtdShanghai 200136China

A vortex-induced vibration(VIV)experiment of rough risers with coupling interference effect under a side-by-side arrangement was carried out in a wave-current combined *** roughness of the riser was characterized by arranging different specifications of surface attachments on the surface of the *** risers with three different roughnesses were arranged side by side with smooth risers to explore the VIV response of the riser under the combined action of roughness and interference effect,and to reveal the coupling mechanism between roughness and interference *** experimental results show that,compared with that of a smooth riser,the VIV of a rough riser under the coupling interference effect has a wider"lock-in"region,and the displacement decreases more significantly at a high reduced velocity,which is more likely to excite higher-order modes and frequency *** addition,the displacement response and frequency response of the smooth riser are not significantly affected by wake interference from the rough riser,which is caused by the decrease of the wake region due to the delay of the boundary layer separation point of the rough riser.

关键词： marine riser vortex-induced vibration side-by-side arrangement roughness interference effect

ZnGa_(2)S_(4):an infrared nonlinear optical material with large second-harmonic generation response and wide band gap

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第1期43卷 395-401页

作者： Chen-Yang Zhang Xiao-Nan Niu Yan-Feng Wei shu-Xing Zhou Da-Qing Yang Ying wang Jian wang bing-bing Zhang College of Chemistry and Materials Science Key Laboratory of Medicinal Chemistry and Molecular Diagnosis of the Ministry of EducationState Key Laboratory of New Pharmaceutical Preparations and ExcipientsHebei UniversityBaoding 071002China Hubei Key Laboratory of Low Dimensional Optoelectronic Materials and Devices Hubei University of Arts and ScienceXiangyang 441053China Hubei Longzhong Laboratory Xiangyang 441000China Department of Chemistry and Biochemistry Wichita State UniversityKansas 67260USA

High-performance nonlinear optical(NLO)crystals are crucial devices to convert wavelength of solid-state *** play an indispensable role in the research of infrared NLO *** this work,ternary chalcogenide ZnGa_(2)S_(4) ... 详细信息

关键词： optical nonlinear harmonic

Toward Artificial Peptide Nanocapsules

在线全文

学校读者我要写书评

暂无评论

Nano-Micro Letters 2024年第10期16卷 240-243页

作者： Yuan wang bing Chen Laboratory for Biomaterials and Drug Delivery Department of AnesthesiologyDivision of Critical Care MedicineBoston Children's HospitalHarvard Medical SchoolBostonMA 02115USA College of Electronic and Optical Engineering and College of Flexible Electronics(Future Technology) Nanjing University of Posts and TelecommunicationsNanjing 210023People's Republic of China

HIGHLIGHTS The formation of peptide nanocapsules is facilitated by a gradient interface,where the differential solvent concentration drives the peptides to preferentially localize and *** peptide nanocapsules,characterized by their hollow structures,demonstrated potential as carriers for targeted drug delivery.1 Introduction Peptide nanocapsules are a type of nanoscale delivery system that encapsulates active substances within a shell composed of peptides,leveraging the unique properties of peptides such as biocompatibility and biodegradability[1].Historically,the development of peptide nanocapsules was inspired primordially by the natural biological processes.

关键词： Peptide nanocapsules Self-assembly Drug delivery Nanomedicine

Survey on Interactive Theorem Proving Based Concurrent Program Verification

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Ruan Jian Xue Bao/Journal of Software 2024年第9期35卷

作者： wang, Zhong-Ye Wu, shu-shu Cao, Qin-Xiang School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai 200240 China

Concurrent programs and systems are usually highly efficient and respond faster than serial systems, making them widely used in practice. However, concurrent programs and systems are often prone to error, which could bring fatal consequences in real world applications. Moreover, the non-determinism brought by concurrency is a major difficulty in the verification of concurrent programs. With formal verification, people could use interactive theorem provers to rigorously prove the correctness of a concurrent program. This study presents several correctness criteria for concurrent programs, which can be verified by interactive theorem proof techniques. The criteria include Hoare triple, linearizability, contextual refinement, and logical atomicity. Researchers usually use program logic to verify programs in an interactive theorem prover. This study summarizes the usage of concurrent separation logic, rely-guarantee-based logic, and relational Hoare logic in concurrent program verifications. It also surveys existing foundational verification tools and verification results by these techniques. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Formal verification

Two different autorefractors for vision screening in children and adolescents

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

International Journal of Ophthalmology(English edition) 2024年第2期17卷 331-338页

作者： Xiao-Jun Chen Lin-Jie Liu bing Sun Dan-Dan Jiang shu-shu Zuo Yan-Hui wang Chun-Hua Zhang Yan-Yan Chen School of Optometry and Ophthalmology Wenzhou Medical UniversityWenzhou 325027Zhejiang ProvinceChina National Clinical Research Center for Ocular Diseases Eye HospitalWenzhou Medical UniversityWenzhou 325027Zhejiang ProvinceChina

AIM:To compare the consistency of two autorefractors(Tianle RM-9000 and Topcon KR-800)for school-age myopia children,and to provide a basis for largescale data analysis and ***:The refractive error in 909 subjects(age 4–18y)were measured using both autorefractors without *** data were analyzed using Fourier decomposition and the correlation coefficients,intraclass correlation coefficients(ICC),and Bland-Altman limits of agreement(LoA)for each parameter were ***:There was a strong correlation between the spherical equivalent(SE),sphere diopter(DS),and cylinder diopter(DC)readings of the Tianle RM-9000 and those of the Topcon KR-800,with correlation coefficient values of 0.98,0.98 and 0.83 and ICC values of 0.99,0.99 and 0.93,***,the correlation coefficients and ICC values of J0 and J45 were unreliable(R=-0.004,-0.034;both ICC<0.10).Bland-Altman analysis revealed that SE,DS,and DC measured by the Tianle RM-9000 were significantly biased toward myopia compared with the Topcon KR-800,and the mean differences were-0.072,-0.026,-0.091 D,respectively(all P<0.01).The minimum absolute value of the difference within the 95%LoA for SE,DS,and DC was 0.63 D,0.50 D,0.62 D,respectively;all these values were in the clinically acceptable *** J0 and J45,the mean differences were close to zero(P=0.43,0.84);however,the 95%LoA were relatively wide(J0 SD:0.53;95%CI:-1.00,1.10;J45 SD:0.52;95%CI:-1.00,1.00).CONCLUSION:The two autorefractors are consistent with each other,as the differences in SE,DS,and DC were within the clinically acceptable *** can compare the data measured by either device in different studies and use the two devices in the same study to generate a dataset that can be analyzed ***,the J0 and J45 vectors are unreliable and should not be used to assess astigmatism.

关键词： refractive error autorefractors school-age myopia children

Quasi-two-dimensional strong liquid-like dynamics of surface atoms in metallic glasses

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2024年第3期67卷 102-109页

作者： bing wang Xuanqiao Gao Rui Su Pengfei Guan School of Physical Science and Technology Northwestern Polytechnical UniversityXi'an 710072China Innovation Center NPU Chongqing Northwestern Polytechnical UniversityChongqing 401135China School of Mechanics Civil Engineering and ArchitectureNorthwestern Polytechnical UniversityXi'an 710072China Northwest Institute for Nonferrous Metal Research Xi'an 710016China Institute of Advanced Magnetic Materials College of Materials and Environmental EngineeringHangzhou Dianzi University Hangzhou 310018China Beijing Computational Science Research Center Beijing 100093China

The fast dynamic properties of the surface of metallic glasses(MGs) play a critical role in determining their potential applications. However, due to the significant difference in thermal history between atomic simulation models and laboratory-made samples, the atomic-scale behaviors of the fast surface dynamics of MGs in experiments remain uncertain. Herein, we prepared model MG films with notable variations in thermal stability using a recently developed efficient annealing protocol, and investigated their atomic-scale dynamics systematically. We found that the dynamics of surface atoms remain invariant, whereas the difference in dynamical heterogeneity between surface and interior regions increases with the improvement of thermal stability. This can be associated with the more pronounced correlation between atomic activation energy spectra and depth from the surface in samples with higher thermal stability. In addition, dynamic anisotropy appears for surface atoms, and their transverse dynamics are faster than normal components, which can also be interpreted by activation energy spectra. Our results reveal the presence of strong liquid-like atomic dynamics confined to the surface of laboratory-made MGs, illuminating the underlying mechanisms for surface engineering design, such as cold joining by ultrasonic vibrations and superlattice growth.

关键词： metallic glasses thermal stability invariant surface dynamics potential energy landscape dynamic anisotropy and heterogeneity

Dual-Porosity Apparent Permeability Models of Unconventional Gas Migration Based on Biot’s Porous Media

在线全文

学校读者我要写书评

暂无评论

Acta Mechanica Solida Sinica 2024年第3期37卷 406-415页

作者： Bin Gu Hongyuan Liu Yiuwing Mai bing wang School of Manufacturing Science and Engineering Key Laboratory of Testing for Manufacturing ProcessMinistry of EducationSouthwest University of Science and TechnologyMianyang621010China School of Aerospace Mechanical and Mechatronic EngineeringThe University of SydneySydneyNSW2006Australia Department of Mechanical Engineering The Hong Kong Polytechnic UniversityHung HomKowloonHong KongChina

Stress-dependent permeability models are developed for the organic pores and inorganic cleats/fractures in unconventional gas reservoirs,which are modeled as Biot’s porous media of *** considering multiple flow mechanisms such as dynamic effects of gas flow and surface diffusion,apparent permeability models are obtained to investigate the characteristics of unconventional gas *** to the gas transfer in single-porosity reservoirs,the gas migration ability of cleats in dual-porosity stratums rarely changes while that of organic pores is greatly improved because cleats sustain major geomechanical shrinkage deformation when the pore pressure ***,the mass flux of reservoirs is dominated by the mass flux of cleats,which has a lower peak value,but a much longer production term than those in single-porosity reservoirs due to the interaction between organic pores and *** analysis is conducted to identify key factors significantly impacting mass flux in unconventional *** for the mass flux variation are also explored in terms of gas migration ability and pore pressure distribution.

关键词： Unconventional gas migration Apparent permeability Dual-porosity Stress dependence Multiple flow mechanisms

Hierarchical multihead self-attention for time-series-based fault diagnosis

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2024年第6期70卷 104-117页

作者： Chengtian wang Hongbo Shi bing Song Yang Tao Key Laboratory of Smart Manufacturing in Energy Chemical Process of the Ministry of Education East China University of Science and TechnologyShanghai 200237China

Fault diagnosis is important for maintaining the safety and effectiveness of chemical *** the multivariate,nonlinear,and dynamic characteristic of chemical process,many time-series-based data-driven fault diagnosis methods have been developed in recent ***,the existing methods have the problem of long-term dependency and are difficult to train due to the sequential way of *** overcome these problems,a novel fault diagnosis method based on time-series and the hierarchical multihead self-attention(HMSAN)is proposed for chemical ***,a sliding window strategy is adopted to construct the normalized time-series ***,the HMSAN is developed to extract the time-relevant features from the time-series process *** improves the basic self-attention model in both width and *** the multihead structure,the HMSAN can pay attention to different aspects of the complicated chemical process and obtain the global dynamic ***,the multiple heads in parallel lead to redundant information,which cannot improve the diagnosis *** the hierarchical structure,the redundant information is reduced and the deep local time-related features are further ***,a novel many-to-one training strategy is introduced for HMSAN to simplify the training procedure and capture the long-term ***,the effectiveness of the proposed method is demonstrated by two chemical *** experimental results show that the proposed method achieves a great performance on time-series industrial data and outperforms the state-of-the-art approaches.

关键词： Self-attention mechanism Deep learning Chemical process Time-series Fault diagnosis

Energy-Function Based Pilot Protection Scheme for Hybrid UHVDC Transmission Applying Improved Hausdorff Distance

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

CSEE Journal of Power and Energy Systems 2024年第3期10卷 891-902页

作者： Zijiang wang Youping Fan Ben Shang Yinbiao shu School of Electrical Engineering and Automation Wuhan UniversityWuhan 430072China Institute of Next Generation Power Systems&International Standards Wuhan UniversityWuhan 430072China CSEE IEEE

A hybrid UHVDC transmission system applying LCC as the rectifier and MMC as the inverter combines the advantages of both converter types,which makes this protection scheme more complicated.A new pilot protection scheme for a three-terminal hybrid DC transmission system applying energy functions is *** energy function for LCC is applied to MMC to derive the energy level of the hybrid ***,an improved Hausdorff distance(IHD)algorithm is proposed to detect the difference in energy levels between the normal and fault *** abrupt change in energy level is characterized by IHD change *** points at which the IHD change rate exceeds the threshold at converter stations are applied to determine the fault line and to estimate the fault *** proposed protection scheme is then verified by a simulation model of the Wudongde±800 kV three-terminal hybrid UHVDC transmission *** appropriate sampling frequency is selected for a real-time calculation,and the threshold is selected considering the effect of *** show the proposed scheme can identify and trip fault lines quickly and effectively,even for a 600Ωgrounding *** waveshape similarity algorithms are compared and *** with existing protection schemes,the proposed scheme transmits less data to improve communication speed and reliability.

关键词： Energy function Hausdorff distance pilot protection UHVDC transmission

The crosstalk between enteric nervous system and immune system in intestinal development,homeostasis and diseases

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Life Sciences) 2024年第1期67卷 41-50页

作者： Xindi wang Chenbo Ding Hua-bing Li Shanghai Institute of Immunology State Key Laboratory of Oncogenes and Related GenesShanghai Jiao Tong University School of MedicineShanghai 200025China Shanghai Jiao Tong University School of Medicine-Yale Institute for Immune Metabolism Shanghai Jiao Tong University School of MedicineShanghai 200025China

The gut is the largest digestive and absorptive organ,which is essential for induction of mucosal and systemic immune responses,and maintenance of metabolic-immune *** intestinal components contain the epithelium,stromal cells,immune cells,and enteric nervous system(ENS),as well as the outers,such as gut microbiota,metabolites,and *** dyshomeostasis of intestinal microenvironment induces abnormal intestinal development and functions,even colon diseases including dysplasia,inflammation and *** recent studies have identified that ENS plays a crucial role in maintaining the immune homeostasis of gastrointestinal(GI)*** crosstalk between ENS and immune cells,mainly macrophages,T cells,and innate lymphoid cells(ILCs),has been found to exert important regulatory roles in intestinal tissue programming,homeostasis,function,and *** this review,we mainly summarize the critical roles of the interactions between ENS and immune cells in intestinal homeostasis during intestinal development and diseases progression,to provide theoretical bases and ideas for the exploration of immunotherapy for gastrointestinal diseases with the ENS as potential novel targets.

关键词： enteric nervous system macrophages T cells innate lymphoid cells neuro-immune interactions