Search all articles
3352 articles
Research Article
Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
Tomohiko Takagi, Ryo Kurozumi
Pages: 112 - 116
We propose a technique of simulation and regression testing for Extended Place/transition Net with Attributed Tokens (EPNAT) models, and then show a prototype tool to partially support it. In the technique, the information about a current marking, current values of variables, and current fireable transitions...
Proceedings Article
Research on HD video transmission of Smart Home based on Linux System
Shanhui Yin, Chunhai Zhang, Hao Liu, Yanxiu Sheng, Xi Wang, Zhiqiang Wei
With the rapid development of computer network technology and multimedia technology, in the intelligent home field, digitalization, network, multimedia and intelligent will become the inevitable trend of development. In the context of convergence of three networks, intelligent household demand for video...
Series: Advances in Engineering Research
Proceedings Article
Research on Real Time Simulation and Protection Test of Power Transformer Inrush Current
Jun Liu, Shiwu Xiao, Xiaojiao Liang, Huanju Liu, Hao Zou
This paper introduces the principle of the excitation inrush transient calculation firstly, including the basic thoughts of simulation calculation and the basic method of numerical calculation. And then the dynamic magnetization of the transformer core is described, and the simulation of inrush current...
Proceedings Article
Third-Party Payment and Commercial Bank Competition Relationship After Nets Union Clearing Corporation Running
Yuguo Yang, Shuyi Cai, Hao Yang
Third-party payment has cooperated with banks since the first date of its birth and directly connected to commercial banks. The payment is completed online and it is fast and convenient. However, there is fierce competition in terms of capital attraction and payment. After Net Union Clearing Corporation...
Proceedings Article
Research on the Influence of Curved Shield Tunneling Construction on the Deformation of Existing Bridge Piles
Qingqu Fu, Xuanrong Zheng, Pengcheng Ding
The ABAQUS software was used to establish a finite element model of the existing bridge piles for curved shield tunneling, and the impact of each stage of curved shield tunneling construction on the upper surface and adjacent pile foundations was analyzed. Research has shown that the main settlement...
Series: Advances in Engineering Research
Proceedings Article
Seismic Performance Study of New Assembled Wet-Connected Pier Joints
Haixing Sun, Yundong Hao, Pei Pei, Yanfeng Zhou
With a purpose to overcome the problem of lower load-bearing capacity and more complex assembly process of socket-connected bridge piers, this paper proposes a new type of tenon-core socket precast pier with ultra-high performance concrete as the connecting material, and carries out the quasi-static...
Proceedings Article
Estimating Pb concentration of soil in the mining tailing areas base on field spectroscopy and random forests
Jie Lv, Kangning Wang, Chonggui Li, Yuancheng Huang, Xiaoliang Shi, Ying Liu, Ningyan Hao
Heavy metal pollutions of soil is one of the serious problems in the mining tailing areas, therefore, it is significant to estimate heavy metal of soil in the mining tailing areas. This research take Jinduicheng Mo mining tailings, Huaxian, Shaanxi Province as the study area. A total number of 288 soil...
Proceedings Article
The Education Measurement Specific Effect on Sustainable Development: An Experience of Indonesia
Abdur Razzaq, Sari Lestari Zainal Ridho
Abstract—the sustainability development is a target to be achieved by any nations, it requires to have qualified human capital. While population`s level of education, especially those who work, are still relatively low. The failure in education indicates the failure in the education quality improvement,...
Proceedings Article
Design and Application of Intelligent Forensic Medicine Comprehensive Application Platform Under the Background of Big Data
Lugui Hao
With the vigorous development of digital information technology, big data, as a new means to adapt to the development of the times, has become an important force to promote the digital and intelligent transformation of forensic identification work mode. In this regard, this paper takes the practical...
Proceedings Article
Research on Power Grid Engineering Cost Analysis and Investment Forecasting Technology based on Probability Statistics
Biao Shen, Weiwei Bao, Junfeng Hu, Hao Zheng, Xiaolai Li
The cost analysis and investment forecasting of power grid projects are critical for enhancing the efficiency of asset management in power grid enterprises. As the scale of power grids continues to expand and equipment complexity increases, traditional empirical asset management methods are no longer...
Proceedings Article
Enhancing Crop Disease Detection Systems with Explainable AI Techniques for Deep Learning Models Using Spectral Imaging
Nikita Gajbhiye, Karan Kumar Singh, Gouri Sankar Mishra
Recognizing crop diseases at an early stage is essential for modern agriculture because it greatly enhances crop output and decreases economic losses. Manual examination and specialized expertise are the backbone of traditional disease detection approaches, but they can be exhausting and error-prone....
Proceedings Article
A hierarchical orderly layout algorithm based on channel points
Yi kun Zhang, Kai bao Hu, Xin hong Hei, Ming Zhao, Ming hui Zhang, Hao Chen
Since the conventional hierarchical layout algorithm has the disadvantage of wiring chaos in large programs, so on the basis of Sugiyama layout algorithm, this paper proposes a hierarchical orderly layout algorithm based on channel points. Adjust the number of each node in the channel dynamically according...
Proceedings Article
Research on Chinese and Russian Language Contact in the Border Port Cities of Heilongjiang Province from the Perspective of "the Belt and Road"
Dan Lv, Huiqing Zhao, Hao Wu, Hongtao Fu
The research of language contact is a frontier field in the discipline of sociolinguistics while the Chinese and Russian language contact in border ports is an important topic in this field. Based on "the Belt and Road" strategy, this paper studies the history, characteristics and results of Chinese...
Proceedings Article
Research on Accounting System of Government and Non-profit Organizations
Leping Jiang
With the further development of the socialism public finance reform and the socialism market economy, due to the lack of a complete government and non-profit organization accounting system, the existing government and non-profit organization accounting systems that rely only heavily on the planned economy...
Series: Advances in Engineering Research
Proceedings Article
Theoretical Framework and Strategy Research on Project Portfolio Management in Engineering Design Enterprises
Hao Yao, Jinjin Yang
This paper delves into the theoretical framework and strategic research for project portfolio management within engineering design enterprises in the context of the VUCA environment, characterized by Volatility, Uncertainty, Complexity, and Ambiguity. It underscores the inadequacy of traditional project...
Proceedings Article
Petri Net-based Modeling and VHDL Implementation of Digital Systems
Jun Wan
Petri net-based digital systems modeling and hardware implementation method is well-studied. However, the existing methods are mainly applied to synchronous circuits. In this paper, a new approach is proposed for the modeling and VHDL implementation of digital systems based on an extended class of Petri...
Series: Advances in Engineering Research
Proceedings Article
Spatial Analysis of Residential Land Price in Urban Area of Jimo City Based on GIS
Ming Li Chen, Shu Jian He, Ji Fang Cui, Xiao Guang Zhang, Pei Ru Liu, Rui Hao
In this paper, land prices of the 234sample points are chosen from the collected bargaining points in Jimo city by using the approaches of market comparison, residual and income. Then, SPSS is applied to carry out normality tests of the sample data and eliminate the outlier data. The trend of land price...
Proceedings Article
Construction of Regional Logistics Information Platform Based on Cloud Computing
Gang Sun, Xiu-You Wang, Hao Wang, Jia Zhao
Regional logistics information platform based on cloud computing is the development direction of regional logistics information platform in the future. In this paper, the target, design principles, network topology, logical structure and architecture of regional logistics information platform based on...
Proceedings Article
A Novel Joint Optimization Method for Adaptive Hand-held Video Stabilization Based on Spatial-temporal Consistency
Xiao Li, Shuai Li, Hong Qin, Aimin Hao
Video stabilization for hand-held camera is vital in many high-level video enhancement applications. Although quite a few proposed approaches have achieved remarkable success in recent years, many technical challenges still prevail for video (from hand-held camera) containing wide-range scenes and highly-variable...
Proceedings Article
Comparing Residential Buildings at IIT Kanpur using GRIHA Ratings
Tarun Gupta, Shalini Sharma
India’s construction sector has witnessed significant growth in recent decades, with building sector becoming one of the largest contributors to energy consumption and greenhouse gas emissions. This rapid growth has significant environmental impacts highlighting the urgent need for adopting sustainable...
Proceedings Article
Conceptual Approach to Managing Technological Processes of Industrial IoT Workshop
Pavel Drobintsev, Vsevolod Kotlyarov, Igor Chernorutsky, Nikita Voinov
Usage of industrial networks of Internet with net-centric control is the driving trend of the future material manufacturing of goods and services. The bright future of this approach is out of doubt provided these complex net-centric systems will function with high reliability. Such systems are characterized...
Proceedings Article
Research on Strategic Human Resource Management of Enterprises Based on Cloud Computing
Yue Hao
Cloud computing technology can play a better supporting role in human resource management (HRM). The study shows that the characteristics of cloud computing technology and strategic HRM have internal consistency and the cloud computing technology can improve data utilization efficiency of HRM system,...
Series: Advances in Engineering Research
Proceedings Article
Simulation and Analysis on Characteristics of Lower-group Roadway Surrounding Rock under Deep Near Interval Coal Seam
Peisen Zhang, Hao Wang, Dongcai Lin, Zhonghui Kan
Based on the linear function between the maximum horizontal stress obtained by fitting the measured in-situ stress test result and buried depth, FLAC3D software was used in this paper to analyze the characteristics of lower-group roadway surrounding rock under the influence of multi-mining of deep nearly...
Proceedings Article
Private Banking in Russia: Challenges and Prospects For the Future
Sokolova Elizaveta, Toropova Natalya, Mekhdiev Elnur, Fedyunin Alexander
This article is devoted to the peculiarities of optimizing the relationship of high net worth individuals (HNWI) with Russian and foreign banks offering services in the field of private banking. The authors consider organization issues of HNWI banking in different banks, especially the relationship between...
Proceedings Article
Electrical Load Forecasting Based on LSTM Neural Networks
Lei Guo, Linyu Wang, Hao Chen
The accurate prediction of electrical load is vital to the safety of power grid and the efficiency of energy. The development history of electrical load forecasting is introduced briefly in this paper. Then the relationship between electricity, environment and economy is also analyzed. Ljubljana’s load...
Proceedings Article
An Empirical Study About Illegal Information Disclosure of Listed Companies
Xiaodong Lv, Hao Ding
Using a paired t-test, Wilcoxon test and logistic regression analysis to analyze the 196 listed companies of illegal information disclosure in Shanghai and Shenzhen A-shares and matching companies in 2007-2012, this paper carries out an empirical research about the factors affecting illegal information...
Series: Advances in Engineering Research
Proceedings Article
Research on the Insulation Monitoring Devices for DC Power System Based on the Technology of AC Injection
Baichao Wang, Qiang Yin, Xudan Guo, Songtao Li, Hao Yang, Ganglin Cai
In view of the problem of AC injecting into DC bus in the substation, the harm of AC injection is described, the characteristics of AC injection are analyzed, the detection technology of AC injection is researched, and the insulation monitoring devices for DC power system is designed. The kind of this...
Proceedings Article
Diversity of Fruit Bats (Pteropodidae) in Nature Tourism Park, Lombok Island, West Nusa Tenggara
Siti Rabiatul Fajri, Sucika Armiani, Akhmad Sukri, Kurnianingsih, Ibnu Maryanto, Kurniasih Nur Afifah
On the Lombok Island, there are 6 Nature Tourism Park that have a diversity of flora and fauna, and beautiful natural phenomena, which can be used as tourist attractions, culture and history including; Suranadi Nature Park, Kerandangan Nature Park, Gunung Tunak Nature Park, Tanjung Tampa Nature Park,...
Proceedings Article
A New ISTA-net Solution to Inverse Problem of Electrocardiology
Liansheng Wang, Weiqi Wu, Yiping Chen, Changhua Liu
In this paper, we combined the traditional ISTA approach with deep learning, transferred the application domain from image inverse problem to ECG inverse problem because of its excellent performance to propose a new ISTA-net method to solve the inverse problem of ECG. The proposed method has quick...
Proceedings Article
Comparing the Export and Import Trade Patterns of the Chinese Low-technology Manufactures
Yu Hong, Shanshan Ren, Bonan Shao, Xiaowei Mu
This study analyzes the Chinese trade patterns in low-technology manufactures for the period of 1987-2017. We employ H-index, or the difference between net export capability and symmetric revealed comparative advantage, to assess the trade policies in exports and imports. The results reveal that China...
Series: Advances in Engineering Research
Proceedings Article
Research on Commercial Vehicle Electronic Stability Control
Changlu Zhang, Jingming Zhang, Hao Zhang, Chengqiang Zong, Hongwei Zhang
Based on the application of Electronic Stability Control in commercial vehicles, this paper proposes a control strategy on account of fuzzy PID control algorithm, and designs upper and lower double-layer controllers. The upper controller takes the error and change error of vehicle yaw rate as the input...
Proceedings Article
Multilevel Based Global Routing Algorithm for Hierarchical FPGA
Limin Zhu, Jinan Bian, Qiang Zhou, Xianlong Hong
This paper presents an efficient global routing algorithm for a hierarchical inter-connection architecture of FPGA. What is different from the traditional FPGA rout-ing algorithm is that the proposed algo-rithm takes advantage of the hierarchical structure of this particular FPGA. We use a hierarchical...
Proceedings Article
The Optimal Contract for Land Trusteeship
Cuiling Li, Qiuling Hou
Land trusteeship, as a new management mode to realize large-scale and intensive land management, has been paid more and more attention by the government and scholars. This paper develops a model to study the optimal contract of land trusteeship via principal-agent theory which is based on Tirole's...
Proceedings Article
Thinking and Exploration of Science Education of the High School Students
Wei Fu, Pengguang Tang, Qian Li, Hao Xie, Jian Fang
In this paper, for reflection and exploration of students’ science education, as well as the status of students' science education and the significance. Exploring the science education should change their concepts. And innovative talent training mode. And strengthen practice teaching and strengthen the...
Proceedings Article
Agent-Based Analysis of Annual Energy Usages for Domestic Heating based on a Heat Pump
Seyed Amin Tabatabaei, Dilhan J. Thilakarathne, Jan Treur
This paper describes an agent-based analysis approach to determine in which way a net zero house can be obtained. In particular, it addresses agent-based simulation to estimate annual energy usage for heating based on an air to water heat pump. Based on the introduced approach house owners will be able...
Proceedings Article
Adsorption characteristics of gallic acid on fresh calcium phosphate in sucrose solution
Yu-Hong Tian, Xiang-Li Xu, Shang-Guang Wu, Qi-Qiu Wei, Hao Cheng
The adsorption characteristics of gallic acid on fresh calcium phosphate in sucrose solution were discussed. Three kinetic models, including pseudo-first-order model, pseudo-second-order model and intraparticle diffusion model, were selected to follow the adsorption processes. The results which adsorption...
Proceedings Article
Performance Evaluation of Indonesian Banks and Foreign Banks Operating in Indonesia Related to Classification of Capital
Sugiarto Sugiarto
This study was undertaken to prove the public perception that bigger banks are more difficult to bankrupt than smaller banks through performance evaluation of Indonesian banks and foreign banks operating in Indonesia related to classification of capital. The study was conducted using secondary data obtained...
Proceedings Article
Nonlinear Relationship Between Working Capital and Firm Performance Moderated by Financial Constraints on Manufacture Firms Listed in Indonesia Stock Exchange
Azizah Rarasati Widhyadji, Farah Margaretha Leon
The research aims to analyze the relationship between the working capital and firm performance of manufacturing companies listed in Indonesia stock exchange (IDX). Data were obtained from 33 manufactured from 2014 to 2018 using the Eviews 9.0 multiple regression analysis methods. The outcome showed the...
Proceedings Article
Analysis of Influencing Factors of Hotel Employees' Turnover Intention Based on Web Text
Hao Dong, Yanjun Liu, linfeng Dong
With the development of hotel and catering industry, reducing the turnover tendency of hotel employees has become an important task in the industry. This paper collects a large number of text comments related to the hotel employees' employment or resignation related to hotel employees' emotional...
Proceedings Article
Swin-Unet vs U-Net in MRI images of right ventricular Segmentation: Comparative study
Nouha Benzine, Tebra Abbassi, Asma Ammari, Iman Youkana, Rachida Ben Abedelaziz
Medical imaging is one of the essential technology used today for diagnosis as it provides detailed insight into internal heart structures, facilitates early detection of diseases and guides doctors in making treatment decisions. However, despite advances in technology, cardiac image segmentation remains...
Proceedings Article
Complex System Fault Diagnosis Method Based on CFFPN
Yan Su, Yiqing Ling, Hui Wang
Considering the complexity of system structure and fault mechanism of complex system, a fault diagnosis method based on extended color fuzzy fault Petri net model is proposed (CFFPN) for civil aircraft. In order to increase the fault diagnosis efficiency, the CFFPN is modeled based on fuzzy mathematics...
Series: Advances in Engineering Research
Proceedings Article
Effects of Sand Composition on the Mechanical Properties of CA mortar
Xiao-hui Zeng, Hua Yan, Fulin Qu, Shun-hao Wang, Lilin Fu, Kai Yang
In this paper, different rocks like marble, calcite, basalt, granite and quartz were used to produce the sand of CA mortar. Results showed that the type of sand had notable effects on the mechanical properties of CA mortar. For the calcium carbonate composition rocks like marble and calcite, when use...
Series: Advances in Engineering Research
Proceedings Article
Numerical analysis of rainfall saturated-unsaturated seepage and stability of expansive soil slope with fissures
Dinggui Hou, Zhigang Tao, Zhenli Hao, Jiamin Wang
The existence of fissures is an important factor in expansive soil slope landslide under rainfall conditions. In order to explore the changes characteristic of expansive soil slope seepage field and its stability under rainfall conditions, considering the fissures, the finite element numerical simulation...
Proceedings Article
Reinforcement of Teacher Team Construction in Colleges and Universities with Internet+Industrial Standards
Xiaohua Hao
In order to improve the practical teaching ability of the application-oriented university faculty, the teacher team construction level was studied based on the internet in this paper. Through the method of school-enterprise cooperation in education and the industrial standards, the teacher team construction...
Proceedings Article
Emissions Trading Systems In Europe, China, Asia Under The Bibliometrics Analysis And Suggestions For Vietnam
Nguyen Thi Phuong Dung, Nguyen Bao Long, Nguyen Dieu Hai Anh, Vu Ngoc Tuong Minh, Vu Dinh Nghiem Hung
Research purpose:
The objective of this study is to provide knowledge on the characteristics of Emissions Trading Systems (ETS) in Europe, China, and Asian countries through bibliometric analysis. We also try to analyze the countries’ experiences to make suggestions for Vietnam in implementing...
Proceedings Article
The Workflow Modeling Research Based on the Expanded P/T System
Long-da Huang, Jin Liu, Jun-song Wang, Su-yan Long
A workflow modeling method based on the expanded P/T system (hereafter to be called the xP/T system) is put forward to make the correctness verification of the graphical modeling easier and simplify the complication of Petri net modeling. Meanwhile the correctness verification of the modeling is given....
Proceedings Article
Application Appraisal of Government Micro-blogging on Citizens: An Empirical Study of Western China
Zezhao Liu, Q. Zhang, Chang Sheng Fan
This paper aims to identify application impacts with the emerging government micro-blog of various social functions. Some countries claimed that the developing of micro-blog was driven mainly by the innovative demand in the society especially of the youths online net-users. However, this claim requires...
Series: Advances in Engineering Research
Proceedings Article
Sustainability of Belgorod Region Enterprises of Building Materials and Building Structures Industry under Sanctions
Irina Aleksandrovna Slabinskaya, Olga Borisovna Benderskaya
The paper features the analysis of sustainability of Belgorod Region enterprises dealing with production of construction materials and building structures exemplified by five largest and well-known enterprises of this industry: JSC Melstrom, JSC Stroymaterialy, OJSCÿPlant ZhBK-1, OJSC Belgorodasbestotsement...
Proceedings Article
Professional Objectives of Future STEM Specialists
P. Kislyakov, E. Shmeleva, N. Belyakova
The results of the research of professional objectives of future STEM specialists are presented. The initial stage of professional identification of students mastering STEM programs is considered. Factors of choice of STEM profession, strategy of increase of competitiveness, features of professional...
Proceedings Article
Construction of Practical Teaching System for Internet of Things Specialty Based on New Business Orientation
Liu Ling, Liu TongHai, Hao ZhiBin, Huang WeiWei
The rapid development of Internet technology, the new business format promoted by Internet + industry technology, puts forward new requirements for talent specifications and capabilities, and corresponding reforms should be made in the talent training plan and training model. The practical teaching system...