• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.161-164
• /
• 2018

최근 제조업의 근로 시간 단축 및 전문 노동력의 감소로 인하여 발생할 수 있는 문제를 개선할 수 있는 스마트 팩토리(Smart Factory)가 주목받고 있다. 스마트 팩토리는 생산품의 불량률을 줄이고, 숙련공 없이 비숙련공만으로 현장 가동이 가능하다는 점 등의 긍정적 효과를 기대할 수 있다. 그러나 스마트 팩토리는 높은 설비 도입 비용, 업무 시스템 재설계 등의 문제점이 등이 있으며, 특히 보안의 취약성이 심각하다. 그렇기 때문에 많은 기업이 현실에서 스마트 팩토리를 도입하는 어려움을 겪고 있다. 본 논문에서는 스마트 팩토리의 다양한 보안 사고를 유형 및 정형화시키고 여러 보안 사고를 유발하는 취약한 부분을 구체화하여 스마트 팩토리의 보안 연구의 방향성을 제시하고자 한다.

• Review of KIISC
• /
• v.10 no.3
• /
• pp.13-26
• /
• 2000

본 논문에서는 정형 명세 언어 Z를 이용하여 사용자 인증에 사용되어지는 MD5 Message Digest 알고리즘을 정형 명세방법론에 따라서 명세 한 경험을 기술한다 인터넷 기술의 발달로 인하여 통신상에서의 전자 상거래가 활성화되면서 다양한 형태의 정보보안시스템이 사용이 되고 있다. 이러한 시스템은 하자가 있는 경우 그 피해가 매우 심각하기에 각 나라에서는 정보 보호 관련 시스템을 인증을 해주고 있다 한국정보보호센터에서도 K1에서 K7까지의 평가를 하고 있는데 정형기법을 사용하여 만들어진 제품에 대해 최상의 평가를 하고 있다 하지만 국내에서는 이러한 분야에 대한 연구가 전무한 상태여서 어떠한 기준을 적용하는 것이 좋은지를 판단하기가 매우 어려운 실정이다 따라서 본 논문에서는 이러한 문제에 대한 연구로 정형 명세언어를 이용해서 인증 알고리즘을 명세하고 검토하는 작업을 수행한 경험을 기술한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.8-8
• /
• 1997

최근 시뮬레이션은 높은 신뢰도를 요구하는 통신망시스템이나, 높음 품질수준을 요 구하는 제조시스템의 분석 및 설계에 적용되어지고 있다. 이러한 신뢰도가 높은 시스템에 대한 시뮬레이션 적용의 난제는 실제 시스템과 시뮬레이션 모형이 얼마나 정확히 모델링을 하는가 하는 문제와 실제 모델링을 하여 시뮬레이션을 수행하여 얼마나 빠른 시간내에 정확 히 결과를 산출해 낼 수 있는가를 하는 것이다. 이러한 문제점을 극복하기 위해서 속산시뮬 레이션(fast simulation) 기법들이 연구되고 있다. 그러한 기법들로 Importance Sampling (IS), Regenerative Method (RM), Parallel Simulation 등이 연구되고 있다. IS는 잘 알려진 분산축소 기법으로 속산시뮬레이션을 위하여 많이 사용되고 있으나 실제로 복잡한 모델에 적용하기에는 많은 어려움이 따른다. 그 이유는 최적 표본분포 (Optimal Sampling Distribution)를 찾기 위한 방법이 정형화되어 있지 않아 모델마다 최적표본분포를 유사하게 추정해야 하는 어려움이 따르기 때문이다. 이러한 단점을 극복하기 위하여 Nonparametric Improtance Sampling을 제안하고 실제로 M/M/1 대기행렬 모형에 적용하여 보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.285-288
• /
• 2004

분석 및 설계단계의 산출물을 작성할 때는 대부분 정형화와 표준화를 따른다. 그러나 실제 시스템 개발현장에서는 단계별 산출물들의 개별적인 특성으로 인하여 모든 산출물간에는 연속적이며 자동화된 과정을 통해 산출물들이 작성될 수는 없다. 그 결과 작성된 개발 산출물간의 일관성이 유지되지 못하는 관계로 최종 산출물에서 여러 가지 문제가 야기됨을 알 수 있다. 그러므로 본 논문에서는 객체지향 방법론에 따라 개발되는 시스템에 대해 분석 및 설계단계의 산출물간 일관성을 유지하기 위한 방안을 제시하고, 이를 지원하기 위한 도구를 개발한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.10a
• /
• pp.451-453
• /
• 2016

대규모의 데이터가 생산되고 저장되는 정보화 시대에서 현재와 과거의 데이터를 바탕으로 미래를 추측하고 방향성을 알아갈 수 있는 빅데이터의 중요성이 강조되고 있다. 정형되지 못한 대규모 데이터를 빅데이터 분석 도구인 R을 통해 통계를 기초로 데이터의 정보분석과 정형화하도록 한다. 본 논문에서는 R을 이용하여 뉴스에서 나타나는 차세대 에너지 관련 빅데이터를 분석한다. 뉴스 기사에서 차세대 에너지 관련 데이터를 수집하고 수집된 키워드를 이용하여 근미래의 효율적인 차세대 에너지의 등장을 예측한다. 에너지 산업의 추진에 대한 흐름과 방향성을 제시하고 의사결정을 위한 기술적 과제를 도출함으로 탄력적인 경영과 의사결정에 도움을 주며 기술적 문제의 근원을 사전에 예측하고 방지할 수 있을 것으로 보여진다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.44-47
• /
• 2008

본 논문에서는 유비쿼터스 환경에서 인간의 행동패턴을 인식하고 이 결과를 활용하여 사용자의 의도를 추론하는 방법론에 관해 기술한다. 인간행동의 예측에 관한 지식표현으로부터의 추론기능과 예제패턴 기반의 학습기능을 동시에 지원하는 모델을 제시하고 이론의 타당성과 유용성을 고찰한다. 의도 추론 문제에서 지식기반 기법이 갖는 불완전성을 극복하기 위하여 예제기반 학습능력의 필요성을 도출하는 한편, 다양한 변이가 존재하는 응용에서 학습데이터 선정의 어려움을 보완하기 위한 방법론을 제시한다. 세부적으로 인간행동에 관한 특징표현과 행동패턴 클래스를 정의하고 이들간의 관계를 고유한 지식표현 규칙으로 정형화 한다. 또한 제안된 지식표현을 수용하는 추론 메커니즘을 제시하며, 제시한 모델의 부수적 특징으로 학습과정을 통한 지식 정련기능의 유용성을 고찰한다.

• Journal of Internet Computing and Services
• /
• v.5 no.4
• /
• pp.53-62
• /
• 2004

This paper presents a study on the optimization for brokering between cargos and ships for future e-logistics. The primary contribution of this research is that we establish an optimization model by formalizing the criteria for the brokering such as time constraints, weight constraints, and preference values between cargos and ships. Another important contribution is that we not only investigate the complexity and the tractability of the optimal brokering problem but present how to evaluate the performance of the optimization program through an experiment. We first derive the preference values between cargos and ships using the time and the weight constraints. These preference values between each pair of cargos and ships are assigned to corresponding binary decision variables as coefficients in the objective function. The optimization model selects pairs of cargos and ships in a way that the sum of the preference values is maximized while satisfying given constraints. Experiment shows that the Davis-Putnam based optimization program finds optimal solutions in reasonable time for the problems with less than 90 decision variables.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.4
• /
• pp.359-371
• /
• 2001

Project scheduling under resource constraint conditions have contained to many uncertain factors and it is perfonned by human experts. The expert identifies the activities of the project, decides the precedent relationships between these activities, and then construct the schedule using expected activity's duration. At this time, most of the scheduling methods concentrate on one of scheduling factor between activity duration and cost. And the activity duration, which is the most important factor in scheduling, is decided by heuristic of expert. Therefore it may cause uncertainty of activity duration decision and the use of this activity duration may increase the uncertainty of constructed schedule. This paper proposes Fuzzy-MOEH scheduling algorithm, which is the aggregation of the fuzzy number for deciding activity duration and applies the cost function for solving the problems of previous scheduling methods. This paper also analyze the utility and property of Fuzzy-MEOH algorithm through the comparison between Fuzzy-MEOH algorithm and existing MEOH algorithm.

• School Mathematics
• /
• v.18 no.2
• /
• pp.277-300
• /
• 2016

In school mathematics, the definition and concept of a differentiation has been dealt with as a formula. Because of this reason, the learners' fundamental knowledge of the concept is insufficient, and furthermore the learners are familiar with solving routine, typical problems than doing non-routine, unfamiliar problems. Preceding studies have been more focused on dealing with the issues of learner's fallacy, textbook construction, teaching methodology rather than conducting the more concrete and efficient research through experiment-based lessons. Considering that most studies have been conducted in such a way so far, this study was to create a lesson plan including teaching resources to guide the understanding of differential coefficients and derivatives. Particularly, on the basis of the theory of Historical Genetic Process Principle, this study was to accomplish the its goal while utilizing a technological device such as GeoGebra. The experiment-based lessons were done and analyzed with 68 first graders in S high school located in G city, using Posttest Only Control Group Design. The methods of the examination consisted of 'learning comprehension' and 'learning satisfaction' using 'SPSS 21.0 Ver' to analyze students' post examination. Ultimately, this study was to suggest teaching methods to increase the understanding of the definition of differentials.

• Korean Journal of Culture and Social Issue
• /
• v.11 no.1
• /
• pp.59-84
• /
• 2005

Three studies were conducted to examine the degree to which three common heuristics, anchoring heuristic, framing effect and representative-ness heuristic, influence the decision-making precesses of actual judges and 5-persons mock juries. With scenarios regarding various issues that are commonly raised in actual criminal and civil trials, study 1 examined the 158 actual judges' decisions. In study 2, the decisions of 80 mock jury groups that consisted of college students were examined with similar scenarios. And individual decisions were examined in study 3 to compare with the group decisions in study 2. The decision processes of the actual judges and the mock jury groups alike were found to be influenced by "anchors". But the biases by the anchoring heuristic were more pronounced in the group decisions than in the decisions of the actual judges. With respect to framing effect, the actual judges were found to be resistant, while a small effect was found in the decisions of mock jury groups. Representative-ness biases weren't found in the decisions of both the actual judges and mock juries. The implications of the results for judicial systems were discussed.