Search results for: Dongping Fang
217 Methanation Catalyst for Low CO Concentration
Authors: Hong-Fang Ma, Cong-yi He, Hai-Tao Zhang, Wei-Yong Ying, Ding-Ye Fang
Abstract:
A Ni-based catalyst supported by γ-Al2O3 was prepared by impregnation method, and the catalyst was used in a low CO and CO2 concentration methanation system. The effect of temperature, pressure and space velocity on the methanation reaction was investigated in an experimental fixed-bed reactor. The methanation reaction was operated at the conditions of 190-240°C, 3000-24000ml•g-1•h-1 and 1.5-3.5MPa. The results show that temperature and space velocity play important role on the reaction. With the increase of reaction temperature the CO and CO2 conversion increase and the selectivity of CH4 increase. And with the increase of the space velocity the conversion of CO and CO2 and the selectivity of CH4 decrease sharply.Keywords: coke oven gas, methanntion, catalyst, fixed bed, performance
Procedia PDF Downloads 402216 Interpretable Deep Learning Models for Medical Condition Identification
Authors: Dongping Fang, Lian Duan, Xiaojing Yuan, Mike Xu, Allyn Klunder, Kevin Tan, Suiting Cao, Yeqing Ji
Abstract:
Accurate prediction of a medical condition with straight clinical evidence is a long-sought topic in the medical management and health insurance field. Although great progress has been made with machine learning algorithms, the medical community is still, to a certain degree, suspicious about the model's accuracy and interpretability. This paper presents an innovative hierarchical attention deep learning model to achieve good prediction and clear interpretability that can be easily understood by medical professionals. This deep learning model uses a hierarchical attention structure that matches naturally with the medical history data structure and reflects the member’s encounter (date of service) sequence. The model attention structure consists of 3 levels: (1) attention on the medical code types (diagnosis codes, procedure codes, lab test results, and prescription drugs), (2) attention on the sequential medical encounters within a type, (3) attention on the medical codes within an encounter and type. This model is applied to predict the occurrence of stage 3 chronic kidney disease (CKD3), using three years’ medical history of Medicare Advantage (MA) members from a top health insurance company. The model takes members’ medical events, both claims and electronic medical record (EMR) data, as input, makes a prediction of CKD3 and calculates the contribution from individual events to the predicted outcome. The model outcome can be easily explained with the clinical evidence identified by the model algorithm. Here are examples: Member A had 36 medical encounters in the past three years: multiple office visits, lab tests and medications. The model predicts member A has a high risk of CKD3 with the following well-contributed clinical events - multiple high ‘Creatinine in Serum or Plasma’ tests and multiple low kidneys functioning ‘Glomerular filtration rate’ tests. Among the abnormal lab tests, more recent results contributed more to the prediction. The model also indicates regular office visits, no abnormal findings of medical examinations, and taking proper medications decreased the CKD3 risk. Member B had 104 medical encounters in the past 3 years and was predicted to have a low risk of CKD3, because the model didn’t identify diagnoses, procedures, or medications related to kidney disease, and many lab test results, including ‘Glomerular filtration rate’ were within the normal range. The model accurately predicts members A and B and provides interpretable clinical evidence that is validated by clinicians. Without extra effort, the interpretation is generated directly from the model and presented together with the occurrence date. Our model uses the medical data in its most raw format without any further data aggregation, transformation, or mapping. This greatly simplifies the data preparation process, mitigates the chance for error and eliminates post-modeling work needed for traditional model explanation. To our knowledge, this is the first paper on an interpretable deep-learning model using a 3-level attention structure, sourcing both EMR and claim data, including all 4 types of medical data, on the entire Medicare population of a big insurance company, and more importantly, directly generating model interpretation to support user decision. In the future, we plan to enrich the model input by adding patients’ demographics and information from free-texted physician notes.Keywords: deep learning, interpretability, attention, big data, medical conditions
Procedia PDF Downloads 91215 Performance Evaluation of Distributed Deep Learning Frameworks in Cloud Environment
Authors: Shuen-Tai Wang, Fang-An Kuo, Chau-Yi Chou, Yu-Bin Fang
Abstract:
2016 has become the year of the Artificial Intelligence explosion. AI technologies are getting more and more matured that most world well-known tech giants are making large investment to increase the capabilities in AI. Machine learning is the science of getting computers to act without being explicitly programmed, and deep learning is a subset of machine learning that uses deep neural network to train a machine to learn features directly from data. Deep learning realizes many machine learning applications which expand the field of AI. At the present time, deep learning frameworks have been widely deployed on servers for deep learning applications in both academia and industry. In training deep neural networks, there are many standard processes or algorithms, but the performance of different frameworks might be different. In this paper we evaluate the running performance of two state-of-the-art distributed deep learning frameworks that are running training calculation in parallel over multi GPU and multi nodes in our cloud environment. We evaluate the training performance of the frameworks with ResNet-50 convolutional neural network, and we analyze what factors that result in the performance among both distributed frameworks as well. Through the experimental analysis, we identify the overheads which could be further optimized. The main contribution is that the evaluation results provide further optimization directions in both performance tuning and algorithmic design.Keywords: artificial intelligence, machine learning, deep learning, convolutional neural networks
Procedia PDF Downloads 212214 A Study of Anoxic - Oxic Microbiological Technology for Treatment of Heavy Oily Refinery Wastewater
Authors: Di Wang, Li Fang, Shengyu Fang, Jianhua Li, Honghong Dong, Zhongzhi Zhang
Abstract:
Heavy oily refinery wastewater with the characteristics of high concentration of toxic organic pollutant, poor biodegradability and complicated dissolved recalcitrant compounds is intractable to be degraded. In order to reduce the concentrations of COD and total nitrogen pollutants which are the major pollutants in heavy oily refinery wastewater, the Anoxic - Oxic microbiological technology relies mainly on anaerobic microbial reactor which works with methanogenic archaea mainly that can convert organic pollutants to methane gas, and supplemented by aerobic treatment. The results of continuous operation for 2 months with a hydraulic retention time (HRT) of 60h showed that, the COD concentration from influent water of anaerobic reactor and effluent water from aerobic reactor were 547.8mg/L and 93.85mg/L, respectively. The total removal rate of COD was up to 84.9%. Compared with the 46.71mg/L of total nitrogen pollutants in influent water of anaerobic reactor, the concentration of effluent water of aerobic reactor decreased to 14.11mg/L. In addition, the average removal rate of total nitrogen pollutants reached as high as 69.8%. Based on the data displayed, Anoxic - Oxic microbial technology shows a great potential to dispose heavy oil sewage in energy saving and high-efficiency of biodegradation.Keywords: anoxic - oxic microbiological technology, COD, heavy oily refinery wastewater, total nitrogen pollutant
Procedia PDF Downloads 495213 Research and Development of Net-Centric Information Sharing Platform
Authors: Wang Xiaoqing, Fang Youyuan, Zheng Yanxing, Gu Tianyang, Zong Jianjian, Tong Jinrong
Abstract:
Compared with traditional distributed environment, the net-centric environment brings on more demanding challenges for information sharing with the characteristics of ultra-large scale and strong distribution, dynamic, autonomy, heterogeneity, redundancy. This paper realizes an information sharing model and a series of core services, through which provides an open, flexible and scalable information sharing platform.Keywords: net-centric environment, information sharing, metadata registry and catalog, cross-domain data access control
Procedia PDF Downloads 571212 An Empirical Investigation of Uncertainty and the Lumpy Investment Channel of Monetary Policy
Authors: Min Fang, Jiaxi Yang
Abstract:
Monetary policy could be less effective at stimulating investment during periods of elevated volatility than during normal times. In this paper, we argue that elevated volatility leads to a decrease in extensive margin investment incentive so that nominal stimulus generates less aggregate investment. To do this, we first empirically document that high volatility weakens firms’ investment responses to monetary stimulus. Such effects depend on the lumpiness nature of the firm-level investment. The findings are that the channel exists for all of the physical investment, innovation investment, and organization investment.Keywords: investment, irreversibility, volatility, uncertainty, firm heterogeneity, monetary policy
Procedia PDF Downloads 107211 A Fourier Method for Risk Quantification and Allocation of Credit Portfolios
Authors: Xiaoyu Shen, Fang Fang, Chujun Qiu
Abstract:
Herewith we present a Fourier method for credit risk quantification and allocation in the factor-copula model framework. The key insight is that, compared to directly computing the cumulative distribution function of the portfolio loss via Monte Carlo simulation, it is, in fact, more efficient to calculate the transformation of the distribution function in the Fourier domain instead and inverting back to the real domain can be done in just one step and semi-analytically, thanks to the popular COS method (with some adjustments). We also show that the Euler risk allocation problem can be solved in the same way since it can be transformed into the problem of evaluating a conditional cumulative distribution function. Once the conditional or unconditional cumulative distribution function is known, one can easily calculate various risk metrics. The proposed method not only fills the niche in literature, to the best of our knowledge, of accurate numerical methods for risk allocation but may also serve as a much faster alternative to the Monte Carlo simulation method for risk quantification in general. It can cope with various factor-copula model choices, which we demonstrate via examples of a two-factor Gaussian copula and a two-factor Gaussian-t hybrid copula. The fast error convergence is proved mathematically and then verified by numerical experiments, in which Value-at-Risk, Expected Shortfall, and conditional Expected Shortfall are taken as examples of commonly used risk metrics. The calculation speed and accuracy are tested to be significantly superior to the MC simulation for real-sized portfolios. The computational complexity is, by design, primarily driven by the number of factors instead of the number of obligors, as in the case of Monte Carlo simulation. The limitation of this method lies in the "curse of dimension" that is intrinsic to multi-dimensional numerical integration, which, however, can be relaxed with the help of dimension reduction techniques and/or parallel computing, as we will demonstrate in a separate paper. The potential application of this method has a wide range: from credit derivatives pricing to economic capital calculation of the banking book, default risk charge and incremental risk charge computation of the trading book, and even to other risk types than credit risk.Keywords: credit portfolio, risk allocation, factor copula model, the COS method, Fourier method
Procedia PDF Downloads 168210 An Improved Photovolatic System Balancer Architecture
Authors: Chih-Chiang Hua, Yi-Hsiung Fang, Cyuan-Jyun Wong
Abstract:
An improved PV balancer for photovoltaic applications is proposed in this paper. The proposed PV balancer senses the voltage and current of PV module and adjusts the output voltage of converter. Thus, the PV system can implement maximum power point tracking (MPPT) independently for each module whether it is under shading, different irradiation or degradation of PV cell. In addition, the cost of PV balancer can be reduced due to the low power rating of converter. To assess the effectiveness of the proposed system, two PV balancers are designed and verified through simulation under different shading conditions. The proposed PV balancers can provide more energy than the traditional PV balancer.Keywords: MPPT, partial shading, PV System, converter
Procedia PDF Downloads 291209 Enhancing Inhibition on Phytopathogens by Complex Using Biogas Slurry
Authors: Fang-Bo Yu, Li-Bo Guan, Sheng-Dao Shan
Abstract:
Biogas slurry was mixed with six commercial fungicides and screening against 11 phytopathogens was carried out. Results showed that inhibition of biogas slurry was different for the test strains and no significant difference between treatments of Didymella bryoniae, Fusarium oxysporum f. sp. vasinfectum, Aspergillus niger, Rhizoctonia cerealis, F. graminearum and Septoria tritici was observed. However, significant differences were found among Penicillium sp., Botrytis cinerea, Alternaria sonali, F. oxysporum F. sp. melonis and Sclerotinia sclerotiorum. The approach described here presents a promising alternative to current manipulation although some issues still need further examination. This study could contribute to the development of sustainable agriculture and better utilization of biogas slurry.Keywords: anaerobic digestion, biogas slurry, phytopathogen, sustainable agriculture
Procedia PDF Downloads 334208 Bio-Electrochemical Process Coupled with MnO2 Nanowires for Wastewater Treatment
Authors: A. Giwa, S. M. Jung, W. Fang, J. Kong, S. W. Hasan
Abstract:
MnO2 nanowires were developed as filtration media for wastewater treatment that uniquely combines several advantages. The resulting material demonstrated strong capability to remove the pollution of heavy metal ions and organic contents in water. In addition, the manufacture process of such material is practical and economical. In this work, MnO2 nanowires were integrated with the state-of-art bio-electrochemical system for wastewater treatment, to overcome problems currently encountered with organic, inorganic, heavy metal, and microbe removal, and to minimize the unit footprint (land/space occupation) at low cost. Results showed that coupling the bio-electrochemical with MnO2 resulted in very encouraging results with higher removal efficiencies of such pollutants.Keywords: bio-electrochemical, nanowires, novel, wastewater
Procedia PDF Downloads 387207 Future Optimization of the Xin’anjiang Hydropower
Authors: Muhammad Zaman, Guohua Fang, Muhammad Saifullah,
Abstract:
The presented study emphasize at an optimal model to compare past and future optimal hydropower generation. In order to get maximum benefits from the Xin’anjiang hydropower station a model is developed. A Particle Swarm Optimization (PSO) has purposed and past and future water flow is used to get the maximum benefits from future water resources in this study. The results revealed that the future hydropower generation is more than the past generation. This paper gives us idea that what could we get in the past using optimal method of electricity generation and what can we get in the future using this technique.Keywords: PSO, future water resources, optimization, Xin’anjiang,
Procedia PDF Downloads 444206 Applying Sliding Autonomy for a Human-Robot Team on USARSim
Authors: Fang Tang, Jacob Longazo
Abstract:
This paper describes a sliding autonomy approach for coordinating a team of robots to assist the human operator to accomplish tasks while adapting to new or unexpected situations by requesting help from the human operator. While sliding autonomy has been well studied in the context of controlling a single robot. Much work needs to be done to apply sliding autonomy to a multi-robot team, especially human-robot team. Our approach aims at a hierarchical sliding control structure, with components that support human-robot collaboration. We validated our approach in the USARSim simulation and demonstrated that the human-robot team's overall performance can be improved under the sliding autonomy control.Keywords: sliding autonomy, multi-robot team, human-robot collaboration, USARSim
Procedia PDF Downloads 546205 Factors Affecting Aluminum Dissolve from Acidified Water Purification Sludge
Authors: Wen Po Cheng, Chi Hua Fu, Ping Hung Chen, Ruey Fang Yu
Abstract:
Recovering resources from water purification sludge (WPS) have been gradually stipulated in environmental protection laws and regulations in many nations. Hence, reusing the WPS is becoming an important topic, and recovering alum from WPS is one of the many practical alternatives. Most previous research efforts have been conducted on studying the amphoteric characteristic of aluminum hydroxide for investigating the optimum pH range to dissolve the Al(III) species from WPS, but it has been lack of reaction kinetics or mechanisms related discussion. Therefore, in this investigation, water purification sludge (WPS) solution was broken by ultrasound to make particle size of reactants smaller, specific surface area larger. According to the reaction kinetics, these phenomena let the dissolved aluminum salt quantity increased and the reaction rate go faster.Keywords: aluminum, acidification, sludge, recovery
Procedia PDF Downloads 631204 Component Comparison of Polyaluminum Chloride Produced from Various Methods
Authors: Wen Po Cheng, Chia Yun Chung, Ruey Fang Yu, Chao Feng Chen
Abstract:
The main objective of this research was to study the differences of aluminum hydrolytic products between two PACl preparation methods. These two methods were the acidification process of freshly formed amorphous Al(OH)3 and the conventional alkalization process of aluminum chloride solution. According to Ferron test and 27Al NMR analysis of those two PACl preparation procedures, the reaction rate constant (k) values and Al13 percentage of acid addition process at high basicity value were both lower than those values of the alkaline addition process. The results showed that the molecular structure and size distribution of the aluminum species in both preparing methods were suspected to be significantly different at high basicity value.Keywords: polyaluminum chloride, Al13, amorphous aluminum hydroxide, Ferron test
Procedia PDF Downloads 376203 A Self-Adaptive Stimulus Artifacts Removal Approach for Electrical Stimulation Based Muscle Rehabilitation
Authors: Yinjun Tu, Qiang Fang, Glenn I. Matthews, Shuenn-Yuh Lee
Abstract:
This paper reports an efficient and rigorous self-adaptive stimulus artifacts removal approach for a mixed surface EMG (Electromyography) and stimulus signal during muscle stimulation. The recording of EMG and the stimulation of muscles were performing simultaneously. It is difficult to generate muscle fatigue feature from the mixed signal, which can be further used in closed loop system. A self-adaptive method is proposed in this paper, the stimulation frequency was calculated and verified firstly. Then, a mask was created based on this stimulation frequency to remove the undesired stimulus. 20 EMG signal recordings were analyzed, and the ANOVA (analysis of variance) approach illustrated that the decreasing trend of median power frequencies was successfully generated from the 'cleaned' EMG signal.Keywords: EMG, FES, stimulus artefacts, self-adaptive
Procedia PDF Downloads 400202 Influence of Prestress Loss on Mechanical Performance of Fabricated Girder Bridge
Authors: Wu Xiaoguang, Liu Jiaxin, Fang Miaomiao, Wei Saidong
Abstract:
There are many prestressed concrete prefabricated girder Bridges with small and medium span and the damage is serious. This paper mainly study the effect of prestress loss of prefabricated bridge bearing performance, through the establishment of ANSYS finite element model, from the condition of different prestress loss research, get the stress and strain data, draw curve, finally get the following conclusion: loss of prestress can reduce the ultimate bearing capacity of Bridges, the side span across the deflection value than the influence of times side span, the influence of the deflection in the midspan cross value. Therefore, the prestress loss and the effective prestress should be strictly considered in the design and construction process.Keywords: across the deflection, loss of prestress, prefabricated girder bridge, the main tensile stress
Procedia PDF Downloads 148201 Research on Integrating Adult Learning and Practice into Long-Term Care Education
Authors: Liu Yi Hui, Chun-Liang Lai, Jhang Yu Cih, He You Jing, Chiu Fan-Yun, Lin Yu Fang
Abstract:
For universities offering long-term care education, the inclusion of adulting learning and practices in professional courses as appropriate based on holistic design and evaluation could improve talent empowerment by leveraging social capital. Moreover, it could make the courses and materials used in long-term care education responsive to real-life needs. A mixed research method was used in the research design. A quantitative study was also conducted using a questionnaire survey, and the data were analyzed by SPSS 22.0 Chinese version. The qualitative data included students’ learning files (learning reflection notes, course reports, and experience records).Keywords: adult learning, community empowerment, social capital, mixed research
Procedia PDF Downloads 157200 Behavior Consistency Analysis for Workflow Nets Based on Branching Processes
Authors: Wang Mimi, Jiang Changjun, Liu Guanjun, Fang Xianwen
Abstract:
Loop structure often appears in the business process modeling, analyzing the consistency of corresponding workflow net models containing loop structure is a problem, the existing behavior consistency methods cannot analyze effectively the process models with the loop structure. In the paper, by analyzing five kinds of behavior relations of transitions, a three-dimensional figure and two-dimensional behavior relation matrix are proposed. Based on this, analysis method of behavior consistency of business process based on Petri net branching processes is proposed. Finally, an example is given out, which shows the method is effective.Keywords: workflow net, behavior consistency measures, loop, branching process
Procedia PDF Downloads 390199 A Study on the Acquisition of Chinese Classifiers by Vietnamese Learners
Authors: Quoc Hung Le Pham
Abstract:
In the field of language study, classifier is an interesting research feature. In the world’s languages, some languages have classifier system, some do not. Mandarin Chinese and Vietnamese languages are a rich classifier system, however, because of the language system, the cognitive, cultural differences, so that the syntactic structure of classifier of them also dissimilar. When using Mandarin Chinese classifiers must collocate with nouns or verbs, in the lexical category it is not like nouns or verbs, belong to the open class. But some scholars believe that Mandarin Chinese measure words are similar to English and other Indo European languages. The word hanging on the structure and word formation (suffix), is a closed class. Compared to other languages, such as Chinese, Vietnamese, Thai and other Asian languages are still belonging to the classifier language’s second type, this type of language is classifier, it is in the majority of quantity must exist, and following deictic, anaphoric or quantity appearing together, not separation between its modified noun, also known as numeral classifier language. Main syntactic structure of Chinese classifiers are as follows: ‘quantity+measure+noun’, ‘pronoun+measure+noun’, ‘pronoun+quantity+measure+noun’, ‘prefix+quantity+measure +noun’, ‘quantity +adjective + measure +noun’, ‘ quantity (above 10 whole number), + duo (多)measure +noun’, ‘ quantity (around 10) + measure + duo (多) +noun’. Main syntactic structure of Vietnamese classifiers are: ‘quantity+measure+noun’, ‘ measure+noun+pronoun’, ‘quantity+measure+noun+pronoun’, ‘measure+noun+prefix+ quantity’, ‘quantity+measure+noun+adjective', ‘duo (多) +quanlity+measure+noun’, ‘quantity+measure+adjective+pronoun (quantity word could not be 1)’, ‘measure+adjective+pronoun’, ‘measure+pronoun’. In daily life, classifiers are commonly used, if Chinese learners failed to standardize this using catergory, because the negative impact might occur on their verbal communication. The richness of the Chinese classifier system contributes to the complexity in the study of the system by foreign learners, especially in the inter language of Vietnamese learners. As above mentioned, Vietnamese language also has a rich system of classifiers, however, the basic structure order of two languages are similar but both still have differences. These similarities and dissimilarities between Chinese and Vietnamese classifier systems contribute significantly to the common errors made by Vietnamese students while they acquire Chinese, which are distinct from the errors made by students from the other language background. This article from a comparative perspective of language, has an orientation towards Chinese and Vietnamese languages commonly used in classifiers semantics and structural form two aspects. This comparative study aims to identity Vietnamese students while learning Chinese classifiers may face some negative transference of mother language, beside that through the analysis of the classifiers questionnaire, find out the causes and patterns of the errors they made. As the preliminary analysis shows, Vietnamese students while learning Chinese classifiers made some errors such as: overuse classifier ‘ge’(个); misuse the other classifiers ‘*yi zhang ri ji’(yi pian ri ji), ‘*yi zuo fang zi’(yi jian fang zi), ‘*si zhang jin pai’(si mei jin pai); homonym words ‘dui, shuang, fu, tao’ (对、双、副、套), ‘ke, li’ (颗、粒).Keywords: acquisition, classifiers, negative transfer, Vietnamse learners
Procedia PDF Downloads 454198 Secure Network Coding-Based Named Data Network Mutual Anonymity Transfer Protocol
Authors: Tao Feng, Fei Xing, Ye Lu, Jun Li Fang
Abstract:
NDN is a kind of future Internet architecture. Due to the NDN design introduces four privacy challenges,Many research institutions began to care about the privacy issues of naming data network(NDN).In this paper, we are in view of the major NDN’s privacy issues to investigate privacy protection,then put forwards more effectively anonymous transfer policy for NDN.Firstly,based on mutual anonymity communication for MP2P networks,we propose NDN mutual anonymity protocol.Secondly,we add interest package authentication mechanism in the protocol and encrypt the coding coefficient, security of this protocol is improved by this way.Finally, we proof the proposed anonymous transfer protocol security and anonymity.Keywords: NDN, mutual anonymity, anonymous routing, network coding, authentication mechanism
Procedia PDF Downloads 452197 What Affects Donation Amount and Behavior Upon Disasters
Authors: Rubi Yang, Kuisheng Yuan, Fang Gu
Abstract:
Disasters are a recurring phenomenon, and their impact on people is huge. Understanding people's donation behavior after disasters is of great economic value. However, people's donation behavior is affected by many factors, such as the specific type of disaster, the donor's personal background, etc. Our research is to control and investigate whether people prefer to donate to natural disasters or man-made disasters. We will use both qualitative and quantitative methods to study people's donation behavior, divide disasters into two categories and set up the same disaster scenario, only the factors that lead to the disaster are different. Our results show that under the same disaster scenario, people are more willing to donate to disasters caused by natural factors. Collectivists are more willing to donate than individualists, but in the face of man-made disasters, individualists are more willing to donate than collectivistsKeywords: disaster, behavioral economics, prosocial behavior, consumer behavior, consumer psychology
Procedia PDF Downloads 42196 Texture-Based Image Forensics from Video Frame
Authors: Li Zhou, Yanmei Fang
Abstract:
With current technology, images and videos can be obtained more easily than ever. It is so easy to manipulate these digital multimedia information when obtained, and that the content or source of the image and video could be easily tampered. In this paper, we propose to identify the image and video frame by the texture-based approach, e.g. Markov Transition Probability (MTP), which is in space domain, DCT domain and DWT domain, respectively. In the experiment, image and video frame database is constructed, and is used to train and test the classifier Support Vector Machine (SVM). Experiment results show that the texture-based approach has good performance. In order to verify the experiment result, and testify the universality and robustness of algorithm, we build a random testing dataset, the random testing result is in keeping with above experiment.Keywords: multimedia forensics, video frame, LBP, MTP, SVM
Procedia PDF Downloads 428195 Formal Verification for Ethereum Smart Contract Using Coq
Authors: Xia Yang, Zheng Yang, Haiyong Sun, Yan Fang, Jingyu Liu, Jia Song
Abstract:
The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts.Keywords: smart contract, formal verification, Ethereum, Coq
Procedia PDF Downloads 694194 Strategies of Spatial Optimization for Open Space in the Old-Age Friendly City: An Investigation of the Behavior of the Elderly in Xicheng Square in Hangzhou
Authors: Yunxiang Fang
Abstract:
With the aging trend continuing to accelerate, open space is important for the daily life of the elderly, and its old-age friendliness is worthy of attention. Based on behavioral observation and literature research, this paper studies the behavior of the elderly in urban open space. Through the investigation, classification and quantitative analysis of the activity types, time characteristics and spatial behavior order of the elderly in Xicheng Square in Hangzhou, it summarizes the square space suitable for the psychological needs, physiology and activity needs of the elderly, combined with the basis of literature research. Finally, the suggestions for the improvement of the old-age friendship of Xicheng Square are put forward, from the aspects of microclimate, safety and accessibility, space richness and service facility quality.Keywords: behavior characteristics, old-age friendliness, open space, square
Procedia PDF Downloads 169193 Concentration of D-Pinitol from Carob Kibble Using Submerged Fermentation by Saccharomyces cerevisiae
Authors: Thi Huong Vu, Vijay Jayasena, Zhongxiang Fang, Gary Dykes
Abstract:
D-pinitol (3-O-methyl ether of D-chiro-inosito) has been known to have health benefits for diabetic patients. Carob kibble has received attention due to the presence of high value D-pinitol and polyphenol antioxidants. D-pinitol was concentrated from carob kibble using submerged fermentation with Saccharomyces cerevisiae. Total carbohydrates and D-pinitol were determined by the phenol-sulphuric acid method and HPLC, respectively. The content of D-pinitol increased from approximately 43 to 70 mg/g dry weight after fermentation. The yeast consumed over 70% of total carbohydrates in carob kibble without any negative effect on D-pinitol content. A range of substrate medium pH’s from 5.0 – 7.0 had no significant effect on the removal of carbohydrates and D-pinitol. This method may provide a practical solution for production of D-pinitol from carob in a cost effective manner.Keywords: carob kibble, d-pinitol, saccharomyces cerevisiae, submerged fermentation, total carbohydrates
Procedia PDF Downloads 322192 Method of Cluster Based Cross-Domain Knowledge Acquisition for Biologically Inspired Design
Authors: Shen Jian, Hu Jie, Ma Jin, Peng Ying Hong, Fang Yi, Liu Wen Hai
Abstract:
Biologically inspired design inspires inventions and new technologies in the field of engineering by mimicking functions, principles, and structures in the biological domain. To deal with the obstacles of cross-domain knowledge acquisition in the existing biologically inspired design process, functional semantic clustering based on functional feature semantic correlation and environmental constraint clustering composition based on environmental characteristic constraining adaptability are proposed. A knowledge cell clustering algorithm and the corresponding prototype system is developed. Finally, the effectiveness of the method is verified by the visual prosthetic device design.Keywords: knowledge clustering, knowledge acquisition, knowledge based engineering, knowledge cell, biologically inspired design
Procedia PDF Downloads 427191 Analysis of the Influence of Support Failure on the Dynamic Effect of Bridge Structure
Authors: Sun Fan, Wu Xiaoguang, Fang Miaomiao, Wei Chi
Abstract:
The degree of damage to the support is simulated by finite element software, and its influence on the static and dynamic effects of the bridge structure is analyzed. Four working conditions are selected for the study of bearing damage impact: the bearing is intact (condition 1), the bearing damage coefficient is 0.8 (condition 2), the bearing damage coefficient is 0.6 (condition 3), and the bearing damage coefficient is 0.4 (Working Condition 4). The effect value of the bridge structure under each working condition is calculated, and the simple-supported girder bridge and continuous girder bridge with typical spans are taken as examples to analyze the overall change of the bridge structure after the bearing completely fails.Keywords: bridge bearing damage, dynamic response, finite element analysis, load conditions
Procedia PDF Downloads 230190 Bridgeless Boost Power Factor Correction Rectifier with Hold-Up Time Extension Circuit
Authors: Chih-Chiang Hua, Yi-Hsiung Fang, Yuan-Jhen Siao
Abstract:
A bridgeless boost (BLB) power factor correction (PFC) rectifier with hold-up time extension circuit is proposed in this paper. A full bridge rectifier is widely used in the front end of the ac/dc converter. Since the shortcomings of the full bridge rectifier, the bridgeless rectifier is developed. A BLB rectifier topology is utilized with the hold-up time extension circuit. Unlike the traditional hold-up time extension circuit, the proposed extension scheme uses fewer active switches to achieve a longer hold-up time. Simulation results are presented to verify the converter performance.Keywords: bridgeless boost (BLB), boost converter, power factor correction (PFC), hold-up time
Procedia PDF Downloads 417189 Heart-Rate Resistance Electrocardiogram Identification Based on Slope-Oriented Neural Networks
Authors: Tsu-Wang Shen, Shan-Chun Chang, Chih-Hsien Wang, Te-Chao Fang
Abstract:
For electrocardiogram (ECG) biometrics system, it is a tedious process to pre-install user’s high-intensity heart rate (HR) templates in ECG biometric systems. Based on only resting enrollment templates, it is a challenge to identify human by using ECG with the high-intensity HR caused from exercises and stress. This research provides a heartbeat segment method with slope-oriented neural networks against the ECG morphology changes due to high intensity HRs. The method has overall system accuracy at 97.73% which includes six levels of HR intensities. A cumulative match characteristic curve is also used to compare with other traditional ECG biometric methods.Keywords: high-intensity heart rate, heart rate resistant, ECG human identification, decision based artificial neural network
Procedia PDF Downloads 436188 The Influence of Noise on Aerial Image Semantic Segmentation
Authors: Pengchao Wei, Xiangzhong Fang
Abstract:
Noise is ubiquitous in this world. Denoising is an essential technology, especially in image semantic segmentation, where noises are generally categorized into two main types i.e. feature noise and label noise. The main focus of this paper is aiming at modeling label noise, investigating the behaviors of different types of label noise on image semantic segmentation tasks using K-Nearest-Neighbor and Convolutional Neural Network classifier. The performance without label noise and with is evaluated and illustrated in this paper. In addition to that, the influence of feature noise on the image semantic segmentation task is researched as well and a feature noise reduction method is applied to mitigate its influence in the learning procedure.Keywords: convolutional neural network, denoising, feature noise, image semantic segmentation, k-nearest-neighbor, label noise
Procedia PDF Downloads 220