Search results for: Shuo Huang

Authors: Wen-Hsien Huang, Hsu-Ting Hsu

Abstract:

While advertisers often use animal metaphors to promote product performance, representing through the use of a product image together with an animal-like messenger to imply the undesirable health states of not using the product, the effect of such metaphors on persuasion remains unclear. The current research addresses this issue by investigating how consumers perceive and react to animal metaphor advertising in the context of product promotion. Three studies are carried out using field and experimental data. The findings demonstrate that animal metaphor ads are less persuasive than non-metaphor ads and that ads with animal-like messengers (as opposed to human messengers) activate stronger dehumanization perceptions, which in turn lead to lower product choice, product evaluation and purchase intention, regardless of whether the animal metaphors are presented visually in the picture or verbally in the headline. Furthermore, when the metaphorical pairing includes a more disliked animal, consumer reaction was less favorable. The implications of the findings for advertisers considering the use of animalized messengers are discussed.

Keywords: animal metaphor, dehumanization, product evaluation, health communication

Procedia PDF Downloads 49

Authors: Leping Chen, Daoxiang An, Xiaotao Huang

Abstract:

Automatic vehicle detection using synthetic aperture radar (SAR) image has been widely researched, as well as using optical remote sensing images. However, most researches treat the detection as an independent problem, failing to make full use of SAR data information. In circular SAR (CSAR), the two long borders of vehicle will shrink if the imaging surface is set higher than the reference one. Based on above variance, an automatic vehicle detection using CSAR image is proposed to enhance detection ability under complex environment, such as vehicles’ closely packing, which confuses the detector. The detection method uses the multiple images generated by different height plane to obtain an energy-concentrated image for detecting and then uses the maximally stable extremal regions method (MSER) to detect vehicles. A result of vehicles’ detection is given to verify the effectiveness and correctness of proposed method.

Keywords: circular SAR, vehicle detection, automatic, imaging

Procedia PDF Downloads 332

Authors: Te-Jen Chang, Ping-Sheng Huang, Shan-Ten Cheng, Chih-Lin Lin, I-Hui Pan, Tsung- Hsien Lin

Abstract:

RSA system is a great contribution for the encryption and the decryption. It is based on the modular exponentiation. We call this system as “a large of numbers for calculation”. The operation of a large of numbers is a very heavy burden for CPU. For increasing the computational speed, in addition to improve these algorithms, such as the binary method, the sliding window method, the addition chain method, and so on, the cluster computer can be used to advance computational speed. The cluster system is composed of the computers which are installed the MPICH2 in laboratory. The parallel procedures of the modular exponentiation can be processed by combining the sliding window method with the addition chain method. It will significantly reduce the computational time of the modular exponentiation whose digits are more than 512 bits and even more than 1024 bits.

Keywords: cluster system, modular exponentiation, sliding window, addition chain

Procedia PDF Downloads 493

Authors: Chen Xi, Kuan Sinman, LI Haofeng, Huang Hongming, Zeng Chengyu, Tong Zhiyuan

Abstract:

Stray animals are on the rise in mainland China's cities. There are legal reasons for this, namely the lack of protection for domestic pets in mainland China, where only wildlife protection laws exist. At a social level, the ease with which families adopt pets and the lack of a social view of animal nature has led to the frequent abandonment and loss of stray animals. If left unmanaged, conflicts between humans and stray animals can also increase. This project provides an inexpensive and widely applicable management tool for urban management by collecting videos and pictures of stray animals captured by surveillance or transmitted by humans and using artificial intelligence technology (mainly using YOLOv5 recognition technology) and recording and managing them in a database.

Keywords: urban planning, urban governance, artificial intelligence, convolutional neural network

Procedia PDF Downloads 70

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 339

Authors: Arnab Sarkar, Michael Huang, Chuang Ren, Jun Li

Abstract:

The increasing importance of computing in modern society has brought substantial growth in the demand for more computational power. In some problem domains such as scientific simulations, available computational power still sets a limit on what can be practically explored in computation. For many types of code, there is non-uniformity in the utility of computation. That is not every piece of computation contributes equally to the quality of the result. If this non-uniformity is understood well and exploited effectively, we can much more effectively utilize available computing power. In this paper, we discuss a case study of exploring such non-uniformity in a particle-in-cell simulation platform. We find both the existence of significant non-uniformity and that it is generally straightforward to exploit it. We show the potential of order-of-magnitude effective performance gain while keeping the comparable quality of output. We also discuss some challenges in both the practical application of the idea and evaluation of its impact.

Keywords: approximate computing, landau damping, non uniform utility computing, particle-in-cell

Procedia PDF Downloads 223

Authors: Ching-Hsu Huang, Shang-Huan Wu

Abstract:

In recent years, environmental awareness has increased, environmental issues caused by meat-eating have been extended to promote reducing food surplus and waste advocates. We lose more than 3 million tons of food on average on a daily basis. Private households represent the largest food-waste faction. The main purpose of this study is to design and develop household dishes by using edible food surplus. The questionnaires were conducted to find the majority of food surplus from households, including carrot peel, pumpkin, fish skin, and soy dregs—this study designed and developed the household dishes by using the leftovers. We briefly discuss the contributions of the dishes. Mapping the household dishes deepens the promotion of household food waste prevention strategies. This study also linked the results with a set of policy, education, and restaurant business options

Keywords: food waste, food surplus, household dishes design, food waste prevention strategies

Procedia PDF Downloads 140

Authors: Yike Lamu, Jieyu Tang, Jialin Wu, Jianyun Huang

Abstract:

With the development of economy and science and technology, the urban heat island effect becomes more and more serious. Taking Beijing city as an example, this paper divides the value of each influence index of heat island intensity and establishes a mathematical model – neural network system based on the fuzzy comprehensive evaluation index of heat island effect. After data preprocessing, the algorithm of weight of each factor affecting heat island effect is generated, and the data of sex indexes affecting heat island intensity of Shenyang City and Shanghai City, Beijing, and Hangzhou City are input, and the result is automatically output by the neural network system. It is of practical significance to show the intensity of heat island effect by visual method, which is simple, intuitive and can be dynamically monitored.

Keywords: heat island effect, neural network, comprehensive evaluation, visualization

Procedia PDF Downloads 100

Authors: Yueguang Gao, Qi Huang, Shunshan Feng

Abstract:

In order to study the process and characteristic of the fragments in the warhead with one end cap under full constraint condition, we established a cylindrical casing with two end caps which one of which was fully constrained using the simulation analysis. The result showed that the fragmentation of cylindrical casing with one end full constrained has its own characteristic. The Mach stem was generated when the detonation wave propagated to the fully constrained end cap under the condition of one end detonation, working on unreactive explosives and causing the nearby fragment subjected to nearly 2.5 times the normal pressure to obtain a higher speed. The cylindrical casing first ruptured at the contact surface with the fully constrained end, and then at the end cover of the initiating end, and then the rupture extends to the whole cylindrical casing. The detonation products started to leak out from the rupture. Driving fragments to fly and forming two dense flying areas. The analysis of this paper can provide a reference for the optimal design of this kind of warhead.

Keywords: fragment, cylindrical casing, detonation waves, numerical simulation

Procedia PDF Downloads 89

Authors: Chen Xi, LIU Xuebin, Kuan Sinman, LI Haofeng, Huang Hongming, Zeng Chengyu, Lao Xuerui

Abstract:

Stray animals are on the rise in mainland China's cities. There are legal reasons for this, namely the lack of protection for domestic pets in mainland China, where only wildlife protection laws exist. At a social level, the ease with which families adopt pets and the lack of a social view of animal nature have led to the frequent abandonment and loss of stray animals. If left unmanaged, conflicts between humans and stray animals can also increase. This project provides an inexpensive and widely applicable management tool for urban management by collecting videos and pictures of stray animals captured by surveillance or transmitted by humans and using artificial intelligence technology (mainly using Yolov5 recognition technology) and recording and managing them in a database.

Keywords: urban planning, urban governance, artificial intelligence, convolutional neural network, machine vision

Procedia PDF Downloads 59

Authors: Baoshan Huang, Fanbiao Bao, Bing Li, Lianghua Zeng, Yi Zheng

Abstract:

Parameter control strategy based on statistical characteristics can analyze the choice of the transmission ratio of an automobile transmission. According to the difference of the transmission gear, the number and spacing of the gear can be determined. Transmission ratio distribution of transmission needs to satisfy certain distribution law. According to the statistic characteristics of driving parameters, the shift control strategy of the vehicle is analyzed. CVT shift schedule adjustment algorithm based on statistical characteristic parameters can be seen from the above analysis, if according to the certain algorithm to adjust the size of, can adjust the target point are in the best efficiency curve and dynamic curve between the location, to alter the vehicle characteristics. Based on the dynamic characteristics and the practical application of the vehicle, this paper presents the setting scheme of the transmission ratio.

Keywords: vehicle dynamics, transmission ratio, transmission parameters, statistical characteristics

Procedia PDF Downloads 362

Authors: Yi-Wei Huang

Abstract:

Eileen Chang is a well-known writer of modern Chinese literature. She is also a translator that publishes her self-translation The Rice Sprout Song. The purpose of the study is to identify the style of Eileen Chang’s self-translations by corpora, especially in the case of The Rice Sprout Song. The Rice Sprout Song is first written in English and then translated into Chinese by the author herself. The procedure of translation is complicated due to the bilingual transition by the same person. Therefore, the aim of the study is to identify Eileen Chang’s style on her self-translation by comparing her works The Old Man and the Sea, The Rice Sprout Song, and The Rouge of The North. The study uses computer-aided software like AntConc, Notepad++, StanfordCoreNLP, and Python to analyze the style of the works, especially focuses on reduplications and the composition of the sentences. Reduplications are commonly seen in Eileen Chang’s works, and they often appear with colors or onomatopoeia. With these criteria, the style of self-translating can be detected and analyzed.

Keywords: corpora, Eileen Chang, reduplications, self-translation

Procedia PDF Downloads 201

Authors: Jen-Fa Huang, Yu-Wei Chiu, Jhe-Ren Cheng

Abstract:

Visible light communication (VLC) technique has become useful method via LED light blinking. Several issues on indoor mobile robot positioning with LED blinking are examined in the paper. In the transmitter, we control the transceivers blinking message. Orthogonal Walsh codes are adopted for such purpose on auto-correlation function (ACF) to detect signal sequences. In the robot receiver, we set the frame of time by 1 ns passing signal from the transceiver to the mobile robot. After going through many periods of time detecting the peak value of ACF in the mobile robot. Moreover, the transceiver transmits signal again immediately. By capturing three times of peak value, we can know the time difference of arrival (TDOA) between two peak value intervals and finally analyze the accuracy of the robot position.

Keywords: Visible Light Communication, Auto-Correlation Function (ACF), peak value of ACF, Time difference of Arrival (TDOA)

Procedia PDF Downloads 270

Authors: Ruey-Chi Wang, Po-Hsiang Huang, Ping-Chang Chuang, Shu-Jen Chen

Abstract:

High-performance Li: CuO/reduced graphene oxide (RGO) flexible electrodes for supercapacitors were fabricated via a low-temperature and low-cost route. To increase energy density while maintaining high power density and long-term cyclability, Li was doped to increase the electrical conductivity of CuO particles between RGO flakes. Electrochemical measurements show that the electrical conductivity, specific capacitance, energy density, and rate capability were all enhanced by Li incorporation. The optimized Li:CuO/RGO electrodes show a high energy density of 179.9 Wh/kg and a power density of 900.0 W/kg at a current density of 1 A/g. Cyclic life tests show excellent stability over 10,000 cycles with a capacitance retention of 93.2%. Li doping improves the electrochemical performance of CuO, making CuO a promising pseudocapacitive material for fabricating low-cost excellent supercapacitors.

Keywords: supercapacitor, CuO, RGO, lithium

Procedia PDF Downloads 146

Authors: Zhou Yingkun, Xu Guorui, Wei Siming, Huang Yongzhang

Abstract:

With the increasing of the penetration of renewable energy in power system, the whole inertia of the power system is declining, which will endanger the frequency stability of the power system. In order to enhance the inertia, virtual synchronous generator (VSG) has been proposed. In addition, the motor-generator pair (MGP) system is proposed to enhance grid inertia. Both of them need additional equipment to provide instantaneous energy, so the economic problem should be considered. In this paper, the basic working principle of MGP system and VSG are introduced firstly. Then, the technical characteristics and economic investment of MGP/VSG are compared by calculation and simulation. The results show that the MGP system can provide same inertia with less cost than VSG.

Keywords: high renewable energy penetration, inertia of power system, motor-generator pair (MGP) system, virtual synchronous generator (VSG), techno-economic analysis

Procedia PDF Downloads 420

Authors: Shiuh-Jer Huang, Yu-Sheng Hsu

Abstract:

On-board available parking space detecting system, parking trajectory planning and tracking control mechanism are the key components of vehicle backward auto-parking system. Firstly, pair of ultrasonic sensors is installed on each side of vehicle body surface to detect the relative distance between ego-car and surrounding obstacle. The dimension of a found empty space can be calculated based on vehicle speed and the time history of ultrasonic sensor detecting information. This result can be used for constructing the 2D vehicle environmental map and available parking type judgment. Finally, the auto-parking controller executes the on-line optimal parking trajectory planning based on this 2D environmental map, and monitors the real-time vehicle parking trajectory tracking control. This low cost auto-parking system was tested on a model car.

Keywords: vehicle auto-parking, parking space detection, parking path tracking control, intelligent fuzzy controller

Procedia PDF Downloads 213

Authors: Yasaman Tabari-Saadi, Kaiwen Sun, Jialiang Huang, Martin Green, Xiaojing Hao

Abstract:

Optical and electrical properties of p-type AgBiS₂ absorber material have been improved by copper doping on silver sites. X-Ray diffraction (XRD) and X-ray photoelectron spectroscopy (XPS) analysis suggest that complete solid solutions of Ag₁₋ₓCuₓBiS₂ thin film have been formed. The carrier concentration of pure AgBiS₂ thin film deposited by the chemical process is 4.5*E+14 cm⁻³, and copper doping leads to the improved carrier concentration despite the semiconductor AgBiS₂ remains p-type semiconductor. Copper doping directly changed the absorption coefficient and increased the optical band gap (~1.5eV), which makes it a promising absorber for thin-film solar cell applications.

Keywords: copper doped, AgBiS₂, thin-film solar cell, carrier concentration, p-type semiconductor

Procedia PDF Downloads 85

Authors: Shuenn-Yih Chang, Chiu-Li Huang

Abstract:

Three structure-dependent integration methods have been developed for solving equations of motion, which are second-order ordinary differential equations, for structural dynamics and earthquake engineering applications. Although they generally have the same numerical properties, such as explicit formulation, unconditional stability and second-order accuracy, a different performance is found in solving the free vibration response to either linear elastic or nonlinear systems with high frequency modes. The root cause of this different performance in the free vibration responses is analytically explored herein. As a result, it is verified that a weak instability is responsible for the different performance of the integration methods. In general, a weak instability will result in an inaccurate solution or even numerical instability in the free vibration responses of high frequency modes. As a result, a weak instability must be prohibited for time integration methods.

Keywords: dynamic analysis, high frequency, integration method, overshoot, weak instability

Procedia PDF Downloads 190

Authors: Huang Gui

Abstract:

There can be little doubt that our world is inexorably moving towards being execution-free. However, China is still on the way until now, in other words, China is still a retentionist state in the term of capital punishment but it is developing domestic criminal law toward that goal (eventual abolition of the capital punishment). The alternative sanction to capital punishment, which would be imposed on a criminal who should have been sentenced to death by law, is a substitute for execution and it should be provided with the basis of the present criminal punishment structure and with the premise of abolishing capital punishment or limiting its use. The aim of this paper, therefore, is to explore a substitute for capital punishment in China. For the criminal sanction system in China, the death penalty with suspension, naturally, is an execution, so it wouldn’t be the substitute; life sentences without parole is out of the tune with punishment policy that promoting correction and rehabilitation; life-imprisonment, which is one of the most severe punishment measure in the sanction system, should be a suitable substitute for executing but it needs to be improved, including the term of imprisonment, the commutation and parole conditions.

Keywords: alternative sanctions, capital punishment, life imprisonment, life imprisonment without parole, China

Procedia PDF Downloads 256

Authors: Khodamorad Nabaki, Jianhu Shen, Xiaodong Huang

Abstract:

This paper develops a method for considering the critical fatigue stress as a constraint in the Bi-directional Evolutionary Structural Optimization (BESO) method. Our aim is to reach an optimal design in which high cycle fatigue failure does not occur for a specific life time. The critical fatigue stress is calculated based on modified Goodman criteria and used as a stress constraint in our topology optimization problem. Since fatigue generally does not occur for compressive stresses, we use the p-norm approach of the stress measurement that considers the highest tensile principal stress in each point as stress measure to calculate the sensitivity numbers. The BESO method has been extended to minimize volume an object subjected to the critical fatigue stress constraint. The optimization results are compared with the results from the compliance minimization problem which shows clearly the merits of our newly developed approach.

Keywords: topology optimization, BESO method, p-norm, fatigue constraint

Procedia PDF Downloads 263

Authors: Yu Pu, Chien-Ping Hsiao, Chien-Chang Huang, Chieh-Lun Cheng

Abstract:

Free radicals can accelerate aging on human skin by causing lipid oxidation, protein denaturation, and even DNA mutation. Substances with the ability of anti-free radicals can be used as functional components in cosmetic products. Research are attracted to develop new anti-free radical components for cosmetic application. This study was aimed to evaluate the microbial metabolites on free radical scavenging ability. Two microorganisms, PU-01 and PU-02, were isolated from soil of hot spring environment and grew in LB agar at 50°C for 24 h. The suspension was collected by centrifugation at 4800 g for 3 min, The anti-free radical activity was determined by DPPH (1,1-diphenyl-2-picrylhydrazyl) scavenging assay. The result showed that the growth medium of PU-01 presented a higher DPPH scavenging effect than that of PU-02. This study presented potential anti-free radical components from microbial metabolites that might be applied in anti-aging cosmetics.

Keywords: anti-ageing, anti-free radical, biotechnology, microorganism

Procedia PDF Downloads 131

Authors: Haode Huo, Jingjing He, Rui Kang, Xuefei Guan

Abstract:

This paper presents a study of Lamb wave damage diagnosis of composite delamination using instantaneous phase data. Numerical experiments are performed using the finite element method. Different sizes of delamination damages are modeled using finite element package ABAQUS. Lamb wave excitation and responses data are obtained using a pitch-catch configuration. Empirical mode decomposition is employed to extract the intrinsic mode functions (IMF). Hilbert–Huang Transform is applied to each of the resulting IMFs to obtain the instantaneous phase information. The baseline data for healthy plates are also generated using the same procedure. The size of delamination is correlated with the instantaneous phase change for damage diagnosis. It is observed that the unwrapped instantaneous phase of shows a consistent behavior with the increasing delamination size.

Keywords: delamination, lamb wave, finite element method, EMD, instantaneous phase

Procedia PDF Downloads 293

Authors: Shiuh-Jer Huang, Yun-Han Yeh

Abstract:

A 40 steps manual adjusting shock absorber was refitted with DC motor driving mechanism to construct as a semi-active suspension system for a four-wheel drive electric vehicle. Accelerometer and potentiometer sensors are installed to measure the sprung mass acceleration and suspension system compression or rebound states for control purpose. A fuzzy logic controller was designed to derive appropriate damping target based on vehicle running condition for semi-active suspension system to follow. The damping ratio control of each wheel axis suspension system is executed with a robust fuzzy sliding mode controller (FSMC). Different road surface conditions are chosen to evaluate the control performance of this semi-active suspension system based on wheel axis acceleration signal.

Keywords: semi-active suspension, electric vehicle, fuzzy sliding mode control, accelerometer

Procedia PDF Downloads 446

Authors: Hui-Hsin Huang, Yi-Feng Lin, Che-Chia Hu

Abstract:

To date, photocatalytic wastewater treatment using solar energy has attracted considerable attention. In this study, strontium titanates with various morphologies, i.e., nanofibers and cubic-like particles, were prepared as photocatalysts using the electrospinning (ES), solid-state (SS), and sol-gel (SG) methods. X-ray diffraction (XRD) analysis showed that ES and SS can be assigned to pure phase SrTiO3, while SG was referred to Sr2TiO4. These samples displayed optical absorption edges at 385-395 nm, indicating they can be activated in UV light irradiation. Scanning electron microscope (SEM) analyses revealed that ES SrTiO3 has a uniform fibrous structure with length and diameter of several microns and 100-200 nm, respectively. After loading of nanoparticulate Ag as a co-catalyst onto the surface of strontium titanates, ES sample exhibited highest photocatalytic activity to degrade methylene orange dye solution in comparison to that of SS and SG ones. These results indicate that Ag-loaded ES SrTiO3, which has a desirable SrTiO3 phase and a facile electron transfer along the preferential direction in fibrous structure, can be a promising photocatalyst.

Keywords: photocatalytic degradation, strontium titanate, electrospinning, co-catalyst

Procedia PDF Downloads 240

Authors: Heqian Zhao, Huaizhong Shi, Zhongwei Huang, Zhengliang Chen, Ziang Gu, Fei Gao

Abstract:

Hydraulics mechanics is significantly important in the drilling process of oil or gas exploration, especially for the drill bit. The fluid flows through the nozzles on the bit and generates a water jet to remove the cutting at the bottom hole. In this paper, a simplified bottom hole model is established. The Particle Image Velocimetric (PIV) is used to capture the flow field of the single nozzle. Due to the limitation of the bottom and wellbore, the potential core is shorter than that of the free water jet. The velocity magnitude rapidly attenuates when fluid close to the bottom is lower than about 5 mm. Besides, a vortex zone appears near the middle of the bottom beside the water jet zone. A modified exponential function can be used to fit the centerline velocity well. On the one hand, the results of this paper can provide verification for the numerical simulation of the bottom hole flow field. On the other hand, it also can provide an experimental basis for the hydraulic design of the drill bit.

Keywords: oil and gas, hydraulic mechanic of drilling, PIV, bottom hole

Procedia PDF Downloads 183

Authors: Yun-Hsuan Chang, Chih-Chun Huang, Ru-Band Lu

Abstract:

Dopamine, metabolized to 3,4-dihydroxyphenylacetic acid (DOPAC) by aldehyde dehydrogenase 2 (ALDH2), ALDH2*1/*1, and ALDH2*1/*2+ALDH*2/*2 equally carried in Han Chinese. The relationship between dopamine metabolic enzyme and cognitive performance in bipolar II disorder comorbid with anxiety disorder (AD) remains unclear. This study proposed to explore the association between ALDH2 polymorphisms, anxiety comorbidity in bipolar II disorder. One hundred and ninety-seven BPII with or without AD comorbidity were recruited and compared with 130 Health controls (HC). A polymerase chain reaction and restriction fragment length polymorphism analysis was used to determine genotypes for ALDH2, and neuropsychological battery was performed. Two factor analyses with AD comorbidity and ALDH2 showed a significant main effect of ALDH2 on attention and marginally significant interaction between AD and ALDH2 memory performance. The ALDH2 polymorphisms may play a different role in the neuropsychological performance on varied neuropsychological performance in BPII comorbid with and without AD.

Keywords: anxiety disorder, bipolar II disorder, comorbidity, genetic

Procedia PDF Downloads 602

Authors: Guilan Huang

Abstract:

In 2013 and 2014, the U.S. Food and Drug Administration (FDA) collected data from selected fast food restaurants and full service restaurants for tracking changes in the occurrence of foodborne illness risk factors. This paper discussed how we customized spatial random sampling method by considering financial position and availability of FDA resources, and how we enriched restaurants data with location. Location information of restaurants provides opportunity for quantitatively determining random sampling within non-government units (e.g.: 240 kilometers around each data-collector). Spatial analysis also could optimize data-collectors’ work plans and resource allocation. Spatial analytic and processing platform helped us handling the spatial random sampling challenges. Our method fits in FDA’s ability to pinpoint features of foodservice establishments, and reduced both time and expense on data collection.

Keywords: geospatial technology, restaurant, retail food risk factor study, spatially random sampling

Procedia PDF Downloads 320

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 136

Authors: Jian Huang, Weixin Qian, Hongfang Ma, Haitao Zhang, Weiyong Ying

Abstract:

Cobalt catalysts were supported on extruded silica carrier and different-type (SiO₂, γ-Al₂O₃) commercial supports with different shapes and sizes to produce heavy hydrocarbons for Fischer-Tropsch synthesis. The catalysts were characterized by N₂ physisorption and H₂-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 C₅⁺ 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 245

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 325