Search results for: Fang Yuan

Authors: Min Fang, Jiaxi Yang

Abstract:

Monetary policy could be less effective at stimulating investment during periods of elevated volatility than during normal times. In this paper, we argue that elevated volatility leads to a decrease in extensive margin investment incentive so that nominal stimulus generates less aggregate investment. To do this, we first empirically document that high volatility weakens firms’ investment responses to monetary stimulus. Such effects depend on the lumpiness nature of the firm-level investment. The findings are that the channel exists for all of the physical investment, innovation investment, and organization investment.

Keywords: investment, irreversibility, volatility, uncertainty, firm heterogeneity, monetary policy

Procedia PDF Downloads 71

Authors: Xiaoyu Shen, Fang Fang, Chujun Qiu

Abstract:

Herewith we present a Fourier method for credit risk quantification and allocation in the factor-copula model framework. The key insight is that, compared to directly computing the cumulative distribution function of the portfolio loss via Monte Carlo simulation, it is, in fact, more efficient to calculate the transformation of the distribution function in the Fourier domain instead and inverting back to the real domain can be done in just one step and semi-analytically, thanks to the popular COS method (with some adjustments). We also show that the Euler risk allocation problem can be solved in the same way since it can be transformed into the problem of evaluating a conditional cumulative distribution function. Once the conditional or unconditional cumulative distribution function is known, one can easily calculate various risk metrics. The proposed method not only fills the niche in literature, to the best of our knowledge, of accurate numerical methods for risk allocation but may also serve as a much faster alternative to the Monte Carlo simulation method for risk quantification in general. It can cope with various factor-copula model choices, which we demonstrate via examples of a two-factor Gaussian copula and a two-factor Gaussian-t hybrid copula. The fast error convergence is proved mathematically and then verified by numerical experiments, in which Value-at-Risk, Expected Shortfall, and conditional Expected Shortfall are taken as examples of commonly used risk metrics. The calculation speed and accuracy are tested to be significantly superior to the MC simulation for real-sized portfolios. The computational complexity is, by design, primarily driven by the number of factors instead of the number of obligors, as in the case of Monte Carlo simulation. The limitation of this method lies in the "curse of dimension" that is intrinsic to multi-dimensional numerical integration, which, however, can be relaxed with the help of dimension reduction techniques and/or parallel computing, as we will demonstrate in a separate paper. The potential application of this method has a wide range: from credit derivatives pricing to economic capital calculation of the banking book, default risk charge and incremental risk charge computation of the trading book, and even to other risk types than credit risk.

Keywords: credit portfolio, risk allocation, factor copula model, the COS method, Fourier method

Procedia PDF Downloads 119

Authors: Chih-Hsin Lin, Shyh-Yuan Lee, Yuan-Min Lin

Abstract:

For many tissue engineering applications, an important goal is to create functional tissues in-vitro, and such tissues to be viable, they have to be vascularized. Endothelial cells (EC) and endothelial progenitor cells (EPC) are promising candidates for vascularization. However, both of them have limited expansion capacity and autologous cells currently do not exist for either ECs or EPCs. Therefore, we use bone marrow mesenchymal stem cells (MSC) as a source material for ECs. Growth supplements are commonly used to induce MSC differentiation, and further improvements in differentiation conditions can be made by modifying the cell's growth environment. An example is pre-treatment of the growth dish with gas plasma, in order to modify the surface functional groups of the material that the cells are seeded on. In this work, we compare the effects of different gas plasmas on the growth and differentiation of MSCs. We treat the dish with different plasmas (CO2, N2, and O2) and then induce MSC differentiation with endothelial growth medium-2 (EGM-2). We find that EGM-2 by itself upregulates EC marker CD31 mRNA expression, but not VEGFR2, CD34, or vWF. However, these additional EC marker expressions were increased for cells seeded on plasma treated substrates. Specifically, for EC markers, we found that N2 plasma treatment upregulated CD31 and VEGFR-2 mRNA expressions; CO2 plasma treatment upregulated CD34 and vWF mRNA expressions. The osteogenic markers ALP and osteopontin mRNA expressions were markedly enhanced on all plasma-treated dishes. We also found that plasma treatment in conjunction with EGM-2 growth medium can enhance MSCs differentiation into endothelial-like cells and osteogenic-like cells. Our work shows that the effect of the growth medium (EGM-2) on MSCs differentiation is influenced by the plasma modified surface chemistry of the substrate. In conclusion, plasma surface modification can enhance EGM-2 effectiveness and induced both endothelial and osteogenic differentiation. Our findings provide a method to enhance EGM-2 based cell differentiation, with consequences for tissue engineering and stem cell biology applications.

Keywords: endothelial differentiation, EGM-2, osteogenesis, plasma treatment, surface modification

Procedia PDF Downloads 306

Authors: Linqing Ma, Huiling Feng, Jihong Liang, Yi Qian

Abstract:

In China, some villages have survived in the long history of changes and remain until today with their unique styles and featured culture developed in the past. Those ancient villages, usually aged for hundreds or thousands of years, are the mirror for traditional Chinese culture, especially the farming-studying culture represented by the Confucianism. Gaoqian, an ancient village with a population of 3,000 in Zhejiang province, is such a case. With a history dating back to Yuan Dynasty, Gaoqian Village has 13 well-preserved traditional Chinese houses with a courtyard, which were built in the Ming and Qing Dynasty. It is a fine specimen to study traditional rural China. In China, some villages have survived in the long history of changes and remain until today with their unique styles and featured culture developed in the past. Those ancient villages, usually aged for hundreds or thousands of years, are the mirror for traditional Chinese culture, especially the farming-studying culture represented by the Confucianism. Gaoqian, an ancient village with a population of 3,000 in Zhejiang province, is such a case. With a history dating back to Yuan Dynasty, Gaoqian Village has 13 well-preserved traditional Chinese houses with a courtyard, which were built in the Ming and Qing Dynasty. It is a fine specimen to study traditional rural China. Then a repository for the memory of the Village will be completed by doing arrangement and description for those multimedia resources such as texts, photos, videos and so on. Production of Creative products with digital technologies is also possible based a thorough understanding of the culture feature of Gaoqian Village using research tools for literature and history studies and a method of comparative study. Finally, the project will construct an exhibition platform for the Village and its culture by telling its stories with completed structures and treads.

Keywords: ancient villages, digital exhibition, multimedia, traditional culture

Procedia PDF Downloads 555

Authors: Chih-Chiang Hua, Yi-Hsiung Fang, Cyuan-Jyun Wong

Abstract:

An improved PV balancer for photovoltaic applications is proposed in this paper. The proposed PV balancer senses the voltage and current of PV module and adjusts the output voltage of converter. Thus, the PV system can implement maximum power point tracking (MPPT) independently for each module whether it is under shading, different irradiation or degradation of PV cell. In addition, the cost of PV balancer can be reduced due to the low power rating of converter. To assess the effectiveness of the proposed system, two PV balancers are designed and verified through simulation under different shading conditions. The proposed PV balancers can provide more energy than the traditional PV balancer.

Keywords: MPPT, partial shading, PV System, converter

Procedia PDF Downloads 270

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 295

Authors: Yuan-Hong Ho, Chiung-Ju Huang

Abstract:

This article presents a monitoring indicators system that predicts whether a local government in Taiwan is heading for fiscal distress and identifies a suitable fiscal policy that would allow the local government to achieve fiscal balance in the long run. This system is relevant to stockholders’ interest, simple for national audit bodies to use, and provides an early warning of fiscal distress that allows preventative action to be taken.

Keywords: fiscal health, fiscal distress, monitoring signals, 10-point scale

Procedia PDF Downloads 431

Authors: Zhuo-Xin Lu, Yan Shi, Chang-Feng Yan, Ying Huang, Yuan Gan, Zhi-Da Wang

Abstract:

With TiO2 nanotube arrays (TNTA) as template, a IrO2 nanopores membrane electrode assembly (MEA) was synthesized by a novel depositi-assemble-etch strategy. By analysing the morphology of IrO2/TNTA and cyclic voltammetry (CV) curve at different deposition cycles, we proposed a reasonable scheme for the process of IrO2 electrodeposition on TNTA. The current density of IrO2/TNTA at 1.5V vs RHE reaches 5.12mA/cm2 after 55 cycles deposition, which shows promising performance for its high OER activity after template removal.

Keywords: electrodeposition, IrO2 nanopores, MEA, OER

Procedia PDF Downloads 420

Authors: Hsiao Hsun Yuan

Abstract:

Internal marketing was proposed in 1970s. The theory of the concept has continually changed over the past forty years. This study discussed the following themes: the definition and implication of internal marketing, the progress of its development, and the evolution of its theoretical model. Moreover, the study systematically organized the strategies of the internal marketing theory adopted on enterprise and how they were put into practice. It also compared the empirical studies focusing on how the existent theories influenced the important variables of internal marketing. The results of this study are expected to serve as references for future exploration of the boundary and studies aiming at how internal marketing is applied to different types of enterprises.

Keywords: corporate responsibility, employee organizational performance, internal marketing, internal customer

Procedia PDF Downloads 324

Authors: A. Giwa, S. M. Jung, W. Fang, J. Kong, S. W. Hasan

Abstract:

MnO₂ nanowires were developed as filtration media for wastewater treatment that uniquely combines several advantages. The resulting material demonstrated strong capability to remove the pollution of heavy metal ions and organic contents in water. In addition, the manufacture process of such material is practical and economical. In this work, MnO₂ nanowires were integrated with the state-of-art bio-electrochemical system for wastewater treatment, to overcome problems currently encountered with organic, inorganic, heavy metal, and microbe removal, and to minimize the unit footprint (land/space occupation) at low cost. Results showed that coupling the bio-electrochemical with MnO₂ resulted in very encouraging results with higher removal efficiencies of such pollutants.

Keywords: bio-electrochemical, nanowires, novel, wastewater

Procedia PDF Downloads 351

Authors: Muhammad Zaman, Guohua Fang, Muhammad Saifullah,

Abstract:

The presented study emphasize at an optimal model to compare past and future optimal hydropower generation. In order to get maximum benefits from the Xin’anjiang hydropower station a model is developed. A Particle Swarm Optimization (PSO) has purposed and past and future water flow is used to get the maximum benefits from future water resources in this study. The results revealed that the future hydropower generation is more than the past generation. This paper gives us idea that what could we get in the past using optimal method of electricity generation and what can we get in the future using this technique.

Keywords: PSO, future water resources, optimization, Xin’anjiang,

Procedia PDF Downloads 407

Authors: Fang Tang, Jacob Longazo

Abstract:

This paper describes a sliding autonomy approach for coordinating a team of robots to assist the human operator to accomplish tasks while adapting to new or unexpected situations by requesting help from the human operator. While sliding autonomy has been well studied in the context of controlling a single robot. Much work needs to be done to apply sliding autonomy to a multi-robot team, especially human-robot team. Our approach aims at a hierarchical sliding control structure, with components that support human-robot collaboration. We validated our approach in the USARSim simulation and demonstrated that the human-robot team's overall performance can be improved under the sliding autonomy control.

Keywords: sliding autonomy, multi-robot team, human-robot collaboration, USARSim

Procedia PDF Downloads 500

Authors: Wen Po Cheng, Chi Hua Fu, Ping Hung Chen, Ruey Fang Yu

Abstract:

Recovering resources from water purification sludge (WPS) have been gradually stipulated in environmental protection laws and regulations in many nations. Hence, reusing the WPS is becoming an important topic, and recovering alum from WPS is one of the many practical alternatives. Most previous research efforts have been conducted on studying the amphoteric characteristic of aluminum hydroxide for investigating the optimum pH range to dissolve the Al(III) species from WPS, but it has been lack of reaction kinetics or mechanisms related discussion. Therefore, in this investigation, water purification sludge (WPS) solution was broken by ultrasound to make particle size of reactants smaller, specific surface area larger. According to the reaction kinetics, these phenomena let the dissolved aluminum salt quantity increased and the reaction rate go faster.

Keywords: aluminum, acidification, sludge, recovery

Procedia PDF Downloads 587

Authors: Chih Yuan Chen, Chien Chon Chen, Jin-Shyong Lin

Abstract:

The microstructure characterization of tempered nanocrystalline bainitic steel is investigated in the present study. It is found that two types of plastic relaxation, dislocation debris and nanotwin, occurs in the displacive transformation due to relatively low transformation temperature and high carbon content. Because most carbon atoms trap in the dislocation, high dislocation density can be sustained during the tempering process. More carbides only can be found in the high tempered temperature due to intense recovery progression.

Keywords: nanostructure bainitic steel, tempered, TEM, nano-twin, dislocation debris, accommodation

Procedia PDF Downloads 503

Authors: Wen Po Cheng, Chia Yun Chung, Ruey Fang Yu, Chao Feng Chen

Abstract:

The main objective of this research was to study the differences of aluminum hydrolytic products between two PACl preparation methods. These two methods were the acidification process of freshly formed amorphous Al(OH)₃ and the conventional alkalization process of aluminum chloride solution. According to Ferron test and ²⁷Al NMR analysis of those two PACl preparation procedures, the reaction rate constant (k) values and Al₁₃ percentage of acid addition process at high basicity value were both lower than those values of the alkaline addition process. The results showed that the molecular structure and size distribution of the aluminum species in both preparing methods were suspected to be significantly different at high basicity value.

Keywords: polyaluminum chloride, Al13, amorphous aluminum hydroxide, Ferron test

Procedia PDF Downloads 343

Authors: Juzar Vohra, Ravish Malhotra, Tim Pasang, Mana Azizi, Yuan Tao, Masami Mizutani

Abstract:

In this paper, dissimilar welding of titanium to stainless steels is reported. Laser Beam Welding (LBW) and Gas Tungsten Arc Welding (GTAW) were employed to join CPTi to SS304. The welds were examined using scanning electron microscopy (SEM) and energy dispersive X-ray spectroscopy (EDS). FeTi, Ti2Cr and Fe2Ti dendrites are formed along with beta phase titanium matrix. The hardness values of these phases are high which makes them brittle and leading to cracking along the weld pool. However, it is believed that cracking, hence, fracturing of this weld joint is largely due to the difference in thermal properties of the two alloys.

Keywords: dissimilar metals, fusion welding, intermetallics, brittle

Procedia PDF Downloads 470

Authors: Yinjun Tu, Qiang Fang, Glenn I. Matthews, Shuenn-Yuh Lee

Abstract:

This paper reports an efficient and rigorous self-adaptive stimulus artifacts removal approach for a mixed surface EMG (Electromyography) and stimulus signal during muscle stimulation. The recording of EMG and the stimulation of muscles were performing simultaneously. It is difficult to generate muscle fatigue feature from the mixed signal, which can be further used in closed loop system. A self-adaptive method is proposed in this paper, the stimulation frequency was calculated and verified firstly. Then, a mask was created based on this stimulation frequency to remove the undesired stimulus. 20 EMG signal recordings were analyzed, and the ANOVA (analysis of variance) approach illustrated that the decreasing trend of median power frequencies was successfully generated from the 'cleaned' EMG signal.

Keywords: EMG, FES, stimulus artefacts, self-adaptive

Procedia PDF Downloads 371

Authors: Wu Xiaoguang, Liu Jiaxin, Fang Miaomiao, Wei Saidong

Abstract:

There are many prestressed concrete prefabricated girder Bridges with small and medium span and the damage is serious. This paper mainly study the effect of prestress loss of prefabricated bridge bearing performance, through the establishment of ANSYS finite element model, from the condition of different prestress loss research, get the stress and strain data, draw curve, finally get the following conclusion: loss of prestress can reduce the ultimate bearing capacity of Bridges, the side span across the deflection value than the influence of times side span, the influence of the deflection in the midspan cross value. Therefore, the prestress loss and the effective prestress should be strictly considered in the design and construction process.

Keywords: across the deflection, loss of prestress, prefabricated girder bridge, the main tensile stress

Procedia PDF Downloads 111

Authors: Liu Yi Hui, Chun-Liang Lai, Jhang Yu Cih, He You Jing, Chiu Fan-Yun, Lin Yu Fang

Abstract:

For universities offering long-term care education, the inclusion of adulting learning and practices in professional courses as appropriate based on holistic design and evaluation could improve talent empowerment by leveraging social capital. Moreover, it could make the courses and materials used in long-term care education responsive to real-life needs. A mixed research method was used in the research design. A quantitative study was also conducted using a questionnaire survey, and the data were analyzed by SPSS 22.0 Chinese version. The qualitative data included students’ learning files (learning reflection notes, course reports, and experience records).

Keywords: adult learning, community empowerment, social capital, mixed research

Procedia PDF Downloads 123

Authors: Chih-Yuan Weng

Abstract:

It may be a common sense that indigenous people in Taiwan, like their counterparts in the rest of the world, are generally more disadvantaged than other citizens in terms of all sorts of socioeconomic indicators. However, it has also been well-documented in the literature that there is always significant variation in the level of indigenous poverty, both among individuals and among tribes, which can be obscured by a national survey that does not take into account the heterogeneity, such as tribal locations, among indigenous people. Thus, using a Truku tribe in a remote county of Taiwan (i.e., Hualien County) as an example, this study aims at investigating whether and how the socioeconomic livelihood of the indigenous residents would be damaged by the remoteness of their tribal community.

Keywords: indigenous people, tribal community, poverty, socioeconomic livelihood, remoteness

Procedia PDF Downloads 47

Authors: Wang Mimi, Jiang Changjun, Liu Guanjun, Fang Xianwen

Abstract:

Loop structure often appears in the business process modeling, analyzing the consistency of corresponding workflow net models containing loop structure is a problem, the existing behavior consistency methods cannot analyze effectively the process models with the loop structure. In the paper, by analyzing five kinds of behavior relations of transitions, a three-dimensional figure and two-dimensional behavior relation matrix are proposed. Based on this, analysis method of behavior consistency of business process based on Petri net branching processes is proposed. Finally, an example is given out, which shows the method is effective.

Keywords: workflow net, behavior consistency measures, loop, branching process

Procedia PDF Downloads 358

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 420

Authors: Quoc Hung Le Pham

Abstract:

In the field of language study, classifier is an interesting research feature. In the world’s languages, some languages have classifier system, some do not. Mandarin Chinese and Vietnamese languages are a rich classifier system, however, because of the language system, the cognitive, cultural differences, so that the syntactic structure of classifier of them also dissimilar. When using Mandarin Chinese classifiers must collocate with nouns or verbs, in the lexical category it is not like nouns or verbs, belong to the open class. But some scholars believe that Mandarin Chinese measure words are similar to English and other Indo European languages. The word hanging on the structure and word formation (suffix), is a closed class. Compared to other languages, such as Chinese, Vietnamese, Thai and other Asian languages are still belonging to the classifier language’s second type, this type of language is classifier, it is in the majority of quantity must exist, and following deictic, anaphoric or quantity appearing together, not separation between its modified noun, also known as numeral classifier language. Main syntactic structure of Chinese classifiers are as follows: ‘quantity+measure+noun’, ‘pronoun+measure+noun’, ‘pronoun+quantity+measure+noun’, ‘prefix+quantity+measure +noun’, ‘quantity +adjective + measure +noun’, ‘ quantity (above 10 whole number), + duo (多)measure +noun’, ‘ quantity (around 10) + measure + duo (多) +noun’. Main syntactic structure of Vietnamese classifiers are: ‘quantity+measure+noun’, ‘ measure+noun+pronoun’, ‘quantity+measure+noun+pronoun’, ‘measure+noun+prefix+ quantity’, ‘quantity+measure+noun+adjective', ‘duo (多) +quanlity+measure+noun’, ‘quantity+measure+adjective+pronoun (quantity word could not be 1)’, ‘measure+adjective+pronoun’, ‘measure+pronoun’. In daily life, classifiers are commonly used, if Chinese learners failed to standardize this using catergory, because the negative impact might occur on their verbal communication. The richness of the Chinese classifier system contributes to the complexity in the study of the system by foreign learners, especially in the inter language of Vietnamese learners. As above mentioned, Vietnamese language also has a rich system of classifiers, however, the basic structure order of two languages are similar but both still have differences. These similarities and dissimilarities between Chinese and Vietnamese classifier systems contribute significantly to the common errors made by Vietnamese students while they acquire Chinese, which are distinct from the errors made by students from the other language background. This article from a comparative perspective of language, has an orientation towards Chinese and Vietnamese languages commonly used in classifiers semantics and structural form two aspects. This comparative study aims to identity Vietnamese students while learning Chinese classifiers may face some negative transference of mother language, beside that through the analysis of the classifiers questionnaire, find out the causes and patterns of the errors they made. As the preliminary analysis shows, Vietnamese students while learning Chinese classifiers made some errors such as: overuse classifier ‘ge’(个); misuse the other classifiers ‘*yi zhang ri ji’(yi pian ri ji), ‘*yi zuo fang zi’(yi jian fang zi), ‘*si zhang jin pai’(si mei jin pai); homonym words ‘dui, shuang, fu, tao’ (对、双、副、套), ‘ke, li’ (颗、粒).

Keywords: acquisition, classifiers, negative transfer, Vietnamse learners

Procedia PDF Downloads 420

Authors: Tao Feng, Fei Xing, Ye Lu, Jun Li Fang

Abstract:

NDN is a kind of future Internet architecture. Due to the NDN design introduces four privacy challenges,Many research institutions began to care about the privacy issues of naming data network(NDN).In this paper, we are in view of the major NDN’s privacy issues to investigate privacy protection,then put forwards more effectively anonymous transfer policy for NDN.Firstly,based on mutual anonymity communication for MP2P networks,we propose NDN mutual anonymity protocol.Secondly,we add interest package authentication mechanism in the protocol and encrypt the coding coefficient, security of this protocol is improved by this way.Finally, we proof the proposed anonymous transfer protocol security and anonymity.

Keywords: NDN, mutual anonymity, anonymous routing, network coding, authentication mechanism

Procedia PDF Downloads 417

Authors: Omar Omar, Yuan Jun, Hong Jinghua, Jin Chuanhong

Abstract:

In this work molybdenum dioxide (MoO2) and sulphur powders are used to grow MoS2 mono layers at elevated temperatures T≥800 °C. Centimetre scale continues thin films with grain size up to 410 µm have been grown using chemical vapour deposition. To our best knowledge, these domains are the largest that have been grown so far. Advantage of our approach is not only because of the high quality films with large domain size one can produce, but also the procedure is potentially less hazardous than other methods tried. The thin films have been characterized using transmission electron microscopy (TEM), atomic force microscopy (AFM) and Raman spectroscopy.

Keywords: molybdenum disulphide (MoS2), monolayers, chemical vapour deposition (CVD), growth and characterization

Procedia PDF Downloads 297

Authors: Li Zhou, Yanmei Fang

Abstract:

With current technology, images and videos can be obtained more easily than ever. It is so easy to manipulate these digital multimedia information when obtained, and that the content or source of the image and video could be easily tampered. In this paper, we propose to identify the image and video frame by the texture-based approach, e.g. Markov Transition Probability (MTP), which is in space domain, DCT domain and DWT domain, respectively. In the experiment, image and video frame database is constructed, and is used to train and test the classifier Support Vector Machine (SVM). Experiment results show that the texture-based approach has good performance. In order to verify the experiment result, and testify the universality and robustness of algorithm, we build a random testing dataset, the random testing result is in keeping with above experiment.

Keywords: multimedia forensics, video frame, LBP, MTP, SVM

Procedia PDF Downloads 400

Authors: Xia Yang, Zheng Yang, Haiyong Sun, Yan Fang, Jingyu Liu, Jia Song

Abstract:

The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts.

Keywords: smart contract, formal verification, Ethereum, Coq

Procedia PDF Downloads 646

Authors: Yunxiang Fang

Abstract:

With the aging trend continuing to accelerate, open space is important for the daily life of the elderly, and its old-age friendliness is worthy of attention. Based on behavioral observation and literature research, this paper studies the behavior of the elderly in urban open space. Through the investigation, classification and quantitative analysis of the activity types, time characteristics and spatial behavior order of the elderly in Xicheng Square in Hangzhou, it summarizes the square space suitable for the psychological needs, physiology and activity needs of the elderly, combined with the basis of literature research. Finally, the suggestions for the improvement of the old-age friendship of Xicheng Square are put forward, from the aspects of microclimate, safety and accessibility, space richness and service facility quality.

Keywords: behavior characteristics, old-age friendliness, open space, square

Procedia PDF Downloads 141

Authors: Thi Huong Vu, Vijay Jayasena, Zhongxiang Fang, Gary Dykes

Abstract:

D-pinitol (3-O-methyl ether of D-chiro-inosito) has been known to have health benefits for diabetic patients. Carob kibble has received attention due to the presence of high value D-pinitol and polyphenol antioxidants. D-pinitol was concentrated from carob kibble using submerged fermentation with Saccharomyces cerevisiae. Total carbohydrates and D-pinitol were determined by the phenol-sulphuric acid method and HPLC, respectively. The content of D-pinitol increased from approximately 43 to 70 mg/g dry weight after fermentation. The yeast consumed over 70% of total carbohydrates in carob kibble without any negative effect on D-pinitol content. A range of substrate medium pH’s from 5.0 – 7.0 had no significant effect on the removal of carbohydrates and D-pinitol. This method may provide a practical solution for production of D-pinitol from carob in a cost effective manner.

Keywords: carob kibble, d-pinitol, saccharomyces cerevisiae, submerged fermentation, total carbohydrates

Procedia PDF Downloads 291

Authors: Shen Jian, Hu Jie, Ma Jin, Peng Ying Hong, Fang Yi, Liu Wen Hai

Abstract:

Biologically inspired design inspires inventions and new technologies in the field of engineering by mimicking functions, principles, and structures in the biological domain. To deal with the obstacles of cross-domain knowledge acquisition in the existing biologically inspired design process, functional semantic clustering based on functional feature semantic correlation and environmental constraint clustering composition based on environmental characteristic constraining adaptability are proposed. A knowledge cell clustering algorithm and the corresponding prototype system is developed. Finally, the effectiveness of the method is verified by the visual prosthetic device design.

Keywords: knowledge clustering, knowledge acquisition, knowledge based engineering, knowledge cell, biologically inspired design

Procedia PDF Downloads 403