检索结果-南通市图书馆

autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2018年第5期61卷 141-155页

作者： Haitao ZHANG zhuo cheng Guoqiang LI Shaoying LIU School of Information Science and Engineering Lanzhou University School of Information Science Japan Advanced Institute of Science and Technology School of Software Shanghai Jiao Tong University Faculty of Computer and Information Sciences Hosei University

The OSEK/VDX automotive OS standard has been widely adopted by many automobile manufacturers, such as BMW and TOYOTA, as the basis for designing and implementing a vehicle-mounted OS. With the increasing functionalities in vehicles, more and more multi-task applications are developed based on the OSEK/VDX OS. Currently, ensuring the reliability of the developed applications is becoming a challenge for developers. As to ensure the reliability of OSEK/VDX applications, model checking as a potential solution has attracted great attention in the automotive industry. However, existing model checkers are often unable to verify a large-scale OSEK/VDX application that consists of many tasks, since the corresponding application model too complex. To make existing model checkers more scalable in verifying large-scale OSEK/VDX applications, we describe a software tool named auto C to tackle this problem by automatically translating a multi-task OSEK/VDX application into an equivalent sequential model. We conducted a series of experiments to evaluate the efficiency of auto C. The experimental results show that auto C is not only capable of efficiently sequentializing OSEK/VDX applications, but also of improving the scalability and efficiency of existing model checkers in verifying large-scale OSEK/VDX applications.

关键词： OSEK/VDX application deterministic scheduler software formal method model checking sequentialization

A melt-cast Duan-Zhang-Kim mesoscopic reaction rate model and experiment for shock initiation of melt-cast explosives

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2021年第5期17卷 1753-1763页

作者： Shu-rui Li zhuo-ping Duan Lian-sheng Zhang zhuo-cheng Ou Feng-lei Huang State Key Laboratory of Explosion Science and Technology Beijing Institute of TechnologyBeijing100081China

A melt-cast Duan-Zhang-Kim(DZK)mesoscopic reaction rate model is developed for the shock initiation of melt-cast explosives based on the pore collapse hot-spot ignition mechanism.A series of shock initiation experiments was performed for the Comp B melt-cast explosive to estimate effects of the loading pressure and the particle size of granular explosive component,and the mesoscopic model is validated against the experimental *** numerical simulations indicate that the initial density and formula proportion greatly affect the hot-spot ignition of melt-cast explosives.

关键词： Melt-cast explosive Shock initiation Mesoscopic reaction rate model Hot-spot ignition Shock sensitivity

Ubiquitiformal Crack Extension in Quasi-Brittle Materials

在线全文

学校读者我要写书评

暂无评论

Acta Mechanica Solida Sinica 2020年第5期33卷 674-691页

作者： zhuo-cheng Ou Yi-Bo Ju Jing-Yan Li zhuo-Ping Duan Feng-Lei Huang State Key Laboratory of Explosion Science and Technology School of MechatronicsBeijing Institute of TechnologyBeijing100081China

Based on the concept of ubiquitiform,a ubiquitiformal crack extension model is developed for quasi-brittle *** simulations are carried out using the ABAQUS software with the XFEM-based cohesive segments method to determine the ubiquitiformal crack extension path or fracture surface profile of the material under quasi-static *** a ubiquitiformal crack model removes the singularity of a fractal crack;for the latter,the boundary value problem cannot be uniquely *** the simulation,the material properties,e.g.,the tensile strength,are assumed to obey the Weibull *** meso-element equivalent method is used to determine the correlation between the Weibull distribution parameters and the aggregate gradation of concrete *** numerical results show that the complexities of the ubiquitiformal crack configurations are in good agreement with the previous experimental *** the numerical simulation,it is further demonstrated that the complexity of a ubiquitiformal crack is insensitive to the random spatial distribution of the aggregates,but more dependent on the Weibull distribution parameters which reflect the heterogeneity of the concrete.

关键词： Ubiquitiformal crack Complexity Quasi-brittle materials Random distribution of tensile strength Weibull distribution parameters

Attitude deflection of oblique perforation of concrete targets by a rigid projectile

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2020年第3期16卷 596-608页

作者： zhuo-ping Duan Shu-rui Li Zhao-fang Ma zhuo-cheng Ou Feng-lei Huang State Key Laboratory of Explosion Science and Technology Beijing Institute of TechnologyBeijing 100081PR China Beijing Institute of Technology ZhuhaiZhuhai 519088PR China

A perforation model is developed to predict the attitude deflection in the oblique perforation of concrete targets by a rigid projectile,in which the inertial moment of the projectile is introduced,together with taking the attitude deflection during the shear plugging sub-stage into account,and the shape of the plug formed on the rear surface of target is also ***,a new classification of concrete targets is proposed based on the target thickness,with which the attitude deflections in different kinds of concrete targets are *** is found that the numerical results by using the new perforation model are in good agreement with the previous experimental data and simulated ***,the variations of the attitude deflection with the initial conditions(the initial attitude angle and the initial impact velocity) are investigated.

关键词： Oblique perforation Penetration Concrete target Attitude deflection Rigid projectile

A prediction method for ground-based stellar occultations by ellipsoidal solar system bodies and its application

在线全文

学校读者我要写书评

暂无评论

Research in Astronomy and Astrophysics 2017年第5期17卷 65-78页

作者： Ye Yuan Yan-Ning Fu zhuo cheng Purple Mountain Observatory Chinese Academy of Sciences Nanjing 210008 China University of Chinese Academy of Sciences Beijing 100049 China

A new programmable prediction method is developed to refine the occultation band by taking into consideration the triaxiality of an occulting body, as well as two more factors, namely, the barycenter offset of an occulting planet from the relevant planetary satellite system and the gravitational deflection of light rays due to an occulting planet. Although these factors can be neglected in most cases, it is shown that there are cases when these factors can cause a variation ranging from several tens to thousands of kilometers in the boundaries of occultation bands. Knowledge of analytic geometry simplifies the process of derivation and computation. This method is applied to long-term predictions of Jovian and Saturnian events.

关键词： shadow stellar Saturn Jupiter uncertainty programmable planet offset derivation refine

Significant reduction in friction and wear of a high-entropy alloy via the formation of self-organized nanolayered structure

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2021年第14期73卷 1-8页

作者： Lu Yang zhuo cheng Weiwei Zhu Cancan Zhao Fuzeng Ren Department of Materials Science and Engineering Southern University of Science and TechnologyShenzhen 518055China Institute of Applied Physics and Materials Engineering Faculty of Science&TechnologyUniversity of MacaoMacaoChina

Sliding wear-induced nanolayering and its positive impact on wear resistance have been observed in conventional binary alloys with a matrix of high stacking fault energy(SFE),but this concept has never been reported in high-entropy alloys(HEAs)with low ***,we design and fabricate a(CoCrFeNi)_(90)Ag_(10)HEA,consisting of a face-center-cubic(fcc)CoCrFeNi HEA matrix with low SFE and uniformly dispersed Ag *** comparison with CoCrFeNi,a significant reduction in friction and wear was found in(CoCrFeNi)_(90)Ag_(10)HEA through the spontaneous formation of nanolayered subsurface microstructure during *** finding suggests a novel approach for designing HEAs that can achieve low friction and wear.

关键词： High-entropy alloy Sliding wear Nanolayering

Simple Ultrasonic-Assisted Clean Graphene Transfer

在线全文

学校读者我要写书评

暂无评论

Journal of Electronic Science and Technology 2022年第3期20卷 237-245页

作者： zhuo-cheng Zhang Xiao-Qiu-Yan Zhang Min Hu the Terahertz Research Center School of Electronic Science and EngineeringUniversity of Electronic Science and Technology of ChinaChengdu610054China the Key Laboratory of Terahertz Technology(Ministry of Education) University of Electronic Science and Technology of ChinaChengdu610054China

Clean graphene transfer has received widespread research attention, where most methods are focused on cleaning the upper surface of graphene to improve the transfer technique. However, the residue formation on the bottom surface of graphene is also inevitable;therefore, cleaning the bottom surface is crucial. In this study, we proposed an improved graphene wet transfer method using an ultrasonic processing(UP) step for etching copper(Cu). Using this method, the bottom surface can be cleaned efficiently. The results of atomic force microscopy(AFM)and Raman spectroscopy mapping revealed that the graphene films transferred with UP had smoother and cleaner surfaces, less contamination, and higher quality than those transferred without UP.

关键词： Chemical vapor deposition(CVD) clean graphene transfer ultrasonic processing

Effect of Chlorimuron-Ethyl on Biochemical Mechanism in Tolerant Sugar Beet

在线全文

学校读者我要写书评

暂无评论

Agricultural Sciences in China 2010年第12期9卷 1771-1776页

作者： DING Wei MA Feng-ming cheng zhuo TAO Bo Agronomy College Northeast Agricultural University Harbin 150030 P.R.China College of Resource and Environmental Science Northeast Agricultural University Harbin 150030 P.R.China

Effect of chlorimuron-ethyl on biochemical mechanism in tolerant sugar beet was investigated to provide basic data on using the tolerant genotype properly. Tolerant sugar beet was used to analyze its biochemical mechanism under chlorimuron- ethyl stress with frame culture in field and water culture. Glutathione S-transferase （GST） activity of leaves in tolerant sugar beet was remarkably increased as chlorimuron-ethyl was preemergence applicated at 0.5 and 1.5 g a.i. hw1, at the same time glutathione （GSH） content increased 50.0-490.1 p.g g-~. GST activity of sensitive sugar beet decreased 122.6 U mg-~ min-1 compared with tolerant sugar beet and GSH content only increased to 7.4 p.g g-~ at chlorimuron-ethyl 0.5 g a.i. ha-~ in sensitive sugar beet. The higher GST activity and GSH content conjugated chlorimuron-ethyl absorbed in tolerant sugar beet and made it lost activity. Acetolactate synthases （ALS） activity of the tolerant sugar beet increased to 62.5 and 70.6%, respectively in seedling and leaf growth period, at the same time ALS activity of the sensitive variety was decreased to 36.8 and 64.8%, respectively. The rapidly increased GST activity, GSH content, and ALS, the target enzyme activity were the important pathways for enduring chlorimuron-ethyl in tolerant sugar beet.

关键词： chlorimuron-ehtyl sugar beet glutathione S-transferase glutathione acetolactate synthases

Evaluation of redundancy-based system: a model checking approach

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2018年第6期61卷 241-243页

作者： Ling FANG Chunyan MU zhuo cheng Guoqiang LI Institute of Technology Innovation Hefei Institutes of Physical Science Chinese Academy of Sciences School of Computing Teesside University State International S&T Cooperation Base of Networked Supporting Software Jiangxi Normal University School of Software Shanghai Jiao Tong University

Dear editor,Functional redundancy is a key and well-known fault tolerance scheme for which there are functionally equivalent versions that can rescue a system from execution failure and improve its reliability with **... 详细信息

关键词： NVP RB a model checking approach Evaluation of redundancy-based system