• 제목/요약/키워드: Model-checking

검색결과 569건 처리시간 0.025초

퍼지관계를 이용한 지속가능경영 평가 (An Evaluation of Sustainability Management Using Fuzzy Relation)

  • 김원주;황승국
    • 한국지능시스템학회논문지
    • /
    • 제25권3호
    • /
    • pp.287-292
    • /
    • 2015
  • 본 논문은 기업의 지속가능경영을 평가하기 위하여 기업의 재난관리평가행렬과 지속가능경영평가행렬을 사용한다. 재난관리평가행렬의 구성요소는 4개, 지속가능경영평가행렬의 구성요소는 6개로 구성되어 있다. 이들 두 행렬의 구성요소간의 관계를 필연성과 가능성의 면이 혼합되어 있는 퍼지관계행렬을 구하고 이를 이용하여 새로운 데이터가 주어졌을 때 기업의 지속가능경영 구성요소의 값을 추정하는 방법을 제시하고자 한다. 본 논문에서 사용하고 있는 재난관리와 지속가능경영의 구성요소의 데이터는 100개의 중소기업을 대상으로 구한 것이다. 이들 100개의 중소기업의 자료 중 80개는 지속가능경영의 모델링을 위한 트레이닝데이터로 사용하고, 나머지 20개는 평가모델을 검토하기 위한 체킹데이터로 사용하여 모델의 유효성을 보였다.

상수도 요금 과징업무 기계화 처리에 대하여 (A study on EDP of water Rate Billing procedures)

  • 정규영
    • 물과 미래
    • /
    • 제7권2호
    • /
    • pp.11-22
    • /
    • 1974
  • Comparing with Seoul city's other administrative works, the work to arrange and collect monthly water rates with 470,000 faucets is tremendous in volume and simple repetition in quality. In order to cover the shortage of handling, it is urgent for us to replace the present manual system with EDP(Electronic Data Processing) system to mechanize a series of handling works of simple repeated calculation such as water consumption, rate calculation, statistics arrangement, bills and specification of water rate by computer. When this work is completely mechanized, inspectors of water meter just turn over their checking results to the Data Center and all data are processed through Input Media(OMR Card, Punched Card) and computer for programming final bills. Then, the delivery of the bills to citizens will be the only work to be carried out. such mechanization will bring about the following benefits: 1. Improvement of administrative work by efficiency and rationalization. 2. Improvement of administrative service with people. 3. Possibility of scientific with trustworthy multi-purpose policy-making data. 4. An effect to cover the personnel shortage of 252 persons (at all the water works offices) and save manpower of 166 persons (47,619 man-days). The application of the above mentioned mechanization will be started to only Chongro and Chung-ku water works offices as model cases out of all water works offices in Seoul. As the electronic calculating machines are inducted, this system will be gradually applied to other water works offices. The billing and collection works of water rates which are connected directly to the daily life of the citizenes, should be handled by the scientific EDP system as soon as possible in order to promote the convenience of consumers and effective operation. This study is to promote the sound and rational operation of this work.

  • PDF

대학도서관 장서평가 연구 - A대학교도서관 정치학장서를 중심으로 - (Assessing a University Library Collection: with a Special Reference to Political Science Collection in A University Library)

  • 장덕현
    • 한국비블리아학회지
    • /
    • 제24권4호
    • /
    • pp.133-152
    • /
    • 2013
  • 대학도서관에 있어서 장서개발의 목적은 각 학문분야별로 구성된 장서의 강점과 균형은 유지하고 약점은 보완하여 장서구성의 체계성과 망라성을 유지하는 것이다. 그러나 우리나라 대학도서관들은 장서의 규모를 확충하는데 주력한 반면 그 품질을 제고하는 데에는 미처 관심을 갖지 못한 것이 사실이다. 이는 무엇보다 최적의 장서를 유지하기 위하여 필수적인 과정인 장서평가를 제대로 수행하지 못한데 기인하는데, 이러한 문제의식을 바탕으로 이 연구는 대학도서관에 소장된 특정 주제분야 장서를 중심으로 장서평가를 수행하였다. 구체적으로 표본 대학도서관의 정치학 장서를 대상으로 장서의 현황을 분석하고, 과연 장서가 학과의 학부 학생들과 대학원생의 학습 및 연구지원, 교수의 연구지원과 얼마나 밀접한 관련성을 맺으며 개발되고 있는지 분석하였다. 이를 위해 정치학 강의에서 사용된 교재 및 연구자들이 학술활동 과정에서 인용한 문헌의 리스트를 작성하고 이에 근거한 대학도서관의 장서 보유 현황을 조사함으로써 정치학 교육과 연구에 있어서 필요한 장서의 현황, 장서의 최적성 수준을 파악하고자 하였다.

장거리 도보여행길과 연계한 강변 그린로드 모형 및 노선 개발 (Development of Model and Route of Green Road on the Riverside Linked the Long Distance Trail)

  • 임창수;홍광우;김은자;곽종호;최진아
    • 농촌계획
    • /
    • 제18권4호
    • /
    • pp.153-170
    • /
    • 2012
  • In recent years, the central ministries and regional self are competitively developing program for creating a trail and theme path by the increase of the number of trekkers. Even though these projects are developed in rural areas, it has been pointed out that most of projects do not directly linked to the revitalization of rural villages and improvement of non-farm income because of the main road itself as a resource in rural area. Therefore, in this study, we try to connect the citizen and the agriculture and rural area through the development of the green road which is the experience road with rural resource. To achieve this, we investigated the status and characteristics of the 36 villages where are the village was promoted various major project of first step. In second step, we considered the distinct characteristics of the area with conference of expert and site investigation for the final selection of 15 villages. Through two rounds' expert group consulting with checking, related literatures review and similar case-projects benchmarking, a riverside green road which is linked long distance trail and adjacent to the riverside was developed 15 courses by 2-development types proposed.

가상 시뮬레이션을 이용한 기동형 경계 로봇의 영상 기반 목표추적 알고리즘 검증 (Verification of Camera-Image-Based Target-Tracking Algorithm for Mobile Surveillance Robot Using Virtual Simulation)

  • 이동염;서봉철;김성수;박성호
    • 대한기계학회논문집A
    • /
    • 제36권11호
    • /
    • pp.1463-1471
    • /
    • 2012
  • 본 논문은 3 축 영상 장치를 기존의 2 축 경계 로봇에 적용하는 설계안을 제시하고 이러한 기동형 경계 로봇의 영상 정보를 이용한 목표 추적 알고리즘을 제안하였다. 또한 가상 시뮬레이션을 이용하여 목표 추적 알고리즘을 검증하였다. 목표추적 알고리즘에서는 카메라 영상의 중심과 카메라 영상으로 포착된 목표물 중심 사이의 위치 에러를 이용하여 영상 장치의 목표 지향 벡터를 획득하고, 역기구학을 이용하여 획득한 목표 지향 벡터를 생성해 낼 수 있는 기동형 경계 로봇의 팬, 틸트 회전 요구 각도와 카메라 영상의 안정화를 위한 롤 회전 요구각도를 계산하였다. MATLAB 과 ADAMS 를 이용하여 기동형 경계 로봇의 가상 모델을 생성하고, 가상의 목표물의 움직임에 대한 가상 모델의 운동을 확인하여 영상 기반의 목표 추적 알고리즘을 검증하였다.

웨이블렛 계수의 분산과 상관도를 이용한 유도전동기의 고장 검출 및 진단 (Fault Detection and Diagnosis for Induction Motors Using Variance, Cross-correlation and Wavelets)

  • ;조상진;정의필
    • 한국소음진동공학회논문집
    • /
    • 제19권7호
    • /
    • pp.726-735
    • /
    • 2009
  • 이 논문에서는 신호 모델에 기반하여 유도전동기의 고장 검출 및 고장 진단을 위한 새로운 시스템을 제안한다. 산업현장에 적용하는 기존의 제품들은 신호가 문턱치를 넘어면 고장을 검출하는 단순한 알고리듬을 가지고 있어 고장의 유형이나 고장을 예측하는데 문제가 있다. 이 논문에서는 이러한 문제들을 해결하기 위한 시스템을 제안한다. 이 시스템은 고장 검출 과정과 고장 진단 과정으로 구성되며, 고장 검출 과정은 기계 신호음들이 웨이블렛 필터뱅크를 통과한 후 웨이블렛 계수들의 분산과 상관도를 분석하여 고장을 검출한다. 고장 진단 과정은 패턴분류기술을 적용하여 고장의 유형을 진단하게 된다. 대표적인 유도전동기 고장 유형들로서는 불평형, 미스얼라이먼트, 그리고 베어링 루스 등이 있으며, 이러한 유형들은 제안하는 시스템에서 분석되고 진단을 받게 된다. 제안하는 시스템에 적용한 결과 상관도를 이용한 방법은 78 %, 분산을 이용한 방법은 95 % 이상의 고장진단율을 보이는 우수한 결과를 나타내었다.

지불보상체계가 의사의 진료행태에 미치는 영향 : 미국사례 분석 (The Effect of Doctor's Payment Method on Practice Behavior)

  • 임재영
    • 보건행정학회지
    • /
    • 제14권4호
    • /
    • pp.48-74
    • /
    • 2004
  • Considering the existence of asymmetric information between doctor and patient, the doctor's reimbursement method has been considered as a desirable policy device of improving efficiency of patient's use of medical care in terms of its affecting doctor's practice pattern by determining doctor's practice revenue. By using the Community Tracking Study (CTS) physician data set, which includes not only various information on doctors practice arrangements and sources of practice revenue, but also vignettes of various clinical presentations, this paper investigates doctor's reaction to the financial incentive under the control of patient's specific medical situation. Under the econometric model for exploring the effect of doctor's reimbursement method on his/her practice patterns; referring patients, recommend doctor-visit or medical tests, the Hausman's specification test was used for checking out the possibility of the doctor's reimbursement method being endogeneized explanatory variable. In the case where the endogeneity problem of doctor's reimbursement method exists, the 2SLS method was used for correcting that problem, and the multiple regression method was used in the case where the problem is found to be nonexistent. Based on the empirical results, this paper finds that doctors do appear to respond to financial incentive. The empirical results show that the doctor's reimbursement method statistically significantly affects doctor's practice pattern and are coincident with the theoretical result proposed by previous researches, This results suggest, as doctor's practice revenues are mainly determined by prospective method, such as capitation, doctors would more refer their patients to specialists, and hesitate in recommending doctor-visit or medical exam.

인터넷쇼핑몰에서 e-Trust 결정요인에 관한 연구 - 수입대행몰과 일반쇼핑몰 비교를 중심으로 - (An Empirical Study on the Determinants of e-Trust in Internet Shopping Mall -Focuse on Comparing Import Agency Service Mall with General Internet Shopping Mall-)

  • 송선옥
    • 무역상무연구
    • /
    • 제43권
    • /
    • pp.423-453
    • /
    • 2009
  • Import Agency Service Mall, which provide customers not only with convenient shopping experiences but also with purchasing, warehousing, shipping, and customs clearance services, have been playing a significant role in rapidly transforming Korean consumers into global consumers. The consumers' great demand for foreign goods(services) created Import Agency Service Mall(referred to hereafter as IASM) as a new business model of distribution and consumption, which seems to grow rapidly. Accordingly, this study examined the e-Trust by analyzing the characteristics of IASM, determinants of trust, risk perception and its association with e-Trust in IASM, and finally applying the result to general internet shopping mall(referred to hereafter as GISM). The following results came out from the analysis: First, from the result of checking these two types of internet shopping mall consumers have different determinants of trust. Second, from the question if two types perceive different risk, purchasing the foreign goods, it came out that they showed critical difference in variable relevant to goods delivery and customer service. IASM perceived risk from those two variables more than GISM Third, from the review of the relationships between determinants of trust and risk perception variables, IASM showed interrelation among all the variables except between customer service and perceived risk. Fourth, the researcher examined how the risk perceived in the course of purchasing goods has an effect on consumers e-Trust. In case of IASM, risk perception relevant to customer service had an effect on consumer e-Trust. To the contrary, incase of GISM, risk perception didn't have any effect on e-Trust. Finally, from the review of interrelation between determinants of trust and consumer e-Trust, it came out that for IASM capability had an effect on consumer e-Trust and for GISM consumer service had an effect on consumer e-Trust.

  • PDF

에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 (An Automated Test Data Generator for Debugging Esterel Programs)

  • 윤정한;조민경;서선애;한태숙
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권10호
    • /
    • pp.793-799
    • /
    • 2009
  • 에스테렐은 반응형 시스템 설계에 적합하도록 디자인 된 명령형 동기언어이다. 시스템 개발 시에는 디버깅을 위해 다양한 테스트가 필요하다. 반응형 시스템을 테스트 하려면 일련의 입력을 시간의 흐름에 따라 순서대로 나열하여야 한다. 하지만 원하는 목적에 적합한 테스트 데이터를 생성해 주려면 많은 노력이 필요하며, 이 과정에서 오류가 발생하기도 한다. 따라서 디버깅의 특성상 빠르면서 원하는 목적의 테스트 데이터를 쉽게 표현할 수 있는 도구가 필요하다. 본 연구에서는 디버깅에 도움을 줄 수 있는 테스트 데이터 자동 생성기를 개발하였다. 본 연구는 개발자가 원하는 테스트 데이터를 쉽게 표현할 수 있고, 빠르게 테스트 데이터를 만들어내는 것에 초점을 두었다. 또한 사례 연구를 통해 실제 시스템 개발에 우리의 테스트 데이터 생성기를 적용한 예를 보여준다.

CATIA API를 활용한 프레스금형 트림스틸 설계 자동화 S/W 모듈 개발 (Development of A Software Tool for Automatic Trim Steel Design of Press Die Using CATIA API)

  • 김강연
    • 한국산학기술학회논문지
    • /
    • 제18권3호
    • /
    • pp.72-77
    • /
    • 2017
  • 본 논문은 자동차 프레스 절단 금형의 설계 자동화를 위한 설계 지원 툴 개발에 관한 연구을 다룬다. 현업에서 진행하는 자동차 패널 절단 공정 금형설계 프로세스를 분석하고 패턴을 가지는 반복 작업들을 그룹화 하여 자동화 모듈을 개발하였다. 제안하는 시스템은 절단금형 스틸파트를 자동 생성하는 템플릿 모델과 자동 생성된 절단금형 스틸파트를 자동 배치하는 UI 기능의 두 가지 모듈로 구성 하였다. 템플릿 모델은 트림스틸 설계에 활용되는 유형들을 고려하여 4가지 종류로 개발하였으며, 자동생성시 오류발생을 제로화 하기 위해 벡터 내적과 외적을 활용하여 설계기준이 되는 점, 선, 곡선, 면, 곡면의 방향을 체크 하고 바로잡는 방향성 제어 관계식 룰을 구현 하였다. 개발한 시스템을 대표 상용 CAD시스템 중 하나인 CATIA V5의 확장 메뉴형태로 탑재하기 위하여 CATIA Knowledgeware, CATIA SDK, Visual C++를 사용하여 개발하였다. 제안하는 시스템을 다양한 자동차 외관 패널에 적용한 결과 전통적인 방법에 비해 약 74%의 시간감축 효과를 얻을 수 있었다.