http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
THE DISTANCE CODE AND ITS CONVERSION
Wu, Jin Mu 대한전자공학회 1992 HICEC:Harbin International Conference on Electroni Vol.1 No.1
In many methods for generating prime implicants Boolean expression, such as the Quine McCluskey way [1] or the H.R.Hwa methods [2], their first step is that the minterms grouped according to the amount of $quot;1$quot; in a minterm. The next step is to simplify. But after grouping the minterms according to the amount of $quot;1$quot;, what is the order of minterms? None gives the definition. In this paper we defined the order and solved the conversion of minterm into decimal code. Therefore we can improve the algorithm of inputing an irregular minterm from O(2ⁿ) to O(n) level.
Duo, Zhang Guang,Mu, Wu Jin 대한전자공학회 1992 HICEC:Harbin International Conference on Electroni Vol.1 No.1
This paper implements efficiently the problem of Mechanical Theorem Proving (MTP) in propositional logic according to the Davis & Putnam Rules. Through applying strategies, such as deleting, decomposing, merging and removing sequentially all the atoms and their negations, we can abandon all the used sets of ground clauses, and put forword the refutation procedure determinately step by step. And the conclusion can be obtained within at most m steps. (Here m indicates the number of the atoms in s0, the initial set of ground clauses.) Compared with all the past classical methods in solving the problem of MTP, the method provided by this paper has several advantages: simple, convenient, determinate and highly efficient; and it requires only a lower_level support of environment, for using non_intelligent languages, BASIC for example, may implement the problem of MTP simply and efficiently.
Jiawei Lv,Shuang Wu,Renyue Wei,Yan Li,Junxue Jin,Yanshuang Mu,Yu Zhang,Qingran Kong,Xiaogang Weng,Zhonghua Liu 대한수의학회 2019 Journal of Veterinary Science Vol.20 No.3
The clustered regularly interspaced short palindrome repeats (CRISPR)/CRISPR-associated protein 9 (Cas9) system is a versatile genome editing tool with high efficiency. A guide sequence of 20 nucleotides (nt) is commonly used in application of CRISPR/Cas9; however, the relationship between the length of the guide sequence and the efficiency of CRISPR/ Cas9 in porcine cells is still not clear. To illustrate this issue, guide RNAs of different lengths targeting the EGFP gene were designed. Specifically, guide RNAs of 17 nt or longer were sufficient to direct the Cas9 protein to cleave target DNA sequences, while 15 nt or shorter guide RNAs had loss-of-function. Full-length guide RNAs complemented with mismatches also showed loss-of-function. When the shortened guide RNA and target DNA heteroduplex (gRNA:DNA heteroduplex) was blocked by mismatch, the CRISPR/Cas9 would be interfered with. These results suggested the length of the gRNA:DNA heteroduplex was a key factor for maintaining high efficiency of the CRISPR/Cas9 system rather than weak bonding between shortened guide RNA and Cas9 in porcine cells.
Report on the Cooperative Experimental Study Program
Kim, Hun-Chol,Yang, Seung-Il,Lee, Seung-Hee,Kim, Eun-Chan,Kang, Kuk-Jin,Lee, Young-Gill,Kim, Yoon-Ho,Lee, Kwi-Joo,Kwak, Young-Ki,Joa, Soon-Won,Kim, Hyo-Chul,Van, Suak-Ho,Kim, Wu-Joan,Song, Mu-Seok,Cho 대한조선학회 1987 大韓造船學會誌 Vol.24 No.3
The present paper describes the results of the cooperative experimental study organized by the Resistance Committee of the Korea Towing Tank Conference, which aims to improve model testing technique and accuracy and to self-evaluate their own capabilities. A Series 60, $C_b=0.60$ model was tested at the towing tanks of Korea Institute of Machinery & Metals, Hyundai Maritime Research Institute, Seoul National University, and Inha University. Results for total resistance, wave pattern analysis, wave pattern analysis, wave profile, trim & sinkage and wake measure ments are presented.