http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Yunfei Chen,Qian Shen,Yueyue Wang,Tao Wang,Shaoyan Wu,Ling Zhang,Xu Lu,Fangyuan Zhang,Weimin Jiang,Bo Qiu,Erdi Gao,Xiaofen Sun,Kexuan Tang 한국식물생명공학회 2013 Plant biotechnology reports Vol.7 No.3
Artemisinin is an endoperoxide sesquiterpenelactone isolated from the aerial parts of Artemisia annua L.,and is presently the most potent anti-malarial drug. Owingto the low yield of artemisinin from A. annua as well as thewidespread application of artemisinin-based combinationtherapy recommended by the World Health Organization,the global demand for artemisinin is substantially increasingand is therefore rendering artemisinin in short supply. An economical way to increase artemisinin production is toincrease the content of artemisinin in A. annua. In thisstudy, three key genes in the artemisinin biosynthesispathway, encoding farnesyl diphosphate synthase, amorpha-4, 11-diene C-12 oxidase and its redox partner cytochromeP450 reductase, were over-expressed in A. annuathrough Agrobacterium-mediated transformation. Thetransgenic lines were confirmed by Southern blotting andthe over-expressions of the genes were demonstrated byreal-time PCR assays. The HPLC analysis showed that theartemisinin contents in transgenic lines were increasedsignificantly, with the highest one found to be 3.6-foldhigher (2.9 mg/g FW) than that of the control. Theseresults demonstrate that multigene engineering is aneffective way to enhance artemisinin content in A. annua.
A Provably-Correct Micro-Dalvik Bytecode Verifier
Jiang Nan,He Yanxiang,Zhang Xiaotong,Liu Rui,Shen Yunfei 보안공학연구지원센터 2016 International Journal of Security and Its Applicat Vol.10 No.9
In this paper we propose and implement a provably-correct bytecode verifier for Micro-Dalvik which is a significant subset of Dalvik. We take the approach of a data flow analysis on semilattice to solve the bytecode verification. The operational semantics of Micro-Dalvik is developed. The semilattice structure is constructed and transfer functions are defined. Based on the semilattice and transfer functions the well-typing is described. The bytecode verifier is realized to compute a method type to see whether each instruction is assigned a well-typing. By giving conforming relations between the machine state and the well-typing, the correctness of the verifier is proved that the verifier guarantees safe execution and well-typed Micro-Dalvik programs do not produce type errors.