http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김종상(Chong Sang Kim),민상렬(Sang Yul Min),송운호(Woon Ho Song) 한국정보과학회 1984 정보과학회논문지 Vol.11 No.2
본 논문을 실제적이고 해석적으로 풀이가 가능한 Local Area Network의 성능 평가에 대하여 기술하였다. 특히 본 논문에서는 유한 buffer와 resource의 획득에서 발생하는 간섭에 중점을 두었다. 본 논문의 Local area Network는 2개의 host processor, 1개의 IMP, 3개의 disk unit와 여러개의 data link로 구성되어 있다. This paper presents a case study of the development of a realistic, but analytically soluble, model of a local area network. Particular attention was paid to the effect of finite buffer, and to contention and interference effects caused by simultaneous resource possession. The system configuration of this local area network includes two host processors, one IMP, three disk units, and several data links.
김종상(Chong Sang Kim),황희융(Hee Yeung Hwang),조유근(Yoo Kun Cho),표창우(Chang Woo Pyo) 한국정보과학회 1982 정보과학회논문지 Vol.9 No.2
현재 s-t cutset enumeration algorithm의 upper bound는 cutset 당 O(n+m)이다. 여기서 n은 주어진 그래프의 vertex 수이고, m은 edge 수이다. 본 논문에서는 planar graph에서 articulation vertex를 쉽게 찾을 수 있는 data structure와 algorithm을 제시하였고, 이 algorithm을 사용할 경우 planar graph에서 s-t cutset enumeration algorithm은 O(μ · max/zEv{d(z)ℓ_(max)(C(z))})외 time complexity 와 O(n²)의 space complexity를 가짐을 보였다. 여기서 d(1)는 vertex z의 degree이고, ℓ_(max)(C(z))는 vertex z에 incident 한 region 각각을 둘러싸고 있는 cycle들의 length들 중 최대값을 나타내며, μ는 cutset 의 수를 나타낸다. The current upper bound of the s-t cutset enumeration algorithm in an undirected graph is O (μ(n+m)), where n is the number of vertices, m is the number of edges, and μ is the number of s-t cutsets. In this paper well-defined data structures and an algorithm are presented for deciding whether a given vertex v of an undirected planar graph is an articulation vertex or not and if these data structures and algorithm are used for the present cutset enumeration algorithm for a planar graph, its time complexity can be improved to be of O(μ-max{d(i)ℓ_(max) (c(1))}) with the same space complexity of O(n²), where d(i) is the degree of the vertex 1 and ℓ_(max)(c(1)) is the maximal value of the lengths of cycles which are defined by the interior regions incident to the vertex 1 in the given undirected planar graph.
소방성능 관리 측면에서의 재활용 소화약제 소화성능에 관한 연구
김종상(Jong-Sang Kim),한용택(Yong-Taek Han) 한국화재소방학회 2020 한국화재소방학회논문지 Vol.34 No.5
2017년 1월 28일 이후부터 국내에서는 10년이 경과한 분말소화기는 내구연한 법규가 적용되면서 폐소화기가 전국적으로 발생되기 시작하였다. 따라서, 폐소화기에서 발생하는 소화약제 처리의 합리적인 처리가 경제적으로 환경적으로 중요한 이슈가 될 수 있다. 이에 제조업체에서 소화약제 재활용할 수 있도록 소화약제를 재사용하여 소화기의 형식승인을 받아서 재가공하기 시작하였으며, 이와 같은 배경으로 일부에서는 소화기뿐만 아니라 재사용하는 소화약제의 품질에 의문점을 제기하는 경우가 발생되기도 하였다. 따라서 본 연구는 재활용 소화약제의 물리적 및 화학적 성질에 대하여 시험을 실시하였으며, 또한 재활용 소화약제의 품질을 검증하고자 가속노화시험을 실시하였다. 결과적으로 가속노화시험 후 재활용 소화약제의 물리적 및 화학적 성질에 대하여 형식승인 기준에 준하는 결과를도출하였으며, 이에 따른 대체효과로서 전량 수입하는 소화약제에 대한 순환자원으로 수입대체효과 및 자원효과를볼 수 있고 소화기의 가격 경쟁력을 확보할 수 있다고 판단된다. Since January 28, 2017, domestic fire extinguishers have been manufactured nationwide, and a domestic fire extinguishercan be used for 10 years. Hence, the treatment of the extinguishing agent existing in waste extinguishers is a critical issueeconomically and environmentally. Accordingly, the manufacturer reuses and recycles the fire extinguishing agent, and thisrecycling method has been approved for fire extinguishers. In some cases, the quality of reused extinguishing agents andfire extinguishers are uncertain. Therefore, in this study, the physical and chemical properties of recycled extinguishingagents were evaluated through accelerated aging tests to verify the quality of the recycled extinguishing agents. Theaccelerated aging test results were obtained according to the approval criteria type for the physical and chemical propertiesof the recycled extinguishing agent. As a substitute effect, it was found that the import substitution effect and resourceeffect could be regarded as a circulating resource for fire-extinguishing agents that are imported in full quantity, and theprice competitiveness of fire extinguishers can be achieved.