http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
An Approach Converting XMI to SMV
Rongshang Chen,Jinyu Kai,MingXu,LeiXiao 보안공학연구지원센터 2015 International Journal of Security and Its Applicat Vol.9 No.12
The technique of model checking is playing a more and more important role in formal verification and automated software testing. When using the model checker tool NuSMV, people have to program the code for the model they built firstly. During the course of programming with the input language of NuSMV, for non-expert users, some manual mistakes may be brought in such as making syntax errors or omitting some transfer conditions etc. This paper introduces a tool XMI2SMV which is an automatic generator to be used to generate NuSMV programming codes for XMI files. This tool aims to bridge between a UML tool and the model checker tool NuSMV. We just need build our behavioral system model using a UML tool and export its corresponding XMI file, and this tool can help us to generate NuSMV code automatically, avoiding manual errors.
Mechanical Performance of 3D-Printing Plastic Honeycomb Sandwich Structure
Chun Lu,Mingxue Qi,Shafiul Islam,Ping Chen,Shuangsheng Gao,Yanrong Xu,Xiangdong Yang 한국정밀공학회 2018 International Journal of Precision Engineering and Vol.5 No.1
In this study, Bi-Grid, Tri-Grid, Quadri-Grid and Kagome-Grid honeycombs were designed and fabricated using 3D printing technology Sandwich composites were prepared by gluing the cores and composite face sheets together. Mechanical performance of the sandwich structures were characterized using finite element analysis and three-point bending test. Results indicate that when suffering from bending loads, the stress concentrations are located at the loading zone on upper face sheets (distributed in both sides of the indenter) and supporting zone on bottom face sheets, and the stress concentration zones of the honeycomb cores are located in the area that between indenter and supports. The failure mechanism of the Bi-Grid sandwich structure is interfacial de-bonding between composite face sheet and Bi-Grid core, and the failure modes of the Tri-Grid, Quadri-Grid and Kagome-Grid are core shear. The mechanical performance of Quadri-Grid sandwich structure is better than that of the other three structures.
Wu Jiang,Fu Liwei,Yan Zineng,Yang Yu,Yin Han,Li Pinxue,Yuan Xun,Ding Zhengang,Kang Teng,Tian Zhuang,Liao Zhiyao,Tian Guangzhao,Ning Chao,Li Yuguo,Sui Xiang,Chen Mingxue,Liu Shuyun,Guo Quanyi 한국생체재료학회 2023 생체재료학회지 Vol.27 No.00
In recent years, there has been significant research progress on in situ articular cartilage (AC) tissue engineering with endogenous stem cells, which uses biological materials or bioactive factors to improve the regeneration microenvironment and recruit more endogenous stem cells from the joint cavity to the defect area to promote cartilage regeneration.In this study, we used ECM alone as a bioink in low-temperature deposition manufacturing (LDM) 3D printing and then successfully fabricated a hierarchical porous ECM scaffold incorporating GDF-5.Comparative in vitro experiments showed that the 7% ECM scaffolds had the best biocompatibility. After the addition of GDF-5 protein, the ECM scaffolds significantly improved bone marrow mesenchymal stem cell (BMSC) migration and chondrogenic differentiation. Most importantly, the in vivo results showed that the ECM/GDF-5 scaffold significantly enhanced in situ cartilage repair.In conclusion, this study reports the construction of a new scaffold based on the concept of in situ regeneration, and we believe that our findings will provide a new treatment strategy for AC defect repair.