Search all articles

+ Advanced search
Search articles within:
8353 articles

A Dynamic Verification Model based on Information Flow Constraint

Dan Wang, Yan Lu, Lihua Fu, Wenbing Zhao
Pages: 712 - 723
After analyzing the common attacks for some software systems, a dynamic software behavior verification model related with the unchecked input data based on software analysis and dynamic slicing technology is proposed. Regarding a statement as a basic analysis unit, and the information flow as the main...
Proceedings Article

A Secure Device Identity Mechanism for IoT-Enabled Smart Buildings Using RFID and ESP32

Jay Singh, Chandra Prakash Patidar
The Internet of Things provides efficient and affordable solutions to everyday problems, improving human life quality. In addition, having a safe and secure environment is life-sustaining for all. The concept of a ‘smart home’ has grown in popularity in recent years. A smart home is a set of issues like...
Proceedings Article

The Production Management System Based on Digital Pulp Pipeline Design and Development

Hongwei Liu, Ke Xiao, Chunlei Pan, Guangyue Pu
In light of the present condition of the enterprise production management system and single management means, management is not standard, most people are involved in the production management, production management standard is not unified, the production management problems such as difficult maintenance....

The Design of Centralized Heating Temperature Controller Based on MCU

Shao Ding
Combined with the practical project, based on the MCU technology and the sensor technology, this paper proposed the design proposal of the intelligent valve controller and the realization of the software and hardware. This design uses the PT100 platinum resistance as temperature sensor collecting the...

Unravelling Incoherence Norms of Indonesia’s Energy Security Regulations

Indah Cahyani, Ekawestri Prajwalita Widiati
As a country with huge natural resources potential, Indonesian government enacts series of regulations concerning energy security covering policy on oil and gas. The main problem of Indonesia’s energy security policy is disharmony and incoherence among sets of provisions at primary legislations and secondary...

Waqf Core Principles Implementation at Muhammadiyah Nazhir Waqf: An Analytic Network Process Approach

Adilnia Fifi Susanti, Berliana Florensia, Habib Abdul Kholid Huzain, Ilyas Syah, Fahmi Medias
This study analyzes the Waqf Core Principles (WCP) implementation index on Muhammadiyah nazhir waqf DI Yogyakarta. The Multi Stage Weighted Index method was used in this study to calculate the procedural WCP implementation index and Network Process Analysis (ANP) to analyze problems, solutions, and Muhammadiyah...

The Aceh Truth and Reconciliation Commission Roles in Victims Reparations

Andrey Sujatmoko, Wildani Angkasari
The Armed Conflict that occurred in Aceh Province between Indonesia and the Free Aceh Movement (Gerakan Aceh Merdeka/GAM) has lasted for almost 30 years (1976-2005) still remains an enormous humanitarian problem in particularly for the victims of the conflict and mostly civilians. Pursuant to victims...

Digital Transformation in Compound Animal Feed of Russian Federation: Situation Analysis and Promising Solutions

V.N. Vasilenkо, L.N. Frolova, A.P. Popov, N.A. Mikhailova, I.V. Dragan
Russia has a significant reserve to improve the efficiency of agricultural production (by 3-5 times) and the potential to grow the turnover of the industry through the introduction of digital technologies and modern digital platforms for management at various levels agricultural production. Through digital...
Proceedings Article

Study On Contribution Of Back Plate Shape Of Brake Pad To Disc Brake System Noise

Gong-Yu Pan, Zhong-Wang Jianng, Zi-Jun Yang, Lei Sun
This research focuses on braking pad back plate of disc brake system. Firstly building original 3D model of brake pad and the prototype is manufactured , then 3D model is imported into ANSYS for modal simulation and noise bench test with prototype is conducted. To verify the validity and precision of...

Implications of Foreign Corporate Criminal Compliance Non-Prosecution Systems for the Establishment of an Effective Corporate Compliance Conditional Non-Prosecution System in China

Xiaofan Meng
Corporate compliance literally means being in compliance with the law, and it is essentially a corporate governance issue. The meaning of corporate compliance is to use an effective compliance program to avoid corporate criminal liability, which is a set of compliance risk prevention and control-oriented...

Research on the Design of Japanese Reading Course Oriented by the Output of Japanese Reading Ability

Haidan Ren
Japanese reading ability is an essential language skill for Japanese learners. Japanese reading course is a core course for Japanese majors to improve their Japanese reading ability. In the process of designing Japanese reading course, the connotation of Japanese reading ability should be clarified firstly...

Granule Description of Object (Attribute)-Oriented Linguistic Concept Lattice Based on Dominance Relation

Hui Cui, Ansheng Deng, Chunmei Chang, Hongyue Diao, Li Zou
Pages: 701 - 714
Concept lattice, as an effective tool for knowledge acquisition and data analysis, has been successfully used in many fields. Aiming at the problem of groups for uncertain information in the linguistic environment, this paper mainly focuses on the granule description with linguistic concept lattice from...
Proceedings Article

The Study of Hydraulic Brake for The High-Speed Train

Thi hoai t Hu Vu, Jin Chun Song
During the process of improving train speed, carry capacity and quantity of cars for each train, the most technical challenging task for an engineer is dealing with the braking system. Besides using common braking technologies such as electric brakes, air brakes and eddy current brakes, we need to study...
Proceedings Article

Research on the rule and algorithm of the transitive judgment of binary relation in a Finite Set

Yingchun Li, Junfeng Li
It sometimes is hard to verify whether a binary relation is transitive by using its definition directly given by , On the basis of analysis and research of the definition of the transitive property of binary relation , this paper launches a new judgment rule, which is very helpful for students to judge...
Proceedings Article

Dynamic Monitoring Of Sea Areas Use Based On High-resolution Remote Sensing A Case Study ofimen Island

Xiao Cui, Jiang Guojun, Wu Tao, Cai Mengdan, Xie Xuefeng, Xu Wei
According to the interpretation of 2 Ximen Island high-resolution remote sensing images in 2007 and 2010, combined with its wetland land cover and land use status, set up Ximen Island wetland landscape classification system. Used software to calculate landscape pattern index and landscape transition...
Proceedings Article

BP Neural Network-based Model for Evaluating User Interfaces of Human-computer Interaction System

Ruixin Chen, Na Lin, Jin Su, Yanjun Shi
Human-computer interaction system is the medium for human and computer. The rationality and intelligence of its design directly affect the work efficiency and execution ability of relevant practitioners. Traditional human-computer interaction evaluation usually adopts expert evaluation method. This method...

Experience and Inspiration of Foreign Innovation and Entrepreneurship Education

Xiaojun Ma, Chunjiang Li, Hongwei Pan
This paper analyzes the current status of the innovation and entrepreneurship education and its enlightenment of universities and colleges that have opened the education and are from the US, the UK and Japan. It is concluded that domestic universities should learn curriculum system, teaching staff, innovative...

Entrepreneurial Leadership of Young Independent Entrepreneurs in the Disruptive Era

Sadikun Citra Rusmana, Hari Mulyadi
Entrepreneurial leadership have four characteristics are lead the vision, encourage, arrange, and direction. The whole set of characteristics should be observed in relation to company success and creativity. This paper presents the results of study in entrepreneurship issue in uncertainty business of...

An improved comprehensive evaluation model and its application

Wenyi Zeng, Shuang Feng
Pages: 706 - 714
Since comprehensive evaluation model was introduced by Wang in 1984, the comprehensive evaluation model has many successful applications in real life. But some examples show the inefficiency of the comprehensive evaluation model. In order to process these problems, in this paper, we introduce two concepts...

Using Recurrent Neural Networks for Part-of-Speech Tagging and Subject and Predicate Classification in a Sentence

David Muñoz-Valero, Luis Rodriguez-Benitez, Luis Jimenez-Linares, Juan Moreno-Garcia
Pages: 706 - 716
In natural language processing the use of deep learning techniques is very common. In this paper, a technique to identify the subject and predicate in a sentence is introduced. To achieve this, the proposed technique completes POS tagging identifying in a later stage the subject and the predicate in...
Proceedings Article

Scheduling of Periodic Tasks with Data Dependency on Multiprocessors

Jinlin Wang
This article studies the scheduling problem of a set of tasks with time or data constraints on a number of identical processors with full connections. We present an algorithm, in which a set of static schedule lists can be obtained, each for a processor, such that each task starts executing after its...

Student Behavior Prediction and Emotion Management Based on Natural Language Processing

Xiaoxia Hao
Students’ behavior prediction and emotion management play an important role in educational decision making. In this paper, a new algorithm called ABLSTM-Transformer is proposed. It integrates bidirectional long short-term memory network, attention mechanism and transformer architecture to deal with students’...

The Role of Information Technology in the Development of Linguistics

Isayeva Narmina Shua
The article discusses the importance of information technology and its role in society, its impact on the science of linguistics. Our modern society is built on information technology. Information technology is currently being applied to all fields of science. One of them is linguistics, one of which...

Whether AI-based Chatbots Influence Destination Visit Intentions?

Nurdin Hidayah, Ratih Hurriyati, Heny Hendrayati
This study set out to investigate the impact of AI-based chatbot recommendations on destination visit intention. To achieve this objective, we conducted a survey using a sample of 116 individuals and analyzed the data using IBM SPSS-25 software. Our findings indicate that the AI-based chatbot recommendation...
Proceedings Article

Multi-Objective Optimization Design for Horizontal External Sunshade Design of West-Facing in Cold Region

Yang Wang, Yuejun Cui
Building sunshade components can effectively control solar radiation getting into the room and play an important role in the building thermal insulation. The study takes the west facade of the graduate dormitory at Guzhenkou Campus of China University of Petroleum as the research object. The angle, length,...

Marine zooplankton retrieval system design and Application in China

Xiaohong Sun, Changping Li, Longxiang Wang, Hong He, Jie Li
Zooplankton plays an important role in the marine system, so it becomes important to investigate the background information and to archive the data, as well as to analyse the corresponding parameters. As marine zooplankton species belong to various categories and morphologies, identification is difficult...
Proceedings Article

Logic of prototypes and counterexamples: possibilities and limits

Thomas Vetterlein
Fuzzy sets are a popular tool to model vague properties. It is, however, well-known that this model usually involves a good degree of arbitrariness. In this contribution we consider the possibility of standardising the construction of fuzzy sets at least withregard to the borderline cases. To this end,...
Proceedings Article

A Framework of Intelligent Evacuation Guidance System for Large Building

Z.Y. Wu, W. Lv, K. Yu
When a disaster occurs, it is very difficult for people inside a large building to evacuate safely. We propose a framework of Intelligent Evacuation Guidance System for Large Building (IEGSLB). IEGSLB proposes a new method for the set of evacuation indicators, and fire detection and video surveillance...
Proceedings Article

A Pedestrian Safe Walking Detection System based on Smartphone Sensors

Fengtao Xue, Hailong Hu, Gaoliang Yan, Yantao Li
In recent years, pedestrians using smartphones while walking for entertainment has become more and more popular. To avoid stumble, fall down, or even collide with other pedestrians, we propose Walk Well, a safe walking detection system that uses smartphones to provide pedestrians with more safety on...
Proceedings Article

Study of FCM Model for Fault Clustering Using Optimization Method

Haibin Yuan, Jiaojiao Xu
In this paper, Fuzzy Cognitive Map (FCM) is employed and discussed to analyze time series that represents fault dynamics. At first, the essential of FCM prototype is shown, and diversified data set that are produced from the prototype to construct candidate FCM model is proposed. The Particle Swarm Optimization...
Proceedings Article

Error analysis of air traffic control command decision based on rough complex network

Xinyu Wang, Haolin Cui, Jie Yang
Air traffic control is also named flight control and it is the general term of supervision control and mandatory management implemented by relevant departments according to flight rules issued by the country for aircrafts flying in the sky. The main purpose is to maintain flight order and prevent collision...

Design and Practice of Introduction to Basic Courses of Mathematical-Physics Science

Jing Pang, Xiuzhen Hu, Weiguang Zhang, Yongzhi Zhang, Liji Wu, Ying Zhang, Ruilin Wang, Sihua Ha, Hongmei Kan
Advanced Mathematics, College Physics, and Engineering Mechanics are basic courses of Mathematical-physics science that set up by college of science for all the college students. These courses are the basis for specialized course learning and are necessary for entrepreneurship and innovation. Lack of...

A Hesitant Fuzzy Linguistic TODIM Method Based on a Score Function

Cuiping Wei, Zhiliang Ren, Rosa M. Rodríguez
Pages: 701 - 712
Hesitant fuzzy linguistic term sets (HFLTSs) are very useful for dealing with the situations in which the decision makers hesitate among several linguistic terms to assess an alternative. Some multi-criteria decision-making (MCDM) methods have been developed to deal with HFLTSs. These methods are derived...
Proceedings Article

The Adaptability Evaluation of Graduate Employment Information System

Dong Lili
In this paper, a set of evaluation system is proposed by GQM (Goal-Question-Metrics) for graduate employment information system (GEIS). Then based on Similarity to Ideal Solution, the evaluation model is proposed to evaluate GEIS adaptability. Finally, the application of the evaluation system and model...
Proceedings Article

Design and Realization of FPGA Based Phonetic Intelligent Home System

Zhuo Wei
This paper aims at designing a set of FPGA based phonetic intelligent home system, wherein this system completely adopts wireless communication technology to avoid rewiring problem and can control home appliances through voice recognition and infrared sensor, thus to phonetically turn on or turn off...
Proceedings Article

Prediction of the Development of Science and Technology Service Industry Based on Multiple Linear Regression Analysis

Zhu Enyuan , Yan Fanhui , Jia Keliang
In order to enhance the development of science and technology service industry in Shandong Province, the paper established a statistical index system of science and technology service industry based on the relevant literature and the actual data analysis. And then the paper used multiple linear regression...

Classification of Innovative Reproduction Types of the Enterprises Main Funds in Rocket and Space Industry

A. A. Boyko, V. V. Kukartsev, E. A. Chzhan
The variants of reproduction of the basic production assets of enterprises by types of reproduction and service life are presented, as well as the classification of variants of reproduction of fixed assets by innovative features is given. The concept and strategy of development set a difficult task for...

MADM Approach for Evaluating Learning Community-Based Programs for Students: IVDHF_UUBLS-VIKOR

Junling Zhang, Xiaowen Qi*
Due to the high complexity in the process of learning community-based programs for students, decision makers’ assessments for evaluating the programs unavoidably will involve decision hesitancy and uncertainty. Therefore, this paper develops multiple attributes of the decision making (MADM) method. Firstly,...

Study on the impact of the Belt and Road Initiative on China’s overseas infrastructure investment-- Take the power station project as an example

Pei Yu, Yuhan Qiu
Infrastructure construction is the core of the Belt and Road Initiative, especially at this stage, countries around the world are committed to improving the green level of infrastructure, so as to cope with the continuous deterioration of global climate, and the construction of China’s overseas infrastructure...
Proceedings Article

An Analytical Research on Current Development Situations of Social Organization Standards of Guangdong Province on the Basis of Big Data Analysis Method

Tingjun Huang, Youhong Yang, Zhengyuan Wang, Jingyang Mao, Hanying Zhi
People from all walks of life are paying more and more attention to social organization standards, which play an important role in meeting market and innovation demands. This paper uses the clustering analysis method and the entropy weight method based on big data to analyze the current development situations...
Proceedings Article

Assessment and Improvement Model Plan for the Current Situation of Water Resources Problems

Shi Feng
With the rapid deterioration of the world's water resources problem, we need a set of assessment and improvement plan for the current situation. Firstly, with the authoritative historical data, we establish the evaluation model for water-supply ability to measure the ability of a region to provide clean...

Critical Awareness as an Antecedent in Strengthening the Side of Humanity in Education in the Disruptive Era

Oksiana Jatiningsih, Listyaningsih, Rahmanu Wijaya
Disruptive era marked by change driven by innovation in science and technology also penetrated the world of education. Teaching innovation in the form of online) is an option because it is considered effective, has a broad reach, crosses the physical boundaries of the school / campus and the state, and...
Proceedings Article

The Adaptability to Fault Slip and Seismic Behavior of Exposed Steel Penstock Crossing Active Fault

Yu Zhou, Changzheng Shi, Wentao Xu, Hegao Wu, Shenghe Yang
By an exposed steel penstock crossing an active fault in high earthquake-intensity areas, the adaptability to fault slip and seismic behavior of the penstock is analyzed by the finite element method in this paper. The results show that it is effective to set several bellow-type expansion joints and arrange...
Proceedings Article

A Computational Model for Processing Object Motion Based on Retina Neural Mechanism

Zhi hua Hu, Xiao Luo, Zhong ze Chen
In this paper, a bioinspired neural model for detecting object motion based on retina computational machanism is proposed based on synthesizing representative works on modeling retina and incorporating some latest findings on retina mechanisms. To understand more in-depth the retina machanism of motion...
Proceedings Article

The Recognition and Localization of Insulators Based on SIFT and RANSAC ;

Zhao Zhenbing, Liu Ning, Yuan Yapeng
The recognition and localization of insulators is a crucial process of insulators’ failure detection, especially under the complex background. With unknown insulators in test image, a method of the recognition and localization of insulators based on SIFT and RANSAC is proposed as following: SIFT (Scale...
Proceedings Article

A Method of Recognition for Fake Plate Vehicles

Dongyu Guo
The investigation of fake plate vehicles mainly relies on the traffic police verifications and public tip-offs. It is inefficient and produces very little effect. Based on above analysis, a method of recognition for fake plate vehicles is proposed which to investigate the fake plate vehicles effectively,...

A Genetic Algorithm with New Local Operators for Multiple Traveling Salesman Problems

Kin-Ming Lo, Wei-Ying Yi, Pak-Kan Wong, Kwong-Sak Leung, Yee Leung, Sui-Tung Mak
Pages: 692 - 705
Multiple Traveling Salesman Problem (MTSP) is able to model and solve various real-life applications such as multiple scheduling, multiple vehicle routing and multiple path planning problems, etc. While Traveling Salesman Problem (TSP) focuses on searching a path of minimum traveling distance to visit...

A Naive Bayes Based Tree Classification System

Yingyu Chen, Xun Lu
This paper presents the design and implementation of an automatic classification system based on Bayes tree. Analyzed the characteristics of the tree, the system research potential issues that may affect the classification results, factors that should be considered when the trees classification modeling...
Proceedings Article

Digital Control Method of Volume Clamp Method

Shouping Wang, Jia Liu, Pandeng Zhang, Xiaodan Yang, Lu Huang
The volume clamp method is a kind of non-invasive continuous blood pressure measurement methods, the traditional method is to convert light into a weak current to collect the signal of blood volume pulse by a sensor. In the process of signal transmission, it can be easily disturbed. We adopt a new method,...

Moral Conduct Dimension In The Making Of The Manado DPRD Regional Regulations

Goinpeace Handerson Tumbel, Mr Rakhmat, Recky H. E Sendouw, Abdul Rahman Dilapanga
This study aims to describe, analyze and interpret the implementation of political accountability related to moral quality that support the discussions process and determination of the making of Regional Regulations (PERDA) originating from the Manado Regional Representative Council. The approach selected...