检索结果-内蒙古大学图书馆

IEEE International Conference on Automated Software Engineering (ASE)

作者： Yuexing Wang Min Zhou Yu Jiang Xiaoyu Song Ming Gu Jiaguang Sun Ministry of Education Key Laboratory for Information System Security China School of Software Tsinghua University China Tsinghua National Laboratory for Information Science and Technology (TNList) China Electrical and Computer Engineering Portland State University USA

ISBN: (纸本)9781538626849

To reduce the false positives of static analysis, many tools collect path constraints and integrate SMT solvers to filter unreachable execution paths. However, the accumulated calling and computing of SMT solvers are time and resource consuming. This paper presents TsmartLW, an alternate static analysis tool in which we implement a path constraint solving engine to speed up reachability determination. Within the engine, typical types of constraint-patterns are firstly defined based on an empirical study of a large number of code repositories. For each pattern, a constraint solving algorithm is designed and implemented. For each program, the engine predicts the most suitable strategy and then applies the strategy to solve path constraints. The experimental results on some well-known benchmarks and real-world applications show that TsmartLW is faster than some state-of-the-art static analysis tools. For example, it is 1.32× faster than CPAchecker and our engine is 369× faster than SMT solvers in solving path constraints. The demo video is available at https://***/watch?v=5c3ARhFclHA&t=2s.

关键词： Tools Algorithm design and analysis Engines Benchmark testing Visualization Optimization

来源：评论

学校读者我要写书评

暂无评论

Acoustic multipole sources for the regularized lattice Boltzmann method: Comparison with multiple-relaxation-time models in the inviscid limit

引用

Physical Review E 2017年第6期95卷 063301-063301页

作者： Congshan Zhuo Pierre Sagaut Aix Marseille Univ CNRS Centrale Marseille M2P2 UMR 7340 13451 Marseille France National Key Laboratory of Science and Technology on Aerodynamic Design and Research Northwestern Polytechnical University Xi'an Shaanxi 710072 China

In this paper, a variant of the acoustic multipole source (AMS) method is proposed within the framework of the lattice Boltzmann method. A quadrupole term is directly included in the stress system (equilibrium momentum flux), and the dependency of the quadrupole source in the inviscid limit upon the fortuitous discretization error reported in the works of E. M. Viggen [Phys. Rev. E 87, 023306 (2013)] is removed. The regularized lattice Boltzmann (RLB) method with this variant AMS method is presented for the 2D and 3D acoustic problems in the inviscid limit, and without loss of generality, the D3Q19 model is considered in this work. To assess the accuracy and the advantage of the RLB scheme with this AMS for acoustic point sources, the numerical investigations and comparisons with the multiple-relaxation-time (MRT) models and the analytical solutions are performed on the 2D and 3D acoustic multipole point sources in the inviscid limit, including monopoles, x dipoles, and xx quadrupoles. From the present results, the good precision of this AMS method is validated, and the RLB scheme exhibits some superconvergence properties for the monopole sources compared with the MRT models, and both the RLB and MRT models have the same accuracy for the simulations of acoustic dipole and quadrupole sources. To further validate the capability of the RLB scheme with AMS, another basic acoustic problem, the acoustic scattering from a solid cylinder presented at the Second Computational Aeroacoustics Workshop on Benchmark Problems, is numerically considered. The directivity pattern of the acoustic field is computed at r=7.5; the present results agree well with the exact solutions. Also, the effects of slip and no-slip wall treatments within the regularized boundary condition on this pure acoustic scattering problem are tested, and compared with the exact solution, the slip wall treatment can present a better result. All simulations demonstrate that the RLB scheme with the AMS method is

关键词： Acoustics Lattice-Boltzmann methods

来源：评论

学校读者我要写书评

暂无评论

Dynamic Migration of Surface Fluorine Anions on Cobalt‐Based Materials to Achieve Enhanced Oxygen Evolution Catalysis

引用

Angewandte Chemie 2018年第47期130卷

作者： Pengzuo Chen Tianpei Zhou Sibo Wang Nan Zhang Yun Tong Huanxin Ju Wangsheng Chu Changzheng Wu Yi Xie Hefei National Laboratory for Physical Science at the Microscale iChEM (Collaborative Innovation Center of Chemistry for Energy Materials) CAS Key Laboratory of Mechanical Behavior and Design of Materials University of Science and Technology of China Hefei Anhui 230026 P. R. China National Synchrotron Radiation Laboratory University of Science and Technology of China Hefei Anhui 230029 P. R. China

Fluorine‐anion surface engineering has now been used to activate catalytic active species, representing a completely new way of reconstruction toward oxygen evolution reaction (OER) active species. The electronegativity of the fluorine anion is the strongest so that it will be much easier to form weak metal–fluorine bonds with stronger ionicity, contributing to the dynamic migration of fluorine anions and finally enriching on the surface of both cobalt‐based oxide/oxyhydroxide. Surface enrichment of fluorine anions endows more hydrophilic surface character for accelerating the key process of oxygen‐related intermediate adsorption. Combining with an obviously improved electron transfer capacity, the F‐CoOOH/NF catalyst exhibits a greatly enhanced OER activity (270 mV at 10 mA cm −2 ) and reaction kinetics (54 mV dec −1 ) in alkaline medium. Surface anion engineering introduces a new concept for rational design advanced OER catalysts for energy conversion system.

关键词： Cobaltoxide Dynamische Migration Fluorid Oberflächenrekonstruktion Sauerstoffentwicklung

来源：评论

学校读者我要写书评

暂无评论

Application of Arduino Control Mainboard with Color Light Sensor TCS3200 in Color Recognition of Edge Banding In Laser Edge Banding Machine

引用

IOP Conference Series: Earth and Environmental science 2019年第2期252卷

作者： Trong Tuan Nguyen Tat Thang Nguyen Van Tuu Nguyen Chi Cong Cao Jun Hua Department of Mechanical Design and Theory College of Mechanical Engineering Northeast Forestry University Harbin 150040 China Vietnam Academy of Forest Sciences Ha Noi Vietnam Key Laboratory of Bio-based Material Science and Technology of Ministry of Education Northeast Forestry University Harbin 150040 P.R. China. Vietnam National University of Forestry Ha Noi Viet Nam Traffic College Northeast Forestry University Harbin 150040 P.R. China.

In the laser edge banding system, automatic color reading and adjustment of input color matching that of edge banding is an important factor in achieving high automation level. This paper describes a working prototype designed for color-based automatic sorting of objects. TCS3200 sensor was used to detect the color of the product; and Arduino board was used to control the overall process in which matching sealing edge was introduced. Color input was based on analysis of reading of TCS3200 sensor. Results illustrated matching of color in a series of products coded E1, E2, E3, E4, E5, E6, E7, and E8. According to the results, we concluded that laser edge sealing reduces unstable factors, reduces labor and stalibizes product quality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Influence of Sn addition on mechanical properties of gas tungsten arc welded AM60 Mg alloy sheets

引用

Transactions of Nonferrous Metals Society of china 2016年第8期26卷 2051-2057页

作者： Jun GOU Ai-tao TANG Fu-sheng PAN Jia SHE Su-qin LUO Jun-hua YE Da-wei SHI College of Materials Science and Engineering Chongqing University Chongqing 400044 China National Engineering Research Center for Magnesium Alloys Chongqing University Chongqing 400044 China Chongqing Academy of Science and Technology Chongqing 401123 China Science and Technology on Reactor System Design Technology Laboratory College of Materials Science and Engineering Guilin University of Technology Guilin 541004 China

The effects of Sn addition on the microstructure and mechanical properties of gas tungsten arc butt-welded Mg?6Al?0.3Mn (AM60) (mass fraction, %) alloy sheets were investigated by optical microscopy, scanning electron microscopy, X-ray diffraction, transmission electron microscopy, and microhardness and tensile tests. The results indicate that both the average microhardness and joint efficiency of AM60 are improved by the addition of 1% Sn (mass fraction). The ultimate tensile strength of Mg?6Al?1Sn?0.3Mn (ATM610) reaches up to 96.8% of that of base material. Moreover, fracture occurs in the fusion zone ofATM610 instead of in the heat-affected zone of AM60 welded joint. The improvement in the properties is mainly attributed to the formation of Mg2Sn, which effectively obstructs the grain coarsening in the heat-affected zone, resulting in a relatively finemicrostructure. The addition of 1% Sn improves the mechanical properties of AM60 welded joint

关键词： AM60 Mg alloy ATM610 Mg alloy gas tungsten arc welding mechanical properties

来源：评论

学校读者我要写书评

暂无评论

On the lift force modeling for single bubble in water 3

On the lift force modeling for single bubble in water

引用

3rd International Topical Meeting on Advances in Thermal Hydraulics 2016, ATH 2016

作者： Li, Zhongchun Song, Xiaoming Jiang, Shengyao Ishii, Mamoru Science and Technology on Reactor System Design Technology Laboratory Chengdu610041 China Nuclear Power Institute of China Chengdu610041 China Tsinghua University Beijing100084 China Department of Nuclear Engineering Purdue University 47906 United States

ISBN: (纸本)9780894487330

Lift force is one of the interfacial momentum transfer terms in the framework of two-fluid modeling. It is vital for accurate understanding of two phase flow system. The present study concluded the lift force modeling and correlations proposed using analytical, experimental and numerical approaches. The correlations were assessed with the existing experimental and numerical simulation results. The regions where insufficient data and contradictions between modeling and experimental data were presented were identified. A strategy for the lift force modeling was proposed based on the similarity between drag force and lift force. In addition, the effects of bubble size, fluid properties, contamination and shear flow rate were discussed. © 2016, American Nuclear Society. All rights reserved.

关键词： Shear flow

来源：评论

学校读者我要写书评

暂无评论

RANS simulation of natural convection in an enclosure with curved surface heating from below 3

RANS simulation of natural convection in an enclosure with c...

引用

3rd International Topical Meeting on Advances in Thermal Hydraulics 2016, ATH 2016

作者： Chai, Xiang Chen, Bin Xu, Cheng School of Nuclear Science and Engineering Shanghai Jiao Tong University 800 Dongchuan RD. Minhang District Shanghai China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu610041 China Karlsruhe Institute of Technology Kaiserstr. 12 Karlsruhe76131 Germany

ISBN: (纸本)9780894487330

Prediction accuracy of natural convection is strongly dependent on the choice of turbulence model. In this paper, different turbulence models as well as turbulent heat flux models are employed to predict the natural convection in an enclosure with curved surface heating from below and investigate their performance. Based on the simulation results, it is found that k-Ε model which is well known to overestimate the production of kinetic energy provides a higher prediction of Nusselt number while k-Ε-ζ-f model provides a relatively smaller estimation. A systematic CFD simulation is carried out for Rayleigh numbers in the range 109 to 1011, with which the influence from aspect ratio is also investigated. The effect of Rayleigh number on heat transfer is found to be significant and the dependency of Nusselt number (Nu) is obtained as a function of Rayleigh number (Ra). The influence from the aspect ratio of the simulation domain is found to be dependent on the choice of turbulence model. For k-Ε model, Nu increases as aspect ratio increases, while an opposite dependency is observed when k-Ε-ζ-f model is used. For this discrepancy, arguments are provided based on the streamlines and the profiles of Nu over the heating surface. © 2016, American Nuclear Society. All rights reserved.

关键词： Natural convection

来源：评论

学校读者我要写书评

暂无评论

A new model for active nucleation site density in boiling systems 3

A new model for active nucleation site density in boiling sy...

引用

3rd International Topical Meeting on Advances in Thermal Hydraulics 2016, ATH 2016

作者： Li, Quan Avramova, M. Yu, Junchong Jiao, Yongjun Hou, Jason Department of Engineering Physics Tsinghua University Beijing100084 China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu610213 China Department of Nuclear Engineering North Carolina State University RaleighNC27695 United States

ISBN: (纸本)9780894487330

A new model for active nucleation site density in boiling systems has been developed. The model is based on parametric analysis of existing experimental data and is a function of wall superheat, pressure, and contact angle. The model is applicable for a wide pressure range - from 0.101 MPa to 19.8 MPa. Preliminary studies of temperature dependency of the contact angle have also been performed. The new model is intended to improve the predictions of the interfacial area concentration in two-fluid models and the wall temperature in subcooled boiling simulations. Validation activities have shown that the active nucleation site density predicted by the new model is in a good agreement with various published experimental data, and have demonstrated the achieved improvements as compared to existing models. © 2016, American Nuclear Society. All rights reserved.

关键词： Contact angle

来源：评论

学校读者我要写书评

暂无评论

Mechanism study and theoretical simulation on heat split phenomenon in dual-cooled annular fuel element

引用

Annals of Nuclear Energy 2016年 94卷 44-54页

作者： Yangbin Deng Yingwei Wu Yuanming Li Dalin Zhang Wenxi Tian G.H. Su Suizheng Qiu State Key Laboratory of Multiphase Flow in Power Engineering School of Nuclear Science and Technology Xi’an Jiaotong University Xi’an City 710049 China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu 610213 China

In this study, the mechanisms that cause heat split, a specific phenomenon in dual-cooled annular fuel elements, were investigated. On the basis of thermal resistance analysis, the developing process of heat split phenomenon was summarized. It was found that thermal expansion, fuel densification, swelling, creep, relocation and fission gas release are the original parameters driving the development of heat split. Due to these factors, thermal resistances for heat flux to internal and external channels change with the operating time, which results in heat split. Furthermore, the theoretical simulation on heat split was performed by FROBA-ANNULAR, which is a coupled thermal–mechanical analysis code for dual-cooled annular fuel elements. key parameters at different burnup stages, including gap size, gap conductance, temperature profile, coolant flux and heat flux were obtained. The calculation result shows that the fraction of heat flux to the internal cooling channel experiences complicated variation at the range of 32.9–39.7%. In addition, it was found that heat split does not match with the coolant split, especially at the lower burnup stage. Asymmetric heat transfer occurred because of the imbalance between heat split and coolant split, resulting in a substantial asymmetric temperature profile. Furthermore, heat split exerts an influence on DBNRs of inner and outer channels, although the computational values were still within the allowable limits.

关键词： Dual-cooled annular fuel Heat split FROBA-ANNULAR code MDNBR

来源：评论

学校读者我要写书评

暂无评论

Finite Element Analysis on Loosen Teeth using Fibrous Periodontal Splint Restoration

引用

IOP Conference Series: Materials science and Engineering 2018年第1期417卷

作者： Chengshui Ding Xue Shi Yang Song Lulu Qiu Xinyue Li Chunqiu Zhang Tianjin Key Laboratory of the Design Intelligent Control of the Advanced Mechatronical System National Demonstration Center for Experimental Mechanical and Electrical Engineering Education School of Mechanical Engineering Tianjin University of Technology Tianjin 300384 China Periodontitis Department Tianjin Stomatological Hospital Tianjin 300384 China

Objective To investigate the effect of fibre periodontal splint restoration on mandibular anterior teeth displacement and periodontal membrane stress. Methods Micro-CT scanning technology, combined with Mimics, Geomagic studio and SolidWorks were used to establish 3D dental models of mandibles with teeth and the models fibre periodontal splint restoration; the models of mandibular anterior loosen teeth was constructed under 30 degree oblique 25N loading on the labial and lingual sides respectively. Then, under different angles force with or without the splint, the analysis on dental mechanical state are given. Results It was determined that the sum of the maximal displacement of the loosen tooth model at the lingual and labial sides was 1 mm, which represented the degree I loosen model. After splint repair on the model, the maximal displacement of loosen tooth decreased 47.7%, 85.1% and 85.8% at 0 degree, 15 degree and 30 degree forces respectively, and the maximum stress of periodontal membrane decreased by 22.3%, 61.2% and 74.9%. Conclusion Fixation of loosen teeth through fibre periodontal splints can reduce the maximum stress of periodontal membrane and the maximal displacement of the teeth, thus ensuring the stability of loosen tooth.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：