• 한국컴퓨터정보학회논문지
• /
• 제21권11호
• /
• pp.73-78
• /
• 2016

All citizens will not be infringed communications rub. That can be seen to have the privacy freedom.lot (Internet of things) have released a security system in the era of information privacy appear that public safety and threat. Currently, Information and communication devices can be use criminal investigation, including search and seizure confirmed the fact communication of the communication restriction information storage medium for the common purpose of providing material system, the system provides data and communications. This paper focused on Privacy and open of information data by the Prosecutor and Police in korea. Privacy rights include that transparency information, communication, and protections for the rights of the individuals. It is necessary to be lawfulness of processing, individuals consent while Prosecutors investigations. especially we need explicit condition and National agency need to obtain in order to legitimize their processing of personal information data. The author emphasize are as follows: first, to examine Privacy rights information' necessity and problem, second, to understand Privacy rights and limits, third, to suggest improvements for the purpose of Transparency, codes of conduct and Democracy of information.

• 한국초등수학교육학회지
• /
• 제21권3호
• /
• pp.461-483
• /
• 2017

수학적으로 사고하고 귀납적으로 추론하는 능력은 논증적 추론으로 나아가는 토대이며 초등학교 수학교육과정을 통해 길러야 할 중요한 목표라 할 수 있다. 이러한 이유에서 초등학생들의 귀납적 추론 과정을 분석하고 그 과정에서 나타난 어려움의 원인은 무엇인지 찾아보아야 할 필요가 있다. 이에 본 연구에서는 초등학교 수학교육과정에서 귀납적 추론 지도의 실태를 분석하고 문제풀이과정 중에서 나타나는 학생들의 귀납적 추론 능력의 실태와 그 특징을 분석하여 초등수학교육과정에서 귀납적 추론 능력 신장을 위한 시사점을 도출하였다.

• 디지털산업정보학회논문지
• /
• 제13권2호
• /
• pp.27-34
• /
• 2017

Highly informative admissible heuristics can help to conduct more efficient search for optimal solutions. However, in general, more informative ones of heuristics from planning problems requires lots of computational effort. To address this problem, we propose an Delete Relaxation based Action Costs-based Planning Graph(ACPG) and Action Costs-based Heuristics for solving optimal planning problems more efficiently. The ACPG is an extended one to be applied to can find action costs between subgoal & goal conditions from the Relaxed Planning Graph(RPG) which is a common means to get heuristics for solving the planning problems, Action Costs-based Heuristics utilizing ACPG can find action costs difference between subgoal & goal conditions in an effective way, and then consider them to estimate the goal distance. In this paper, we present the heuristics algorithm to compute Action Costs-based Heuristics, and then explain experimental analysis to investigate the efficiency and the accuracy of the Action Costs-based Heuristics.

• 대한산업공학회지
• /
• 제39권3호
• /
• pp.183-191
• /
• 2013

We address the power generation mix problem that considers not only nuclear and fossil fuels such as oil, coal and LNG but also renewable energy technologies. Unlike nuclear or other generation technologies, the expansion plan of renewable energy is highly uncertain because of its dependency on the government policy and uncertainty associated with technology improvements. To address this issue, we conduct a delphi survey and forecast the capacity of renewable energy. We further propose a stochastic mixed integer programming model that determines an optimal capacity expansion and the amount of power generation using each generation technology. Using the proposed model, we test eight generation mix scenarios and particularly evaluate how much the expansion of renewable energy contributes to the total costs for power generation in Korea. The evaluation results show that the use of renewable energy incurs additional costs.

• 전기학회논문지
• /
• 제66권1호
• /
• pp.137-143
• /
• 2017

In this paper, we investigate static control of Boolean networks described in the framework of semi-tensor product (STP) operation. The control objective is to determine control input nodes and their logical values so as to stabilize the considered Boolean network to a desired fixed point or cycle. Using topology of Boolean networks such as incidence matrix and hub nodes, a set of appropriate control input nodes is selected, and based on STP operations, we assign constant control inputs so that the controlled network can converge to a prescribed fixed point or cycle. To validate applicability of the proposed scheme, we conduct a numerical study on the problem of determining control input nodes for a Boolean network representing hierarchical differentiation of myeloid progenitors.

• 한국항해항만학회지
• /
• 제35권2호
• /
• pp.137-147
• /
• 2011

The prime objective set for paper is to identify what are the women seafarers' problems and concerns regarding employment on cargo ships. From the cargo ship point of view, the question then is how to provide sufficient solutions for women seafarers in the male-dominated workplace of the ship through Corporate Social Responsibility(CSR) activities. The methodologies of study combine qualitative and quantitative research methods. The progress of research is to conduct a survey by asking a consistent set of key opinion leaders from the Republic of Korea. Moreover, to evaluate the elements of the result, the research explores the way in which we should consider giving priority to aspects of the problem. Finally, based on the terms of CSR, the author recommends measures to support the needs of women when they are employed onboard the world's merchant vessels.

• Nuclear Engineering and Technology
• /
• 제49권6호
• /
• pp.1189-1198
• /
• 2017

Computer-aided design (CAD)-based Monte Carlo radiation transport is of value to the nuclear engineering community for its ability to conduct transport on high-fidelity models of nuclear systems, but it is more computationally expensive than native geometry representations. This work describes the adaptation of a rendering data structure, the signed distance field, as a geometric query tool for accelerating CAD-based transport in the direct-accelerated geometry Monte Carlo toolkit. Demonstrations of its effectiveness are shown for several problems. The beginnings of a predictive model for the data structure's utilization based on various problem parameters is also introduced.

• 한국멀티미디어학회논문지
• /
• 제11권12호
• /
• pp.1739-1748
• /
• 2008

When we conduct a data mining procedure on sample data sources, several rules are generated. But some rules are redundant or logically disjoint and therefore they can be removed. We suggest a new rule minimization algorithm inspired from logic synthesis to improve comprehensibility and eliminate redundant rules. The method can merge several relevant rules into one based on data mining and logic synthesis without high loss of accuracy. In case of two or more rules are candidates to be merged, we merge the rules with the attribute having the lowest information gain. To show the proposed method could be a reasonable solution, we applied the proposed approach to a problem domain constructing user preferred ontology in anti-spam systems.

• 한국컴퓨터정보학회논문지
• /
• 제7권1호
• /
• pp.27-32
• /
• 2002

소트트웨어의 재사용은 소프트웨어의 위기를 맞으면서 프로그래머의 생산성을 향상시키기 위한 방안으로 주목받게 되었다. 이러한 배경에서 탄생한 객체 지향 기술은 소프트웨어 분석에서부터 프로그래밍 언어의 선택, 테스트, 유지 보수에 이르기까지 소프트웨어 엔지니어링 전 영역에 걸쳐 영향을 미쳤다. 클래스, 계승관계, 추상화 등의 새로운 개념들은 새로운 테스트 문제를 야기 시켰을 뿐만 아니라, 객체 지향프로그램의 수정 테스트에도 새로운 문제들을 던져 주었다. 수정 테스트의 첫 번째 문제는 일부의 변경으로 인해 영향받는 부분들을 찾아내는 것이다. 이 논문에서는 계승관계에 있어 영향받는 부분들을 구성원 함수 수준에서 찾아내는 알고리즘을 제안하고 있다.

• Journal of Information Processing Systems
• /
• 제15권1호
• /
• pp.116-126
• /
• 2019

In this paper, an improved one-against-one support vector machine algorithm is used to classify multiple power quality disturbances. To solve the problem of parameter selection, an improved particle swarm optimization algorithm is proposed to optimize the parameters of the support vector machine. By proposing a new inertia weight expression, the particle swarm optimization algorithm can effectively conduct a global search at the outset and effectively search locally later in a study, which improves the overall classification accuracy. The experimental results show that the improved particle swarm optimization method is more accurate than a grid search algorithm optimization and other improved particle swarm optimizations with regard to its classification of multiple power quality disturbances. Furthermore, the number of support vectors is reduced.