http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김성기,조명우,김준수,장기범,김신아,문다예,김병현,김영화,박준철,최지환,송민호 한국유기농업학회 2018 韓國有機農業學會誌 Vol.26 No.1
This experiment was conducted to investigate the effects of multi-enzyme on growth performance, intestinal morphology, and nutrient digestibility of weaned pigs. A total 36 weaned pigs (5.92 ± 0.48 kg BW; 28 d old) were randomly allotted to 2 dietary treatments (3 pigs/pen, 6 replicates/treatment) in a randomized complete block design. The dietary treatments were a typical diet based on corn and soybean meal (CON) and CON with 0.1% multi-enzyme (Multi; mixture of β- mannanase, xylanase, α-amylase, protease, β-glucanase, and pectinase). Pigs were fed their respective diets for 6 wk. Measurements were growth performance, morphology of ileum, apparent ileal digestibility and apparent total tract digestibility of dry matter, crude protein, and energy of weaned pigs. There were no significant differences on growth performance during overall experimental period. No differences were found for the morphology of ileum and nutrient digestibility between CON and Multi groups. Therefore, the results in the current study indicated that multi-enzyme supplementation in diets had no effects on growth performance, intestinal morphology, and nutrient digestibility of weaned pigs.
김성기 한국지식재산학회 2017 産業財産權 Vol.- No.53
본 연구에서는 유럽 통합 특허 법원의 1심 소송절차를 살펴보았다. 법원의 구성에 있어서는 독일에서 발전된 기술 판사와 함께 변리사 소송 대리를 통한 기술적 문제의 충분한 이해를 강조한 UPC가 소송 절차에 있어서는 프랑스 식의 제소전 증거 보전 절차, 전통적 증명 책임 분배에 따르면 증거 제출 책임이 없는 상대방이나 제 3자에게도 증거 개시 책임을 부과하는 영미식의 증거 개시 제도를 법원의 허가하에 인정한 것은 민사 소송제도의 효율성을 확보하는 시도로 이해된다. 이와 함께 서면 절차와 구술절차 사이에 중간 절차를 두어 자칫 방만하게 흐를 수 있는 구술 절차를 효과적으로 운영하여 소송 비용과 소송 기간을 적절히 통제 할 수 있는 장치를 마련한 것으로 이해된다. EPO의 이의신청 기간에 권리 행사를 위해 UPC에 소제기 되는 경우의 문제는 법원의 규칙 또는 항소 법원의 판례를 통하여 조속히 지침이 제시되어야 할 것이다. UPC의 실체법 및 절차법에서의 제기되는 문제들은 많은 경우 항소 법원에서의 판결에 의해 해결될 것이므로 특허법에 전문성을 갖춘 뛰어난 법률가로 항소법원을 구성하는 것은 UPC의 성패를 좌우하는 가장 중요한 요소가 될 것이다. This article reviews the proceedings before the Court of the First Instance of the Unified Patent Court, which is expected to begin its operation in 2018. The UPC proceedings include court order to preserve evidence (saisie) before filing statement of claims, which is not common out of French legal system and disclosure of information by a party who has no obligation under traditional burden of proof theory based on adversary proceedings. These proceedings of saisie and disclosure, in addition to technical judges and representation by patent attorney, are designed to provide efficient fact-finding in adjudication of patent litigation before the UPC. In order to provide efficiency in conducting oral procedure, which otherwise might be prolonged and be costly, the “interim procedure” is to be held after completion of the written procedure. Under the UPC system, active case management by the judge-rapporteur is expected, particularly during the interim procedure. Questions remain open on the relationship between the decisions of the opposition division of the European Patent Office in post-grant proceedings and the decisions of the UPC, especially when the EPO renders a decision of revocation or limitation of the patent. Many questions are to be raised throughout the operation of the UPC, and the Court of Apeeal of the UPC will be asked to answer to those questions. Selection of seasoned jurist with expertise of patent law issues for the position of the judges of the Court of Appeal of the UPC will become a pivotal step for laying a corner stone for successful operation of the UPC.
김성기 한국정보처리학회 2004 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.11 No.1
Abstraction is an important concept applied widely to variables, functions, complex data, abstract data types, classes and polymorphism in programming languages. However, the concept of abstraction has been considered as ambiguous and explained differently because it is not defined clearly and uniformly. In this paper, we analyse many aspects of abstraction in programming languages, and propose the taxonomy of abstraction. We classify abstraction according to the mechanism of formation into 4 categories such as mapping abstraction, bundling abstraction, integrating abstraction and extending abstraction. We also consider many concepts related closely to abstraction such as functions, abstract data types, objects, encapsulation and classes in the view of abstraction. These analysis and consideration will make it possible to explain uniformly various aspects of abstraction which have been treated individually and differently, and to understand the meanings, necessity and importance of abstraction more intensively. 프로그래밍 언어에서의 추상화는 변수, 함수, 복합 데이터 등에서부터 추상 데이터 타입, 클래스, 다형성 등에 이르기까지 광범위하게 적용되는 중요한 개념이다. 그러나 추상화 개념의 명확성과 통일성 부족으로 인하여 추상화는 다소 애매모호한 특성을 갖는 용어로 인식되어지고 있으며, 관점에 따라 다르게 설명되는 혼란스러움을 경험하고 있다. 본 논문에서는 여러 프로그래밍 언어에 나타난 추상화에 대한 체계적인 분석을 실시하여 추상화의 분류를 제안한다. 추상화는 추상물의 생성 방법에 따라 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화 등 4가지 범주로 분류된다. 또한 함수, 추상 데이터 타입, 객체, 캡슐화, 클래스 등 추상화를 기반으로 하여 형성된 여러 개념들이 추상화의 관점에서 고찰된다. 이러한 체계적인 추상화의 분석과 분류를 통하여 지금까지 개별적이며 서로 다른 형태의 추상화로 취급된 여러 추상화 양상이 하나의 통일된 개념으로 설명될 수 있을 것이며, 추상화의 의미, 필요성, 중요성에 대하여 보다 깊은 이해가 가능할 것이다.