• Journal of KIISE:Information Networking
• /
• v.33 no.1
• /
• pp.1-8
• /
• 2006

Security protocols have usually been developed using informal design and verification techniques. However, many security protocols thought to be secure was found to be vulnerable later. Thus, the importance of formal specification and verification for analyzing the safely of protocols is increasing. With the rise of mobile communication networks, various mobile security protocols have been proposed. In this paper, we identify the security weakness of the ASK mobile Protocol using formal verification technique. In addition, we propose a new ASK protocol modifying its vulnerability and verify its robustness.

• Annual Conference of KIPS
• /
• 2000.04a
• /
• pp.1089-1094
• /
• 2000

소형 고성능 가전기기를 실현하기 위한 다기능 고집적의 실리콘화에 대응하기 위하여 반도체 업계는 SoC(System On a Chip) 설계, 반도체 지적 재산권인 IP(Intellectual Property)에 관한 연구를 두개의 핵심 연구 항목으로 설정하여 진행되어 왔다. 반도체 레이아웃 이식 자동화 시스템은 설계 재활용(Design Reuse), IP의 실용화와 확산을 위한 핵심 연구 과제 중의 하나로써, Time-To-Market 과 Time-To-Money 를 동시에 가능토록 하는 근간의 기술이 된다. 본 연구는 정확하고 고속의 IP내의 반도체 소자 인식 알고리즘, 그래프를 이용한 제한 조건의 구현과 해석, 향상된 컴팩션(Compaction) 알고리즘의 연구로 말미암아 기존의 연구 결과 대비 평균 20배의 속도 향상과 평균 41%의 메모리만을 사용함으로써 경쟁 기술 대비 월등한 우위를 보이고 있다. 이로써, 대형의 반도체 설계 도면의 처리를 가능하도록 하였으며, 반도체 IP의 응용성(flexibility)을 부여 함으로써, IP의 재활용의 기초 연구와 SoC 설계 확산에 지렛대 역할을 하는 연구가 되리라고 예측한다.

• Land and Housing Review
• /
• v.6 no.4
• /
• pp.221-229
• /
• 2015

Large trees in the apartment complex are playing an important role to decide the quality of external environment. They are planted with the object of utilizing themselves as a landmark of the complex and enhancing space symbolism. Since planting large trees would require high maintenance costs and generate defect, it would cause decline in quality of external environment. This study researches on large trees in artificial ground of the apartment complex. This study analyzes actual condition of planting and tries to provide improvement direction of planting. In order to conduct this research, three target areas (over R30) and 265 trees are selected. Based on the drawings and specifications this study researches on the plan of landscape design, changes of field design, actual condition of completion, present condition of planting, minimum soil depth of growth and development and types of extra action for soil depth. The result shows that 85% of drawings and specifications for large trees in the apartment complex are deep-rooted tree species. On average large trees with R 35 are planted in artificial ground and there is lack of on average 65cm minimum soil depth of growth and development. Reviewing changes of field design is conducted in such limited size as mainly R30 and R40 and there is no extra plan for lack of soil depth. The plan for securing additional soil depth is done by 85% of mounding. However, since there is only 10% of satisfaction, the inappropriateness in securing additional soil is pointed out. This research also points out that the size of large trees, root characteristics and location-allocation for planting are pivotal factors for securing minimum soil depth of growth and development. This research also provides improvement direction in case of planning planting.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.712-720
• /
• 2001

Algorithms from the research of the layout migration were proposed in the paper. These are automatic recognition algorithm for the VLSI devices from it, graph based construction algorithm to maintain the constraints, dependencies, and design rule between the devices, and high speed compaction algorithm to reduce size of the VLSI area and reuse the design with compacted size for the new technology. Also, this paper describes that why proposed algorithms are essential for the era of the SoC (System on a Chip), design reuse, and IP DB, which are the big concerns in these days. In addition to introduce our algorithms, the benchmark showed that our performance is superior by 27 times faster than that of the commercial one, and has better efficiency by 3 times in disk usage.

• Korean Journal of Construction Engineering and Management
• /
• v.9 no.4
• /
• pp.154-162
• /
• 2008

Ministry of construction and transportation has been enforcing extensionally design phase VE(Value Engineering) to the construction costing more than 10 billion won, an importance of design phase VE accordingly is raising to get rid of a waste of cost and noneffective factors previously in construction projects. Although there are legal supports and technical effects, an effect about an introduction of design phase VE can not be applied properly because of several problems at the process. So, in this study, present competency factors of design phase VE to highly raise the output through organizing an effective team at the beginning stage of design phase VE. Find out 29 competency factors through characteristics of design VE team for the check list, classify by team knowledge, team work skill, and team attitude. Get an efficiency regarding importance and find out Competency Evaluation items of design VE team, present a Competency Evaluation plan for indicating an objective standard to Competency Evaluation by measuring relative importance as to each Competency Evaluation item.

• Journal of the Korean Society for information Management
• /
• v.3 no.1
• /
• pp.70-102
• /
• 1986

This study is an attempt to develop a knowledge base with Inference mechanism for document retrieval, which is the core element of expert system. The purpose of this study is to design the knowledge base in order to intellectually process user queries eventually improving the effectiveness of information retrieval, under the assumption that the user who wants to search a certain subject generally lack the prior knowledge about that subject. In this paper, some characteristics of Korean complex nouns are structurally analyzed and are represented in the knowledge base.

• Composites Research
• /
• v.16 no.4
• /
• pp.36-43
• /
• 2003

In this research, the optimization of composite structures was performed using metamodels. The optimization of composite structures requires a lot of time when optimizing the result of the time-consuming analysis. Thus, metamodels are used to replace the time-consuming analysis with simple models. RSM, kriging and neural networks are widely used metamodels. RSM and kriging were used in this study. The ultimate failure load analysis of the composite structure was approximated by metamodels. The optimizations of the composite plate were performed to maximize ultimate failure load using genetic algorithm and metamodels.

• Journal of the Korean Society of Industry Convergence
• /
• v.9 no.4
• /
• pp.255-262
• /
• 2006

본 연구의 목적은 건축프로젝트에 있어서 디자인분야 개선요소의 특성을 파악하는데 있다. 기존 연구에서 디자인요소 중 열여덟 개의 개선요소들이 정리되었으며 이러한 개선요소들을 중심으로 건설관계자들의 설문조사를 통하여 주요도를 결정하였다. 연구결과는 각 파트별 협조가 가장 큰 개선요소로서 나타났으며 경영개선의 리더십, 팀워크, 시공능력 순으로 나타났다. 또한 각 그룹별 공통적인 개선요소로서 설계사무소와 시공자와의 원활한 의사소통이 상위개선요소에 지적되었다. 디자인에 있어서 초기 공사와 완공 후 유지관리를 반영한 시공성에 중점을 둔 설계에 대한 관심도 크게 나타났다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1950-1951
• /
• 2011

본 논문에서는 요구되는 성능을 만족시키는 최적 Fuzzy PI 제어의 정압제어로의 효율적인 적용 및 성능 향상을 위하여 유전자 알고리즘(GA: Genetic Algorithm)을 이용한 제어 설계 방법을 제시 한다. PID제어기는 이해가 쉽고 구조가 간단하여, 실제 구현이 용이하여 공정 산업분야에서 가장 널리 사용되고 있는 제어기 이다. 따라서 단일 입 출력 선형 시스템 에서는 우수한 성능을 보이나 동적 시스템, 고차 시스템 및 수학적 모델 선정이 어려운 시스템에서는 비효율 적이다. 반면, Fuzzy 제어기는 인간의 지식과 경험을 이용한 지적 제어방식으로 IF-THEN형식의 규칙으로부터 제어 입력을 결정하는 병렬형 제어기이다. 이는 과도상태에서 큰 오버슈트 없이 설정치에 도달하게 하는 속응성과 강인성이 좋은 제어기법으로 비선형성이 강하고 불확실하며 복잡한 시스템을 쉽게 제어 할 수 있다는 장점을 지닌다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.541-544
• /
• 2004

본 논문에서는 서라운드 패닝알고리즘에서의 음색보정필터 설계기법에 대한 것으로 기존 패닝알고리즘에 음색보정필터를 추가하여 가상음원의 음색왜곡을 보정하는 알고리즘을 제안한 다. 가상음상과 실제 라우드 스피커의 머리전달함수 분석을 통해 기존 일정파워패닝알고리즘의 음색왜곡 문제점을 지적하고 이를 완화시키기 위한 새로운 패닝알고리즘을 제안한다.