Search results for: Jing Yang Quek
904 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 691903 Catalytic Production of Hydrogen and Carbon Nanotubes over Metal/SiO2 Core-Shell Catalyst from Plastic Wastes Gasification
Authors: Wei-Jing Li, Ren-Xuan Yang, Kui-Hao Chuang, Ming-Yen Wey
Abstract:
Nowadays, plastic product and utilization are extensive and have greatly improved our life. Yet, plastic wastes are stable and non-biodegradable challenging issues to the environment. Waste-to-energy strategies emerge a promising way for waste management. This work investigated the co-production of hydrogen and carbon nanotubes from the syngas which was from the gasification of polypropylene. A nickel-silica core-shell catalyst was applied for syngas reaction from plastic waste gasification in a fixed-bed reactor. SiO2 were prepared through various synthesis solvents by Stöber process. Ni plays a role as modified SiO2 support, which were synthesized by deposition-precipitation method. Core-shell catalysts have strong interaction between active phase and support, in order to avoid catalyst sintering. Moreover, Fe or Co metal acts as promoter to enhance catalytic activity. The effects of calcined atmosphere, second metal addition, and reaction temperature on hydrogen production and carbon yield were examined. In this study, the catalytic activity and carbon yield results revealed that the Ni/SiO2 catalyst calcined under H2 atmosphere exhibited the best performance. Furthermore, Co promoted Ni/SiO2 catalyst produced 3 times more than Ni/SiO2 on carbon yield at long-term operation. The structure and morphological nature of the calcined and spent catalysts were examined using different characterization techniques including scanning electron microscopy, transmission electron microscopy, X-ray diffraction. In addition, the quality and thermal stability of the nano-carbon materials were also evaluated by Raman spectroscopy and thermogravimetric analysis.Keywords: plastic wastes, hydrogen, carbon nanotube, core-shell catalysts
Procedia PDF Downloads 319902 Microstructure of AlCrFeNiMn High Entropy Alloy and Its Corrosion Behavior in Supercritical CO₂ Environment
Authors: Yang Wanhuan, Zou Jichun, LI Shen, Zhong Weihua, Yang Wen
Abstract:
High entropy alloys (HEAs) have aroused significant concern in high-temperature supercritical carbon dioxide (S-CO2) environments due to their unique microstructures and outstanding properties. However, the anti-corrosion ability and mechanism of these HEAs in the S-CO₂ remain unclear. Herein, we developed a new AlCrFeNiMn (AM)-HEA with double phases by vacuum arc melting furnace. The corrosion behavior of AM-HEA in the S-CO₂ at 500 ℃ under 25 MPa for 400 hours was deciphered by multiple characterization techniques. The results show that the discrepancy of corrosion between the matrix and boundary was accounted for by their microstructure and components. The role and mechanism of Mn contents for their oxide scales in boundary zones were emphasized. More importantly, the nano-precipitated second phase and numerous boundaries for the outstanding anti-corrosion ability of the matrix were proposed.Keywords: high entropy alloy, microstructure, corrosion, supercritical carbon oxide, AlCrFeNiMn
Procedia PDF Downloads 146901 The Use of Space Syntax in Urban Transportation Planning and Evaluation: Limits and Potentials
Authors: Chuan Yang, Jing Bie, Yueh-Lung Lin, Zhong Wang
Abstract:
Transportation planning is an academic integration discipline combining research and practice with the aim of mobility and accessibility improvements at both strategic-level policy-making and operational dimensions of practical planning. Transportation planning could build the linkage between traffic and social development goals, for instance, economic benefits and environmental sustainability. The transportation planning analysis and evaluation tend to apply empirical quantitative approaches with the guidance of the fundamental principles, such as efficiency, equity, safety, and sustainability. Space syntax theory has been applied in the spatial distribution of pedestrian movement or vehicle flow analysis, however rare has been written about its application in transportation planning. The correlated relationship between the variables of space syntax analysis and authentic observations have declared that the urban configurations have a significant effect on urban dynamics, for instance, land value, building density, traffic, crime. This research aims to explore the potentials of applying Space Syntax methodology to evaluate urban transportation planning through studying the effects of urban configuration on cities transportation performance. By literature review, this paper aims to discuss the effects that urban configuration with different degrees of integration and accessibility have on three elementary components of transportation planning - transportation efficiency, transportation safety, and economic agglomeration development - via intensifying and stabilising the nature movements generated by the street network. And then the potential and limits of Space Syntax theory to study the performance of urban transportation and transportation planning would be discussed in the paper. In practical terms, this research will help future research explore the effects of urban design on transportation performance, and identify which patterns of urban street networks would allow for most efficient and safe transportation performance with higher economic benefits.Keywords: transportation planning, space syntax, economic agglomeration, transportation efficiency, transportation safety
Procedia PDF Downloads 194900 Skew Cyclic Codes over Fq+uFq+…+uk-1Fq
Abstract:
This paper studies a special class of linear codes, called skew cyclic codes, over the ring R= Fq+uFq+…+uk-1Fq, where q is a prime power. A Gray map ɸ from R to Fq and a Gray map ɸ' from Rn to Fnq are defined, as well as an automorphism Θ over R. It is proved that the images of skew cyclic codes over R under map ɸ' and Θ are cyclic codes over Fq, and they still keep the dual relation.Keywords: skew cyclic code, gray map, automorphism, cyclic code
Procedia PDF Downloads 297899 Clinical Use of Opioid Analgesics in China: An Adequacy of Consumption Measure
Authors: Mengjia Zhi, Xingmei Wei, Xiang Gao, Shiyang Liu, Zhiran Huang, Li Yang, Jing Sun
Abstract:
Background: To understand the consumption trend of opioid analgesics and the consumption adequacy of opioid analgesic treatment for moderate to severe pain in China, as well as the pain control level of China with international perspective. Importance: To author’s best knowledge, this is the first study in China to measure the adequacy of opioid analgesic treatment for moderate to severe pain considering disease pattern and with the standardized pain treatment guideline. Methods: A retrospective analysis was carried out to show the consumption frequency (daily defined doses, DDDs) of opioid analgesics and its trend in China from 2006 to 2016. Adequacy of consumption measure (ACM) was used to measure the number of needed morphine equivalents and the overall adequacy of opioid analgesic treatment of moderate to severe pain in China, and compared with international data. Results: The consumption frequency of opioid analgesics (DDDs) in China increased from 13,200,000 DDDs in 2006 to 44,200,000 DDDs in 2016, and showed an increasing trend. The growth rate was faster at first, especially in 2013, then slowed down, decreased slightly in 2015. The ACM of China increased from 0.0032 in 2006 to 0.0074 in 2016, with an overall trend of growth. The ACM level of China has been always a very poor level during 2006-2016. Conclusion: The consumption of opioid analgesics for the treatment of moderate to severe pain in China has always been inadequate. There is a huge gap between China and the international level. There are many reasons behind this problem, which lie in different aspects, including medical staff, patients and the public, health systems and social & cultural aspects. It is necessary to strengthen the training and education of medical staff and the patients, to use mass media to disseminate scientific knowledge of pain management, to encourage communications between doctors and patients, to improve regulatory system for the controlled medicines and the overall health systems, and to balance the regulatory goal for avoidance of abuse, and the social goal of meeting the increasing needs of the people for better life.Keywords: opioid analgesics, adequate consumption measure, pain control, China
Procedia PDF Downloads 210898 Delay-Dependent Passivity Analysis for Neural Networks with Time-Varying Delays
Authors: H. Y. Jung, Jing Wang, J. H. Park, Hao Shen
Abstract:
This brief addresses the passivity problem for neural networks with time-varying delays. The aim is focus on establishing the passivity condition of the considered neural networks.Keywords: neural networks, passivity analysis, time-varying delays, linear matrix inequality
Procedia PDF Downloads 570897 Physical Activity Self-Efficacy among Pregnant Women with High Risk for Gestational Diabetes Mellitus: A Cross-Sectional Study
Authors: Xiao Yang, Ji Zhang, Yingli Song, Hui Huang, Jing Zhang, Yan Wang, Rongrong Han, Zhixuan Xiang, Lu Chen, Lingling Gao
Abstract:
Aim and Objectives: To examine physical activity self-efficacy, identify its predictors, and further explore the mechanism of action among the predictors in mainland Chinese pregnant women with high risk for gestational diabetes mellitus (GDM). Background: Physical activity could protect pregnant women from developing GDM. Physical activity self-efficacy was the key predictor of physical activity. Design: A cross-sectional study was conducted from October 2021 to May 2022 in Zhengzhou, China. Methods: 252 eligible pregnant women completed the Pregnancy Physical Activity Self-efficacy Scale, the Social Support for Physical Activity Scale, the Knowledge on Physical Activity Questionnaire, the 7-item Generalized Anxiety Disorder scale, the Edinburgh Postnatal Depression Scale, and a socio-demographic data sheet. Multiple linear regression was applied to explore the predictors of physical activity self-efficacy. Structural equation modeling was used to explore the mechanism of action among the predictors. Results: Chinese pregnant women with a high risk for GDM reported a moderate level of physical activity self-efficacy. The best-fit regression analysis revealed four variables explained 17.5% of the variance in physical activity self-efficacy. Social support for physical activity was the strongest predictor, followed by knowledge of the physical activity, intention to do physical activity, and anxiety symptoms. The model analysis indicated that knowledge of physical activity could release anxiety and depressive symptoms and then increase physical activity self-efficacy. Conclusion: The present study revealed a moderate level of physical activity self-efficacy. Interventions targeting pregnant women with high risk for GDM need to include the predictors of physical activity self-efficacy. Relevance to clinical practice: To facilitate pregnant women with high risk for GDM to engage in physical activity, healthcare professionals may find assess physical activity self-efficacy and intervene as soon as possible on their first antenatal visit. Physical activity intervention programs focused on self-efficacy may be conducted in further research.Keywords: physical activity, gestational diabetes, self-efficacy, predictors
Procedia PDF Downloads 101896 Influence of Yōmeigaku and Emerson on Meiji Intelligentsia: With Special Reference to Kitamura Tōkoku
Authors: Arpita Paul
Abstract:
Wang Yang-ming introduced a revolutionary dimension to Japanese thought through his philosophy on intuitive moral consciousness. Post-Meiji Restoration,Emerson struck a chord with the Japanese due to the striking similarities his theories on transcendentalism had with doctrines of Wang Yang-ming'sschool of thought (Yōmeigaku), as pointed out by HomeiIwano (1873-1920). Wang's philosophy, chiefly anchored in the idea of the fundamental unity of thought and action, resembles the non-dualistic aspect of Brahman, a subject of Emerson's deep interest. Kitamura Tōkoku's (1868-1894) ardent reading of Emerson corroborated what he had learned in Wang Yang-ming's philosophy. This essay shall begin with a discussion on Emerson's discoveries of Vedanta that later, on a parallel ground with Yōmeigaku, significantly influenced Tōkoku. This essay will then demonstrate how Tōkokutransforms these philosophies to portray the advent of modern consciousness in Japan in his magnum opus"Naibuseimeiron." In his attempt to undo the blindfold of past feudalism,Tōkoku repeatedly championed the mental process of a self-reliant individual in his essays which showcase the metamorphosis of Japanese individualism in the final decades of the Meiji Period. In seeking to express Japan's budding intellectual enterprise,Tōkoku asserts securing one's vantage point in the world through an awakened consciousness. In his desire to articulate this, Tōkoku becomes, as argued in this paper's penultimate and final sections, a fascinating merging point of the philosophical doctrines of Vedanta, Yōmeigaku, and Emerson, a rare depiction in the existing scholarship.Keywords: meiji intellengtsia, yomeigaku, vedanta, modern consciousness
Procedia PDF Downloads 131895 The Transformation of Beauty and Ugliness in Art Aesthetics
Abstract:
Since the mid-eighteenth century, when philosophers began to talk about aesthetic consciousness, beauty gradually became an independent system, and ugliness was often considered the opposite of beauty and neglected. Yet, ugliness itself has its self-regulation and aesthetic value. This paper explores the relationship between beauty and ugliness and the three forms of transformation between beauty and ugliness in artworks, looking at the history of ugliness in the East and the West, and giving an insight into the role of the artist in the transformation between beauty and ugliness.Keywords: artistic aesthetics, arts theory, aesthetic of the ugly, beauty and ugliness, arts of east and west
Procedia PDF Downloads 85894 Performance Analysis on the Smoke Management System of the Weiwuying Center for the Arts Using Hot Smoke Tests
Authors: K. H. Yang, T. C. Yeh, P. S. Lu, F. C. Yang, T. Y. Wu, W. J. Sung
Abstract:
In this study, a series of full-scale hot smoke tests has been conducted to validate the performances of the smoke management system in the WWY center for arts before grand opening. Totaled 19 scenarios has been established and experimented with fire sizes ranging from 2 MW to 10 MW. The measured ASET data provided by the smoke management system experimentation were compared with the computer-simulated RSET values for egress during the design phase. The experimental result indicated that this system could successfully provide a safety margin of 200% and ensure a safe evacuation in case of fire in the WWY project, including worst-cases and fail-safe scenarios. The methodology developed and results obtained in this project can provide a useful reference for future applications, such as for the large-scale indoor sports dome and arena, stadium, shopping malls, airport terminals, and stations or tunnels for railway and subway systems.Keywords: building hot smoke tests, performance-based smoke management system designs, full-scale experimental validation, tenable condition criteria
Procedia PDF Downloads 445893 Advancing Healthcare Excellence in China: Crafting a Strategic Operational Evaluation Index System for Chinese Hospital Departments amid Payment Reform Initiatives
Authors: Jing Jiang, Yuguang Gao, Yang Yu
Abstract:
Facing increasingly challenging insurance payment pressures, the Chinese healthcare system is undergoing significant transformations, akin to the implementation of DRG payment models by the United States' Medicare. Consequently, there is a pressing need for Chinese hospitals to establish optimizations in departmental operations tailored to the ongoing healthcare payment reforms. This abstract delineates the meticulous construction of a scientifically rigorous and comprehensive index system at the departmental level in China strategically aligned with the evolving landscape of healthcare payment reforms. Methodologically, it integrates key process areas and maturity assessment theories, synthesizing relevant literature and industry standards to construct a robust framework and indicator pool. Employing the Delphi method, consultations with 21 experts were conducted, revealing a collective demonstration of high enthusiasm, authority, and coordination in designing the index system. The resulting model comprises four primary indicators -technical capabilities, cost-effectiveness, operational efficiency, and disciplinary potential- supported by 14 secondary indicators and 23 tertiary indicators with varied coefficient adjustment for department types (platform or surgical). The application of this evaluation system in a Chinese hospital within the northeastern region yielded results aligning seamlessly with the actual operational scenario. In conclusion, the index system comprehensively considers the integrity and effectiveness of structural, process, and outcome indicators and stands as a comprehensive reflection of the collective expertise of the engaged experts, manifesting in a model designed to elevate the operational management of hospital departments. Its strategic alignment with healthcare payment reforms holds practical significance in guiding departmental development positioning, brand cultivation, and talent development.Keywords: Chinese healthcare system, Delphi method, departmental management, evaluation indicators, hospital operations, weight coefficients
Procedia PDF Downloads 66892 Performance Comparison of Non-Binary RA and QC-LDPC Codes
Abstract:
Repeat–Accumulate (RA) codes are subclass of LDPC codes with fast encoder structures. In this paper, we consider a nonbinary extension of binary LDPC codes over GF(q) and construct a non-binary RA code and a non-binary QC-LDPC code over GF(2^4), we construct non-binary RA codes with linear encoding method and non-binary QC-LDPC codes with algebraic constructions method. And the BER performance of RA and QC-LDPC codes over GF(q) are compared with BP decoding and by simulation over the Additive White Gaussian Noise (AWGN) channels.Keywords: non-binary RA codes, QC-LDPC codes, performance comparison, BP algorithm
Procedia PDF Downloads 376891 Improving Medication Understanding, Use and Self-Efficacy among Stroke Patients: A Randomised Controlled Trial; Study Protocol
Authors: Jamunarani Appalasamy, Tha Kyi Kyi, Quek Kia Fatt, Joyce Pauline Joseph, Anuar Zaini M. Zain
Abstract:
Background: The Health Belief Theory had always been associated with chronic disease management. Various health behaviour concepts and perception branching from this Health Belief Theory had involved with medication understanding, use, and self-efficacy which directly link to medication adherence. In a previous quantitative and qualitative study, stroke patients in Malaysia were found to be strongly believing information obtained by various sources such as the internet and social communication. This action leads to lower perception of their stroke preventative medication benefit which in long-term creates non-adherence. Hence, this study intends to pilot an intervention which uses audio-visual concept incorporated with mHealth service to enhance learning and self-reflection among stroke patients to manage their disease. Methods/Design: Twenty patients will be allocated to a proposed intervention whereas another twenty patients are allocated to the usual treatment. The intervention involves a series of developed audio-visual videos sent via mobile phone which later await for responses and feedback from the receiver (patient) via SMS or recorded calls. The primary outcome would be the medication understanding, use and self-efficacy measured over two months pre and post intervention. Secondary outcome is measured from changes of blood parameters and other self-reported questionnaires. Discussion: This study shall also assess uptake/attrition, feasibility, and acceptability of this intervention. Trial Registration: NMRR-15-851-24737 (IIR)Keywords: health belief, medication understanding, medication use, self-efficacy
Procedia PDF Downloads 220890 A Genetic Algorithm for the Load Balance of Parallel Computational Fluid Dynamics Computation with Multi-Block Structured Mesh
Authors: Chunye Gong, Ming Tie, Jie Liu, Weimin Bao, Xinbiao Gan, Shengguo Li, Bo Yang, Xuguang Chen, Tiaojie Xiao, Yang Sun
Abstract:
Large-scale CFD simulation relies on high-performance parallel computing, and the load balance is the key role which affects the parallel efficiency. This paper focuses on the load-balancing problem of parallel CFD simulation with structured mesh. A mathematical model for this load-balancing problem is presented. The genetic algorithm, fitness computing, two-level code are designed. Optimal selector, robust operator, and local optimization operator are designed. The properties of the presented genetic algorithm are discussed in-depth. The effects of optimal selector, robust operator, and local optimization operator are proved by experiments. The experimental results of different test sets, DLR-F4, and aircraft design applications show the presented load-balancing algorithm is robust, quickly converged, and is useful in real engineering problems.Keywords: genetic algorithm, load-balancing algorithm, optimal variation, local optimization
Procedia PDF Downloads 185889 Calycosin Ameliorates Osteoarthritis by Regulating the Imbalance Between Chondrocyte Synthesis and Catabolism
Authors: Hong Su, Qiuju Yan, Wei Du, En Hu, Zhaoyu Yang, Wei Zhang, Yusheng Li, Tao Tang, Wang yang, Shushan Zhao
Abstract:
Osteoarthritis (OA) is a severe chronic inflammatory disease. As the main active component of Astragalus mongholicus Bunge, a classic traditional ethnic herb, calycosin exhibits anti-inflammatory action and its mechanism of exact targets for OA have yet to be determined. In this study, we established an anterior cruciate ligament transection (ACLT) mouse model. Mice were randomized to sham, OA, and calycosin groups. Cartilage synthesis markers type II collagen (Col-2) and SRY-Box Transcription Factor 9 (Sox-9) increased significantly after calycosin gavage. While cartilage matrix degradation index cyclooxygenase-2 (COX-2), phosphor-epidermal growth factor receptor (p-EGFR), and matrix metalloproteinase-9 (MMP9) expression were decreased. With the help of network pharmacology and molecular docking, these results were confirmed in chondrocyte ATDC5 cells. Our results indicated that the calycosin treatment significantly improved cartilage damage, this was probably attributed to reversing the imbalance between chondrocyte synthesis and catabolism.Keywords: calycosin, osteoarthritis, network pharmacology, molecular docking, inflammatory, cyclooxygenase 2
Procedia PDF Downloads 102888 Visual Thing Recognition with Binary Scale-Invariant Feature Transform and Support Vector Machine Classifiers Using Color Information
Authors: Wei-Jong Yang, Wei-Hau Du, Pau-Choo Chang, Jar-Ferr Yang, Pi-Hsia Hung
Abstract:
The demands of smart visual thing recognition in various devices have been increased rapidly for daily smart production, living and learning systems in recent years. This paper proposed a visual thing recognition system, which combines binary scale-invariant feature transform (SIFT), bag of words model (BoW), and support vector machine (SVM) by using color information. Since the traditional SIFT features and SVM classifiers only use the gray information, color information is still an important feature for visual thing recognition. With color-based SIFT features and SVM, we can discard unreliable matching pairs and increase the robustness of matching tasks. The experimental results show that the proposed object recognition system with color-assistant SIFT SVM classifier achieves higher recognition rate than that with the traditional gray SIFT and SVM classification in various situations.Keywords: color moments, visual thing recognition system, SIFT, color SIFT
Procedia PDF Downloads 468887 Simultaneous Nitrification and Denitrification in Suspended Activated Sludge Process Augmented with Immobilized Biomass: A Pilot Study
Authors: Haon-Yao Chen, Cheng-Fang Lin, Pui-Kwan Andy Hong, Ping-Yi Yang, Kok Kwang Ng, Sheng-Fu Yang
Abstract:
Simultaneous nitrification and denitrification (SND) are a natural phenomenon in the soil environment that can be applied in wastewater treatment. At a domestic wastewater treatment plant, we performed a pilot test of installing bioplates with entrapped biomass into a conventional aeration basin for SND, and investigated the effects of bioplate packing ratio, hydraulic retention time, dissolved oxygen level, on/off aeration mode, and supplemental carbon and alkalinity on nitrogen removal. With the pilot aeration basin of 1.3 m3 loaded with mixed liquor suspended solids of 1500-2500 mg/L and bioplates at PR of 3.2% (3.2% basin volume) operated at HRT of 6 h and DO of 4-6 mg/L without supplemental carbon or alkalinity, nitrogen in the wastewater was removed to an effluent total nitrogen (TN) of 7.3 mg/L from an influent TN of 28 mg/L. The bioplate robust cellulose triacetate structure carrying the biomass shows promise in retrofitting conventional aeration basins for enhanced nutrient removal.Keywords: immobilization, nitrification/denitrification, nutrient removal, total nitrogen
Procedia PDF Downloads 648886 Intelligent System of the Grinding Robot for Spiral Welded Pipe
Authors: Getachew Demeissie Ayalew, Yongtao Sun, Yang Yang
Abstract:
The spiral welded pipe manufacturing industry requires strict production standards for automated grinders for welding seams. However, traditional grinding machines in this sector are insufficient due to a lack of quality control protocols and inconsistent performance. This research aims to improve the quality of spiral welded pipes by developing intelligent automated abrasive belt grinding equipment. The system has equipped with six degrees of freedom (6 DOF) KUKA KR360 industrial robots, enabling concurrent grinding operations on both internal and external welds. The grinding robot control system is designed with a PLC, and a human-machine interface (HMI) system is employed for operations. The system includes an electric speed controller, data connection card, DC driver, analog amplifier, and HMI for input data. This control system enables the grinding of spiral welded pipe. It ensures consistent production quality and cost-effectiveness by reducing the product life cycle and minimizing risks in the working environment.Keywords: Intelligent Systems, Spiral Welded Pipe, Grinding, Industrial Robot, End-Effector, PLC Controller System, 3D Laser Sensor, HMI.
Procedia PDF Downloads 297885 Dose Evaluations with SNAP/RADTRAD for Loss of Coolant Accidents in a BWR6 Nuclear Power Plant
Authors: Kai Chun Yang, Shao-Wen Chen, Jong-Rong Wang, Chunkuan Shih, Jung-Hua Yang, Hsiung-Chih Chen, Wen-Sheng Hsu
Abstract:
In this study, we build RADionuclide Transport, Removal And Dose Estimation/Symbolic Nuclear Analysis Package (SNAP/RADTRAD) model of Kuosheng Nuclear Power Plant which is based on the Final Safety Evaluation Report (FSAR) and other data of Kuosheng Nuclear Power Plant. It is used to estimate the radiation dose of the Exclusion Area Boundary (EAB), the Low Population Zone (LPZ), and the control room following ‘release from the containment’ case in Loss Of Coolant Accident (LOCA). The RADTRAD analysis result shows that the evaluation dose at EAB, LPZ, and the control room are close to the FSAR data, and all of the doses are lower than the regulatory limits. At last, we do a sensitivity analysis and observe that the evaluation doses increase as the intake rate of the control room increases.Keywords: RADTRAD, radionuclide transport, removal and dose estimation, snap, symbolic nuclear analysis package, boiling water reactor, NPP, kuosheng
Procedia PDF Downloads 343884 Control of IL-23 Release in Dendritic Cells Protects Mice from Imiquimod-Induced Psoriasis
Authors: Xingxin Wu, Fenli Shao, Tao Tan, Yang Tan, Yang Sun, Qiang Xu
Abstract:
Psoriasis is a chronic inflammatory skin disease that affects about 2% of the world's population. IL-23 signaling plays a key role in the pathogenesis of psoriasis. Control of IL-23 release by small molecule compounds during developing psoriasis has not been well established. Here, we show that compound 1, a small molecule nature product, protected mice from imiquimod-induced psoriasis with improved skin lesions, reduced skin thickness, and reduced IL-23 mRNA expression in the skin tissue. FACS results showed compound 1 reduced the number of dendritic cells in the skin. Interestingly, compound 1 was not able to ameliorate IL-23-induced psoriasis-like skin inflammation in mice. Further, compound 1 inhibited MyD88-dependent IL-23 mRNA expression induced by LPS, CpG and imiquimod in BMDC cells, but not MyD88-independent CD80 and CD86 expression induced by LPS. The methods included real-time PCR, western blot, H & E staining, FACS and ELISA et al. In conclusion, compound 1 regulates MyD88-dependent signaling to control IL-23 release in dendritic cells, which improves imiquimod-induced psoriasis.Keywords: dendritic cells, IL-23, toll-like receptor signaling, psoriasis
Procedia PDF Downloads 645883 Moving Object Detection Using Histogram of Uniformly Oriented Gradient
Authors: Wei-Jong Yang, Yu-Siang Su, Pau-Choo Chung, Jar-Ferr Yang
Abstract:
Moving object detection (MOD) is an important issue in advanced driver assistance systems (ADAS). There are two important moving objects, pedestrians and scooters in ADAS. In real-world systems, there exist two important challenges for MOD, including the computational complexity and the detection accuracy. The histogram of oriented gradient (HOG) features can easily detect the edge of object without invariance to changes in illumination and shadowing. However, to reduce the execution time for real-time systems, the image size should be down sampled which would lead the outlier influence to increase. For this reason, we propose the histogram of uniformly-oriented gradient (HUG) features to get better accurate description of the contour of human body. In the testing phase, the support vector machine (SVM) with linear kernel function is involved. Experimental results show the correctness and effectiveness of the proposed method. With SVM classifiers, the real testing results show the proposed HUG features achieve better than classification performance than the HOG ones.Keywords: moving object detection, histogram of oriented gradient, histogram of uniformly-oriented gradient, linear support vector machine
Procedia PDF Downloads 594882 An Intelligent Nondestructive Testing System of Ultrasonic Infrared Thermal Imaging Based on Embedded Linux
Authors: Hao Mi, Ming Yang, Tian-yue Yang
Abstract:
Ultrasonic infrared nondestructive testing is a kind of testing method with high speed, accuracy and localization. However, there are still some problems, such as the detection requires manual real-time field judgment, the methods of result storage and viewing are still primitive. An intelligent non-destructive detection system based on embedded linux is put forward in this paper. The hardware part of the detection system is based on the ARM (Advanced Reduced Instruction Set Computer Machine) core and an embedded linux system is built to realize image processing and defect detection of thermal images. The CLAHE algorithm and the Butterworth filter are used to process the thermal image, and then the boa server and CGI (Common Gateway Interface) technology are used to transmit the test results to the display terminal through the network for real-time monitoring and remote monitoring. The system also liberates labor and eliminates the obstacle of manual judgment. According to the experiment result, the system provides a convenient and quick solution for industrial non-destructive testing.Keywords: remote monitoring, non-destructive testing, embedded Linux system, image processing
Procedia PDF Downloads 224881 mKDNAD: A Network Flow Anomaly Detection Method Based On Multi-teacher Knowledge Distillation
Abstract:
Anomaly detection models for network flow based on machine learning have poor detection performance under extremely unbalanced training data conditions and also have slow detection speed and large resource consumption when deploying on network edge devices. Embedding multi-teacher knowledge distillation (mKD) in anomaly detection can transfer knowledge from multiple teacher models to a single model. Inspired by this, we proposed a state-of-the-art model, mKDNAD, to improve detection performance. mKDNAD mine and integrate the knowledge of one-dimensional sequence and two-dimensional image implicit in network flow to improve the detection accuracy of small sample classes. The multi-teacher knowledge distillation method guides the train of the student model, thus speeding up the model's detection speed and reducing the number of model parameters. Experiments in the CICIDS2017 dataset verify the improvements of our method in the detection speed and the detection accuracy in dealing with the small sample classes.Keywords: network flow anomaly detection (NAD), multi-teacher knowledge distillation, machine learning, deep learning
Procedia PDF Downloads 122880 A CM-Based Model for 802.11 Networks Security Policies Enforcement
Authors: Karl Mabiala Dondia, Jing Ma
Abstract:
In recent years, networks based on the 802.11 standards have gained a prolific deployment. The reason for this massive acceptance of the technology by both home users and corporations is assuredly due to the "plug-and-play" nature of the technology and the mobility. The lack of physical containment due to inherent nature of the wireless medium makes maintenance very challenging from a security standpoint. This study examines via continuous monitoring various predictable threats that 802.11 networks can face, how they are executed, where each attack may be executed and how to effectively defend against them. The key goal is to identify the key components of an effective wireless security policy.Keywords: wireless LAN, IEEE 802.11 standards, continuous monitoring, security policy
Procedia PDF Downloads 380879 Polypeptide Modified Carbon Nanotubes – Mediated GFP Gene Transfection for H1299 Cells and Toxicity Assessment
Authors: Pei-Ying Lo, Jing-Hao Ciou, Kai-Cheng Yang, Jia-Huei Zheng, Shih-Hsiang Huang, Kuen-Chan Lee, Er-Chieh Cho
Abstract:
As-produced CNTs are insoluble in all organic solvents and aqueous solutions have imposed limitations to the use of CNTs. Therefore, how to debundle carbon nanotubes and to modify them for further uses is an important issue. There are several methods for the dispersion of CNTs in water using covalent attachment of hydrophilic groups to the surface of tubes. These methods, however, alter the electronic structure of the nanotubes by disrupting the network of sp2 hybridized carbons. In order to keep the nanotubes’ intrinsic mechanical and electrical properties intact, non-covalent interactions are increasingly being explored as an alternative route for dispersion. Apart from conventional surfactants such as sodium dodecylsulfate (SDS) or sodium dodecylbenzenesulfonate (SDBS) which are highly effective in dispersing CNTs, biopolymers have received much attention as dispersing agents due to the anticipated biocompatibility of the dispersed CNTs. Also, The pyrenyl group is known to interact strongly with the basal plane of graphene via π-stacking. In this study, a highly re-dispersible biopolymer is reported for the synthesis of pyrene-modified poly-L-lysine (PBPL) and poly(D-Glu, D-Lys) (PGLP). To provide the evidence of the safety of the PBPL/CNT & PGLP/CNT materials we use in this study, H1299 and HCT116 cells were incubated with PBPL/CNT & PGLP/CNT materials for toxicity analysis, MTS assays. The results from MTS assays indicated that no significant cellular toxicity was shown in H1299 and HCT116 cells. Furthermore, the fluorescence marker fluorescein isothiocyanate (FITC) was added to PBPL & PGLP dispersions. From the fluorescent measurements showed that the chemical functionalisation of the PBPL/CNT & PGLP/CNT conjugates with the fluorescence marker were successful. The fluorescent PBPL/CNT & PGLP/CNT conjugates could find application in medical imaging. In the next step, the GFP gene is immobilized onto PBPL/CNT conjugates by introducing electrostatic interaction. GFP-transfected cells that emitted fluorescence were imaged and counted under a fluorescence microscope. Due to the unique biocompatibility of PBPL modified CNTs, the GFP gene could be transported into H1299 cells without using antibodies. The applicability of such soluble and chemically functionalised polypeptide/CNT conjugates in biomedicine is currently investigated. We expect that this polypeptide/CNT system will be a safe and multi-functional nanomedical delivery platform and contribute to future medical therapy.Keywords: carbon nanotube, nanotoxicology, GFP transfection, polypeptide/CNT hybrids
Procedia PDF Downloads 339878 Preparation of Poly(Acrylic Acid) Functionalized Magnetic Graphene Oxide Composite and Its Application for Pb(II) Removal
Authors: Yu Wang, Xibang Chen, Maolin Zhai, Jing Peng, Jiuqiang Li
Abstract:
Poly(acrylic acid) (PAA) functionalized magnetic graphene oxide (GO) composite was synthesized through a two-step process. Magnetic Fe₃O₄/GO was first prepared by a facile hydrothermal method. A radiation-induced grafting technique was used to graft PAA to Fe₃O₄/GO to obtain the Fe₃O₄/GO-g-PAA subsequently. The characteristics results of FTIR, Raman, XRD, SEM, TEM, and VSM showed that Fe₃O₄/GO-g-PAA was successfully prepared. The Fe₃O₄/GO-g-PAA composites were used as sorbents for the removal of Pb(II) ions, and the maximum adsorption capacity for Pb(II) was 176.92 mg/g.Keywords: Fe₃O₄, graphene oxide, magnetic, Pb(II) removal, radiation-induced
Procedia PDF Downloads 157877 Hair Regrowth Effect of Herbal Formula on Androgenic Alopecia Rat Model
Authors: Jian-You Wang, Feng Yi Hsu, Chieh-Hsi Wu
Abstract:
Androgenetic alopecia (AGA) is an androgen-dependent disorder caused by excess testosterone in blood capillaries or excess enzyme activity of 5α- reductase in hair follicles. Plants, alone or in combination, have been widely used for hair growth promotion since ancient times in Asia. In this study, the efficacy of a traditional Chinese herbal formula, Shen-Ying-Yang-Zhen-Dan (SYYZD) with different kinds of extract solvents, facilitating hair regrowth in testosterone-induced hair loss have been determined. The study was performed by treating with either 95 % ethanol aqueous extracts, 50% ethanol aqueous extracts or deionized water extracts orally in four-week-old male S.D. rats that experienced hair regrowth interruption induced by testosterone treatment. The 50% ethanol aqueous extracts group showed better hair regrowth promotion activities than either 95% ethanol aqueous extracts or deionized water extracts groups in 14 days treatment. In conclusion, our results suggest that 50% ethanol aqueous SYYZD extracts have hair growth promoting potential and may be beneficial as an alternative medicine for androgenetic alopecia treatment.Keywords: Shen-Ying-Yang-Zhen-Dan, androgenic alopecia, hair loss, hair growth promotion, hair regrowth effect
Procedia PDF Downloads 778876 From Service to Ritual: Preliminary Development on Conceptual Framework for Designing Ritual
Authors: Yi-Jing Lee
Abstract:
Prior to the development of ritual design tool and framework, this paper establishes a systematic review on the studies related to ritual and ritual design across anthropology, consumer culture, marketing, and design. It is found that following symbolic anthropologists, the ethnographic approach was adapted by consumer culture researchers to study modern rituals and marketers to enhance consumption. In the domain of design, although there are already designers aware of the importance of ritualistic dimension of human interaction, there are little frameworks for conceptualizing and developing rituals. The conceptualized framework and developing tools is proposed and suggestions of applying it is made in the end of the paper.Keywords: ritual, ritual design, service design, symbolic interaction
Procedia PDF Downloads 193875 Heterologous Expression of Heat-Shock Protein Improves Butanol Yield in a High-Speedy Growing Clostridium acetobutylicum Mutant
Authors: Min-Shiuan Liou, Yi Shan Yang, Yang-Zhan Huang, Chia-Wen Hsieh
Abstract:
A high speed growing and butanol-tolerant Clostridium acetobutylicum HOL1 mutant was screened throughout continuous adaption culture with C. acetobutylicum ATCC 824. The HOL1 strain can grow well in 10 g/L butanol contained CGM medium and can produce about 12.8 g /L butanol during 24 hrs. The C. acetobutylicum HOL1 strain was able to produce 166 mM butanol with 21 mM acetone at pH 4.8, resulting in a butanol selectivity (a molar ratio of butanol to total solvents) of 0.79, which is much higher than that (0.6) of the wild-type strain C. acetobutylicum ATCC 824. The acetate and butyrate accumulation were not observed during fermentation of the HOL1 strain. A hyper-butanol producing C. acetobutylicum HOL1 (pBPHS-3), which was created to overexpress the Bacillus psychrosaccharolyticus originated specific heat-shock protein gene, hspX, from a clostridial phosphotransbutyrylase promoter, was studied for its potential to produce a high titer of butanol. Overexpression of hspX resulted in increased final butanol yield 47% and 30% higher than those of the the ATCC824 and the HOL1 strains, respectively. The remarkable high-speed growth and butanol tolerance of strain HOL1 (pBPHS-3) demonstrates that overexpression of heterogeneous stress protein-encoding gene, hspX, could help C. acetobutylicum to effectively produce a high concentration of butanol.Keywords: Clostridium acetobutylicum, butanol, heat-shock protein, resistance
Procedia PDF Downloads 430