Search results for: Fang Dong
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 511

Search results for: Fang Dong

481 Comparison of Patient Satisfaction and Observer Rating of Outpatient Care among Public Hospitals in Shanghai

Authors: Tian Yi Du, Guan Rong Fan, Dong Dong Zou, Di Xue

Abstract:

Background: The patient satisfaction survey is becoming of increasing importance for hospitals or other providers to get more reimbursement and/or more governmental subsidies. However, when the results of patient satisfaction survey are compared among medical institutions, there are some concerns. The primary objectives of this study were to evaluate patient satisfaction in tertiary hospitals of Shanghai and to compare the satisfaction rating on physician services between patients and observers. Methods: Two hundred outpatients were randomly selected for patient satisfaction survey in each of 28 public tertiary hospitals of Shanghai. Four or five volunteers were selected to observe 5 physicians’ practice in each of above hospitals and rated observed physicians’ practice. The outpatients that the volunteers observed their physician practice also filled in the satisfaction questionnaires. The rating scale for outpatient survey and volunteers’ observation was: 1 (very dissatisfied) to 6 (very satisfied). If the rating was equal to or greater than 5, we considered the outpatients and volunteers were satisfied with the services. The validity and reliability of the measure were assessed. Multivariate regressions for each of the 4 dimensions and overall of patient satisfaction were used in analyses. Paired t tests were applied to analyze the rating agreement on physician services between outpatients and volunteers. Results: Overall, 90% of surveyed outpatients were satisfied with outpatient care in the tertiary public hospitals of Shanghai. The lowest three satisfaction rates were seen in the items of ‘Restrooms were sanitary and not crowded’ (81%), ‘It was convenient for the patient to pay medical bills’ (82%), and ‘Medical cost in the hospital was reasonable’ (84%). After adjusting the characteristics of patients, the patient satisfaction in general hospitals was higher than that in specialty hospitals. In addition, after controlling the patient characteristics and number of hospital visits, the hospitals with higher outpatient cost per visit had lower patient satisfaction. Paired t tests showed that the rating on 6 items in the dimension of physician services (total 14 items) was significantly different between outpatients and observers, in which 5 were rated lower by the observers than by the outpatients. Conclusions: The hospital managers and physicians should use patient satisfaction and observers’ evaluation to detect the room for improvement in areas such as social skills cost control, and medical ethics.

Keywords: patient satisfaction, observation, quality, hospital

Procedia PDF Downloads 296
480 A Nanoelectromechanical Tunable Oscillator Base on a High-Q Optical Cavity

Authors: Jianguo Huang, Hong Cai, Bin Dong, Jifang Tao, Aiqun Liu, Dim-Lee Kwong, Yuandong Gu

Abstract:

We developed a miniaturized tunable optomechanical oscillator based on the nanoelectromechanical systems (NEMS) technology, and its frequencies can be electrostatically tuned by as much as 10%. By taking both advantages of optical and electrical spring, the oscillator achieves a high tuning sensitivity without resorting to mechanical tension. In particular, the proposed high-Q optical cavity design greatly enhances the system sensitivity, making it extremely sensitive to the small motional signal.

Keywords: nanoelectromechanical systems (NEMS), nanotechnology, optical force, oscillator

Procedia PDF Downloads 469
479 Effect of Gas-Diffusion Oxynitriding on Microstructure and Hardness of Ti-6Al-4V Alloys

Authors: Dong Bok Lee, Min Jung Kim

Abstract:

The commercially available titanium alloy, Ti-6Al-4V, was oxynitrided in the deoxygenated nitrogen gas at high temperatures followed by cooling in oxygen-containing nitrogen in order to analyze the influence of oxynitriding parameters on the phase modification, hardness, and the microstructural evolution of the oxynitrided coating. The surface microhardness of the oxynitrided alloy increased due to the strengthening effect of the formed titanium oxynitrides, TiNxOy. The maximum microhardness was obtained, when TiNxOy had near equiatomic composition of nitrogen and oxygen. It could be attained under the optimum oxygen partial pressure and temperature-time condition.

Keywords: titanium alloy, oxynitriding, gas diffusion, surface treatment

Procedia PDF Downloads 286
478 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 352
477 Convolutional Neural Networks Architecture Analysis for Image Captioning

Authors: Jun Seung Woo, Shin Dong Ho

Abstract:

The Image Captioning models with Attention technology have developed significantly compared to previous models, but it is still unsatisfactory in recognizing images. We perform an extensive search over seven interesting Convolutional Neural Networks(CNN) architectures to analyze the behavior of different models for image captioning. We compared seven different CNN Architectures, according to batch size, using on public benchmarks: MS-COCO datasets. In our experimental results, DenseNet and InceptionV3 got about 14% loss and about 160sec training time per epoch. It was the most satisfactory result among the seven CNN architectures after training 50 epochs on GPU.

Keywords: deep learning, image captioning, CNN architectures, densenet, inceptionV3

Procedia PDF Downloads 98
476 Hybrid MIMO-OFDM Detection Scheme for High Performance

Authors: Young-Min Ko, Dong-Hyun Ha, Chang-Bin Ha, Hyoung-Kyu Song

Abstract:

In recent years, a multi-antenna system is actively used to improve the performance of the communication. A MIMO-OFDM system can provide multiplexing gain or diversity gain. These gains are obtained in proportion to the increase of the number of antennas. In order to provide the optimal gain of the MIMO-OFDM system, various transmission and reception schemes are presented. This paper aims to propose a hybrid scheme that base station provides both diversity gain and multiplexing gain at the same time.

Keywords: DFE, diversity gain, hybrid, MIMO, multiplexing gain.

Procedia PDF Downloads 659
475 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 408
474 High-Temperature Corrosion of Aluminized and Chromized Fe-25.8%Cr-19.5%Ni Alloys in N2/H2S/H2O-mixed Gases

Authors: Min Jung Kim, Dong Bok Lee

Abstract:

Alloys of Fe-25.8%Cr-19.5%Ni (SUS310 stainless steel) were either chromized or aluminized via pack cementation, and corroded at 800 oC for 100 h in 1 atm of (0.9448 atm of N2+0.031 atm of H2O+0.0242 atm of H2S)-mixed gases. The chromized layer consisted primarily of Cr1.36Fe0.52 and some Cr23C6. Its corrosion resulted in the formation of Cr2S3 and some FeS and Fe5Ni4S8. The aluminized coating consisted primarily of FeAl. Its corrosion resulted in the formation of α-Al2O3, Al2S3, and Cr2S3. Aluminizing was more effective than chromizing in increasing the corrosion resistance of the substrate, due mainly to the formation of α-Al2O3.

Keywords: aluminizing, chromizing, corrosion, H2S gas

Procedia PDF Downloads 461
473 Improved Wi-Fi Backscatter System for Multi-to-Multi Communication

Authors: Chang-Bin Ha, Yong-Jun Kim, Dong-Hyun Ha, Hyoung-Kyu Song

Abstract:

The conventional Wi-Fi back scatter system can only process one-to-one communication between the Wi-Fi reader and the Wi-Fi tag. For improvement of throughput of the conventional system, this paper proposes the multi-to-multi communication system. In the proposed system, the interference by the multi-to-multi communication is effectively cancelled by the orthogonal multiple access based on the identification code of the tag. Although the overhead is generated by the procedure for the multi-to-multi communication, because the procedure is processed by the Wi-Fi protocol, the overhead is insignificant for the entire communication procedure. From the numerical results, it is confirmed that the proposed system has nearly proportional increased throughput in according to the number of the tag that simultaneously participates in communication.

Keywords: backscatter, multi-to-multi communication, orthogonality, Wi-Fi

Procedia PDF Downloads 483
472 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 502
471 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 587
470 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 343
469 Design of Electromagnetic Field of PMSG for VTOL Series-Hybrid UAV

Authors: Sooyoung Cho, In-Gun Kim, Hyun-Seok Hong, Dong-Woo Kang, Ju Lee

Abstract:

Series hybrid UAV(Unmanned aerial vehicle) that is proposed in this paper performs VTOL(Vertical take-off and landing) using the battery and generator, and it applies the series hybrid system with combination of the small engine and generator when cruising flight. This system can be described as the next-generation system that can dramatically increase the UAV flight times. Also, UAV systems require a large energy at the time of VTOL to be conducted for a short time. Therefore, this paper designs PMSG(Permanent Magnet Synchronous Generator) having a high specific power considering VTOL through the FEA.

Keywords: PMSG, VTOL, UAV, high specific power density

Procedia PDF Downloads 488
468 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 372
467 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 111
466 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 125
465 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 358
464 Rewriting the 'Sick Man' History: Imagining Chinese Masculinity in the Contemporary Military Action Genre

Authors: Yongde Dai

Abstract:

The recent Chinese military action blockbusters, notably known as, Wolf Warrior/Zhan Lang (2015), Operation Mekong/Mei gong he xing dong (2016), Warrior 2/Zhan Lang 2 (2017) and Operation Red Sea/Hong hai xing dong (2018), have achieved phenomenal box-office successes and in particular, Wolf Warrior 2 became China’s highest-grossing film of all time. However, their yearly presence tends to show a paradigmic shift from China’s primacy of wen manliness (soft) to wu masculinity (hard). With the increasing cinematic exposure of a more muscular image manifesting in both the Chinese heroic soldiers and China itself as a rising global power, the backlash of the Chinese public against the proliferation of the feminized masculinity influenced by the ‘pretty-boy’ pop-culture and China’s harder approach to the current Sino-US tensions have correspondingly emerged and continued to brew. Chinese masculinity imagined in these films is one of the key factors that enable a gendered interpretation of the correlation between the Chinese on-screen fantasy and off-screen reality, that is, China’s public and official discourse about the hegemonic masculinity and non-hegemonic masculinity as well as China’s international profile on cinematic appearance and in today’s Sino-US relation. By reading closely at the four megahits as visual-audio texts with Chinese masculinity studies by Kam Louie and Geng Song, this paper attempts to examine the Chinese construction of manliness with historical accounts and argue why and how the recurrent emphasis of hard/military masculinity (wu) on screen are viewed as China’s contemporary rewriting of the ‘sick-man’ history in the film form. Through this investigation, the paper finds that the rewriting of the ‘sick-man’ history in the cinematic world through heroic brawny soldiers comes to resonate a collective anxiety of China in countering the real-life increasing feminized masculinity on the public appearance, particularly on the male celebrities. In addition, the superpower fantasy about China illuminates a hypermasculine imaginary of China as a global rising power and this coincidently echoes China’s current tougher diplomatic strategy tackling the Sino-US trade war, South China sea dispute and Huawei-US lawsuits.

Keywords: Chinese masculinity, Chinese military action film, feminized masculinity, manhood and nationhood, sick man of Asia

Procedia PDF Downloads 115
463 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 420
462 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 417
461 A Low Profile Dual Polarized Slot Coupled Patch Antenna

Authors: Mingde Du, Dong Han

Abstract:

A low profile, dual polarized, slot coupled patch antenna is designed and developed in this paper. The antenna has a measured bandwidth of 17.2% for return loss > 15 dB and pair ports isolation >23 dB. The gain of the antenna is over 10 dBi and the half power beam widths (HPBW) of the antenna are 80±3o in the horizontal plane and 39±2o in the vertical plane. The cross polarization discrimination (XPD) is less than 20 dB in HPBW. Within the operating band, the performances of good impedance match, high ports isolation, low cross polarization, and stable radiation patterns are achieved.

Keywords: dual polarized, patch antenna, slot coupled, base station antenna

Procedia PDF Downloads 423
460 3-D Numerical Model for Wave-Induced Seabed Response around an Offshore Pipeline

Authors: Zuodong Liang, Dong-Sheng Jeng

Abstract:

Seabed instability around an offshore pipeline is one of key factors that need to be considered in the design of offshore infrastructures. Unlike previous investigations, a three-dimensional numerical model for the wave-induced soil response around an offshore pipeline is proposed in this paper. The numerical model was first validated with 2-D experimental data available in the literature. Then, a parametric study will be carried out to examine the effects of wave, seabed characteristics and confirmation of pipeline. Numerical examples demonstrate significant influence of wave obliquity on the wave-induced pore pressures and the resultant seabed liquefaction around the pipeline, which cannot be observed in 2-D numerical simulation.

Keywords: pore pressure, 3D wave model, seabed liquefaction, pipeline

Procedia PDF Downloads 338
459 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 401
458 The Strategies to Improve the Pedestrian System in the Context of Old Aging

Authors: Yuxiao Jiang, Dong Ma, Mengyu Zhan, Yingxia Yun

Abstract:

China now is entering the phase of old aging and the aging speed is on acceleration. The proportion of the aged citizens in the urban areas is getting larger. Traveling on foot is one of the main travel methods for the old, but the bad walking environment and unsystematic pedestrian system cause inconvenience to the old who travel on foot. The paper analyzes the behavioral characteristics and the spatial preferences of the elderly group as well as the new traffic demands of them, finding out that some problems exist in the current pedestrian system. Thus, the paper proposes strategies in the areas of planning and design, and engineering technology so as to promote the traffic environment and perfect the pedestrian system for the old people.

Keywords: old aging, pedestrian system, perfection strategies, travel characteristics, future demand

Procedia PDF Downloads 361
457 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 647
456 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 142
455 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 291
454 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 403
453 Synthesis and Properties of Sulfonate Gemini Surfactants with Amide Groups

Authors: Rui Wang, Shanfa Tang, Yuanwu Dong, Siyao Wang, Zhaowen Jiang, Di Han

Abstract:

A sulfonate Gemini surfactant sodium N,N`-bis(tetradecanoyl) propanediamine dipropyl sulfonate (GNS-14) was synthesized from 1,3-propanediamine, tetradecanoyl chloride, and1,3-propanesulfonic lactone. GNS-14 was characterized by FT-IR, 1H NMR. The surface activity, interfacial activity, and emulsification properties of GNS-14 solution were systematically studied. The critical micelle concentration (CCMC) of GNS-14 surfactant was 0.056 mmol/L, and the surface tension (γCMC) was 18.2 mN/m; at 50℃, 0.5% GNS-14 solution can reduce the oil-water interfacial tension to 6.5×10−2 mN/m. GNS-14 has excellent surface activity, interfacial activity, and emulsifying properties.

Keywords: gemini surfactants, surface tension, low interfacial tension, emulsifying properties

Procedia PDF Downloads 116
452 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 195