Search scope:
排序: Display mode:
Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU
Frontiers of Information Technology & Electronic Engineering 2017, Volume 18, Issue 3, Pages 346-361 doi: 10.1631/FITEE.1500309
Keywords: System of systems (SoS) Cloud model Description logic (DL) Requirements verification
Test-driven verification/validation of model transformations
László LENGYEL,Hassan CHARAF
Frontiers of Information Technology & Electronic Engineering 2015, Volume 16, Issue 2, Pages 85-97 doi: 10.1631/FITEE.1400111
Keywords: Graph rewriting based model transformations Verification/validation Test-driven verification
Concept and requirements of sustainable development in bridge engineering
Yaojun GE, Haifan XIANG
Frontiers of Structural and Civil Engineering 2011, Volume 5, Issue 4, Pages 432-450 doi: 10.1007/s11709-011-0126-6
Keywords: sustainable engineering safe reliability structural durability functional adaptability capacity extensibility
Research on Product Optimization Design Method to Respond Rapidly to Customer Requirements
Li Rupeng,Wei Wei,Zhou Feng,Zou Cheng
Strategic Study of CAE 2018, Volume 20, Issue 2, Pages 33-41 doi: 10.15302/J-SSCAE-2018.02.006
Keywords: rapid response to customer requirements fuzzy clustering requirements transformation CA-QFD method
Semantic Consistency and Correctness Verification of Digital Traffic Rules
Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,
Engineering doi: 10.1016/j.eng.2023.04.016
Keywords: Autonomous driving Traffic rules Digitization Formalization Verification
Availability growth models and verification of power equipment
Jinyuan SHI, Jiamin XU
Frontiers in Energy 2021, Volume 15, Issue 2, Pages 529-538 doi: 10.1007/s11708-019-0624-0
Keywords: repairable system power equipment electric generating unit power station auxiliary transmission and distribution installation reliability availability availability growth model
Ming CHEN, Yuezhou MA, Yuan HAO,
Frontiers of Mechanical Engineering 2010, Volume 5, Issue 1, Pages 98-105 doi: 10.1007/s11465-009-0088-8
Keywords: micro-arc oxidation local arc discharge pulse power supply magnesium alloy
Modelling and experimental verification on concrete-filled steel tubular columns with L or T section
LU Xilin, LI Xueping, WANG Dan
Frontiers of Structural and Civil Engineering 2007, Volume 1, Issue 2, Pages 163-169 doi: 10.1007/s11709-007-0017-z
Keywords: hysteretic confining mechanism Concrete-filled in-filled composite
Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN
Frontiers in Energy 2012, Volume 6, Issue 4, Pages 413-419 doi: 10.1007/s11708-012-0212-z
Keywords: lignocellulose dilute acid hydrolysis shrinking core model
Numerical simulation and experimental verification of chemical reactions for SCR DeNO
Qiang ZHANG, Yonglin FAN, Wenyan LI
Frontiers of Chemical Science and Engineering 2010, Volume 4, Issue 4, Pages 523-528 doi: 10.1007/s11705-010-0520-y
Keywords:
SCR
NO
Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device
Frontiers of Mechanical Engineering 2021, Volume 16, Issue 4, Pages 747-764 doi: 10.1007/s11465-021-0644-4
Keywords: hybrid transfemoral prosthetic mechanism energy recycling wearable mechanical clutched device mechanical adaptive stability
Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI
Frontiers in Energy 2018, Volume 12, Issue 3, Pages 376-388 doi: 10.1007/s11708-018-0559-x
Keywords: MRV CBIT UNFCCC Indonesia Japan ICT based monitoring climate policy
Daniel P. LOUCKS, Haifeng JIA
Frontiers of Environmental Science & Engineering 2012, Volume 6, Issue 2, Pages 255-264 doi: 10.1007/s11783-011-0359-6
Keywords: water stress aquatic ecosystems sustainable water resource allocations ecosystem water requirements
Man-machine verification of mouse trajectory based on the random forestmodel Research Articles
Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG
Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 7, Pages 925-929 doi: 10.1631/FITEE.1700442
Identifying code has been widely used in man-machine verification to maintain network security.The challenge in engaging man-machine verification involves the correct classification of man and machineIn this study, we propose a random forest (RF) model for man-machine verification based on the mouse
Keywords: Man-machine verification Random forest Support vector machine Logistic regression Performance metrics
The Theoretic Evaluation and Verification for the Necking Force of the Cone-shaped Concave Die
Hu Chengwu,Luo Wenbo,Peng Yanrong
Strategic Study of CAE 2005, Volume 7, Issue 6, Pages 54-56
Necking force is the main failure factor to the unstabitily of the thin-wall cylindrical parts. In order to improve the calculation precision of the necking force , Сторожев and Унксов separately put forward two different calculation methods about the necking force of the thin-wall cylindrical parts which take into consideation the thickness changing, the hardening effect and the friction function. In this paper, the results of the two calculation methods are analyzed by example,and are compared with experimented data. The results of two calculation methods are close to each other, and tally with experimented data.
Keywords: necking force theoretic evaluation verification
Title Author Date Type Operation
A quality requirements model and verification approach for system of systems based on description logic
Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU
Journal Article
Test-driven verification/validation of model transformations
László LENGYEL,Hassan CHARAF
Journal Article
Concept and requirements of sustainable development in bridge engineering
Yaojun GE, Haifan XIANG
Journal Article
Research on Product Optimization Design Method to Respond Rapidly to Customer Requirements
Li Rupeng,Wei Wei,Zhou Feng,Zou Cheng
Journal Article
Semantic Consistency and Correctness Verification of Digital Traffic Rules
Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,
Journal Article
Availability growth models and verification of power equipment
Jinyuan SHI, Jiamin XU
Journal Article
Local arc discharge mechanism and requirements of power supply in micro-arc oxidation of magnesium alloy
Ming CHEN, Yuezhou MA, Yuan HAO,
Journal Article
Modelling and experimental verification on concrete-filled steel tubular columns with L or T section
LU Xilin, LI Xueping, WANG Dan
Journal Article
Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose
Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN
Journal Article
Numerical simulation and experimental verification of chemical reactions for SCR DeNO
Qiang ZHANG, Yonglin FAN, Wenyan LI
Journal Article
Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device
Journal Article
Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification
Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI
Journal Article
Man-machine verification of mouse trajectory based on the random forestmodel
Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG
Journal Article