• 제목/요약/키워드: model checker

검색결과 72건 처리시간 0.021초

The Board Size and Board Composition Impact on Financial Performance: An Evidence from the Pakistani and Chinese's Listed Banking Sector

  • MAJEED, Muhammad Kashif;JUN, Ji Cheng;ZIA-UR-REHMAN, Muhammad;MOHSIN, Muhammad;RAFIQ, Muhammad Zeeshan
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제7권4호
    • /
    • pp.81-95
    • /
    • 2020
  • The main objective of this research is to investigate the impact of board size and board composition on financial performance of banks. The sample of this study consists on two countries listed bank sector Pakistan and China. The annul data is used from 2009-2018 to find the objective of this study. The Panel regression model is used to check the relationship between dependent and independent variables. Return on Asset and Return on Equity is used as performance checker dependent variables. The results of this study confirm board size coefficient value positive for ROA and negative for ROE but shows insignificant behavior for Pakistani banking sector while in Chinese banking sector the coefficient value of board size positively for ROA and ROE at 10% level. The board composition coefficient shows the negatively significant with ROA but insignificantly related to ROE for Pakistani banking sector. However, in Chinese banking sector the coefficient value of board composition is insignificant for both ROA and ROE. This study is helpful for banks, management of banks, policy makers, researcher as well as Government.

HDD 구동기 팔의 위상 최적화 (Topology Optimization of a HDD Actuator Arm)

  • 장수영;윤성기;김철순;오동호
    • 대한기계학회논문집A
    • /
    • 제24권7호
    • /
    • pp.1801-1809
    • /
    • 2000
  • A study on the topology optimization of Hard-Disk-Driver(HDD) actuator arm in free vibration is presented. The purpose of this research is to increasse the natural frequency of the first lateral mode of the HDD actuator arm under the constraint of total moment of inertia, so as to facilitate the position control of high speed actuator am. The first lateral mode is an important factor in the position control process. Thus the topology optimization for 2-D model of the HDD actuator arm is considered. A new objective function corresponding to multieigenvalue optimization is suggested to improve the solution of the eigenvalue optimization problem. The material density of the structure is treated as the design variable and the intermediate density is penalized. The effects of different element types and material property functions on the final topology are studied. When the problem is discretized using 8-node element of a uniform density, the smoothly-varying density field is obtained without checker-board patterns incurred. As a result of the study an improved design of the HDD actuator arm is suggested. Dynamic characteristics of the suggested design are compared computationally with those of the old design. With the same amount of the moment of inertia, the natural frequency of the first lateral mode or the suggested design is subsequently increased over the existing one.

Multi-objective BESO topology optimization for stiffness and frequency of continuum structures

  • Teimouri, Mohsen;Asgari, Masoud
    • Structural Engineering and Mechanics
    • /
    • 제72권2호
    • /
    • pp.181-190
    • /
    • 2019
  • Topology optimization of structures seeking the best distribution of mass in a design space to improve the structural performance and reduce the weight of a structure is one of the most comprehensive issues in the field of structural optimization. In addition to structures stiffness as the most common objective function, frequency optimization is of great importance in variety of applications too. In this paper, an efficient multi-objective Bi-directional Evolutionary Structural Optimization (BESO) method is developed for topology optimization of frequency and stiffness in continuum structures simultaneously. A software package including a Matlab code and Abaqus FE solver has been created for the numerical implementation of multi-objective BESO utilizing the weighted function method. At the same time, by considering the weaknesses of the optimized structure in single-objective optimizations for stiffness or frequency problems, slight modifications have been done on the numerical algorithm of developed multi-objective BESO in order to overcome challenges due to artificial localized modes, checker boarding and geometrical symmetry constraint during the progressive iterations of optimization. Numerical results show that the proposed Multiobjective BESO method is efficient and optimal solutions can be obtained for continuum structures based on an existent finite element model of the structures.

PAM 행렬 모델을 이용한 음소 간 유사도 자동 계산 기법 (Automatic Inter-Phoneme Similarity Calculation Method Using PAM Matrix Model)

  • 김성환;조환규
    • 한국콘텐츠학회논문지
    • /
    • 제12권3호
    • /
    • pp.34-43
    • /
    • 2012
  • 두 문자열 간의 유사도를 계산하는 문제는 정보 검색, 오타 교정, 스팸 필터링 등 다양한 분야에 응용될 수 있다. 동적 계획법 기반의 유사도 계산 방법을 통하여 한글 문자열의 유사도 계산을 위해서는 우선 음소간의 유사도에 대한 정의가 필요하다. 그러나 기존의 방법들은 수동적 설정에 의한 유사도 점수를 사용하고 있다는 한계점이 있다. 본 논문에서는 PAM(Point Accepted Mutation) 행렬과 유사한 확률 모델을 이용하여 변형 단어 집합으로부터 음소 간의 유사도를 자동적으로 계산하는 기법을 제안한다. 제안 기법은 주어진 변형 단어의 집합 내 유사한 단어 쌍을 찾아 문자열 정렬(Text Alignment)을 수행함으로써 음소 변형 규칙을 도출하고, 이로부터 각 음소 쌍의 상호 변형 빈도에 따른 유사도 점수를 계산한다. 실험 결과 특이도(Specificity) 77.2~80.4% 수준에서 불일치 여부에 따른 단순 점수 부여 방식에 비해서는 10.4~14.1%, 수동으로 음소 간 유사도를 직접 설정하는 방식에 비해서는 8.1~11.8%의 민감도(Sensitivity) 향상이 있음을 확인하였다.

Kinect(RGB-Depth Camera)를 활용한 실내 공간 정보 모델(BIM) 획득 (Microsoft Kinect-based Indoor Building Information Model Acquisition)

  • 김준희;유세웅;민경원
    • 한국전산구조공학회논문집
    • /
    • 제31권4호
    • /
    • pp.207-213
    • /
    • 2018
  • 본 연구에서는 건물 실내 공간 정보 획득을 위해 Microsoft사의 $Kinect^{(R)}$ v2를 활용한 point cloud 기법을 도입하였다. 카메라로 취득한 2차원의 투영 공간 이미지 픽셀 좌표를 각 카메라의 보정을 거쳐 3차원 이미지 변환하며 이를 토대로 공간 정보를 구현하였다. 기준점을 중심으로 $360^{\circ}$ 회전하여 취득한 3차원 이미지를 통해 거리 측정이 불가한 기존의 2차원 이미지의 한계를 개선하였으며, 이 과정을 통해 얻은 point cloud를 통해 3차원 map을 형성하였다. 형성된 3차원 map은 기존의 공간정보 융 복합을 위한 센서와 비슷한 수준의 측정 효율을 가지면서 동시에 렌즈 왜곡 현상에 대한 후처리 과정을 통해 공간 정보를 정확하게 측정할 수 있도록 하였다. 측정한 결과를 2D 도면과 실제 공간 및 구조부재의 길이 및 위치 등과 비교하여 검증하였다.

유비쿼터스 센서 네트워크에서 응용 프로그램 개발을 위한 모델 기반 통합 개발 도구 (Model-based Integrated Development Tool for the Development of Applications in Ubiquitous Sensor Network)

  • 정기원;김주일;이우진
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제13권7호
    • /
    • pp.442-453
    • /
    • 2007
  • 본 논문에서는 센서 네트워크에서 응용 프로그램 개발을 지원하는 모델 기반의 통합 개발 도구를 제시한다. 제안하는 도구는 이클립스 플랫폼의 플러그인으로 개발되었으며, 사용자 그래픽 인터페이스, 모델 작성기, 설정정보 생성기, 모델 검증기, 소스코드 생성기 및 템플릿 저장소로 구성된다. 이 도구는 UML의 클래스다이어그램과 같은 표기법을 이용하여 구축하고자 하는 센서 네트워크를 모델링하고, 센서 네트워크 모델로부터 응용 프로그램 코드를 자동으로 생성할 수 있도록 한다. 개발자들은 도구를 이용하여 구현하고자 하는 센서 네트워크에 대한 모델을 작성하고, 모델에 속해 있는 각 센서들의 역할을 정의하여, 역할에 따른 속성값을 설정해 주기만 하면 각 센서들의 역할 수행을 위한 응용 프로그램이 자동으로 생성된다. 또한 작성한 모델에 대한 설계를 검증하여 오류를 조기에 발견하여 수정할 수 있도록 함으로써 고품질의 USN 응용 프로그램을 생성할 수 있다. 제안하는 도구를 이용하면, 개발자들은 하위레벨의 정보를 자세히 알지 못하더라도 다수의 센서 네트워크 응용 프로그램을 쉽고, 빠르게 구현할 수 있다.

디지탈 논리회로 설계 및 모의 실험 실습을 위한 인터넷 기반 교육용 소프트웨어 패키지 개발 (Development of the Internet-Based Educational Software Package for the Design and Virtual Experiment of the Digital Logic Circuits)

  • 기장근;허원
    • 공학교육연구
    • /
    • 제2권1호
    • /
    • pp.10-16
    • /
    • 1999
  • 본 논문에서는 인터넷을 이용한 디지탈 논리회로 설계 및 모의실험실습을 위한 교육용 소프트웨어 패키지(DVLab)를 개발하였다. 개발된 패키지는 디지탈 조합/순차회로는 물론 마이크로콘트롤러 응용회로까지 설계하고 시뮬레이션할 수 있는 모듈, 브레드보드 시뮬레이터 모듈, 실험항목별 이론 강의를 위한 모듈, 보고서 작성 및 보고서 자동검사 모듈 등을 포함하고 있다. 개발된 모든 모듈들은 독립적인 응용 프로그램으로 뿐만 아니라 인터넷을 이용한 사용이 가능하며, 특히 시뮬레이터 모듈의 경우 실시간 클럭 제공, 설계회로도 상에서 직접 소자의 출력값 확인, 논리값 변화 기록 기능, 설계회로 복사 방지 기능, 다양한 논리회로 소자뿐만 아니라 LED, buzzer등과 같은 시각적, 청각적 소자 제공 등의 특징을 가진다. 또한 개발된 교육용 패키지를 이용한 디지탈 논리회로 실험실습 과목의 학습 모형을 제시하였다.

  • PDF

통신 프로토콜 검정기 및 적합성시험 도구 개발 (Development of Verification and Conformance Testing Tools for Communication Protocol)

  • 서미선;황종규;이재호;김성운
    • 한국멀티미디어학회논문지
    • /
    • 제8권8호
    • /
    • pp.1119-1133
    • /
    • 2005
  • 프로토콜 명세의 검정과 적합성시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 LTS(Labeled Transition System)로 명세화된 프로토콜 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지에 대한 검사를 실험적으로 증명하는 도구를 구현하였다. 구현된 프로토콜 검정기는 modal mu-calculus를 사용하여 modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 UIO(Unique Input Output) 방법에 의해 유일한 입출력열을 이용하여 이끌어낸 결과 시퀀스가 구현에 대해 올바른지를 검사하는 적합성시험 계열 생성도구를 개발하였으며, 개발된 도구는 Windows NT 환경하에서 C++ 언어를 이용하여 구현되었다.

  • PDF

두 종류의 CAD/CAM 지르코니아 전부도재관의 도재 축성 전후의 변연적합도 비교 (Comparison of marginal fit before and after porcelain build-up of two kinds of CAD/CAM zirconia all-ceramic restorations)

  • 신호식;김석규
    • 대한치과보철학회지
    • /
    • 제46권5호
    • /
    • pp.528-534
    • /
    • 2008
  • 연구목적: 변연적합도는 보철수복물의 성공을 좌우하는 중요한 요소 중의 하나이다. McLean과 von Fraunhofer등에 의하면 120 ${\mu}m$ 이하를 임상적으로 허용할 수 있다고 했는데, 이를 넘는 정확하지 않은 변연은 지각과민을 일으키거나 이차 우식을 일으키고, 치태 축적을 용이하게 하여 보철물의 수명을 단축시키게 된다. 이에 최근에 우리나라에 소개되어 임상적으로 사용되고 있는 CAD-CAM 전부도재 수복물 중 $LAVA^{(R)}$ 시스템 (3M ESPE, St. Paul, MN)과 $EVEREST^{(R)}$ 시스템 (KaVo Dental GmbH, Biberach, Germany)으로 제작한 지르코니아 전부 도재관들이 도재전장 금속주조 수복물과 비교해 보아 코핑 상태일 때와 도재축성 후 각각 변연적합도의 차이가 있는지를 살펴보고자 하였다. 재료와 방법: 상악 제1소구치 덴티폼 치아를 high speed diamond bur 로 교합면 2.0 mm, 순설면 1.0 mm, 그리고 변연은 chamfer margin을 6도 측면 경사 절삭 기계로 균일하게 제작해서 이를 인상 채득하여 금속 지대치를 제작하였다. 이를 덴티폼 모형상에 장착한 후 전악인상을 채득하여 $LAVA^{(R)}$ 수복물 코핑, $EVEREST^{(R)}$ 수복물 코핑, 그리고 도재전장 금속주조 수복물 코핑을 각각 8개씩 제작하였다. 이들 코핑을 염색제를 섞은 Fit-checker $II^{(R)}$ (GC Cor., Tokyo, Japan)를 이용하여 금속 지대치에 접합시킨 뒤, $Microhiscope^{(R)}$ system (HIROX KH-1000 ING Plus, Seoul, Korea)을 이용하여 300배율로 관찰하면서 변연 간격을 ${\mu}m$단위로 측정하였다. 도재축성 후에도 마찬가지 방법으로 모든 수복물의 변연간격을 측정하여 통계 처리를 하였다. 결과: 코핑 상태에서의 평균 변연간격 값은 $EVEREST^{(R)}$ 에서 $52.00{\pm}11.94\;{\mu}m$, $LAVA^{(R)}$$ 56.97{\pm}10.00\;{\mu}m$, 그리고 도재 전장 금속 주조 수복물은 $97.38{\pm}18.54\;{\mu}m$를 보였고, 도재축성 후에 평균 변연 간격값은 $EVEREST^{(R)}$$61.69{\pm}19.33\;{\mu}m$, $LAVA^{(R)}$$70.81{\pm}12.99\;{\mu}m$, 그리고 도재 전장 금속 주조 수복물은 $115.25{\pm}23.86\;{\mu}m$를 보였다. 결론: 1. $LAVA^{(R)}$$EVEREST^{(R)}$ 수복물은 도재 전장 금속 주조 수복물과 비교하여 각각 코핑상태일 때와 도재 축성 후 모두 유의성 있는 (P < .05) 차이를 보이는 우수한 변연 적합도를 나타내었다. 2. $LAVA^{(R)}$$EVEREST^{(R)}$ 수복물 간의 평균 변연 간격 비교에서 코핑 상태일 때와 도재 축성 후에 모두 유의성 있는 차이는 없었다 (P > .05). 3. $LAVA^{(R)}$$EVEREST^{(R)}$ 그리고 PFM 은 각각 코어 상태일 때와 비교하여 도재 축성 후 변연 간격에서 약간 증가되었으나 유의성 있는 차이를 보이지는 않았다 (P > .05).

BIM기반의 건축설계경기 평가 및 절차에 관한 연구 -국내외 BIM기반 건축설계경기 사례를 기반으로- (A Study for BIM based Evaluation and Process for Architectural Design Competition -Case Study of Domestic and International BIM-based Competition)

  • 박승화;홍창희
    • 한국산학기술학회논문지
    • /
    • 제18권2호
    • /
    • pp.23-30
    • /
    • 2017
  • 건설산업 분야에서 빌딩정보모델링(BIM)은 단지 설계를 보다 쉽게 지원하고, 3차원 모델을 구현하기 위한 도구만은 아니다. 왜냐하면, 설계, 시공, 유지관리 및 철거에 이르는 건설 생애주기 동안의 다양한 데이터를 입력하고 관리가 가능하도록 구조화 되어 있기 때문이다. 이렇게 구조화된 모델을 가지고 다양한 분석 및 해석이 가능해지기 때문에 BIM의 역할은 점점 더 증대되어 가고 있다. 노르웨이 베스트바넨의 국립예술박물관 현상설계 경기를 시작으로 국내외적으로 BIM을 설계 경기 및 평가에 적용하려는 노력이 다각적으로 발생하고 있다. 이때, 기존 방식의 설계경기와는 다르게 BIM기반으로 전사적인 시뮬레이션을 통한 자동적이며, 신뢰성이 높고 효율적인 평가가 가능하게 된다. 이를 위하여 각 BIM 도구를 대상으로 하는 모델링 가이드가 필요하며 이를 검증할 수 있는 평가시스템의 요구가 생기게 되었다. 본 논문은 건설산업 분야에 새로운 패러다임을 이끌고 있는 BIM 기술을 이용한 새로운 방식의 설계평가 및 절차의 방향에 대해, 전력거래소 본사사옥 등의 이전 설계경기 사례를 비교분석하고 이에 대한 개선방안을 설명함으로써 향후 발주될 BIM기반 건축설계경기 평가의 방향을 제시하고자 한다.