A5078952133- Multi-Criteria Decision Making
- Structural Load-Bearing Analysis
- Cognitive Science and Mapping
- Composite Structure Analysis and Optimization
- Maritime Navigation and Safety
- Structural Analysis and Optimization
- Laser and Thermal Forming Techniques
- Simulation and Modeling Applications
- Software Testing and Debugging Techniques
- Software Engineering Research
- Service-Oriented Architecture and Web Services
- Software Reliability and Analysis Research
- Advanced Computational Techniques and Applications
- Web Data Mining and Analysis
- Traffic control and management
- Advanced Database Systems and Queries
- Rough Sets and Fuzzy Logic
- Metal Forming Simulation Techniques
- Maritime Transport Emissions and Efficiency
- Ship Hydrodynamics and Maneuverability
- Metallurgy and Material Forming
- Traffic and Road Safety
- Traffic Prediction and Management Techniques
- Silicone and Siloxane Chemistry
- Cognitive Computing and Networks
Sichuan University of Science and Engineering
2017-2024
Beijing Jiaotong University
2019-2024
Dalian Maritime University
2010-2024
Taiyuan University of Science and Technology
2007-2023
Chinese Academy of Sciences
2016
Institute of Software
2016
Naval University of Engineering
2010-2015
Harbin Institute of Technology
2009
Yuncheng University
2008
Dalian Polytechnic University
2008
We describe and apply a lightweight formal method for checking test results. The assumes that the software under writes text log file; this file is then analyzed by program to see if it reveals failures. suggest state-machine-based formalism specifying analyzer programs language implementation based on formalism. report empirical studies of application analysis random testing units. results experiments done compare performance effectiveness unit with coverage other procedures. writing using...
This paper reports on research into applying the technique of log file analysis for checking test results to a broad range testing and other tasks. The studies undertaken included both unit- system-level requirements safety-critical non-critical systems, use in combination with methods. also using analyzers simulate software under test, order validate clarify requirements. It discusses practical issues do completeness approach, includes comparisons recently-published approaches analysis.
Since the inception of research on hollow silica, use nanosilica (HNS) as additives in barrier materials has not been reported. In this study, we evaluated capacity HNS an additive modified polypropylene (MPP). According to X-ray diffraction (XRD), crystallinity, tensile strength, and thermal stability MPP/HNS nanocomposite containing 0.1[Formula: see text]phr approached maximum values. Moreover, had best performance terms water vapor oxygen resistance. The reasons for improvement were...
Microcapsules show great potential in metal anticorrosive coating recent years. In the following paper first, urea-formaldehyde (UF) microcapsules containing cerium nitrate were synthesized under different parameter conditions. Three quantities of introduced to epoxy coatings and applied on AZ31B substrate meet increasing demands for coatings. An analysis SEM surface morphology UF by nine conditions shows that ratio formaldehyde urea is 1.5:1, 2 wt.% emulsifier, 25 nitrate, 150 r/min...
Adaptive modulation and power control technology is an important technique in carrier communication, which can achieve a good balance between improving communication system performance rational resource allocation. Because the delay fading of each channel are different, this process, selection mode needs to consider fading, transmission power, reception signal noise ratio other factors. This article studies adaptive algorithm based on signal-to-noise ratio, with as parameter. It adaptively...
Urban livability is an important factor in decisions regarding modern urban construction. Based on multi-agent modeling theory, a model of the changes safety proposed to analyze present situation and trends complex systems. Considering as example, five environmental indicators, namely public security, fire protection, traffic, emergency response, residence, are selected. The interactive dynamic feedback mechanisms among resident decision-making behaviors context these indicators relevant...
Air quality affects social activities and human health. prediction, especially for extreme events such as severe haze pollution, plays an essential guiding role in government decision-making outdoor activity scheduling. Established prediction models face the challenges of forecasting values long-term tendency. In this paper, we propose value attention network (EvaNet) based on encoder decoder framework to achieve air prediction. This model designs mechanism alleviate impact sudden changes...
Pattern recognition under fuzzy environments is an interesting and important research topic which has been receiving more attention in recent years. Aiming at this kind of pattern problems, theories have applied to the field widely effectively. Especially interval-valued intuitionistic sets (IVIFSs) can give not only a membership degree, but also non-membership or less independent. Meanwhile degree are denoted by interval makes IVIFSs represent dynamic character features. Therefore paper,...
Malicious Input through Buffer Overflow (MiBO) vulnerabilities play important roles in cyber security. To identify MiBO vulnerabilities, white-box testing approaches analyze instructions all possible execution paths. Black-box try to trigger using different inputs. However, only limited coverage can be achieved: the identified when being "hit" by a test input, must cause exceptions (e.g., crashes). Type information could help catch non-crash but such is not contained binary code. In this...