• 경영과학
• /
• 제17권2호
• /
• pp.13-20
• /
• 2000

In this research, we compare and analyze the two initial basis construction procedures: LPAKO’s procedure proposed by Seo et. al. and symbolic crash procedure proposed by Maros et. al.. Based on the analysis, we present a new procedure which complements the previous procedures. The new procedure shows superiority to the previous procedures with respects to the optimality of initial basis. Also, the linear basis Also. the initial basis constructed by the new procedure reduces the number of simplex iterations.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.939-942
• /
• 2003

Design verification problem is emerging as an important issue to detect any design errors at the early stage of the design. Conventionally, design verifications have been done using a simulation technique. However, this technique has been proved not to cover all potential design errors. Therefore, formal technique is often used to verify digital circuits as an alternative. In this paper we adopted formal verification technique and verified some important properties derived from our pipelined digital systems, using SMV (Symbolic Model Verifier). Our example shows that model checking method (one of formal verification techniques) can be effectively performed in verifying the large digital systems.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.768-771
• /
• 2002

A method to derive the constitutive relations of a piezoelectric bender actuator is developed here. The constitutive relations are derived from the geometry, material properties of the actuator. The very complicated constitutive relations can be easily calculated by use of symbolic function in Mathematica. The developed program can calculate the constitutive relations for the unimorph bender made by attaching a short piezoelectric beam on a longer metal beam. The program can also calculate the constitutive relations of a piezoelectric bender with spring at its end.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 C
• /
• pp.1195-1198
• /
• 1999

This paper presents optimal placement of minimal set of phasor measurement units(PMU's) and observability of measurement system with PMU. By using the incidence matrix symbolic method which directly assigns measurement and pseudo-measurement to incidence matrix, it is much simpler and easier to analyze observability. The optimal PMU set is found through the simulated-annealing(SA) and the direct combinational method. The cooling schedule parameter which is suitable to the property of problem to solve is specified and optimal placement is proven by presented direct combinational method. Search spaces are limited within reasonable feasible solution region to reduce a unnecessary one in the SA implementation based on global search. The proposed method presents to save CPU time and estimate state vectors based on optimal PMU set.

• Communications for Statistical Applications and Methods
• /
• 제25권3호
• /
• pp.263-274
• /
• 2018

One of the common issues in large dataset analyses is to detect and construct homogeneous groups of objects in those datasets. This is typically done by some form of clustering technique. In this study, we present a divisive hierarchical clustering method for two monothetic characteristics of histogram data. Unlike classical data points, a histogram has internal variation of itself as well as location information. However, to find the optimal bipartition, existing divisive monothetic clustering methods for histogram data consider only location information as a monothetic characteristic and they cannot distinguish histograms with the same location but different internal variations. Thus, a divisive clustering method considering both location and internal variation of histograms is proposed in this study. The method has an advantage in interpreting clustering outcomes by providing binary questions for each split. The proposed clustering method is verified through a simulation study and applied to a large U.S. house property value dataset.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권1호
• /
• pp.45-55
• /
• 2014

인간의 경험은 지식의 원천이다. 우리는 지식의 원천에 관심을 가질 뿐만 아니라 그것이 사람에서 사람으로, 세대에서 세대로 전달되는 방법에도 관심을 갖는다. 한 가지 사항은 분명하다. 즉, 경험은 경험으로 전달 할 수 없으므로 먼저 "어떤 다른 것"으로 번역 되어야 한다는 점이다. 전달되는 것은 바로 그 "어떤 다른 것"이다. 그것이 "접수될" 때도 경험과 닮은 어떤 것으로 재번역 된다. 라깡(Lacan)은 우리가 경험하는 현실을 상상계, 상징계, 실재계로 설명한다. 라캉은 1953년에 유명한 논문 "정신분석에서 말과 언어의 기능과 장"을 발표하는데, 라캉은 정신분석이 말하는 주체에 관한 학문임을 역설하면서 주체의 원인이자 실질적 체계가 되는 상징계의 중요성을 강조한다. 사실 수학적 체계는 거의 모든 내용이 상징으로 구성되어 있다. 라깡이 대수학과 더불어 위상학을 도입하는 이유는 정신분석이론이 과학에 걸 맞는 형식화를 동경해야 한다는 것이었고, 따라서 그는 정신분석을 형식화하려는 노력을 해왔다. 본 논문은 기하학적 모델이나 위상공간과 같은 수학적 모델 및 수학적 개념이 어떻게 라깡의 심리학과 정신분석에 대한 이해를 도울 수 있는지를 알아보고자 한다. 또한, 그 응용으로서 인문학적 상상력을 동원하여 상징들을 재번역함으로써 학생들에게 다양한 사고의 능력을 키워줄 수 있음에 대해 이야기 하고자한다.

• Spatial Information Research
• /
• 제18권1호
• /
• pp.77-87
• /
• 2010

시공간 조인은 이동객체와 같이 시공간의 특성을 가지는 데이터를 처리할 때 요구되는 중요한 연산자로, 이동객체들의 움직임을 분석하거나 이동객체들의 시공간적 패턴을 찾는 것과 같이 다양하게 활용된다. 현재까지 실외공간에서의 시공간 조인 질의에 관한 연구는 많이 진행되어왔다. 최근에는 실내측위기술이 발전함에 따라 실외뿐만 아니라 실내에서도 다양한 위치기반 서비스가 점진적으로 제공되고 있으며, 특히 이동객체를 중심으로 다양한 응용 서비스들을 필요로 하게 된다. 하지만 실내공간에서의 시공간 조인에 관한 연구는 아직 전무하다. 본 논문에서는 실내공간에서 실시간으로 갱신되는 이동객체에 대한 연속 시공간 셀프조인 질의와 질의처리 방법론을 제안하였다. 연속 시공간 셀프조인 질의는 주어지는 특정 시간과 공간의 조건을 만족하는 모든 쌍들을 시간이 지남에 따라 지속적으로 갱신하는 질의이다. 본 논문에서는 방이나 복도와 같이 특정한 기호를 중심으로 이동객체의 위치를 표현하며 이러한 특징을 가지는 공간을 기호공간이라 한다. 그리고 방대한 스트림데이터를 효과적으로 필터링하고 관리하기 위한 후보쌍 버퍼 테이블이라는 자료구조와 이를 활용한 질의처리 방법론을 제안하였으며 실험을 통해 타당성을 검증하였다.

• 대한조선학회논문집
• /
• 제33권1호
• /
• pp.161-172
• /
• 1996

최적화기법을 포함한 종래의 전산 프로그램들은 수치적 계산과정과 그 결과에만 중점을 두고 개발되어 왔으며, 설계모델의 개발과 최적화기법의 선택 및 결과의 판단 등은 설계 전문가에 의하여 수행되어 왔다. 반면에 전문가의 경험적지식을 처리하는 지식기반시스템은 기호처리에 중점을 두고 있기 때문에 수치적 계산을 효과적으로 할 수 없다. 본 논문에서는 수치적인 계산결과만을 제공하는 최적화기법의 한계와 기호처리에 중점을 두고 있는 지식기반시스템의 한계를 극복하여, 보다 현실적인 최적설계안을 도출할 수 있는 지식기반 다목적함수 최적설계 시스템을, 최적화기법과 LISP 언어로 개발한 지식기반시스템을 통합하여 구현하고, 이를 LNG선의 최적설계 모델에 적용하여 개발된 시스템의 유용성을 보였다.

• 패션비즈니스
• /
• 제23권3호
• /
• pp.35-50
• /
• 2019

Modern family culture manifests various different social phenomenon due to shifts caused by increased societal response to industrialization in our country. It is noted that as our lifestyle patterns have shifted from being work-oriented to family-oriented, by focusing on the trend where there is an increase in families enjoying hobby and leisure activities together and where families go shopping together, I attempted to propose various different family-look' designs. In this research study we designed and planned family normal clothes designs that are required and desired for family gatherings and family events, and these designed were produced using 3D virtual clothing design software technology. The research method used the formative features of natural plants and textiles containing a symbolic motif as an element of design, and the creation of family formal clothes were designed and planned based on the method. The development of family formal clothes designs was implemented using CLO 3D virtual clothing design software. Because utilizing 3D virtual clothing design software enables prototyping various types of designs, silhouettes, fabrics and textiles, and color schemes etc. in a short amount of time, it was possible to utilize an advantage from using the software as leveraged to propose designs with a strong symbolic motif and symbolism . Also, by confirming and examining the strengths and weaknesses of the design process when using CLO 3D, It can improve the utilization of IT technologies, and this study aims to provide that efficiency.

• Journal of applied mathematics & informatics
• /
• 제4권2호
• /
• pp.447-456
• /
• 1997

In this paper an accurate algorithm for the method of successive approximations for near-parabolic orbits is established symbolically. Numerical applications are given for motion predictions at fifteen epochs between the years 66 to 1835 for Halley's comet. and at fifteen epochs between the years 1417 to 1782 for Encke's comet. Comparisons with the standard Gauss method [4] show that the present algorithm is very accurate and efficient for motion pred-ications of near-parabolic orbits.