• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.610-612
• /
• 2001

시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.239-240
• /
• 2019

자동화 시스템이 발전하면서, 자동차 또한 자동화가 되고 점점 더 편리하게 발전해 왔다. 하지만, 아직까진 자동차 현황은 운전자의 운전능력에 의존하는 경향이 강하다. 본 논문에서는 이러한 사람의 운전능력에 의존해야 하는 자동차의 불편한 점을 해소하고자 개발했다. 기존의 자동차는 앞바퀴의 축이 선회하며 방향을 정한다. 그러나, 이러한 방식은 현재 운용되고 있는 기존 자동차의 기본적인 차체의 구조적인 문제로 인하여 자동차의 이동과 동선에 제약을 준다. 이 방식의 제약을 풀어버리기 위해서는 여러 방법이 있겠지만, 본 논문에서는 바퀴의 구동축이 움직이는 방식을 바꾸는 방법으로 자동차의 이동제약을 개선하고자 했다. 앞바퀴만의 방향 제어가 아닌 4개의 바퀴를 각각 제어할 수 있게 함으로써, 장애물을 피하기 위한 자동차 제어의 편의성을 더하고자 했다.

• Korean Chemical Engineering Research
• /
• v.57 no.1
• /
• pp.51-57
• /
• 2019

A plant layout problem has a large impact on the overall construction cost of a plant. When determining a plant layout, various constraints associating with safety, environment, sufficient maintenance area, passages for workers, etc have to be considered together. In general plant layout problems, the main goal is to minimize the length of piping connecting equipments as satisfying various constraints. Since the process may suffer from the heat and friction loss, the piping length between equipments should be shorter. This problem can be represented by the mathematical formulation and the optimal solutions can be investigated by an optimization solver. General researches have overlooked many constraints such as maintenance spaces and safety distances between equipments. And, previous researches have tested benchmark processes. What the lack of general researches is that there is no realistic comparison. In this study, the plant layout of a real industrial C3MR (Propane precooling Mixed Refrigerant) process is studied. A MILP (Mixed Integer Linear Programming) including various constraints is developed. To avoid the violation of constraints, penalty functions are introduced. However, conventional optimization solvers handling the derivatives of an objective functions can not solve this problem due to the complexities of equations. Therefore, the PSO (Particle Swarm Optimization), which investigate an optimal solutions without differential equations, is selected to solve this problem. The results show that a proposed method contributes to saving the capital expenditures.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.11 no.1
• /
• pp.55-68
• /
• 1991

In this study, Mixed coordination method was selected to optimize the shape of the truss structures which takes multi-loading condition, allowable stress, buckling stress, displacement constraints into consideration. The structure was devided into substructures by Goal coordination method and the substructures were optimized by model coordination method which used two-level technique. Therefore the number of design variables and constrints can be decreased considerable. Under the condition of the same disign, the weight of truss structures can be decreased more considerable by means of optimizing even the shape of truss than by means of optimizing the section of truss while fixing geometrical configuration of it, even though there might be a little difference according to the early geomatrical shape of the truss and the design condition. Thus, the shape optimization of truss structures which utilize the results of this study can be helpful to the economical design of truss structures.

• Journal of Life Science
• /
• v.31 no.1
• /
• pp.47-51
• /
• 2021

In today's society, functional whitening cosmetics are important to beauty. Fungi are known to produce a variety of whitening-related metabolites. In this study, we searched for tyrosinase inhibitors with metabolic products derived from Trichoderma atroviride supernatant in order to apply a material for whitening functional cosmetics. In addition, the inhibitory effect was compared to arbutin, which has already been approved as a whitening raw material by the Korea Ministry of Food and Drug Safety (KMFDS). The metabolites from the T. atroviride supernatant showed higher tyrosinase inhibitory activity than that of arbutin. Some of the tyrosinase inhibitors were stable to heat, whereas some were unstable. The heat unstable material was exhibited in the case of samples treated with little amounts, such as 0.02~0.2%. They were very unstable in acidic and alkali pHs, especially under acidic conditions. However, it was found that a weakly-acidic to neutral pH range was the optimal working pH, especially neutral pH. Since the activity of the inhibitory substances in the T. atroviride supernatant was maintained regardless of proteinase K treatment, it was assumed that the metabolites, but not the bioactive peptides, were involved in the activity. In summary, we propose that the metabolites derived from T. atroviride supernatant have strong potential as whitening raw material.

• Venture DIGEST
• /
• no.12 s.125
• /
• pp.30-31
• /
• 2008

2008년 12월 1일 '눈에 보이지 않는 일'을 사고파는 시장이 열린다. 기존 구인 구직의 개념이 아닌, 웹상에서 기업은 '일'단위로 인력을 모집하고, 구직자는 회사가 아닌 '일'을 선택하는 전자일감시장 이워크랜드(www.eworkland.co.kr)가 이달의 첫날 정식 오픈하였다. 유비쿼터스 환경을 바탕으로 시공간의 제약을 받지 않는 새로운 전자일감시장을 연 주인공은 시너지 프레임이라는 개발 프레임워크로 널리 알려진 강소벤처 아토정보기술(www.attoit.co.kr). 야심찬 서비스를 준비하고 누구보다 떨리는 가슴으로 올해의 마지막 달을 맞이하는 아토정보기술의 강관식 대표를 만나본다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.10C
• /
• pp.1007-1012
• /
• 2003

In order to accelerate the convergence speed of the conventional BP algorithm, constrained optimization techniques are applied to the BP algorithm. First, the noise-constrained least mean square algorithm and the zero noise-constrained LMS algorithm are applied (designated the NCBP and ZNCBP algorithms, respectively). These methods involve an important assumption: the filter or the receiver in the NCBP algorithm must know the noise variance. By means of extension and generalization of these algorithms, the authors derive an adaptive error-constrained BP algorithm, in which the error variance is estimated. This is achieved by modifying the error function of the conventional BP algorithm using Lagrangian multipliers. The convergence speeds of the proposed algorithms are 20 to 30 times faster than those of the conventional BP algorithm, and are faster than or almost the same as that achieved with a conventional linear adaptive filter using an LMS algorithm.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1993.07a
• /
• pp.535-543
• /
• 1993

이 논문의 목적은 기존의 상수도 관망을 개선하는데 있어 어느 관을 교체 또는 재생할 것인가와 펌프용량을 얼마나 늘릴 것인가를 결정함으로써 관망내 각 급수지점에서의 요구유량및 수압을 만족시킴은 물론 그에 드는 비용을 최소화시키는 모델을 개발하는데 있다. 이 논문은 관교체 비용, 세관 및 재생 비용, 관보수 비용, 펌핑 비용, 펌프시설 확충비용 등의 다섯가지 비용들을 비교 검토함으로써 의사결정을 하게 된다. 제약조건식으로는 급수 조건식, 에너지 방정식, 수리학적 방정식, 결정 조건식, 한계 조건식, 정수 조건식 등이 있다. 이 모델을 수식화하면 정수혼합 비선형계획법 (mixed-integer nonlinear programming, MINLP) 문제가 된다. 이 문제를 풀기 위해 비선형해법의 GRG (generalized reduced gradient) 방법과 분기와 한계 (banch and bound) 기법을 통한 implicit enumeration 기법을 접목시키는 방법을 제안하였다.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.113-139
• /
• 2001

중간언어 (interlingua, IL) 구축을 지향하는 시각에서 단어의 다의성 (polysemy) 문제를 각종 워드넷의 기술 방식과 용례를 대비하여 논의하고, 센스(어의) 번호를 부착한 세계 워드넷 (Would Wordnet) 데이터베이스를 구상하고, 이 연장 선상에서 (Pustejvsky 식) 생성 어휘 부와 TMR(텍스트의미표상)이론을 가미한 제약기반 통합문법(CUG)으로 IL구축에 다리를 놓고, 이로부터 개별언어 기술로 변환한다.

• 전기의세계
• /
• v.28 no.10
• /
• pp.35-40
• /
• 1979

최적전력조류계산 앨고리즘에서 분할최적전력조류계산 앨고리즘을 유도하였고, 주요점은 적정스텝의 결정과 부등식제약조건을 사용치 않은 점이다. 실규모계통에 지용하여 약0.5[%]의 비용절감을 달성하였는바, 이것은 년 약30억[원]에 해당되며, 겸하여 온라인운전의 가능성을 제시하였다.