• 제목/요약/키워드: Solution Representation

검색결과 310건 처리시간 0.024초

ACME를 이용한 멀티플랫폼 지원 아키텍처 표현 (Architectural Representation to Support Multi-Platform Applications Using ACME)

  • 박재진;고재철;홍장의
    • 중소기업융합학회논문지
    • /
    • 제3권1호
    • /
    • pp.1-6
    • /
    • 2013
  • 소프트웨어 품질이 중요시 되고 있는 최근 소프트웨어 아키텍처에 대한 연구는 활발하게 진행되고 있다. 또한 스마트 폰의 단말 플랫폼의 다양화로 인하여, 다양한 플랫폼에 탑재하는 서비스를 제공하기 위해 어플리케이션의 개발에 대한 노력이 증가되었다. 그러나 이러한 다양한 플랫폼 지원에 대한 노력을 감소시키기 위하여 다양한 솔루션들이 제시되었고, 이중의 대표적인 것이 FireMonkey 프레임워크이다. 본 연구에서는 FireMonkey 프레임워크의 아키텍처를 ACME로 표현하여, 소프트웨어 개발자가 다양한 플랫폼을 대상으로 어떻게 어플리케이션을 개발해야 하는지에 대한 가이드라인을 제공할 수 있도록 하였다. 이를 통해 소프트웨어 아키텍처가 멀티 플랫폼을 지원하기 위하여 어떠한 관점을 고려해야하는지 알 수 있게 하였다.

  • PDF

규칙적인 논리프로그램밍을 이용한 탄력적 제약 만족문제 해법 (A Method for Reactive Scheduling using Rule-based Constraint Satisfaction Problem)

  • 김철수
    • 한국정보처리학회논문지
    • /
    • 제7권10호
    • /
    • pp.3113-3118
    • /
    • 2000
  • 본 연구에서 제시한 구조는 다중목적을 갖는 규칙기반 제약만족문제의 표현을 포함하고 있고 그 문제는 시스템에서 변화에 탄력적으로 대응할 수 있는 전력공급계획을 효과적으로 수립한다. 이 연구에서 제안한 구조를 계량적 모델을 위한 모델링 시스템과 정성적 모델을 위한 규칙 기반의 제약만족 프로그램밍 기법을 이용하였다. 또한 좋은 사례를 통한 실험결과를 요약하면 이 문제의 표현을 포함한 구조는 효과적이며 탄력적인 의사결정을 얻는데 큰 도움을 주며, 발전기 특성을 고려하는 데에서는 기존의 문제 구조보다는 표현이 다양하고 쉽다는 장점을 갖는다.

  • PDF

호텔 객실에서의 전통성 표현에 관한 연구 - 국내외 특급호텔 사례분석을 중심으로 - (A Comparative Study on the Expression of the Traditionality in Hotel Guest Room Design - Focused on the Asian Top Grade Hotels -)

  • 송규만;이지영
    • 한국실내디자인학회논문집
    • /
    • 제21권2호
    • /
    • pp.197-206
    • /
    • 2012
  • This study focuses on comparative study of the representation of 'traditionality' in Asian hotel guest rooms. Hotel can be a concentration of the country's culture and tradition and provide unique experience to guests through its space, decoration, and material. However, most hotels in Korea are lack of a strong identity based on the Korean culture and tradition, due to adoptation of the western hotel styles without any criticism. The purpose of this study was to investigate the expression methods of the traditionality in Asian hotel guest rooms to provide design guideline to enhance identity of hotel guest rooms in Korea. Through analysis of the previous researches, criteria of the three design application methods and the five design elements were defined to analyze the representation of the traditonality. Design application methods were categorized as "Original form", "Partial adoption", and "Metaphor". Five design elements include "Shape", "Material", "Color", "Object", and "Pattern". Thirty nine Asian hotels containing the traditional design elements were explored in the study. In result, design application methods in Korea used all three methods equally, while other Asian countries used mainly the Partial adoption and Metaphor methods to express their traditions rather than the Original form method. All five deign elements were mostly used in case of the Original form methods, and two or three elements among five elements were used for the Partial adoption and Metaphor methods. The traditional representation of hotel guest rooms in Korea, reflecting current thinking, living pattern and culture, will be a solution for the new hotel design as well as elevation of Korea's status to a higher level.

  • PDF

정확한 돌출 형상의 표현을 위한 변위매핑 (Displacement Mapping for the Precise Representation of Protrusion)

  • 유병현;한순흥
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제33권10호
    • /
    • pp.777-788
    • /
    • 2006
  • 물체의 표면에 돌출된 형상을 실시간으로 표현하는 변위매핑 방법에 대하여 설명한다. 기존의 이미지 기반 변위매핑 방법이 기준면에서 함몰된 형상만을 표현할 수 있는 것과 달리, 기준면에서 수직방향으로 돌출된 높이를 표현하여, 표면에서 돌출된 형상의 상세를 실시간으로 표현한다. 또한 폴리곤의 경계부분에서 시점에 따라 수직인 두 개의 면을 추가하여, 기준면의 경계 외부로 초과하는 픽셀의 변위를 표현하였다. 이로써 경계부분의 돌출 형상에 대한 정확한 외곽선을 표현할 수 있다. 제안된 방법은 부드러운 돌출 형상의 표현과 더불어 돌출 형상의 급격한 경사면에 텍스처 정보를 추가하여, 수직 돌출 형상을 포함한 급격한 경사면을 표현할 수 있다. 이 방법은 GPU에서 수행 가능한 픽셀 단위 계산으로 이루어져 실시간으로 가시화가 가능하며, 경계부위의 정확한 외곽선의 표현과 급격한 돌출 형상의 표현이 가능하여, 건물과 같이 기준면에서 돌출된 형상의 상세 표현에 사용된다.

자기 정규화를 통한 도메인 불변 특징 학습 (Learning Domain Invariant Representation via Self-Rugularization)

  • 현재국;이찬용;김호성;유현정;고은진
    • 한국군사과학기술학회지
    • /
    • 제24권4호
    • /
    • pp.382-391
    • /
    • 2021
  • Unsupervised domain adaptation often gives impressive solutions to handle domain shift of data. Most of current approaches assume that unlabeled target data to train is abundant. This assumption is not always true in practices. To tackle this issue, we propose a general solution to solve the domain gap minimization problem without any target data. Our method consists of two regularization steps. The first step is a pixel regularization by arbitrary style transfer. Recently, some methods bring style transfer algorithms to domain adaptation and domain generalization process. They use style transfer algorithms to remove texture bias in source domain data. We also use style transfer algorithms for removing texture bias, but our method depends on neither domain adaptation nor domain generalization paradigm. The second regularization step is a feature regularization by feature alignment. Adding a feature alignment loss term to the model loss, the model learns domain invariant representation more efficiently. We evaluate our regularization methods from several experiments both on small dataset and large dataset. From the experiments, we show that our model can learn domain invariant representation as much as unsupervised domain adaptation methods.

State-Based Behavior Modeling in Software and Systems Engineering

  • Sabah Al-Fedaghi
    • International Journal of Computer Science & Network Security
    • /
    • 제23권5호
    • /
    • pp.21-32
    • /
    • 2023
  • The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

전력계통의 고장진단을 위한 전문가 시스템의 연구 (An Expert System for Foult Diagnosis in a System)

  • 박영문;이흥재
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1989년도 하계종합학술대회 논문집
    • /
    • pp.241-245
    • /
    • 1989
  • A knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. This paper presents an expert system to diagnose the various faults in power system. The developed expert system is represented considering two points; the possibility of solution and the fast processing speed. As uncertainties exist in the facts and rules which comprise the knowledge base of the expert system, Certainty Factor, which is based on the confirmation theory is used for the inexact reasoning. Also, as the diagnosis problem requires the inductive reasoning process in nature, the solution is imperfect and not unique in general. So the expert system is designed to generate all the possible hypothesis in order of the possibility and also it can explain the propagation procedure of the faults for each solution using the built in backtracking mechanism. In realization of the expert system, the processing speed is greatly dependent upon the problem representation, reasoning scheme and search strategy. So, in this paper the fault diagnosis problem itself is analysed from the view point of Artificial Intelligence and as a result, the expert system has the following basic features. 1) The certainty factor is adopted in the inference engine for inexact reasoning. 2) Problem apace is represented using the problem reduction technique. 3) Bidirectional reasoning scheme is used. 4) Best first search strategy is adopted for rapid processing. The expert system was developed us ing PROLOG language.

  • PDF

유전알고리듬에 기반을 둔 혼합제품 유연조립라인 밸런싱 (Mixed-product flexible assembly line balancing based on a genetic algorithm)

  • 송원섭;김형수;김여근
    • 한국경영과학회지
    • /
    • 제30권1호
    • /
    • pp.43-54
    • /
    • 2005
  • A flexible assembly line (FAL) is a production system that assembles various parts in unidirectional flow line with many constraints and manufacturing flexibilities. In this research we deal with a FAL balancing problem with the objective of minimizing the maximum workload allocated to the stations. However, almost all the existing researches do not appropriately consider various constraints due to the problem complexity. Therefore, this study addresses a balancing problem of FAL with many constraints and manufacturing flexibilities, unlike the previous researches. We use a genetic algorithm (GA) to solve this problem. To apply GA to FAL. we suggest a genetic representation suitable for FAL balancing and devise evaluation method for individual's fitness and genetic operators specific to the problem, including efficient repair method for preserving solution feasibility. After we obtain a solution using the proposed GA. we use a heuristic method for reassigning some tasks of each product to one or more stations. This method can improve workload smoothness and raise work efficiency of each station. The proposed algorithm is compared and analyzed in terms of solution quality through computational experiments.

Efficient analysis of SSI problems using infinite elements and wavelet theory

  • Bagheripour, Mohamad Hossein;Rahgozar, Reza;Malekinejad, Mohsen
    • Geomechanics and Engineering
    • /
    • 제2권4호
    • /
    • pp.229-252
    • /
    • 2010
  • In this paper, Soil-Structure Interaction (SSI) effect is investigated using a new and integrated approach. Faster solution of time dependant differential equation of motion is achieved using numerical representation of wavelet theory while dynamic Infinite Elements (IFE) concept is utilized to effectively model the unbounded soil domain. Combination of the wavelet theory with IFE concept lead to a robust, efficient and integrated technique for the solution of complex problems. A direct method for soil-structure interaction analysis in a two dimensional medium is also presented in time domain using the frequency dependent transformation matrix. This matrix which represents the far field region is constructed by assembling stiffness matrices of the frequency dependant infinite elements. It maps the problem into the time domain where the equations of motion are to be solved. Accuracy of results obtained in this study is compared to those obtained by other SSI analysis techniques. It is shown that the solution procedure discussed in this paper is reliable, efficient and less time consuming as compared to other existing concepts and procedures.

B-스플라인 고차패널법에 의한 2차원 수중익 문제 해석 (Analysis of Two-dimensional Hydrofoil Problems Using Higher Order Panel Method based on B-Splines)

  • 조충호;김건도;이창섭
    • 대한조선학회논문집
    • /
    • 제36권4호
    • /
    • pp.9-20
    • /
    • 1999
  • 기하학적 형상과 유동의 해를 B-스플라인으로 표현하는 2차원 고차 패널법이 개발되어 수중익 문제의 해석에 적용되었다. 제어점이 패널내에 놓이는 경우, 고차의 다이폴과 쏘오스에 의해 유기되는 자기 유기 포텐셜의 특이 거동을 제거하기 위하여 피적분 함수를 특이 부분과 비특이 부분으로 나누어, 특이 부분을 해석적인 적분으로 비특이 부분은 정도 높은 Gauss 구적법으로 계산함으로써 유기 포텐셜을 정도 높게 구할 수 있음을 보였다. 또한, 날개 뒷날에서의 압력 점프의 값이 명시적으로 영이 되도록하는 동역학적 Kutta 조건식을 도입하고, 이의 적용이 안정된 해를 보장함을 확인하였다. 수치 실험을 통하여, 제안된 수치해석 기법이 안정적이고 정확한 해를 줌을 확인하였으며, 특히 저차 패널법과 비교하여 적은 수의 패널로 동일한 정도를 유지할 수 있음을 보였다.

  • PDF