Search results for: Shan Zhong

Authors: Li-Fang CHou, Chun-Jung Tseng, Sung-Chun Tsai

Abstract:

Zhong-Yong represents unique values and cognitive beliefs of Chinese culture. Zhong-Yong thinking emphasizes (a) holistic thinking and perspective taking, (b) tolerance of contradictions, and (c) pursuance of a person’s interpersonal and inner harmony. With a unique way of naïve dialectical thinking based on Chinese culture, previous studies have found that people with higher Zhong-Yong thinking have more cognitive resources and resilience to make decision for dilemmas and cope stresses. Creativity is defined as the behavior to create novel and value products and viewed as the most important capital for individuals and enterprises. However, the relationship between Zhong-Yong thinking and creativity is still remaining to be unexplored. Three studies were conducted to explore the effects of Zhong-Yong thinking on creativity. In Study1, with 87 undergraduate students from a university in southern Taiwan as participants, we used questionnaire to measure Zhong-Yong thinking and processed creative task (unusual uses task) to get indicators of fluency and flexibility. After controlling background and openness to experience of Big five, the results showed that Zhong-Yong thinking had significant positive effects on fluency and flexibility. In Study 2, 97 undergraduate students were recruited to do Zhong-Yong thinking task and creative task. The result showed that, compared with control group, the participants had higher creative performance after being primed with Zhong-Yong thinking. In Study 3, we adopted questionnaire survey and took 397 employees from private enterprises in Taiwan as sample. Besides the main effects of Zhong-Yong thinking, the moderating effects on the relationship between leadership behavior and employee’s creative performance were also investigated. We found that (a) Zhong-Yong thinking was positively associated to creative performance; (b) Zhong-Yong thinking strengthened the positive effects of transformational and authoritative leadership on creative performance. Finally, the implications of theory/practice and limitations/future directions were also discussed.

Keywords: Zhong-Yong thinking, creativity and creative performance, unusual uses task, transformational leadership, authoritative leadership

Procedia PDF Downloads 536

Authors: Li Bixia, Ren Shouwen, Fu Yanfeng, Tu Feng, Xiaoming Fang, Xueming Wang

Abstract:

The utilization of dietary crude fiber in different breed pigs is not the same. Su-shan pigs are a new breed formed by crossing Taihu pigs and Yorkshire pigs. In order to understand the resistance of Su-shan pigs to dietary crude fiber, 150 Su-shan pigs with 60 kg of average body weight and similar body conditions were allocated to three groups randomly, and there are 50 pigs in each group. The percentages of dietary crude fiber were 8.35%, 9.10%, and 11.39%, respectively. At the end of the experiment, 15 pigs randomly selected from each group were slaughtered. The results showed as follows: average daily gain of the 9.10% group was higher than that of the 8.35% group and the 11.39% group; there was a significant difference between the 9.10% group and the 8.35% group (p < 0.05. Levels of urea nitrogen, total cholesterol and high density lipoprotein in the 9.10% group were significantly higher than those in the 8.35% group and the 11.39% group (p < 0.05). Ratios of meat to fat in the 9.10% group and the 11.39% group were significantly higher than that in the 8.35% group (p < 0.05). Lean percentage of 9.10% group was higher than that of 8.35% group and 11.39% group, but there was no significant difference in three groups (p > 0.05). The weight of small intestine and large intestine in the 11.39% group was higher than that in the 8.35% group, and the 9.10% group and the difference reached a significant level (p < 0.05). In conclusion, increasing dietary crude fiber properly could reduce fat percentage, and improve the ratio of meat to fat of finishing Su-shan pigs. The digestion and metabolism of dietary crude fiber promoted the development of stomach and intestine of finishing Su-shan pig.

Keywords: Su-shan pigs, dietary crude fiber, growth performance, serum biochemical indexes

Procedia PDF Downloads 284

Authors: Zhi-Wei Zheng, Zhong-Qi Liu, Jia-Ling Qiu, Shan-Qing Guo, Zhong-Wei Jia, Chun Hao

Abstract:

Objectives: The purpose of this study was to understand and examine the association between diurnal mood variation and sexual/health-related status among men who have sex with men (MSM) using data from MSM Chinese Twitter messages. The study consists of 843,745 postings of 377,610 MSM users located in Guangdong that were culled from the MSM Chinese Twitter App. Positive affect, negative affect, sexual related behaviors, and health-related status were measured using the Simplified Chinese Linguistic Inquiry and Word Count. Emotions, including joy, sadness, anger, fear, and disgust were measured using the Weibo Basic Mood Lexicon. A positive sentiment score and a positive emotions score were also calculated. Linear regression models based on a permutation test were used to assess associations between affective states and sexual/health-related status. In the results, 5,871 active MSM users and their 477,374 postings were finally selected. MSM expressed positive affect and joy at 8 a.m. and expressed negative affect and negative emotions between 2 a.m. and 4 a.m. In addition, 25.1% of negative postings were directly related to health and 13.4% reported seeking social support during that sensitive period. MSM who were senior, educated, overweight or obese, self-identified as performing a versatile sex role, and with less followers, more followers, and less chat groups mainly expressed more negative affect and negative emotions. MSM who talked more about sexual-related behaviors had a higher positive sentiment score (β=0.29, p < 0.001) and a higher positive emotions score (β = 0.16, p < 0.001). MSM who reported more on their health status had a lower positive sentiment score (β = -0.83, p < 0.001) and a lower positive emotions score (β = -0.37, p < 0.001). The study concluded that psychological intervention based on an app for MSM should be conducted, as it may improve mental health.

Keywords: affect, men who have sex with men, sexual related behavior, health-related status, social media

Procedia PDF Downloads 133

Authors: Chak Kwong Lau

Abstract:

Many buildings in Hong Kong are graced with enchanting works of Chinese calligraphy. An excellent example is Tao Fong Shan Christian Center founded by a Norwegian missionary, Karl Ludvig Reichelt (1877-1952) in 1930. Adorned with many inspiring works of Chinese calligraphy, the center functions as a place for the study of Christianity where people of different religions can meet to have religious discussions and intellectual exchanges. This paper examines the pivotal role played by Chinese calligraphy in creating a significant context for the center to fulfill her visions and missions. The methodology of this research involves stylistic and textual analyses of works of calligraphy, in particular through an examination and interpretation of their extended meanings in terms of architectural symbology and social and cultural contexts. Findings showed that Chinese calligraphy was effectively used as a powerful vehicle for a purposeful development of contextual Christian spirituality in Hong Kong.

Keywords: Chinese calligraphy, Hong Kong architecture, Hong Kong calligraphy, Johannes Prip-Møller, Karl Ludvig Reichelt, Norwegian missionary, Tao Fong Shan Christian Center, traditional Chinese architecture

Procedia PDF Downloads 244

Authors: Pengcheng Quan, Shan Zhong

Abstract:

Double ramp geometry is widely used in supersonic and hypersonic environments as it presents unique flow patterns for shock wave-boundary layer interaction studies as well as for two-dimensional inlets and deflected control surfaces for re-entry vehicles. Hence, the surface pressure distribution is critical for optimum design. Though when the model is wide enough on spanwise direction the flow can be regarded as a two-dimensional flow, in actual applications a finite width would normally cause some three-dimensional spillage effects. No research has been found addressed this problem, hence the primary interest of this study is to set up a liable surface pressure distribution on a double ramp with three-dimensional effects. Both numerical and experimental (pressure sensitive paints) are applied to obtain the pressure distribution; the results agree well except that the numerical computation doesn’t capture the Gortler vortices. The pressure variations on the spanwise planes are used to analyse the development of the Gortler vortices and the effects of three-dimensional spillage on the vortices. Results indicate that the three-dimensionl spillage effects not only enhance the developing of the Gortler vortice, but also increase the periodic distance between vortice pairs.

Keywords: spillage effects, pressure sensitive paints, hypersonic, double ramp

Procedia PDF Downloads 296

Authors: Liang Ming Zhong, Yu Zhong, Wen Zhong, Fei Fei Yin

Abstract:

Trinary affinity is a description of existence: every object exists as it is known and spoken of, in a system of 2 differences (denoted dif1, dif₂) and 1 similarity (Sim), equivalently expressed as dif₁ / Sim / dif₂ and kn / 0 / tkn (kn = the known, tkn = the 'to be known', 0 = the zero point of knowing). They are mathematically verified and illustrated in this paper by the arrangement of all integers onto 3 columns, where each number exists as a difference in relation to another number as another difference, and the 2 difs as arbitrated by a third number as the Sim, resulting in a trinary affinity or trinity of 3 numbers, of which one is the known, the other the 'to be known', and the third the zero (0) from which both the kn and tkn are measured and specified. Consequently, any number is horizontally specified either as 3n, or as '3n – 1' or '3n + 1', and vertically as 'Cn + c', so that any number seems to occur at the intersection of its X and Y axes and represented by its X and Y coordinates, as any point on Earth’s surface by its latitude and longitude. Technically, i) primes are viewed and treated as progenitors, and composites as descending from them, forming families of composites, each capable of being measured and specified from its own zero called in this paper the realistic zero (denoted 0r, as contrasted to the mathematic zero, 0m), which corresponds to the constant c, and the nature of which separates the composite and prime numbers, and ii) any number is considered as having a magnitude as well as a position, so that a number is verified as a prime first by referring to its descriptive formula and then by making sure that no composite number can possibly occur on its position, by dividing it with factors provided by the composite number formulas. The paper consists of 3 parts: 1) a brief explanation of the trinary affinity of things, 2) the 8 formulas that represent ALL the primes, and 3) families of composite numbers, each represented by a formula. A composite number family is described as 3n + f₁‧f₂. Since there are an infinitely large number of composite number families, to verify the primality of a great probable prime, we have to have it divided with several or many a f₁ from a range of composite number formulas, a procedure that is as laborious as it is the surest way to verifying a great number’s primality. (So, it is possible to substitute planned division for trial division.)

Keywords: trinary affinity, difference, similarity, realistic zero

Procedia PDF Downloads 170

Authors: Khin Nyunt Yee, Mu Mu Thein

Abstract:

Detection survey of mango seed and Pulp weevils was undertaken at major mango production areas, Yat Sauk, Taunggyi, Nyaung Shwe and Hopong Townships, in Shan State (South) of Myanmar on two mango cultivars of Sein Ta Lone and Yinkwe from May to August 2016 to coincide with fruiting season to conduct a survey of mango seed and pulp weevils population. The total numbers of 6300 fruits of both mango cultivars were sampled. Among them, 2900 fruits from 5674 fruit bearing plants were collected for Sein Ta Lone cultivar of five well managed, one unmanaged orchards and Urban in Yatsauk Twonship, 400 fruits from only one well managed orchard in Taunggyi Township, 400 fruits from two managed orchards in Nyaung Shwe Township and 400 fruits from one managed orchard in Hopong Township from May to June. 2200 fruits were collected from 4043 fruit bearing plants for Yinkwe Cultivar of four well managed orchards, one unmanaged orchards and one wild tree only in Yat Sauk Township from July to August, 2016. Fruit sample size was 200 fruits /orchard, / wild or /volunteer trees as minimum number. The pulps of all randomly sampling fruits were longitudinal cut open into three slices on each side of fruit and seed were cut longitudinally to inspect the presence of mango weevils. The collected weevils were identified up to species level at Plant Quarantine Laboratory, Plant Protection Division, Department of Agriculture, Ministry of Agriculture, Livestock and Irrigation, Yangon, Myanmar. Mango Pulp and Seed weevils were found on Sein Ta Lone Mango Cultivar in three out of four surveyed Townships except Hopong with the level of infestation ranged from 0.0% to 3.5% of fruits per Township with 0.0% to 39.0% of fruits per orchard. The highest infestation rate per township was 3.5% of fruits (n=400 fruits) in Nyaung Shwe, then, at Yat Suak, the rate was 2.47% (n=2900 fruits). A well-managed orchard at Taung Gyi had 0.75% (n=400 fruits) whereas Hopong was free 0.0% (n=400). The weevils were also recorded on Yinkwe Mango Cultivar in Yatsauk Township where the infestation level was 12.63% of fruits (n=2200) with 0.0% to 67.0% of fruits per orchard. This high level of infestation was obtained by including an absolutely non Integrated Pest Management (non IPM) orchards in both survey with the infestation rates 63.0% of fruits (n=200) and 67.0% of fruits (n=200) respectively on Yinkwe cultivar. Two different species; mango pulp weevil, Sternochetus frigitus, and mango seed weevil Sternochetus olivieri (Faust) of family Curculionidae under the order Coleoptera were recorded. Sternochetus mangiferae was not found during these surveys. Three different developmental stages of mango seed and pulp weevils: larva, pupa and adult were first detected since the first survey in 3rd week of May and mostly were recorded as adult stages in the following surveys in June, July and August The number of Mango pulp weevil was statistically higher than that of mango seed weevils at P < 0.001%. More precise surveys should be carried out national wide to detect the mango weevils.

Keywords: mango pulp weevil, Sternochetus frigitus, mango seed weevil Sternochetus olivieri, faust, Sternochetus mangiferae, fabricius, Sein Ta Lone, Yinkwe mango cultivars, Shan State (South) Myanmar

Procedia PDF Downloads 274

Authors: Fang-Bo Yu, Li-Bo Guan, Sheng-Dao Shan

Abstract:

Biogas slurry was mixed with six commercial fungicides and screening against 11 phytopathogens was carried out. Results showed that inhibition of biogas slurry was different for the test strains and no significant difference between treatments of Didymella bryoniae, Fusarium oxysporum f. sp. vasinfectum, Aspergillus niger, Rhizoctonia cerealis, F. graminearum and Septoria tritici was observed. However, significant differences were found among Penicillium sp., Botrytis cinerea, Alternaria sonali, F. oxysporum F. sp. melonis and Sclerotinia sclerotiorum. The approach described here presents a promising alternative to current manipulation although some issues still need further examination. This study could contribute to the development of sustainable agriculture and better utilization of biogas slurry.

Keywords: anaerobic digestion, biogas slurry, phytopathogen, sustainable agriculture

Procedia PDF Downloads 294

Authors: Pin-Ju Juan, Peng-Yu Juan, Yi-Shan Chen

Abstract:

The main purpose of this paper is to present a fuzzy Analytic Network Process (ANP) model for the hostel organizational performance selection. In this article, we created 39 criteria for selecting hostel organizational performance acquired from literature's review and experts method practical investigations, and the methods of fuzzy analytic network process are used to consolidate decision-makers’ assessments about criteria weightings. Finally, we selected organizational performance of a hostel in Taiwan to determine the effectiveness of the proposed evaluation model in this paper.

Keywords: Fuzzy ANP, hostel, organizational performance, strategy management

Procedia PDF Downloads 153

Authors: Jeffrey Tzu-Hao Tsai, Yi-Shan Wong

Abstract:

This article proposes a cohort-age-period (CAP) model to characterize multi-population mortality processes using cohort, age, and period variables. Distinct from the factor-based Lee-Carter-type decomposition mortality model, this approach is empirically based and includes the age, period, and cohort variables into the equation system. The model not only provides a fruitful intuition for explaining multivariate mortality change rates but also has a better performance in forecasting future patterns. Using the US and the UK mortality data and performing ten-year out-of-sample tests, our approach shows smaller mean square errors in both countries compared to the models in the literature.

Keywords: longevity risk, stochastic mortality model, multivariate mortality rate, risk management

Procedia PDF Downloads 22

Authors: Yu-Wei Chang, Hsuan-Yu Ku, Jo-Shan Chiu, Shao-Fu Chang, Chien-Chon Chen

Abstract:

This paper aims to discuss the hydrophilicity about the anodic aluminum oxide (AAO) template with titania nanotubes (NTs). The AAO templates with pore size diameters of 20-250 nm were generated by anodizing 6061 aluminum alloy substrates in acid solution of sulfuric acid (H₂SO₄), oxalic acid (COOH)₂, and phosphoric acid (H₃PO₄), respectively. TiO₂-NTs were grown on AAO templates by the sol-gel deposition process successfully. The water contact angle on AAO/TiO₂-NTs surface was lower compared to the water contact angle on AAO surface. So, the characteristic of hydrophilicity was significantly associated with the AAO pore size and what kinds of materials were immersed variables.

Keywords: AAO, nanotube, sol-gel, anodization, hydrophilicity

Procedia PDF Downloads 320

Authors: Xin-Yan Ji, Jing Wang, Chang Liu, Yan-Qiang Bi, Zhong-Xu Xu, Xi-Yuan Li

Abstract:

Thermal tests of electronic units are critically important for the reliability validation and performance demonstration of the spacecraft hard-wares. The tailoring equation in MIL-STD-1540 is based on fatigue of solder date. In the present paper, a new test condition tailoring expression is proposed to fit different thermo-mechanical fatigue and different subsystems, by introducing an integrated evaluating method for the fatigue acceleration exponent. The validate test has been accomplished and the data has been analyzed and compared with that from the MIL-STD-1540 tailoring equations. The results are encouraging and reasonable.

Keywords: thermal cycling test, thermal fatigue, tailoring equation, test condition planning

Procedia PDF Downloads 418

Authors: Pei-Shan Wei, Szu-Ying Lee, Hsi-Peng Lu, Jen-Chuen Tzou, Chien-I Weng

Abstract:

Mobile social games recently become extremely popular, spawning a whole new entertainment culture. However, mobile game players are fickle, quickly and easily picking up and abandoning games. This pilot study seeks to identify factors that influence users to discontinue playing mobile social games. We identified three sacrifices which can prompt users to abandon games: monetary sacrifice, time sacrifice and privacy sacrifice. The results showed that monetary sacrifice has a greater impact than the other two factors in causing players to discontinue usage intention.

Keywords: abandon, mobile devices, mobile social games, perceived sacrifice

Procedia PDF Downloads 464

Authors: Lina Zhong, Sunny Sun, Rob Law

Abstract:

Artificial intelligence has been developing rapidly. Previous studies have evaluated hotel technology either from an employee or consumer perspective. However, impacts, which mainly include the social and economic impacts of hotel robots, are unknown as they are newly introduced. To bridge the aforementioned research gap, this study evaluates hotel robots from contextual, diagnostic, evaluative, and strategic aspects using framework analysis as a basis to assist hotel managers in real-time hotel marketing strategy management, adjustment and revenue achievement. Findings show that, from a consumer perspective, the overall acceptance of hotel robots is low. The main implication is that the cost of hotel robots should be carefully estimated, and the investment should be made based on phases.

Keywords: application, evaluation, framework analysis, hotel robot

Procedia PDF Downloads 146

Authors: Shan-e-Fatima, Mushtaq Khan, Syed Imran Hussian

Abstract:

Plasma arc welding technology is used for welding SS-304L with A-36. Two different optimize butt welded joints were produced by using austenitic filler alloy E-309L and with direct fusion at 45 A, 2mm/sec by keeping plasma gas flow rate at 0.5LPM. Microstructure analysis of the weld bead was carried out. The results reveal complex heterogeneous microstructure in austenitic base filler alloy sample where as full martensite was found in directly fused sample.

Keywords: fusion zone microstructure, stainless steel, low carbon steel, plasma arc welding

Procedia PDF Downloads 541

Authors: Xuzhen Yang, Yan Shan, Yabo Ding, Keke DIao, Yanjun Zhang, Yijia Huang

Abstract:

Purpose: Our aim is to understand the unique experiences of patients with peritoneal dialysis and how they deal with issues brought on by disease and dialysis. Patients and Methods: Semi-structured interview was designed to collect information, and inpatients with peritoneal dialysis in a university-based tertiary hospital in the central province of China were purposively chosen as interviewees. The content analysis method was used to analyze the data. Results: Nine patients participated in the study, and three themes and eight subthemes were generated. Conclusion: Patients using peritoneal dialysis encounter numerous challenges and problems in the process of disease and dialysis, and they took attempt to cope with them well to adapt to living with peritoneal dialysis.

Keywords: peritoneal dialysis, experience, patient, coping strategy

Procedia PDF Downloads 63

Authors: John Kong Shan Ho

Abstract:

In June 2022, the Law Commission of England and Wales published an options paper to examine how the law on corporate criminal liability can be reformed under the English system. The paper merely details options for reform and does not seek to make recommendations. However, the paper has ruled out the “respondeat superior” approach of the US and “corporate culture” approach of Australia as reform options. On balance, the preferred reform option of the Law Commission is the “senior officer” approach as currently adopted in Canada. This article is written against such background and argues that due to similarities between the English and Canadian systems, the latter’s approach is more ideal to be adopted by the former as a model for reform in this area.

Keywords: corporate criminal liability, identification principle, directing mind and will, England, Canada

Procedia PDF Downloads 71

Authors: Weiwei Shan, Wenjing Ding, Juan Ning, Chao He, Zijuan Wang

Abstract:

Gravity circulation loop for the cryopumps of the space simulator is introduced, and two phase mathematic model of flow heat transfer is analyzed as well. Based on this model, the liquid nitrogen (LN₂) gravity circulation loop including its equipment and layout is designed and has served as LN₂ feeding system for cryopumps in one large space simulator. With the help of control software and human machine interface, this system can be operated flexibly, simply, and automatically under four conditions. When running this system, the results show that the cryopumps can be cooled down and maintained under the required temperature, 120 K.

Keywords: cryopumps, gravity circulation loop, liquid nitrogen, two-phase

Procedia PDF Downloads 363

Authors: Liang Zhao, Jili Zhang, Chongquan Zhong

Abstract:

Energy consumption data, in particular those involving public buildings, are impacted by many factors: the building structure, climate/environmental parameters, construction, system operating condition, and user behavior patterns. Traditional methods for data analysis are insufficient. This paper delves into the data mining technology to determine its application in the analysis of building energy consumption data including energy consumption prediction, fault diagnosis, and optimal operation. Recent literature are reviewed and summarized, the problems faced by data mining technology in the area of energy consumption data analysis are enumerated, and research points for future studies are given.

Keywords: data mining, data analysis, prediction, optimization, building operational performance

Procedia PDF Downloads 811

Authors: Xinyan Zhang, Zhipeng Tan, Shan Fan

Abstract:

The first layer of defense against data loss is the backup data. This paper implements an agent-based network backup system used the backup, server-storage and server-backup agent these tripartite construction, and we realize the snapshot and hierarchical index in the NSBS. It realizes the control command and data flow separation, balances the system load, thereby improving the efficiency of the system backup and recovery. The test results show the agent-based network backup system can effectively improve the task-based concurrency, reasonably allocate network bandwidth, the system backup performance loss costs smaller and improves data recovery efficiency by 20%.

Keywords: agent, network backup system, three architecture model, NSBS

Procedia PDF Downloads 428

Authors: Ya-Ling Huang, Ming-Chun Tsai, Fan Hsu, Kai-Ru Hsieh

Abstract:

This paper mainly discusses the research and practice process of a laboratory curriculum by leading students to perform field investigation into time-honoured shops that have existed for more than 50 years in the downtown area of Tainan, Taiwan, and then search again for design elements and completing the design. The participants are juniors from the Department of Visual Communication Design, Kun Shan University. The duration of research and practice is two months. Operators of these shops are invited to jointly appraise the final achievements. 9 works out of 27 are chosen for final exhibition and commercialization.

Keywords: culture creative industry, visual communication design, curriculum experimental, visual arts

Procedia PDF Downloads 323

Authors: Shan Zhou, Wenju Li, Kehui Chai

Abstract:

Along with economic globalization, marketization and regional development, strengthen planning and construction of the New Town, which is always the main way to optimize the structure and function of metropolitan spatial configuration. But, the new town is often of high-intensity development, bringing a series of natural, ecological and environmental issues, so it is difficult to achieve sustainable development. In this paper, taking the administrative center of Jiangping in Dongxing as an example. It is analyzed from the following three aspects：Vertical design of road traffic，Space layout of mountain buildings，and the design of landscape. The purpose is to elaborate the hillside design methods guided by low-intensity damage, and explore the guiding significance of sustainable development of the hillside construction in the future.

Keywords: low-intensity damage, new town construction，hillside，sustainable development, natural, ecology

Procedia PDF Downloads 435

Authors: Yang Zhong, Heng Liu

Abstract:

The decoupling method and the modified Naiver method are combined for accurate bending analysis of rectangular thick plates with all edges clamped supported. The basic governing equations for Mindlin plates are first decoupled into independent partial differential equations which can be solved separately. Using modified Navier method, the analytic solution of rectangular thick plate with all edges clamped supported is then derived. The solution method used in this paper leave out the complicated derivation for calculating coefficients and obtain the solution to problems directly. Numerical comparisons show the correctness and accuracy of the results at last.

Keywords: Mindlin plates, decoupling method, modified Navier method, bending rectangular plates

Procedia PDF Downloads 560

Authors: Nicodemus M. J. Mbwambo, Yu-Shan Sun, Murali Sitaraman, Joan Krone

Abstract:

This paper presents a generic data abstraction that captures a navigable tree position. The mathematical modeling of the abstraction encapsulates the current tree position, which can be used to navigate and modify the tree. The encapsulation of the tree position in the data abstraction specification avoids the use of explicit references and aliasing, thereby simplifying verification of (imperative) client code that uses the data abstraction. To ease the tasks of such specification and verification, a general tree theory, rich with mathematical notations and results, has been developed. The paper contains an example to illustrate automated verification ramifications. With sufficient tree theory development, automated proving seems plausible even in the absence of a special-purpose tree solver.

Keywords: automation, data abstraction, maps, specification, tree, verification

Procedia PDF Downloads 132

Authors: Te-Jen Chang, I-Hui Pan, Ping-Sheng Huang, Shan-Jen Cheng

Abstract:

In this paper, a fast multiplication computing method utilizing the complement representation method and canonical recoding technique is proposed. By performing complements and canonical recoding technique, the number of partial products can be reduced. Based on these techniques, we propose an algorithm that provides an efficient multiplication method. On average, our proposed algorithm is to reduce the number of k-bit additions from (0.25k+logk/k+2.5) to (k/6 +logk/k+2.5), where k is the bit-length of the multiplicand A and multiplier B. We can therefore efficiently speed up the overall performance of the multiplication. Moreover, if we use the new proposes to compute common-multiplicand multiplication, the computational complexity can be reduced from (0.5 k+2 logk/k+5) to (k/3+2 logk/k+5) k-bit additions.

Keywords: algorithm design, complexity analysis, canonical recoding, public key cryptography, common-multiplicand multiplication

Procedia PDF Downloads 401

Authors: Yeong-cheng Wang, Jin-Yinn Wang, Ming-Shan Lin, Jian-Li Dong

Abstract:

To universalize the adoption of sustainable energy, the R.O.C. government encourages public buildings to introduce the PV power station on the building roof, whereas most old buildings did not include the considerations of photovoltaic (PV) power facilities in the design phase. Several factors affect the PV electricity output, the temperature is the key one, different PV technologies have different temperature coefficients. Other factors like PV panel azimuth, panel inclination from the horizontal plane, and row to row distance of PV arrays, mix up at the beginning of system design. The goal of this work is to maximize the annual energy output of a roof mount PV system. Tables to simplify the design work are developed; the results can be used for engineering project quote directly.

Keywords: optimal inclination, array azimuth, annual output

Procedia PDF Downloads 641

Authors: Weizhi Zhong, Xiaoyi Lu, Lei Xu

Abstract:

In order to solve the problem of inaccurate synchronization for distributed multiple-input multiple-output (MIMO) system in multipath environment, a golay pair aided timing synchronization method is proposed in this paper. A new synchronous training sequence based on golay pair is designed. By utilizing the aperiodic auto-correlation complementary property of the new training sequence, the fine timing point is obtained at the receiver. Simulation results show that, compared with the tradition timing synchronization approaches, the proposed algorithm can provide high accuracy in synchronization, especially under multipath condition.

Keywords: distributed MIMO system, golay pair, multipath, synchronization

Procedia PDF Downloads 215

Authors: You Lu Shi

Abstract:

The Sixteen Arhats evolved around the third and fourth centuries based on a discourse expounded by the great Arhat Nandimitra, the text of which was translated into Chinese by Xuanzang in the mid-seventh century. The iconographical form emerged soon after, in the ninth century. Subsequently, two more Arhats were introduced, which gave rise to the Eighteen Arhats. Today, the Eighteen Arhats at the Fo Guang Shan Buddha Museum is not simply a recollection of the traditionally listed Eighteen Arhats; the roster includes three female Arhats as well. This paper aims to study the ideas that Venerable Master Hsing Yun envisioned when referring to these Eighteen Arhats, and what they represent in the modern world, in the context of Humanistic Buddhism. The differences between the traditional Eighteen Arhats and the new line-up erected at the Buddha Museum will be carefully examined.

Keywords: eighteen Arhats, humanistic Buddhism, Hsing Yun, Buddha Museum

Procedia PDF Downloads 101

Authors: Z. W. Zhong, C. Xu, W. K. Choi

Abstract:

To build a thin fan-out wafer-level package, the package had to be ground to a thin level. In this work, the influence of the grinding processes on the strength of the fan-out wafer-level packages was investigated. After different grinding processes, all specimens were placed on a three-point-bending fixture installed on a universal tester for three-point-bending testing, and the strength of the fan-out wafer-level packages was measured. The experiments revealed that the average flexure strength increased with the decreasing surface roughness height of the fan-out wafer-level package tested. The grinding processes had a significant influence on the strength of the fan-out wafer-level packages investigated.

Keywords: FOWLP strength, surface roughness, three-point bending, grinding

Procedia PDF Downloads 251

Authors: Yang Zhong, Meijie Xu

Abstract:

The explicit solutions for the natural frequencies and mode shapes of the orthotropic rectangular plate with four clamped edges are presented by the double finite cosine integral transform method. In the analysis procedure, the classical orthotropic rectangular thin plate is considered. Because only are the basic dynamic elasticity equations of the orthotropic thin plate adopted, it is not need prior to select the deformation function arbitrarily. Therefore, the solution developed by this paper is reasonable and theoretical. Finally, an illustrative example is given and the results are compared with those reported earlier. This method is found to be easier and effective. The results show reasonable agreement with other available results, but with a simpler and practical approach.

Keywords: rectangular orthotropic plate, four clamped edges, natural frequencies and mode shapes, finite integral transform

Procedia PDF Downloads 544