Search results for: Jing Fang
307 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 691306 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 169305 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 321304 Diallyl Trisulfide Protects the Rat Liver from CCl4-Induced Injury and Fibrogenesis by Attenuating Oxidative Stress
Authors: Xiao-Jing Zhu, Liang Zhou, Shi-Zhong Zheng
Abstract:
Various studies have shown that diallyl trisulfide (DATS) can protect the liver injury, and DATS has a strong antioxidant property. The aim of this study is to evaluate the in vivo role of DATS in protecting the liver against injury and fibrogenesis and further explores the underlying mechanisms. Our results demonstrated that DATS protected the liver from CCl4-caused injury by suppressing the elevation of ALT and AST activities, and by improving the histological architecture of the liver. Treatment with DATS or colchicine improved the liver fibrosis by sirius red staining and immunofluorescence. In addition, immunohistochemistry, western blot, and RT-PCR analyses indicated that DATS inhibited HSC activation. Furthermore, DATS attenuated oxidative stress by increasing glutathione and reducing lipid peroxides and malondialdehyde. These findings suggest that the protective effect of DATS on CCl4-caused liver injury and liver fibrogenesis was, at least partially, attributed to its antioxidant activity.Keywords: liver fibrogenesis, liver injury, oxidative stress, DATS
Procedia PDF Downloads 431303 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 426302 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 230301 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 416300 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 435299 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 220298 Finding the Reaction Constant between Humic Acid and Aluminum Ion by Fluorescence Quenching Effect
Authors: Wen Po Cheng, Chen Zhao Feng, Ruey Fang Yu, Lin Jia Jun, Lin Ji Ye, Chen Yuan Wei
Abstract:
Humic acid was used as the removal target for evaluating the coagulation efficiency in this study. When the coagulant ions mix with a humic acid solution, a Fluorescence quenching effect may be observed conditionally. This effect can be described by Stern-Volmer linear equation which can be used for quantifying the quenching value (Kq) of the Fluorescence quenching effect. In addition, a Complex-Formation Titration (CFT) theory was conducted and the result was used to explain the electron-neutralization capability of the coagulant (AlCl₃) at different pH. The results indicated that when pH of the ACl₃ solution was between 6 and 8, fluorescence quenching effect obviously occurred. The maximum Kq value was found to be 102,524 at pH 6. It means that the higher the Kq value is, the better complex reaction between a humic acid and aluminum salts will be. Through the Kq value study, the optimum pH can be quantified when the humic acid solution is coagulated with aluminum ions.Keywords: humic acid, fluorescence quenching effect, complex reaction, titration
Procedia PDF Downloads 578297 Effect of Using a Mixture of Al2O3 Nanoparticles and 3-Aminopropyltriethoxysilane as the Sensing Membrane for Polysilicon Wire on pH Sensing
Authors: You-Lin Wu, Zong-Xian Wu, Jing-Jenn Lin, Shih-Hung Lin
Abstract:
In this work, a polysilicon wire (PSW) coated with a mixture of 3-aminopropyltriethoxysilane (r-APTES) and Al2O3 nanoparticles as the sensing membrane prepared with various Al2O3/r-APTES and dispersing agent/r-APTES ratios for pH sensing is studied. The r-APTES and dispersed Al2O3 nanoparticles mixture was directly transferred to PSW surface by solution phase deposition (SPD). It is found that using a mixture of Al2O3 nanoparticles and r-APTES as the sensing membrane help in improving the pH sensing of the PSW sensor and a 5 min SPD deposition time is the best. Dispersing agent is found to be necessary for better pH sensing when preparing the mixture of Al2O3 nanoparticles and r-APTES. The optimum condition for preparing the mixture is found to be Al2O3/r-APTES ratio of 2% and dispersing agent/r-APTES ratio of 0.3%.Keywords: al2o3 nanoparticles, ph sensing, polysilicon wire sensor, r-aptes
Procedia PDF Downloads 413296 Direct Palladium-Catalyzed Selective N-Allylation of 2,3-Disubstituted Indoles with Allylic Alcohols in Water
Authors: Bai-Jing Peng, Shyh-Chyun Yang
Abstract:
Organic reactions in water have recently attracted much attention, not only because unique reactivity is often observed in water but also because water is a safe and economical substitute for conventional organic solvents. Thus, development of environmental safe, atom-economical reactions in water is one of the most important goals of synthetic chemistry. The recent paper has documented renewed interest in the use of allylic substrates in the synthesis of new C−C, C−N, and C−O bonds. We have reported our attempts and some successful applications of a process involving the C-O bond cleavage catalyzed by palladium or platinum complexes in water. Because of the importance of heterocycle indole derivatives, much effort has been directed toward the development of methods for functionalization of the indole nucleus at N1 site. In our research, the palladium-catalyzed 2,3-disubstitued indoles with allylic alcohols was investigated under different conditions. Herein, we will establish a simple, convenient, and efficient method, which affords high yields of allylated indoles.Keywords: palladium-catalyzed, allylic alcohols, indoles, water, allylation
Procedia PDF Downloads 238295 The Research of 'Rope Coiling' Effect in Near-Field Electrospinning
Authors: Feiyu Fang, Han Wang, Xin Chen, Jun Zeng, Feng Liang, Peixuan Wu
Abstract:
The 'rope coiling' effect is a normal instability phenomenon widespread exists in viscous fluid, elastic rods and polymeric fibers owing to compressive stress when they fall into a moving belt. Near-field electro-spinning is the modified electro-spinning technique has the ability to direct write micro fibers. In this research, we study the “rope coiling” effect in near-field electro-spinning. By changing the distance between nozzle and collector or the speed ratio between the charge jet speed and the platform moving speed, we obtain a pile of different models coils including the meandering, alternating and coiling patterns. Therefore, this instability can be used to direct write micro structured fibers with a one-step process.Keywords: rope coiling effects, near-field electrospinning, direct write, micro structure
Procedia PDF Downloads 354294 Chemical Functionalization of Graphene Oxide for Improving Mechanical and Thermal Properties of Polyurethane Composites
Authors: Qifei Jing, Vadim V. Silberschmidt, Lin Li, ZhiLi Dong
Abstract:
Graphene oxide (GO) was chemically functionalized to prepare polyurethane (PU) composites with improved mechanical and thermal properties. In order to achieve a well exfoliated and stable GO suspension in an organic solvent (dimethylformamide, DMF), 4, 4′- methylenebis(phenyl isocyanate) and polycaprolactone diol, which were the two monomers for synthesizing PU, were selectively used to functionalize GO. The obtained functionalized GO (FGO) could form homogeneous dispersions in DMF solvent and the PU matrix, as well as provide a good compatibility with the PU matrix. The most efficient improvement of mechanical properties was achieved when 0.4 wt% FGO was added into the PU matrix, showing increases in the tensile stress, elongation at break and toughness by 34.2%, 27.6% and 64.5%, respectively, compared with those of PU. Regarding the thermal stability, PU filled with 1 wt% FGO showed the largest extent of improvement with T2% and T50% (the temperatures at which 2% and 50% weight-loss happened) 16 °C and 21 °C higher than those of PU, respectively. The significant improvement in both mechanical properties and thermal stability of FGO/PU composites should be attributed to the homogeneous dispersion of FGO in the PU matrix and strong interfacial interaction between them.Keywords: composite, dispersion, graphene oxide, polyurethane
Procedia PDF Downloads 263293 Performance Comparison of Space-Time Block and Trellis Codes under Rayleigh Channels
Authors: Jing Qingfeng, Wu Jiajia
Abstract:
Due to the crowded orbits and shortage of frequency resources, utilizing of MIMO technology to improve spectrum efficiency and increase the capacity has become a necessary trend of broadband satellite communication. We analyze the main influenced factors and compare the BER performance of space-time block code (STBC) scheme and space-time trellis code (STTC) scheme. This paper emphatically studies the bit error rate (BER) performance of STTC and STBC under Rayleigh channel. The main emphasis is placed on the effects of the factors, such as terminal environment and elevation angles, on the BER performance of STBC and STTC schemes. Simulation results indicate that performance of STTC under Rayleigh channel is obviously improved with the increasing of transmitting and receiving antennas numbers, but the encoder state has little impact on the performance. Under Rayleigh channel, performance of Alamouti code is better than that of STTC.Keywords: MIMO, space time block code (STBC), space time trellis code (STTC), Rayleigh channel
Procedia PDF Downloads 348292 Gravitational Frequency Shifts for Photons and Particles
Authors: Jing-Gang Xie
Abstract:
The research, in this case, considers the integration of the Quantum Field Theory and the General Relativity Theory. As two successful models in explaining behaviors of particles, they are incompatible since they work at different masses and scales of energy, with the evidence that regards the description of black holes and universe formation. It is so considering previous efforts in merging the two theories, including the likes of the String Theory, Quantum Gravity models, and others. In a bid to prove an actionable experiment, the paper’s approach starts with the derivations of the existing theories at present. It goes on to test the derivations by applying the same initial assumptions, coupled with several deviations. The resulting equations get similar results to those of classical Newton model, quantum mechanics, and general relativity as long as conditions are normal. However, outcomes are different when conditions are extreme, specifically with no breakdowns even for less than Schwarzschild radius, or at Planck length cases. Even so, it proves the possibilities of integrating the two theories.Keywords: general relativity theory, particles, photons, Quantum Gravity Model, gravitational frequency shift
Procedia PDF Downloads 359291 Contagious Corporate Reputation Risk: Uncovering the Pandemic’s Impact
Authors: Yawen Xia, Rubi Yang, Jing Zhao
Abstract:
By using the Reputation Risk Index (RRI) to measure company environmental, social, and governance (ESG) activities, this research studies firms’ ESG comovement with their industry and local peers. This comovement is attenuated during the Covid-19 pandemic. Further analysis shows that corporate governance plays an important role in comovement decrease. We classify companies by region (city, state, region) and industry and calculate the average RRI of companies of the same type. We run separate regressions to test 1) industry comovement; 2) local comovement; 3) Covid-19 pandemic and reputation risk comovement; 4) corporate governance and reputation risk comovement. Our findings are consistent with previous literature that companies follow their industry and local counterparts in engaging in irresponsible activities and reducing ESG engagement. We speculate Covid shock led to a reduction in social activities and information sharing among enterprise managers, and comovement between enterprises, as a result, decreased during the pandemic.Keywords: ESG, Covid, peer pressure, local comovement, corporate governance
Procedia PDF Downloads 135290 Improving Internal Efficiency of Local Universities and Colleges: Asseessing the Impact of the 085 Project in Shanghai
Authors: Qing Hui Wang, You Lin Fang, Min Chen
Abstract:
In 2003 the percentage of students in Shanghai taking part in tertiary education reached 53% of the age cohort, which is at the universal level according to Trow's typology. This achievement led to a conscientious effort by the government to improve internal efficiency of local universities and colleges through a series of programs, the most important of which is the 085 Project. This paper considers the effects of the 085 Project- the 5 initiatives launched in 2008 on increasing the investment to improve institutional overall visibilities, teaching excellence, knowledge innovation, faculty development as well as internationalization. Using the approach of ERC (a theory of equality, reciprocity, and competition) model, it was found that the initiatives helped the lower tier universities and colleges make full play in the aspects of strategic planning and identifying themselves. It was also found that the rate of growth of social resources for universities as a whole increased more quickly after the implementation of the 085 Project.Keywords: 085 Project, impact, internal efficiency, local universities and colleges
Procedia PDF Downloads 468289 Barrier Lowering in Contacts between Graphene and Semiconductor Materials
Authors: Zhipeng Dong, Jing Guo
Abstract:
Graphene-semiconductor contacts have been extensively studied recently, both as a stand-alone diode device for potential applications in photodetectors and solar cells, and as a building block to vertical transistors. Graphene is a two-dimensional nanomaterial with vanishing density-of-states at the Dirac point, which differs from conventional metal. In this work, image-charge-induced barrier lowering (BL) in graphene-semiconductor contacts is studied and compared to that in metal Schottky contacts. The results show that despite of being a semimetal with vanishing density-of-states at the Dirac point, the image-charge-induced BL is significant. The BL value can be over 50% of that of metal contacts even in an intrinsic graphene contacted to an organic semiconductor, and it increases as the graphene doping increases. The dependences of the BL on the electric field and semiconductor dielectric constant are examined, and an empirical expression for estimating the image-charge-induced BL in graphene-semiconductor contacts is provided.Keywords: graphene, semiconductor materials, schottky barrier, image charge, contacts
Procedia PDF Downloads 303288 Optimal Peer-to-Peer On-Orbit Refueling Mission Planning with Complex Constraints
Authors: Jing Yu, Hongyang Liu, Dong Hao
Abstract:
On-Orbit Refueling is of great significance in extending space crafts' lifetime. The problem of minimum-fuel, time-fixed, Peer-to-Peer On-Orbit Refueling mission planning is addressed here with the particular aim of assigning fuel-insufficient satellites to the fuel-sufficient satellites and optimizing each rendezvous trajectory. Constraints including perturbation, communication link, sun illumination, hold points for different rendezvous phases, and sensor switching are considered. A planning model has established as well as a two-level solution method. The upper level deals with target assignment based on fuel equilibrium criterion, while the lower level solves constrained trajectory optimization using special maneuver strategies. Simulations show that the developed method could effectively resolve the Peer-to-Peer On-Orbit Refueling mission planning problem and deal with complex constraints.Keywords: mission planning, orbital rendezvous, on-orbit refueling, space mission
Procedia PDF Downloads 226287 Application on Metastable Measurement with Wide Range High Resolution VDL Circuit
Authors: Po-Hui Yang, Jing-Min Chen, Po-Yu Kuo, Chia-Chun Wu
Abstract:
This paper proposed a high resolution Vernier Delay Line (VDL) measurement circuit with coarse and fine detection mechanism, which improved the trade-off problem between high resolution and less delay cells in traditional VDL circuits. And the measuring time of proposed measurement circuit is also under the high resolution requests. At first, the testing range of input signal which proposed high resolution delay line is detected by coarse detection VDL. Moreover, the delayed input signal is transmitted to fine detection VDL for measuring value with better accuracy. This paper is implemented at 0.18μm process, operating frequency is 100 MHz, and the resolution achieved 2.0 ps with only 16-stage delay cells. The test range is 170ps wide, and 17% stages saved compare with traditional single delay line circuit.Keywords: vernier delay line, D-type flip-flop, DFF, metastable phenomenon
Procedia PDF Downloads 597286 Teachers’ and Students’ Reactions to a Guided Reading Program Designed by a Teachers’ Professional Learning Community
Authors: Yea-Mei Leou, Shiu-Hsung Huang, T. C. Shen, Chin-Ya Fang
Abstract:
The purposes of this study were to explore how to establish a professional learning community for English teachers at a junior high school, and to explore how teachers and students think about the guided reading program. The participants were three experienced English teachers and their ESL seventh-grade students from three classes in a junior high school. Leveled picture books and worksheets were used in the program. Questionnaires and interviews were used for gathering information. The findings were as follows: First, most students enjoyed this guided reading program. Second, the teachers thought the guided reading program was helpful to students’ learning and the discussions in the professional learning community refreshed their ideas, but the preparation for the teaching was time-consuming. Suggestions based on the findings were provided.Keywords: ESL students, guided reading, leveled books, professional learning community
Procedia PDF Downloads 377285 Saliency Detection Using a Background Probability Model
Authors: Junling Li, Fang Meng, Yichun Zhang
Abstract:
Image saliency detection has been long studied, while several challenging problems are still unsolved, such as detecting saliency inaccurately in complex scenes or suppressing salient objects in the image borders. In this paper, we propose a new saliency detection algorithm in order to solving these problems. We represent the image as a graph with superixels as nodes. By considering appearance similarity between the boundary and the background, the proposed method chooses non-saliency boundary nodes as background priors to construct the background probability model. The probability that each node belongs to the model is computed, which measures its similarity with backgrounds. Thus we can calculate saliency by the transformed probability as a metric. We compare our algorithm with ten-state-of-the-art salient detection methods on the public database. Experimental results show that our simple and effective approach can attack those challenging problems that had been baffling in image saliency detection.Keywords: visual saliency, background probability, boundary knowledge, background priors
Procedia PDF Downloads 429284 Through 7S Model to Promote the Service Innovation Management
Authors: Cheng Fang Hsu
Abstract:
Call center is the core of building customer relationship management system. Under the strong competitive stress, it becomes a new profiting challenge for a successful enterprise. Call center is a department not only to provide customer service but also to bring business profit. This is the qualitative case study in Taiwan bank service industry which goes on deeper exploration, and analysis by business interviews and industrial analysis. This study starts from the establishment, development, and management after the reforming of the case call center. Through SWOT analysis, and industrial analysis, this study adopted 7S model to explain how the call center reforms from service oriented to profit oriented and from cost management to profit management. The results indicated how service innovation management promotes call center to be operated as a market profit competition center. The recommendations are indicated to support the call center on marketing profit by service innovation management.Keywords: call center, 7S model, service innovation management, bioinformatics
Procedia PDF Downloads 487283 Exploration of Competitive Athletes’ Superstition in Taiwan: “Miracle” and “Coincidence”
Authors: Shieh Shiow-Fang
Abstract:
Superstitious thoughts or actions often occur during athletic competitions. Often "superstitious rituals" have a positive impact on the performance of competitive athletes. Athletes affirm the many psychological benefits of religious beliefs mostly in a positive way. Method: By snowball sampling, we recruited 10 experienced competitive athletes as participants. We used in-person and online one-to-one in-depth interviews to collect their experiences about sports superstition. The total interview time was 795 minutes. We analyzed the raw data with the grounded theory processes suggested by Strauss and Corbin (1990). Results: The factors affecting athlete performance are ritual beliefs, taboo awareness, learning norms, and spontaneous attribution behaviors. Conclusion: We concluded that sports superstition reflects several psychological implications. The analysis results of this paper can provide another research perspective for the future study of sports superstition behavior.Keywords: superstition, taboo awarences, competitive athlete, learning norms
Procedia PDF Downloads 76282 Design of Reconfigurable Supernumerary Robotic Limb Based on Differential Actuated Joints
Authors: Qinghua Zhang, Yanhe Zhu, Xiang Zhao, Yeqin Yang, Hongwei Jing, Guoan Zhang, Jie Zhao
Abstract:
This paper presents a wearable reconfigurable supernumerary robotic limb with differential actuated joints, which is lightweight, compact and comfortable for the wearers. Compared to the existing supernumerary robotic limbs which mostly adopted series structure with large movement space but poor carrying capacity, a prototype with the series-parallel configuration to better adapt to different task requirements has been developed in this design. To achieve a compact structure, two kinds of cable-driven mechanical structures based on guide pulleys and differential actuated joints were designed. Moreover, two different tension devices were also designed to ensure the reliability and accuracy of the cable-driven transmission. The proposed device also employed self-designed bearings which greatly simplified the structure and reduced the cost.Keywords: cable-driven, differential actuated joints, reconfigurable, supernumerary robotic limb
Procedia PDF Downloads 221281 The Determinants of Senior Students, Behavioral Intention on the Blended E-Learning for the Ceramics Teaching Course at the Active Aging University
Authors: Horng-Jyh Chen, Yi-Fang Chen, Chien-Liang Lin
Abstract:
In this paper, the authors try to investigate the determinants of behavioral intention of the blended e-learning course for senior students at the Active Ageing University in Taiwan. Due to lower proficiency in the use of computers and less experience on learning styles of the blended e-learning course for senior students will be expected quite different from those for most young students. After more than five weeks course for two years the questionnaire survey is executed to collect data for statistical analysis in order to understand the determinants of the behavioral intention for senior students. The object of this study is at one of the Active Ageing University in Taiwan total of 84 senior students in the blended e-learning for the ceramics teaching course. The research results show that only the perceived usefulness of the blended e-learning course has significant positive relationship with the behavioral intention.Keywords: Active Aging University, blended e-learning, ceramics teaching course, behavioral intention
Procedia PDF Downloads 410280 The Influence of Contact Models on Discrete Element Modeling of the Ballast Layer Subjected to Cyclic Loading
Authors: Peyman Aela, Lu Zong, Guoqing Jing
Abstract:
Recently, there has been growing interest in numerical modeling of ballast railway tracks. A commonly used mechanistic modeling approach for ballast is the discrete element method (DEM). Up to now, the effects of the contact model on ballast particle behavior have not been precisely examined. In this regard, selecting the appropriate contact model is mainly associated with the particle characteristics and the loading condition. Since ballast is cohesionless material, different contact models, including the linear spring, Hertz-Mindlin, and Hysteretic models, could be used to calculate particle-particle or wall-particle contact forces. Moreover, the simulation of a dynamic test is vital to investigate the effect of damping parameters on the ballast deformation. In this study, ballast box tests were simulated by DEM to examine the influence of different contact models on the mechanical behavior of the ballast layer under cyclic loading. This paper shows how the contact model can affect the deformation and damping of a ballast layer subjected to cyclic loading in a ballast box.Keywords: ballast, contact model, cyclic loading, DEM
Procedia PDF Downloads 196279 Calculate Product Carbon Footprint through the Internet of Things from Network Science
Authors: Jing Zhang
Abstract:
To reduce the carbon footprint of mankind and become more sustainable is one of the major challenges in our era. Internet of Things (IoT) mainly resolves three problems: Things to Things (T2T), Human to Things, H2T), and Human to Human (H2H). Borrowing the classification of IoT, we can find carbon prints of industries also can be divided in these three ways. Therefore, monitoring the routes of generation and circulation of products may help calculate product carbon print. This paper does not consider any technique used by IoT itself, but the ideas of it look at the connection of products. Carbon prints are like a gene or mark of a product from raw materials to the final products, which never leave the products. The contribution of this paper is to combine the characteristics of IoT and the methodology of network science to find a way to calculate the product's carbon footprint. Life cycle assessment, LCA is a traditional and main tool to calculate the carbon print of products. LCA is a traditional but main tool, which includes three kinds.Keywords: product carbon footprint, Internet of Things, network science, life cycle assessment
Procedia PDF Downloads 116278 An Attribute Based Access Control Model with POL Module for Dynamically Granting and Revoking Authorizations
Authors: Gang Liu, Huimin Song, Can Wang, Runnan Zhang, Lu Fang
Abstract:
Currently, resource sharing and system security are critical issues. This paper proposes a POL module composed of PRIV ILEGE attribute (PA), obligation and log which improves attribute based access control (ABAC) model in dynamically granting authorizations and revoking authorizations. The following describes the new model termed PABAC in terms of the POL module structure, attribute definitions, policy formulation and authorization architecture, which demonstrate the advantages of it. The POL module addresses the problems which are not predicted before and not described by access control policy. It can be one of the subject attributes or resource attributes according to the practical application, which enhances the flexibility of the model compared with ABAC. A scenario that illustrates how this model is applied to the real world is provided.Keywords: access control, attribute based access control, granting authorizations, privilege, revoking authorizations, system security
Procedia PDF Downloads 359