• Title/Summary/Keyword: model checking

Search Result 569, Processing Time 0.025 seconds

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

  • Kim, Won-Ju;Hwang, Seung-Gook
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.25 no.3
    • /
    • pp.287-292
    • /
    • 2015
  • The aim of this study was to provide a method to assume the value of the continuous and possible management part to investigate the relationship between component of evaluation of Disaster Management and Sustainability Management in enterprise by obtaining Fuzzy Relation Matrix in view of necessity and possibility when there are new data. The index of Disaster Management was yielded from 100 small and medium-sized enterprises for 4 component of evaluations of based on ISO standard, and that of Sustainability Management was obtained from same enterprises for 6 component of evaluations in GRI G4 version of Sustainability Management guideline. The above results suggest that this model is significant by using 80 data as a training data and 20 data as a checking data from the 100 data obtained in this study.

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

  • 정규영
    • Water for future
    • /
    • v.7 no.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

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

  • Chang, Durk Hyun
    • Journal of the Korean BIBLIA Society for library and Information Science
    • /
    • v.24 no.4
    • /
    • pp.133-152
    • /
    • 2013
  • This study strives to perform a pilot collection assessment study with the political science collection in a university library. Employing the basic list-checking analysis method, the study scrutinized the collection statistics and the circulation statistics, and check the current library holdings with a standard list which was composed of cited works extracted from course syllabi, theses, dissertations and faculty research papers. Although the study is a pilot case study that a particular model was applied to a collection in the field of political science, the result and procedures of the assessment will provide some implications regarding collection assessment in university libraries.

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

  • Lim, Chang Su;Hong, Kwang Woo;Kim, Eun Ja;Kwak, Jong Ho;Choi, Jin Ah
    • Journal of Korean Society of Rural Planning
    • /
    • v.18 no.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 (가상 시뮬레이션을 이용한 기동형 경계 로봇의 영상 기반 목표추적 알고리즘 검증)

  • Lee, Dong-Youm;Seo, Bong-Cheol;Kim, Sung-Soo;Park, Sung-Ho
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.36 no.11
    • /
    • pp.1463-1471
    • /
    • 2012
  • In this study, a 3-axis camera system design is proposed for application to an existing 2-axis surveillance robot. A camera-image-based target-tracking algorithm for this robot has also been proposed. The algorithm has been validated using a virtual simulation. In the algorithm, the heading direction vector of the camera system in the mobile surveillance robot is obtained by the position error between the center of the view finder and the center of the object in the camera image. By using the heading direction vector of the camera system, the desired pan and tilt angles for target-tracking and the desired roll angle for the stabilization of the camera image are obtained through inverse kinematics. The algorithm has been validated using a virtual simulation model based on MATLAB and ADAMS by checking the corresponding movement of the robot to the target motion and the virtual image error of the view finder.

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

  • Tuan, Do Van;Cho, Sang-Jin;Chong, Ui-Pil
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.19 no.7
    • /
    • pp.726-735
    • /
    • 2009
  • In this paper, we propose an approach to signal model-based fault detection and diagnosis system for induction motors. The current fault detection techniques used in the industry are limit checking techniques, which are simple but cannot predict the types of faults and the initiation of the faults. The system consists of two consecutive processes: fault detection process and fault diagnosis process. In the fault detection process, the system extracts the significant features from sound signals using combination of variance, cross-correlation and wavelet. Consequently, the pattern classification technique is applied to the fault diagnosis process to recognize the system faults based on faulty symptoms. The sounds generated from different kinds of typical motor's faults such as motor unbalance, bearing misalignment and bearing loose are examined. We propose two approaches for fault detection and diagnosis system that are waveletand-variance-based and wavelet-and-crosscorrelation-based approaches. The results of our experiment show more than 95 and 78 percent accuracy for fault classification, respectively.

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

  • Lim Jae-Young
    • Health Policy and Management
    • /
    • v.14 no.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.

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- (인터넷쇼핑몰에서 e-Trust 결정요인에 관한 연구 - 수입대행몰과 일반쇼핑몰 비교를 중심으로 -)

  • Song, Sun-Yok
    • THE INTERNATIONAL COMMERCE & LAW REVIEW
    • /
    • v.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 (에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성)

  • Yun, Jeong-Han;Cho, Min-Kyung;Seo, Sun-Ae;Han, Tai-Sook
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.10
    • /
    • pp.793-799
    • /
    • 2009
  • Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.

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

  • Kim, Gang-Yeon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.3
    • /
    • pp.72-77
    • /
    • 2017
  • This paper focuses on the development of a supporting S/W tool for the automated design of an automotive press trim die. To define the die design process based on automation, we analyze the press die design process of the current industry and group repetitive works in the 3D modeling process. The proposed system consists of two modules, namely the template models of the trim steel parts and UI function for their auto-positioning. Four kinds of template models are developed to adapt to various situations and the rules of the interaction formula which are used for checking and correcting the directions of the datum point, datum curve, datum plane are implemented to eliminate errors. The system was developed using CATIA Knowledgeware, CAA(CATIA SDK) and Visual C++, in order for it to function as a plug-in module of CATIA V5, which is one of the major 3D CAD systems in the manufacturing industry. The developed system was tested by applying it to various panels of current automobiles and the results showed that it reduces the time-cost by 74% compared to the traditional method.