检索结果-南通市图书馆

Model-based automated testing of JavaScript Web applications via longer test sequences

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2022年第3期16卷 53-66页

作者： Pengfei GAO Yongjie xu fu SONG Taolue CHEN School of Information Science and Technology ShanghaiTech UniversityShanghai 201210China Department of Computer Science University of SurreyGuildford GU27XHUK

JavaScript has become one of the most widely used languages for Web *** dynamic and event-driven features make it challenging to ensure the correctness of Web applications written in JavaScript.A variety of dynamic analysis techniques have been proposed which are,however,limited in either coverage or *** this paper,we propose a simple,yet effective,model-based automated testing approach to achieve a high code-coverage within the time budget via testing with longer event *** implement our approach as an open-source tool LJS,and perform extensive experiments on 21 publicly available *** average,LJS is able to achieve 86.5%line coverage in 10 *** with JSDEP,a state-of-the-art breadth-first search based automated testing tool enriched with partial order reduction,the coverage of LJS is 11%-19%higher than that of JSDEP on real-world large Web *** empirical findings support that proper longer test sequences can achieve a higher code coverage in JavaScript Web application testing.

关键词： model-based testing automated testing JavaScript Web applications

Application of a microscopic optical potential of chiral effective field theory in (p, d) transfer reactions

在线全文

学校读者我要写书评

暂无评论

Nuclear Science and Techniques 2024年第1期35卷 134-144页

作者： Yi-Ping xu Si-Lu Chen dan-Yang Pang School of Nuclear Science and Engineering North China Electric Power UniversityBeijing 102206China School of Physics Beihang UniversityBeijing 100191China

The microscopic global nucleon–nucleus optical model potential(OMP)proposed by Whitehead,Lim,and Holt,the WLH potential(Whitehead et al.,Phys Rev Lett 127:182502,2021),which was constructed in the framework of many-body per-turbation theory with state-of-the-art nuclear interactions from chiral effective field theory(EFT),was tested with(p,d)transfer reactions calculated using adiabatic wave *** target nuclei included both stable and unstable nuclei,and the incident energies reached 200 *** results were compared with experimental data and predictions using the phenomenological global optical potential of Koning and Delaroche,the KD02 ***,we found that the micro-scopic WLH potential described the(p,d)reaction angular distributions similarly to the phenomenological KD02 potential;however,the former was slightly better than the latter for radioactive *** average,the obtained spectroscopic factors(SFs)using both microscopic and phenomenological potentials were similar when the incident energies were below approxi-mately 120 ***,their difference tended to increase at higher incident energies,which was particularly apparent for the doubly magic target nucleus 40Ca.

关键词： Microscopic optical model potential (p,d)transfer Spectroscopic factors

Design of A Novel Wheel-Legged Robot with Rim Shape Changeable Wheels

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Mechanical Engineering 2023年第6期36卷 62-72页

作者： Ze fu Hao xu Yinghui Li Weizhong Guo State Key Laboratory of Mechanical System and Vibration Shanghai Jiao Tong UniversityShanghai 200240China

The wheel-legged hybrid structure has been utilized by ground mobile platforms in recent years to achieve good mobility on both flat surfaces and rough ***,most of the wheel-legged robots only have one-directional obstacle-crossing *** the motion,most of the wheel-legged robots’centroid fluctuates violently,which damages the stability of the ***’s more,many designs of the obstacle-crossing part and transformation-driving part of this structure are highly coupled,which limits its optimal performance in both *** paper presents a novel wheel-legged robot with a rim-shaped changeable wheel,which has a bi-directional and smooth obstacle-crossing *** on the kinematic model,the geometric parameters of the wheel structure and the design variables of the driving four-bar mechanism are optimized *** kinetostatics model of the mobile platform when climbing stairs is established to determine the body length and angular velocity of the driving wheels.A pro-totype is made according to the optimal *** show that the prototype installed with the novel transformable wheels can overcome steps with a height of 1.52 times of its wheel radius with less fluctuation of its centroid and performs good locomotion capabilities in different environments.

关键词： Mobile platform Transformable wheel-legged robot Kinematics analysis Mechanical design Obstacle

Ultrathin poly(cyclocarbonate-ether)-based composite electrolyte reinforced with high-strength functional skeleton

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2023年第6期81卷 603-612,I0013页

作者： Xiaojiao Zheng Da xu Ning fu Zhenglong Yang Shanghai Key Laboratory of D&A for Metal-functional Materials School of Materials Science and EngineeringTongji UniversityShanghai 200092China School of Chemical and Environmental Engineering Anyang Institute of TechnologyAnyang 455000HenanChina

Composite polymer electrolytes(CPEs)are considered to be the most promising to break through the performance and safety limitations of traditional lithium-ion batteries because of their excellent electrochemical and mechanical *** at the performance limitations of the most common polyether matrix such as poly(ethylene oxide)(PEO),a novel poly(cyclocarbonate-ether)polymer matrix was prepared by in-situ thermal curing,the weaker interaction between its C=O bond and Li^(+)can promote the rapid transport of Li^(+).Adding ionic liquid and active filler LLZTO to the matrix can synergistically reduce the crystallinity of matrix and promote the dissociation of lithium *** addition,a 3D functional skeleton made of polyacrylonitrile(PAN)and lithium fluoride(LiF)can greatly improve the mechanical strength of polymer matrix after cold pressing,and Li F is also conducive to interface *** thickness of the optimal sample(VP6L/CPL)was only 25μm,and its ionic conductivity,lithium ion transference number,and electrochemical stability window were as high as 7.17×10^(-4)S cm^(-1)(25℃),0.54 and 5.4 V,respectively,while the mechanical strength reaches 6.1 MPa,which can fully inhibit the growth of lithium *** excellent electrochemical performance and mechanical strength enable the assembled Li|VP6L/CPL|Li battery to be continuously charged for over 200 h and cycled stably for more than 2300 h,and Li|VP6L/CPL|LFP battery can be stably cycled for more than 400 and 550 cycles at 1 C(40℃)and 0.5 C(25℃),respectively.

关键词： Composite polymer electrolytes Polymer matrix 3D functional skeleton Plasticization Synergistic effect

Temperature influence on minimum fluidization velocity:Complexity,mechanism,and solutions

在线全文

学校读者我要写书评

暂无评论

Particuology 2024年第5期88卷 344-349页

作者： Qingjin Zhang Liangliang fu Guangwen xu Dingrong Bai Key Laboratory on Resources Chemicals and Material of Ministry of Education Shenyang University of Chemical TechnologyShenyang 110142China School of Materials Science and Engineering Shenyang University of TechnologyShenyang 110142China School of Chemical Engineering University of Science and Technology LiaoningAnshan 114051China

Fluidized-bed reactors are widely employed in various high-temperature industrial ***,it is crucial to understand the temperature effect on various fluidization phenomena,specifically the minimum fluidization velocity(U_(mf))that governs various aspects of fluidized bed *** this study,we comprehensively analyze U_(mf) data from the literature to unravel the complexity and underlying mechanisms of temperature influence on this critical *** research examines experimental data encompassing a wide range of temperatures,pressures,and solid *** analysis reveals that the influence of temperature on U_(mf) is fundamentally determined by the relative importance of hydrodynamic forces and interparticle forces within fluidized beds and is realized by three distinctive temperature-induced changes:gas properties,bed voidage,and physiochemical characteristics of *** this basis,an equation is derived to enable predictions of temperature influences on the minimum fluidization velocity under broad temperature conditions.

关键词： High-temperature gas-solids fluidized beds Minimum fluidization velocity Hydrodynamic forces Interparticle forces Bed voidage

Objective optical quality and visual outcomes after the PresbyMAX monocular ablation profile

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Ophthalmology(English edition) 2020年第7期13卷 1060-1065页

作者： dan fu Jing Zhao Xing-Tao Zhou Eye and ENT Hospital of fudan University Shanghai 200030China NHC Key Laboratory of Myopia fudan University Shanghai200030China Shanghai Research Center of Ophthalmology and Optometry Shanghai200030China

AIM:To assess objective visual quality after presbyopia correction using the Presby MAX monocular ***:This prospective,nonrandomized study included 28 eyes from 18 patients(mean age 50.4±5.6 y)who underwent presbyopia correction with the Presby MAX monocular *** and binocular visual acuities were evaluated preoperatively,1 d,1 wk,1,3 mo,and 1 y after *** quality was analyzed by HartmannShack wavefront aberration supported cornea *** transfer function(MTF)cutoff frequency,Strehl ratio,and objective scattering index(OSI)were analyzed using an optical quality analysis ***:One year after surgery,100%and 94.4%of patients achieved binocular uncorrected distance and near visual acuity of 20/25,*** the last visit Spherical aberration and total higher aberration were higher than the corresponding preoperative levels(P<0.001);however,no significant difference was found in MTF,OSI,or Strehl *** decreases in OSI and MTF mainly occurred in the nondominant *** was no significant difference in optical quality between the dominant and nondominant eyes,except for spherical aberration and horizontal coma(P<0.05).CONCLUSION:The Presby MAX monocular mode is safe and effective for presbyopia *** has little effect on optical quality,though short-term degraded optical quality occurred mainly in the bi-aspheric ablated eyes.

关键词： presbyopia monovision optical quality PresbyMAX

Impact of Cloud Microphysical Processes on the Simulation of Typhoon Rananim near Shore. Part II： Typhoon Intensity and Track

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta meteorologica Sinica 2011年第4期25卷 456-466页

作者： CHENG Rui YU Rucong xu Youping fu Yunfei State Key Laboratory of Numerical Simulation for Atmo3pheric Sciences and Geophysical Fluid Dynamics Institute of Atmospheric Physics CAS Beijing 100029 Graduate School of the Chinese Academy of Sciences Beijing 100049 University of Science and Technology of China Hefei 230026

The impact of cloud microphysical processes on the simulated intensity and track of Typhoon Rananim is discussed and analyzed in the second part of this study. The results indicate that when the cooling effect due to evaporation of rain water is excluded, the simulated 36-h maximum surface wind speed of Typhoon Rananim is about 7 m s-1 greater than that from all other experiments; however, the typhoon landfall location has the biggest bias of about 150 km against the control experiment. The simulated strong outer rainbands and the vertical shear of the environmental flow are unfavorable for the deepening and maintenance of the typhoon and result in its intensity loss near the landfall. It is the cloud microphysical processes that strengthen and create the outer spiral rainbands, which then increase the local convergence away from the typhoon center and prevent more moisture and energy transport to the inner core of the typhoon. The developed outer rainbands are supposed to bring dry and cold air mass from the middle troposphere to the planetary boundary layer （PBL）. The other branch of the cold airflow comes from the evaporation of rain water itself in the PBL while the droplets are falling. Thus, the cut-off of the warm and moist air to the inner core and the invasion of cold and dry air to the eyewall region are expected to bring about the intensity reduction of the modeled typhoon. Therefore, the deepening and maintenance of Typhoon Rananim during its landing are better simulated through the reduction of these two kinds of model errors.

关键词： typhoon intensity cloud microphysical processes spiral rainband environmental wind shear

同方期刊数据库

Modified two-grid method for solving coupled Navier-Stokes/Darcy model based on Newton iteration

在线全文

学校读者我要写书评

暂无评论

Applied Mathematics(A Journal of Chinese Universities) 2015年第2期30卷 127-140页

作者： SHEN Yu-jing HAN dan-fu SHAO Xin-ping Department of Mathematics Zhejiang University Department of Mathematics Hangzhou Normal University School of Science Hangzhou Dianzi University

A new decoupled two-gird algorithm with the Newton iteration is proposed for solving the coupled Navier-Stokes/Darcy model which describes a fluid flow filtrating through porous media. Moreover the error estimate is given, which shows that the same order of accuracy can be achieved as solving the system directly in the fine mesh when h = H2. Both theoretical analysis and numerical experiments illustrate the efficiency of the algorithm for solving the coupled problem.

关键词： Navier-Stokes equation Darcy's law interface coupling two-grid algorithm Newton iteration

Preparation and Properties of Zirconium Hydrideon the surface of MCM-41 Mesoporous Molecular Sieves

在线全文

学校读者我要写书评

暂无评论

Chemical Research in Chinese Universities 2001年第4期17卷 426-431页

作者： WANG xu-xu fu Xian-zhi LEFEBVRE Frederic BASSET Jean-Marie Research Institute of Photocatalysis Fuzhou UniversityFuzhou 350002P.R.China Laboratoire de Chimie Organometallique de Surface UMR CNRS-CPE 998643Bd dull Novembre 11 Novembre 191869616 Villeurbanne CedexFrance

Zirconium monohydride bonded to the framework oxygen of MCM-41 surface was prepared by the reaction of tetraneopentyl zirconium with MCM-41 surface hydroxyl groups, followed by the hydrogenolysis of the resulted product. The surface hydride was characterized by using infrared spectroscopy, solid-state NMR, elemental analysis, gas-phase chromatography and chemical probing reaction. It was shown that this surface species is stable below 150 ’C and can catalytically crack alkanes into methane and ethane at 100 .

关键词： MCM-41 Zirconium hydride Grafting reaction Catalytic cracking