Search results for: Jingjing Huang
447 Positive Bias and Length Bias in Deep Neural Networks for Premises Selection
Authors: Jiaqi Huang, Yuheng Wang
Abstract:
Premises selection, the task of selecting a set of axioms for proving a given conjecture, is a major bottleneck in automated theorem proving. An array of deep-learning-based methods has been established for premises selection, but a perfect performance remains challenging. Our study examines the inaccuracy of deep neural networks in premises selection. Through training network models using encoded conjecture and axiom pairs from the Mizar Mathematical Library, two potential biases are found: the network models classify more premises as necessary than unnecessary, referred to as the ‘positive bias’, and the network models perform better in proving conjectures that paired with more axioms, referred to as ‘length bias’. The ‘positive bias’ and ‘length bias’ discovered could inform the limitation of existing deep neural networks.Keywords: automated theorem proving, premises selection, deep learning, interpreting deep learning
Procedia PDF Downloads 184446 Effect of the Support Shape on Fischer-Tropsch Cobalt Catalyst Performance
Authors: Jian Huang, Weixin Qian, Hongfang Ma, Haitao Zhang, Weiyong Ying
Abstract:
Cobalt catalysts were supported on extruded silica carrier and different-type (SiO2, γ-Al2O3) commercial supports with different shapes and sizes to produce heavy hydrocarbons for Fischer-Tropsch synthesis. The catalysts were characterized by N2 physisorption and H2-TPR. The catalytic performance of the catalysts was tested in a fixed bed reactor. The results of Fischer-Tropsch synthesis performance showed that the cobalt catalyst supported on spherical silica supports displayed a higher activity and a higher selectivity to C5+ products, due to the fact that the active components were only distributed in the surface layer of spherical carrier, and the influence of gas diffusion restriction on catalytic performance was weakened. Therefore, it can be concluded that the eggshell cobalt catalyst was superior to precious metals modified catalysts in the synthesis of heavy hydrocarbons.Keywords: fischer-tropsch synthesis, cobalt catalyst, support shape, heavy hydrocarbons
Procedia PDF Downloads 283445 Explore the New Urbanization Patterns of the Varied Terrain Inland Areas: The Case of Hubei Province
Authors: Zhan Chen, Yaping Huang, Xiao Shen, Yichun Li
Abstract:
New urbanization is a strategic fulcrum of China's future development, regional urbanization is a hot research field, different from the contiguous urbanization patterns of the eastern coastal plains and the node type urbanization patterns of the southwest mountainous areas, central inland areas has the realistic conditions of complex terrain conditions and kinds of phases, the dominant power of urbanization development, organizational power, coordination of the urbanization development and the natural environment, will be the core issue in the process of urbanization. This article starts from the characteristics of the typical urbanization development in such areas of Hubei Province, analyzing the current outstanding and typical problems in the process of urbanization in Hubei Province, and propose targeted to promote the basic ideas and implementation paths of the development of new urbanization, in order to provide experience and learn from similar cities of the development of urbanization.Keywords: varied terrain, inland area, path explore, Hubei Province
Procedia PDF Downloads 356444 The Smart Record and Replay Mechanism for Android
Authors: Kuei-Chun Liu, Yu-Yu Lai, Ching-Hong Wu, Hsiao-Han Huang
Abstract:
The number of Android applications (Apps) has increased rapidly in recent years. In order to get better programmatic control over Apps, we designed a record-and-replay mechanism to record Android input events and accessibility service events then make shortcuts. The shortcut is useful for complicated routine works and to Android beginners. We also generated graphical user interface (GUI) API by these shortcuts. GUI API helps developers make integrated Apps which can control other third-party Apps even if the official API is not offered by their providers. We demonstrated the usage of GUI API with two integrated Apps: Universal Bank App and Universal Communication App. Universal Bank App integrates three accounts from different banks and Universal Communication App integrates Line with WhatsApp. Both of them show the advantage of extendable GUI API. Furthermore, using our mechanism, shortcuts could replay almost all of the Top-100 Apps on Google Play correctly. In sum, the approach we present can help both Android developers and general users.Keywords: graphical user interface, GUI API, record-and-replay, third-party apps
Procedia PDF Downloads 408443 Supply Chain Optimization Based on Advanced Planning and Scheduling Technology in Manufacturing Industry: A Case Study
Authors: Wenqian Shi, Xie He, Ziyin Huang, Zi Yu
Abstract:
The dramatic changes in the global economic situation have produced dramatic changes to companies’ supply chain systems. A variety of opportunities and challenges make the traditional manufacturing industry feel pressured, and the manufacturing industry must seek a new way out as soon as possible. This paper presents a case study of the advanced planning and scheduling technology problem encountered by an electrical and electronics manufacturer. The objective is to seek the minimum cost of production planning and order management. Digitalization is applied to the problem, and the results demonstrate that significant production performances can be achieved in the face of the existing production of each link and order management systems to analyze and optimize. This paper can also provide some practical implications in various manufacturing industries. Finally, future research directions are discussed.Keywords: advanced planning and scheduling, case study, production planning, supply chain optimization
Procedia PDF Downloads 101442 Design of a 28-nm CMOS 2.9-64.9-GHz Broadband Distributed Amplifier with Floating Ground CPW
Authors: Tian-Wei Huang, Wei-Ting Bai, Yu-Tung Cheng, Jeng-Han Tsai
Abstract:
In this paper, a 1-stage 6-section conventional distributed amplifier (CDA) structure distributed power amplifier (DPA) fabricated in a 28-nm HPC+ 1P9M CMOS process is proposed. The transistor size selection is introduced to achieve broadband power matching and thus remains a high flatness output power and power added efficiency (PAE) within the bandwidth. With the inductive peaking technique, the high-frequency pole appears and the high-frequency gain is increased; the gain flatness becomes better as well. The inductive elements used to form an artificial transmission line are built up with a floating ground coplanar waveguide plane (CPWFG) rather than a microstrip line, coplanar waveguide (CPW), or spiral inductor to get better performance. The DPA achieves 12.6 dB peak gain at 52.5 GHz with 2.9 to 64.9 GHz 3-dB bandwidth. The Psat is 11.4 dBm with PAEMAX of 10.6 % at 25 GHz. The output 1-dB compression point power is 9.8 dBm.Keywords: distributed power amplifier (DPA), gain bandwidth (GBW), floating ground CPW, inductive peaking, 28-nm, CMOS, 5G.
Procedia PDF Downloads 82441 Investigation of the Cognition Factors of Fire Response Performances Based on Survey
Authors: Jingjing Yan, Gengen He, Anahid Basiri
Abstract:
The design of an indoor navigation system for fire evacuation support requires not only physical feasibility but also a relatively thorough consideration of the human factors. This study has taken a survey to investigate the fire response performances (FRP) of the indoor occupants in age of 20s, virtually in an environment for their routine life, focusing on the aspects of indoor familiarity (spatial cognition), psychological stress and decision makings. For indoor familiarity, it is interested in three factors, i.e., the familiarity to exits and risky places as well as the satisfaction degree of the current indoor sign installation. According to the results, males have a higher average familiarity with the indoor exits while both genders have a relatively low level of risky place awareness. These two factors are positively correlated with the satisfaction degree of the current installation of the indoor signs, and this correlation is more evident for the exit familiarity. The integration of the height factor with the other two indoor familiarity factors can improve the degree of indoor sign satisfaction. For psychological stress, this study concentrates on the situated cognition of moving difficulty, nervousness, and speed reduction when using a bending posture during the fire evacuation to avoid smoke inhalation. The results have shown that both genders have a similar mid-level of hardness sensation. The females have a higher average level of nervousness, while males have a higher average level of speed reduction sensation. This study has assumed that the growing indoor spatial cognition can help ease the psychological hardness and nervousness. However, it only seems to be true after reaching a certain level. When integrating the effects from indoor familiarity and the other two psychological factors, the correlation to the sensation of speed change can be strengthened, based on a stronger positive correlation with the integrated factors. This study has also investigated the participants’ attitude to the navigation support during evacuation, and the majority of the participants have shown positive attitudes. For following the guidance under some extreme cases, i.e., changing to a longer path and to an alternative exit, the majority of the participants has shown the confidence of keeping trusting the guidance service. These decisions are affected by the combined influences from indoor familiarity, psychological stress, and attitude of using navigation service. For the decision time of the selected extreme cases, it costs more time in average for deciding to use a longer route than to use an alternative exit, and this situation is more evident for the female participants. This requires further considerations when designing a personalized smartphone-based navigation app. This study has also investigated the calming factors for people being trapped during evacuation. The top consideration is the distance to the nearest firefighters, and the following considerations are the current fire conditions in the surrounding environment and the locations of all firefighters. The ranking of the latter two considerations is very gender-dependent according to the results.Keywords: fire response performances, indoor spatial cognition, situated cognition, survey analysis
Procedia PDF Downloads 143440 Concrete Cracking Simulation Using Vector Form Intrinsic Finite Element Method
Authors: R. Z. Wang, B. C. Lin, C. H. Huang
Abstract:
This study proposes a new method to simulate the crack propagation under mode-I loading using Vector Form Intrinsic Finite Element (VFIFE) method. A new idea which is expected to combine both VFIFE and J-integral is proposed to calculate the stress density factor as the crack critical in elastic crack. The procedure of implement the cohesive crack propagation in VFIFE based on the fictitious crack model is also proposed. In VFIFIE, the structure deformation is described by numbers of particles instead of elements. The strain energy density and the derivatives of the displacement vector of every particle is introduced to calculate the J-integral as the integral path is discrete by particles. The particle on the crack tip separated into two particles once the stress on the crack tip satisfied with the crack critical and then the crack tip propagates to the next particle. The internal force and the cohesive force is applied to the particles.Keywords: VFIFE, crack propagation, fictitious crack model, crack critical
Procedia PDF Downloads 335439 The Effectiveness of Gamified Learning on Student Learning in Computer Science Education: A Systematic Review (2010-2018)
Authors: Shurui Bai, Biyun Huang, Khe Foon Hew
Abstract:
Gamification is defined as the use of game design elements in non-game contexts. The primary purpose of using gamification in an educational context is to engage students in school activities such that their likelihood of completion is increased. But how actually effective is gamification in improving student learning? In order to answer this question, this paper provides a systematic review of prior research studies on gamification in K-12 and university contexts limited to computer science discipline. Unlike other published gamification review works, we specifically analyzed comparison-based studies in quasi-experiment, historical control, and randomization rather than studies with mere anecdotal or phenomenological results. The main purpose for this is to discuss possible causal effects of gamified practices on student performance, behavior change, and perceptual skills following an integrative model. Implications for practice are discussed, along with several suggestions for future research studies.Keywords: computer science, gamification, learning performance, systematic review
Procedia PDF Downloads 132438 Identifying Network Subgraph-Associated Essential Genes in Molecular Networks
Authors: Efendi Zaenudin, Chien-Hung Huang, Ka-Lok Ng
Abstract:
Essential genes play an important role in the survival of an organism. It has been shown that cancer-associated essential genes are genes necessary for cancer cell proliferation, where these genes are potential therapeutic targets. Also, it was demonstrated that mutations of the cancer-associated essential genes give rise to the resistance of immunotherapy for patients with tumors. In the present study, we focus on studying the biological effects of the essential genes from a network perspective. We hypothesize that one can analyze a biological molecular network by decomposing it into both three-node and four-node digraphs (subgraphs). These network subgraphs encode the regulatory interaction information among the network’s genetic elements. In this study, the frequency of occurrence of the subgraph-associated essential genes in a molecular network was quantified by using the statistical parameter, odds ratio. Biological effects of subgraph-associated essential genes are discussed. In summary, the subgraph approach provides a systematic method for analyzing molecular networks and it can capture useful biological information for biomedical research.Keywords: biological molecular networks, essential genes, graph theory, network subgraphs
Procedia PDF Downloads 158437 Evaluation of Longitudinal Relaxation Time (T1) of Bone Marrow in Lumbar Vertebrae of Leukaemia Patients Undergoing Magnetic Resonance Imaging
Authors: M. G. R. S. Perera, B. S. Weerakoon, L. P. G. Sherminie, M. L. Jayatilake, R. D. Jayasinghe, W. Huang
Abstract:
The aim of this study was to measure and evaluate the Longitudinal Relaxation Times (T1) in bone marrow of an Acute Myeloid Leukaemia (AML) patient in order to explore the potential for a prognostic biomarker using Magnetic Resonance Imaging (MRI) which will be a non-invasive prognostic approach to AML. MR image data were collected in the DICOM format and MATLAB Simulink software was used in the image processing and data analysis. For quantitative MRI data analysis, Region of Interests (ROI) on multiple image slices were drawn encompassing vertebral bodies of L3, L4, and L5. T1 was evaluated using the T1 maps obtained. The estimated bone marrow mean value of T1 was 790.1 (ms) at 3T. However, the reported T1 value of healthy subjects is significantly (946.0 ms) higher than the present finding. This suggests that the T1 for bone marrow can be considered as a potential prognostic biomarker for AML patients.Keywords: acute myeloid leukaemia, longitudinal relaxation time, magnetic resonance imaging, prognostic biomarker.
Procedia PDF Downloads 531436 Design and Analysis of Shielding Magnetic Field for Active Space Radiation Protection
Authors: Chaoyan Huang, Hongxia Zheng
Abstract:
For deep space exploration and long duration interplanetary manned missions, protection of astronauts from cosmic radiation is an unavoidable problem. However, passive shielding can be little effective for protecting particles which energies are greater than 1GeV/nucleon. In this study, active magnetic protection method is adopted. Taking into account the structure and size of the end-cap, eight shielding magnetic field configurations are designed based on the Hoffman configuration. The shielding effect of shielding magnetic field structure, intensity B and thickness L on H particles with 2GeV energy is compared by test particle simulation. The result shows that the shielding effect is better with the linear type magnetic field structure in the end-cap region. Furthermore, two magnetic field configurations with better shielding effect are investigated through H and He galactic cosmic spectra. And the shielding effect of the linear type configuration adopted in the barrel and end-cap regions is best.Keywords: galactic cosmic rays, active protection, shielding magnetic field configuration, shielding effect
Procedia PDF Downloads 145435 The Impact of Steel Connections on the Fire Resistance of Composite Buildings
Authors: Shuyuan Lin, Zhaohui Huang, Mizi Fan
Abstract:
In the majority of previous research into modelling large scale composite floor subjected to fire, the beam-to-column and beam-to-beam connections were assumed to behave either as pinned or rigid for simplicity, and the vertical shear and axial tension failures of the connection were not taken into account. We have recently developed robust two-noded connection models for modeling endplate and partial endplate steel connections under fire conditions. The main objective of this research is to systematically investigate the impact of the connections of protected beams, on the tensile membrane actions of supported floor slabs in which the failures of the connections, such as, axial tension, vertical shear and bending are accounted for. The models developed have very good numerical stability under a static solver condition, and can be used for large scale modelling of composite buildings in fire.Keywords: fire, steel structure, component-based model, beam-to-column connections
Procedia PDF Downloads 450434 Research on Greenway System Planning of Mountainous City: A Case Study of Chengkou County, Chongqing
Authors: Youping Huang, Yang Liu
Abstract:
Mountainous cities have unique landscape relationship, topography and urban spatial pattern different from plain cities, which put forward different requirements for greenway system planning strategy. Taking the greenway planning of Chengkou County in Chongqing as an example, this paper discusses the greenway system planning strategy of mountainous cities based on urban and rural green space, urban landscape resources, human resources and other factors. Through multi-angle maintenance of landscape pattern, multi-objective integration of urban resources, multi-level construction of greenway network, and multi-interactive development control, the sustainable development of mountain city landscape resources is realized, the new urban ecology is constructed, and the quality of life of urban and rural residents is improved.Keywords: greenway planning, mountain city, landscape pattern, cultural resources, chongqing
Procedia PDF Downloads 103433 Focusing on Effective Translation Teaching in the Classroom: A Case Study
Authors: Zhi Huang
Abstract:
This study follows on from previous survey and focus group research exploring the effective teaching process in a translation classroom in Australian universities through case study method. The data analysis draws on social constructivist theory in translation teaching and focuses on teaching process aiming to discover how effective translation teachers conduct teaching in the classroom. The results suggest that effective teaching requires the teacher to have ability in four aspects: classroom management, classroom pedagogy, classroom communication, and teacher roles. Effective translation teachers are able to control the whole learning process, facilitate students in independent learning, guide students to be more critical about translation, giving both positive and negative feedback for students to reflect on their own, and being supportive, patient and encouraging to students for better classroom communication and learning outcomes. This study can be applied to other teachers in translation so that they can reflect on their own teaching in their education contexts and strive for being a more qualified translation teacher and achieving teaching effectiveness.Keywords: case study, classroom observation, classroom teaching, effective translation teaching, teacher effectiveness
Procedia PDF Downloads 424432 Intelligent Software Architecture and Automatic Re-Architecting Based on Machine Learning
Authors: Gebremeskel Hagos Gebremedhin, Feng Chong, Heyan Huang
Abstract:
Software system is the combination of architecture and organized components to accomplish a specific function or set of functions. A good software architecture facilitates application system development, promotes achievement of functional requirements, and supports system reconfiguration. We describe three studies demonstrating the utility of our architecture in the subdomain of mobile office robots and identify software engineering principles embodied in the architecture. The main aim of this paper is to analyze prove architecture design and automatic re-architecting using machine learning. Intelligence software architecture and automatic re-architecting process is reorganizing in to more suitable one of the software organizational structure system using the user access dataset for creating relationship among the components of the system. The 3-step approach of data mining was used to analyze effective recovery, transformation and implantation with the use of clustering algorithm. Therefore, automatic re-architecting without changing the source code is possible to solve the software complexity problem and system software reuse.Keywords: intelligence, software architecture, re-architecting, software reuse, High level design
Procedia PDF Downloads 120431 Fabrication of Cesium Iodide Columns by Rapid Heating Method
Authors: Chien-Wan Hun, Shao-Fu Chang, Chien-Chon Chen, Ker-Jer Huang
Abstract:
This study presents how to use a high-efficiency process for producing cesium iodide (CsI) crystal columns by rapid heating method. In the past, the heating rate of the resistance wire heating furnace was relatively slow and excessive iodine and CsI vapors were therefore generated during heating. Because much iodine and CsI vapors are produced during heating process, the composition of CsI crystal columns is not correct. In order to enhance the heating rate, making CsI material in the heating process can quickly reach the melting point temperature. This study replaced the traditional type of external resistance heating furnace with halogen-type quartz heater, and then, CsI material can quickly reach the melting point. Eventually, CsI melt can solidify in the anodic aluminum template forming CsI crystal columns.Keywords: cesium iodide, high efficiency, vapor, rapid heating, crystal column
Procedia PDF Downloads 373430 Parameters Optimization of the Laminated Composite Plate for Sound Transmission Problem
Authors: Yu T. Tsai, Jin H. Huang
Abstract:
In this paper, the specific sound transmission loss (TL) of the laminated composite plate (LCP) with different material properties in each layer is investigated. The numerical method to obtain the TL of the LCP is proposed by using elastic plate theory. The transfer matrix approach is novelty presented for computational efficiency in solving the numerous layers of dynamic stiffness matrix (D-matrix) of the LCP. Besides the numerical simulations for calculating the TL of the LCP, the material properties inverse method is presented for the design of a laminated composite plate analogous to a metallic plate with a specified TL. As a result, it demonstrates that the proposed computational algorithm exhibits high efficiency with a small number of iterations for achieving the goal. This method can be effectively employed to design and develop tailor-made materials for various applications.Keywords: sound transmission loss, laminated composite plate, transfer matrix approach, inverse problem, elastic plate theory, material properties
Procedia PDF Downloads 388429 Design and Analysis of Flexible Slider Crank Mechanism
Authors: Thanh-Phong Dao, Shyh-Chour Huang
Abstract:
This study presents the optimal design and formulation of a kinematic model of a flexible slider crank mechanism. The objective of the proposed innovative design is to take extra advantage of the compliant mechanism and maximize the fatigue life by applying the Taguchi method. A formulated kinematic model is developed using a Pseudo-Rigid-Body Model (PRBM). By means of mathematic models, the kinematic behaviors of the flexible slider crank mechanism are captured using MATLAB software. Finite Element Analysis (FEA) is used to show the stress distribution. The results show that the optimal shape of the flexible hinge includes a force of 8.5N, a width of 9mm and a thickness of 1.1mm. Analysis of variance shows that the thickness of the proposed hinge is the most significant parameter, with an F test of 15.5. Finally, a prototype is manufactured to prepare for testing the kinematic and dynamic behaviors.Keywords: kinematic behavior, fatigue life, pseudo-rigid-body model, flexible slider crank mechanism
Procedia PDF Downloads 461428 Design and Motion Control of a Two-Wheel Inverted Pendulum Robot
Authors: Shiuh-Jer Huang, Su-Shean Chen, Sheam-Chyun Lin
Abstract:
Two-wheel inverted pendulum robot (TWIPR) is designed with two-hub DC motors for human riding and motion control evaluation. In order to measure the tilt angle and angular velocity of the inverted pendulum robot, accelerometer and gyroscope sensors are chosen. The mobile robot’s moving position and velocity were estimated based on DC motor built in hall sensors. The control kernel of this electric mobile robot is designed with embedded Arduino Nano microprocessor. A handle bar was designed to work as steering mechanism. The intelligent model-free fuzzy sliding mode control (FSMC) was employed as the main control algorithm for this mobile robot motion monitoring with different control purpose adjustment. The intelligent controllers were designed for balance control, and moving speed control purposes of this robot under different operation conditions and the control performance were evaluated based on experimental results.Keywords: balance control, speed control, intelligent controller, two wheel inverted pendulum
Procedia PDF Downloads 224427 The Impact of Governance on Happiness: Evidence from Quantile Regressions
Authors: Chiung-Ju Huang
Abstract:
This study utilizes the quantile regression analysis to examine the impact of governance (including democratic quality and technical quality) on happiness in 101 countries worldwide, classified as “developed countries” and “developing countries”. The empirical results show that the impact of democratic quality and technical quality on happiness is significantly positive for “developed countries”, while is insignificant for “developing countries”. The results suggest that the authorities in developed countries can enhance the level of individual happiness by means of improving the democracy quality and technical quality. However, for developing countries, promoting the quality of governance in order to enhance the level of happiness may not be effective. Policy makers in developed countries may pay more attention on increasing real GDP per capita instead of promoting the quality of governance to enhance individual happiness.Keywords: governance, happiness, multiple regression, quantile regression
Procedia PDF Downloads 282426 Spherical Harmonic Based Monostatic Anisotropic Point Scatterer Model for RADAR Applications
Authors: Eric Huang, Coleman DeLude, Justin Romberg, Saibal Mukhopadhyay, Madhavan Swaminathan
Abstract:
High performance computing (HPC) based emulators can be used to model the scattering from multiple stationary and moving targets for RADAR applications. These emulators rely on the RADAR Cross Section (RCS) of the targets being available in complex scenarios. Representing the RCS using tables generated from electromagnetic (EM) simulations is often times cumbersome leading to large storage requirement. This paper proposed a spherical harmonic based anisotropic scatterer model to represent the RCS of complex targets. The problem of finding the locations and reflection profiles of all scatterers can be formulated as a linear least square problem with a special sparsity constraint. This paper solves this problem using a modified Orthogonal Matching Pursuit algorithm. The results show that the spherical harmonic based scatterer model can effectively represent the RCS data of complex targets.Keywords: RADAR, RCS, high performance computing, point scatterer model
Procedia PDF Downloads 192425 Visualization of Latent Sweat Fingerprints Deposit on Paper by Infrared Radiation and Blue Light
Authors: Xiaochun Huang, Xuejun Zhao, Yun Zou, Feiyu Yang, Wenbin Liu, Nan Deng, Ming Zhang, Nengbin Cai
Abstract:
A simple device termed infrared radiation (IR) was developed for rapid visualization of sweat fingerprints deposit on paper with blue light (450 nm, 11 W). In this approach, IR serves as the pretreatment device before the sweat fingerprints was illuminated by blue light. An annular blue light source was adopted for visualizing latent sweat fingerprints. Sample fingerprints were examined under various conditions after deposition, and experimental results indicate that the recovery rate of the latent sweat fingerprints is in the range of 50%-100% without chemical treatments. A mechanism for the observed visibility is proposed based on transportation and re-impregnation of fluorescer in paper at the region of water. And further exploratory experimental results gave the full support to the visible mechanism. Therefore, such a method as IR-pretreated in detecting latent fingerprints may be better for examination in the case where biological information of samples is needed for consequent testing.Keywords: forensic science, visualization, infrared radiation, blue light, latent sweat fingerprints, detection
Procedia PDF Downloads 497424 SVID: Structured Vulnerability Intelligence for Building Deliberated Vulnerable Environment
Authors: Wenqing Fan, Yixuan Cheng, Wei Huang
Abstract:
The diversity and complexity of modern IT systems make it almost impossible for internal teams to find vulnerabilities in all software before the software is officially released. The emergence of threat intelligence and vulnerability reporting policy has greatly reduced the burden on software vendors and organizations to find vulnerabilities. However, to prove the existence of the reported vulnerability, it is necessary but difficult for security incident response team to build a deliberated vulnerable environment from the vulnerability report with limited and incomplete information. This paper presents a structured, standardized, machine-oriented vulnerability intelligence format, that can be used to automate the orchestration of Deliberated Vulnerable Environment (DVE). This paper highlights the important role of software configuration and proof of vulnerable specifications in vulnerability intelligence, and proposes a triad model, which is called DIR (Dependency Configuration, Installation Configuration, Runtime Configuration), to define software configuration. Finally, this paper has also implemented a prototype system to demonstrate that the orchestration of DVE can be automated with the intelligence.Keywords: DIR triad model, DVE, vulnerability intelligence, vulnerability recurrence
Procedia PDF Downloads 121423 Bifurcation Curve for Semipositone Problem with Minkowski-Curvature Operator
Authors: Shao-Yuan Huang
Abstract:
We study the shape of the bifurcation curve of positive solutions for the semipositone problem with the Minkowski-curvature operator. The Minkowski-curvature problem plays an important role in certain fundamental issues in differential geometry and in the special theory of relativity. In addition, it is well known that studying the multiplicity of positive solutions is equivalent to studying the shape of the bifurcation curve. By the shape of the bifurcation curve, we can understand the change in the multiplicity of positive solutions with varying parameters. In this paper, our main technique is a time-map method used in Corsato's PhD Thesis. By this method, studying the shape of the bifurcation curve is equivalent to studying the shape of a certain function T with improper integral. Generally speaking, it is difficult to study the shape of T. So, in this paper, we consider two cases that the nonlinearity is convex or concave. Thus we obtain the following results: (i) If f''(u) < 0 for u > 0, then the bifurcation curve is C-shaped. (ii) If f''(u) > 0 for u > 0, then there exists η>β such that the bifurcation curve does not exist for 0Keywords: bifurcation curve, Minkowski-curvature problem, positive solution, time-map method
Procedia PDF Downloads 104422 Metabolic Regulation of Rhizobacteria for Cool-Season Grass Tolerance to Heat Stress
Authors: Kashif Jaeel, Bingru Huang
Abstract:
Stress-induced accumulation of ethylene exacerbates drought damages in plants, and suppressing stress induction of ethylene may promote plant tolerance to heat stress. The objective of this study was to investigate the effects of endophytic bacteria (Paraburkholderia aspalathi) with 1-aminocyclopropane-1-carboxylic acid (ACC) deaminase enzymes in suppressing ethylene production on plant tolerance to heat stress and underlying physiological mechanisms of P. aspalathi-regulation in creeping bentgrass (Agrostis stolonifera). A novel strain of P. aspalathi, ‘WSF23’, with ACC deaminase activity was used to inoculate the roots of plants (cv. ‘Penncross’) subjected to heat stress in controlled-environment chambers. Inoculation with WSF23 bacteria resulted in improved shoot and root growth during heat stress. The differential changes in metabolite regulation due to the bacterial inoculation could contribute to ACC deamination bacteria-improved heat tolerance in cool-season grass species.Keywords: rhizobacteria, grass, heat, plant metabolism, soil bacteria
Procedia PDF Downloads 67421 The Research of Industrial Space Characteristics, Layout, and Strategy in Metropolitan Area in China: In Case of Wuhan
Authors: Min Zhou, Kaixuan Lin, Yaping Huang
Abstract:
In this paper, the industrial space of metropolitan area in Wuhan is taken as a sample. First of all, it puts forward that the structure of service economy, circle gradient relocation and high degree of regional collaboration are the rules of industrial spatial development in the modern world cities. Secondly, using the economic statistics and land use vector data (1993, 2004, 2010, and 2013) of Wuhan, it analyzes the present situation of industry development and the characteristics of industrial space layout from three aspects of the industrial economic structure, industrial layout, and industrial regional synergy. Then, based on the industrial development regularity of world cities, it puts forward to construct the industrial spatial level of ‘complex industrial concentration area + modular industry unit’ and the industrial spatial structure of ‘13525’. Finally, it comes up with the optimization tactics of the industrial space’s transformation in the future under the background of new economic era.Keywords: big city of metropolitan area, industrial space, characteristics, layout, strategy
Procedia PDF Downloads 379420 Using Project MIND - Math Is Not Difficult Strategies to Help Children with Autism Improve Mathematics Skills
Authors: Hui Fang Huang Su, Leanne Lai, Pei-Fen Li, Mei-Hwei Ho, Yu-Wen Chiu
Abstract:
This study aimed to provide a practical, systematic, and comprehensive intervention for children with Autism Spectrum Disorder (ASD). A pilot study of quasi-experimental pre-post intervention with control group design was conducted to evaluate if the mathematical intervention (Project MIND - Math Is Not Difficult) increases the math comprehension of children with ASD Children with ASD in the primary grades (K-1, 2) participated in math interventions to enhance their math comprehension and cognitive ability. The Bracken basic concept scale was used to evaluate subjects’ language skills, cognitive development, and school readiness. The study found that our systemic interventions of Project MIND significantly improved the mathematical and cognitive abilities in children with autism. The results of this study may lead to a major change in effective and adequate health care services for children with ASD and their families. All statistical analyses were performed with the IBM SPSS Statistics Version 25 for Windows. The significant level was set at 0.05 P-value.Keywords: autism, mathematics, technology, family
Procedia PDF Downloads 105419 Optimization and Vibration Suppression of Double Tuned Inertial Mass Damper of Damped System
Authors: Chaozhi Yang, Xinzhong Chen, Guoqing Huang
Abstract:
Inerter is a two-terminal inertial element that can produce apparent mass far larger than its physical mass. A double tuned inertial mass damper (DTIMD) is developed by combining a spring with an inerter and a dashpot in series to replace the viscous damper of a tuned mass damper (TMD), and its performance is investigated. Firstly, the DTIMD is optimized numerically with H∞ and H2 methods considering the system’s damping based on the single-degree-of-freedom (SDOF)-DTIMD system, and the optimal structural parameters are obtained. Then, compared with a TMD, the control effect of the DTIMD with the optimal structural parameters on wind-induced vibration of a wind turbine in downwind direction under the shutdown condition is studied. The results demonstrate that the vibration suppression of the DTIMD is superior than that of a TMD at the same mass ratio. And at the identical vibration suppression, the tuned mass of the DTIMD can be reduced by up to 40% compared with a TMD.Keywords: wind-induced vibration, vibration control, inerter, tuned mass damper, damped system
Procedia PDF Downloads 168418 New Types of Fitness Equipment for Seniors-Based on Beginning Movement Load Training
Authors: Chia-Chi Chen, Tai-Sheng Huang
Abstract:
Ageing society has been spread around the world. The global population is not only ageing but also declining. The structure of population has changed, which has a significant impact on both the economies and industries. Thus, how to be a healthy senior citizen to relieve the burden to the family and society will be a popular issue. Although fitness equipment manufacturing industry has been mature, the ageing population is still increasing. Therefore, this study aims to design an innovative style of fitness equipment for senior citizens, based on BMLT presented by Dr. Koyama Hirofumi. The analysis of current fitness equipment on the market and the future trend will be applied in the study. With the coming of information age, senior citizens in the future are the users of information product for sure, and the new style of fitness equipment will be combined with information technology as well. Through this study, it is believed to design an innovative style of fitness equipment for seniors and help them live heartier and happier lives.Keywords: aging society, BMLT (Beginning Movement Load Training), seniors, new style of fitness equipment
Procedia PDF Downloads 217