检索结果-南通市图书馆

Refinement modeling and verification of secure operating systems for communication in digital twins

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第2期10卷 304-314页

作者： Zhenjiang Qian Gaofei Sun Xiaoshuang xing Gaurav Dhiman School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China University Centre for Research and Development Department of Computer Science and EngineeringChandigarh UniversityMohali140413India Department of Computer Science and Engineering Graphic Era Deemed to be UniversityDehradun248002India

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely *** verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented *** this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly *** verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

关键词： Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Optical third-harmonic generation of spherical quantum dots under inversely quadratic Hellmann plus inversely quadratic potential

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications in Theoretical Physics 2024年第9期76卷 158-163页

作者： xing Wang Xuechao Li School of Mechanics and Photoelectric Physics Anhui University of Science and TechnologyHuainan 232001China

The third-harmonic generation(THG)coefficient for a spherical quantum dot system with inversely quadratic Hellmann plus inversely quadratic potential is investigated theoretically,considering the regulation of quantum size,confinement potential depth and the external *** numerical simulation results indicate that the THG coefficient can reach the order of 10~(-12)m~2V~(-2),which strongly relies on the tunable factor,with its resonant peak experiencing a redshift or ***,the effect of temperature on the THG coefficient in terms of peak location and size is consistent with the quantum dot radius but contrasts with the hydrostatic ***,it is crucial to focus on the influence of internal and external parameters on nonlinear optical effects,and to implement the theory in practical experiments and the manufacture of optoelectronic devices.

关键词： nonlinear optical effects quantum dot inversely quadratic hellmann potential inversely quadratic potential third harmonic generation coefficient

Study on concentration distribution and detonation characteristics for non-axisymmetric fuel dispersal

在线全文

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2024年第1期31卷 484-495页

作者： Linghui Zeng Zhongqi Wang xing Chen Jianping Li State Key Laboratory of Explosion Science and Technology Beijing Institute of TechnologyBeijing100081China College of Environment and Chemical Engineering Sichuan University of Science&EngineeringZigong643000China

The study of non-axisymmetric fuel dispersal and detonation can provide reference for the prevention of industrial cloud explosion accidents and the design of fuel air explosive(FAE).The concentration and detonation fields of 85 kg cylindrical and fan-shaped fuel are investigated by experiments and numerical simulations.A dynamic model of the whole process for fuel dispersal and detonation is *** concentration distribution of fuel is used as the initial condition to calculate the detonation stage,thus solving the initial value problem of detonation *** phase and component changes of fuel cloud at different locations are *** fuel cloud is divided into directions of 0°,90°,135°and 180°.The results show that the maximum cloud radius is 20.94 m in 135°and the minimum is 12.04 m in 0°.The diameter of the detonation fireball is 53.6 m,and the peak temperature is 3455 *** highest peak overpressure is 3.44 MPa in 0°and the lowest is 2.97 MPa in 135°.The proportion of liquid phase in 0°is22.90%,and the fuel loss is 11.8% and 9% higher than that in 135°and cylindrical charge,*** stable propagation distance of blast wave in 135°is 42.50% longer than 0°and 28.37% longer than cylindrical charge.

关键词： Fuel dispersal Concentration distribution Detonation characteristic Fuel loss Numerical simulation

A brief review on the recent development of phonon engineering and manipulation at nanoscales

在线全文

学校读者我要写书评

暂无评论

International Journal of Extreme Manufacturing 2024年第1期6卷 177-206页

作者： Siqi Xie Hongxin Zhu xing Zhang Haidong Wang Key Laboratory for Thermal Science and Power Engineering of Ministry of Education Department of Engineering MechanicsTsinghua UniversityBeijing 100084People’s Republic of China

Phonons are the quantum mechanical descriptions of vibrational modes that manifest themselves in many physical properties of condensed matter systems. As the size of electronic devices continues to decrease below mean free paths of acoustic phonons, the engineering of phonon spectra at the nanoscale becomes an important topic. Phonon manipulation allows for active control and management of heat fow, enabling functions such as regulated heat transport. At the same time, phonon transmission, as a novel signal transmission method, holds great potential to revolutionize modern industry like microelectronics technology, and boasts wide-ranging applications. Unlike fermions such as electrons, polarity regulation is difficult to act on phonons as bosons, making the development of effective phonon modulation methods a daunting *** work reviews the development of phonon engineering and strategies of phonon manipulation at different scales, reports the latest research progress of nanophononic devices such as thermal rectifiers, thermal transistors, thermal memories, and thermoelectric devices,and analyzes the phonon transport mechanisms involved. Lastly, we survey feasible perspectives and research directions of phonon engineering. Thermoelectric analogies, external field regulation, and acousto-optic co-optimization are expected to become future research hotspots.

关键词： phonon engineering phononic device nanoscale

Design and synthesis of thiol-terminated imidothioether oligomer as thermally latent hardener and modifier for high-performance epoxy/thiol thermosets

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2024年第2期67卷 632-641页

作者： xing Liu Jianjun Zhou Shumei Liu Jianqing Zhao School of Materials Science and Engineering South China University of TechnologyGuangzhou510640China Key Lab Guangdong High Property&Functional Polymer Materials Key Laboratory of Polymer Processing EngineeringMinistry of EducationGuangzhou510640China

Conventional base-catalyzed epoxy/aliphatic thiol systems have a poor storage stability,and are impossible to be one-pot systems.A widely accepted solution is to use the latent catalysts,which are usually insoluble anionic initiators sensitive to impurities and moisture,and have many limitations in practical *** this work,a soluble thiol-terminated imidothioether oligomer(TPI) was synthesized and used as a latent hardener and modifier to prepare one-pot epoxy/thiol systems without the latent *** latent behavior and curing mechanism of epoxy systems(EP/TPI series),consisted of bisphenol A diglycidyl ether(DGEBA),pentaerythritol tetrakis(mercaptoacetate)(PETMP) and TPI,were *** thiol exchange reaction between TPI and PETMP preceded the curing reaction of DGEBA,and produced aromatic thiols,which were unreactive at ambient conditions and reacted with DGEBA to form the thermosets at temperatures above 130 ℃.At the loading of 24.4 wt%TPI,the epoxy system(EP/TPI-3) had a shelf life of 13 days and was completely cured within 20 min at 180 ℃.Meanwhile,the catalyst-free curing process of EP/TPI-3 system was insensitive to impurities and ***,the thermal and mechanical properties of EP/TPI-3 thermoset were simultaneously improved,thereinto,the glass transition temperature,Young's modulus and ultimate tensile strength were increased by 16.7 ℃,12.9%,and 13.6%,respectively,compared with those of the commercial DGEBA/PETMP *** work shows that TPI has the potential to be a powerful alternative to commercial latent catalysts,and EP/TPI thermosets with high performance have broad application prospects.

关键词： thiol-terminated imidothioether oligomer epoxy systems thiol exchange reaction thermal latency high performance

Experimental investigation of spectral evolution in flash radiation by hypervelocity impact on aluminum plates

在线全文

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2024年第7期37卷 96-110页

作者： xing Chen Yonggang Lu Zhiwen Li Zhonghua Cui Institute of Systems Engineering China Academy of Engineering PhysicsMianyang 621900SichuanChina Chongqing Qianwei Technology Group Co. LtdChongqing 401121China

In this study,a series of hypervelocity impact tests were carried out based on a two-stage light gas gun,and the sequence spectrum and radiation evolution data of the impact products under different impact conditions were *** diameter of the projectile is 3-5 mm,the impact velocity is 3.13-6.58 km/s,and the chamber pressure is 0.56-990 *** spectrum of ejected debris cloud in the 250-310 nm band were obtained using a transient spectral measurement system and a multi-channel radiometer measurement *** test results reveal that the flash radiation intensity increases as a power function with the kinetic energy of the ***,the peak value of the line spectrum decreases as the chamber vacuum degree increases,while the radiation width gradually *** line spectrum in the spectral characterization curve corresponds to the ejected debris clouds splitting phase,which does not produce significant line spectrum during material fragmentation and is dominated by the continuum spectrum produced by blackbody *** will appear one or three characteristic peaks in the flash radiation time curve,the first and second peaks correspond to the penetration phase and the third peak corresponds to the expansion phase of the ejected debris clouds on the time scale,the first and second peaks are more sensitive to the chamber vacuum degree,and when the pressure is higher than 99 Pa,the first and second characteristic peaks will *** radiant heat attenuation of the flash under different impact conditions is significantly different,the attenuation exponent has a power function relationship with the impact velocity and the chamber vacuum degree,while the attenuation exponent has a linear relationship with the diameter of the projectile,the specific expression of the attenuation exponent is obtained by *** findings from this research can serve as a valuable reference for remote diagnostic technologies based on flash radiation characte

关键词： Hypervelocity impact Flash radiation Evolution Spectral characteristics Damage evaluation

在线全文

学校读者我要写书评

暂无评论

论高等教育发展与区域经济增长

黑龙江教育（高教研究与评估） 2009年第5期 1-2页

作者：邢玉升黑龙江大学黑龙江哈尔滨150080

21世纪是一个以人力资源的占有、配置以及知识的生产、分配、使用为重要特征的知识经济时代,高等教育已成为知识创新、传播和应用的重要基地。本文通过对高等教育理论对区域经济增长的作用的分析,提出了高等教育发展的对策。

关键词：高等教育区域经济增长

Topologically protected entanglement switching around exceptional points

在线全文

学校读者我要写书评

暂无评论

Light(Science & Applications) 2024年第8期13卷 1631-1644页

作者： Zan Tang Tian Chen xing Tang Xiangdong Zhang Key Laboratory of Advanced Optoelectronic Quantum Architecture and Measurements of Ministry of Education Beijing Key Laboratory of Nanophotonics&Ultrafine Optoelectronic SystemsSchool of PhysicsBeijing Institute of Technology100081 BeijingChina

The robust operation of quantum entanglement states is crucial for applications in quantum information,computing,and communications^(1–3).However,it has always been a great challenge to complete such a task because of decoherence and ***,we propose theoretically and demonstrate experimentally an effective scheme to realize robust operation of quantum entanglement states by designing quadruple degeneracy exceptional *** encircling the exceptional points on two overlapping Riemann energy surfaces,we have realized a chiral switch for entangled states with high *** to the topological protection conferred by the Riemann surface structure,this switching of chirality exhibits strong robustness against perturbations in the encircling ***,we have experimentally validated such a scheme on a quantum walk *** work opens up a new way for the application of non-Hermitian physics in the field of quantum information.

关键词： exceptional quantum Riemann

Early embryonic failure caused by a novel mutation in the TUBB8 gene:A case report

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Clinical Cases 2024年第12期12卷 2092-2098页

作者： Xiao-Yu Zhang xing-xing Zhang Lei Wang Department of Reproductive Center Zaozhuang Maternal and Child Healthcare HospitalZaozhuang 277000Shandong ProvinceChina

BACKGROUND This study aimed to explore the relationship between gene mutations and early embryonic development arrest and to provide more possibilities for the diagnosis and treatment of repeated implantation *** SUMMARY Here,we collected and described the clinical data of a patient with early embryonic development stagnation after repeated in vitro fertilization attempts for primary infertility at the Department Reproductive Center of Zaozhuang Maternal and Child Healthcare *** also detected the whole-exon gene of the patient's spouse and parents,and conducted bioinformatics analysis to determine the pathogenesis of the *** A novel mutant of the TUBB8 gene[c.602G>T(p.C201F)]was identified,and this mutant provided new data on the genotype-phenotype relationships of related diseases.

关键词： Genes Mutation Embryonic development Fertilization in vitro Intracytoplasmic sperm injection Case report