• Title/Summary/Keyword: Model checking

Search Result 569, Processing Time 0.031 seconds

A Study on the Applications of a Geographic Information Systems To A Transportation Planning Model (교통모형에서의 지리정보시스템 활용방안에 관한 연구)

  • Kim, Dae-Ho;Park, Jin-Woo
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.1 no.2 s.2
    • /
    • pp.167-175
    • /
    • 1993
  • This article contains three objectives. First it is to revise unnecessary procedures of a transportation models and transform results of a model into an image. Second objectives is to develop an operational structures which automatically input all data needed from arc-node topology to link-node topology of transportation network. By solving the network discrepancy, time and money for constructing to transportation can be saved. In addition, the rate of errors that my caused during data input process can be reduced. Conclusively, it is found that the integration package may provide user friendliness and reduce the rate of errors. The package can extract informations such as distance between zones and nodes, lane numbers, and hierarchy from arc-node topology for executing SDI. Another advantage of integration is the ability of spatial analysis. The integrated package may provide adequate arrangements of traffic facilities and checking systems of the shortest path. Finally, the database function of GIS package provides various information about study area for transportation analysis.

  • PDF

A Numerical Study on the Effects of Maneuverability of Ship with Low Forward Speed by Increasing Rudder Force (타력 증대가 저속 운항 선박의 조종성능에 미치는 영향에 관한 수치적 연구)

  • Kim, Hyun-Jun;Kim, Sang-Hyun;Kim, Dong-Young;Kim, In-Tae;Han, Ji-Soo
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.53 no.3
    • /
    • pp.217-227
    • /
    • 2016
  • Recent accidents of crude oil tankers have resulted in sinking, grounding of vessels and significant levels of marine pollution. Therefore, International Maritime Organization (IMO) has been strengthening the regulations of ship maneuvering performance in MSC 137. The evaluation of maneuvering performance can be made at the early design stage; it can be investigated numerically or experimentally. The main objective of this paper was to investigate the maneuvering performance of a VLCC due to the increase of rudder force at an early design stage for low speed in shallow water conditions. It was simulated in various operating condition such as deep sea, shallow water, design speed and low speed by using the numerical maneuvering simulation model, developed using MMG maneuvering motion equation and KVLCC 2 (SIMMAN 2008 workshop). The effect of increasing the rudder force can be evaluated by using numerical simulation of turning test and ZIG-ZAG test. The research showed that, increasing the rudder force of a VLCC was more effective on improving the turning ability than improving the course changing ability especially. The improvement of turning ability by the rudder force increasing is most effective when the ship is sailing in shallow water at low forward speed.

Analyzing Characteristics of the Smart City Governance (스마트시티 거버넌스 특성 분석)

  • LEE, Sang-Ho;LEEM, Youn-Taik
    • Journal of the Korean Association of Geographic Information Studies
    • /
    • v.19 no.2
    • /
    • pp.86-97
    • /
    • 2016
  • This study aims to analyze the characteristics of the smart city governance through the multi-layer governance model, which includes administrative governance(AG), technological governance(TG), and global governance(GG). The results of the smart city governance are as follows. Multi-layered governance was modeled to enable cross-checking of each element of the propelling process and types of governance. AG has transitioned from a public partnership to a public-private people partnership(pppp) through a public-private partnership(ppp). TG has the characteristics of information communication technologies(ICTs) - eco technologies(EcoTs) - Spatial technology convergence including physical center, information software platforms such as the CCTV convergence center, and virtualization such as the cloud data center. GG aims at developing killer applications and ICTs-embedded space with intelligent buildings such as a smart city special zone to enable overseas exports. The smart city roadshow and forum have been developed as a platform for overseas exports with competition as well as cooperation.

Analysis of Execution Behavior for Multprocess-based Web Robots (다중 프로세스 기반 웹 로봇의 수행동작 분석)

  • Kim Hie-Cheol;Lee Yong-Doo
    • Journal of Digital Contents Society
    • /
    • v.2 no.1
    • /
    • pp.9-19
    • /
    • 2001
  • Web robot is an important Internet software technology used in a variety of Internet application software which includes search engines. As Internet continues to grow, implementations of high performance Web robots are urgently demanded. For this, researches specially geared toward performance scalability of Web robots are required. Hoover, because researches are focused mostly on addressing issues related to commercial implementations, scientific researches and studies are not still made on the performance scalability. In this research, Ive choose a Web robot model implemented by fork-join based. multiprocesses. With respect to the model, we evaluate the effect on the collection efficiency that the timeout values set to requests from Web robots to Web servers have. Also, we analysed the behaviors of Web robots by comparing the execution time between the URL extraction and the uniqueness checking for the extracted URLs. as well as by comparing between the computation time and the network time. Based on the analysis result, we suggest the direction for the design of high performance Web robots.

  • PDF

Evaluation for User Experience about Social Dating Mobile Application Service in Korea -Focusing on I-um and Noondate- (국내 모바일 애플리케이션 소셜 데이팅 서비스에 대한 사용자 경험 연구 -이음과 정오의 데이트를 중심으로-)

  • An, Hyo-Jin;Kim, Seung-In
    • Journal of Digital Convergence
    • /
    • v.15 no.3
    • /
    • pp.335-341
    • /
    • 2017
  • The study evaluates user experiences of I-um and Noondate, typical Social Dating Mobile Application Service in Korea, to suggest guidelines that are more user-centered and useful. I did some literature research followed with evaluation of theoretical backgrounds, present conditions. Also, I recasted to the six principles of "Honey comb model" by Peter Morville to conduct an in-depth interview. The result indicate that I-um needs to improve accuracy of matching system by checking user's interest and detailed profile. Noondate needs to develop the cards sorting systems so that user can supervise themselves. I expect this study will become a good resource for upgrading user experiences of Social Dating Service. I also believe that this study can guide other studies about user experience in other fields.

Optimization of Voice Coil Motors for a Small Guided Missile Fin Actuator (소형 유도무기 날개 작동기용 보이스 코일 모터의 최적 설계)

  • Lee, Choong Hee;Kim, Gwang Tae;Lee, Byung Ho;Cho, Young Ki
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.47 no.1
    • /
    • pp.59-65
    • /
    • 2019
  • In this study, optimal design of direct-drive VCMs (Voice Coil Motor) for a missile fin actuator is carried out. The torque performance and the characteristics of the VCM are predicted by commercial electromagnetic analysis software, ANSYS Maxwell. The optimal design is obtained at the minimum and maximum actuating angles where the aerodynamic load acting on the fin is the largest in the operating range. The critical variables of the actuator is designed and the RSM (Response Surface Method) is used for the optimization. The response surface model consists of second-order functions and its experimental points are selected by a central composite design. This design is widely used for fitting a second-order response surface. The adjustment regression coefficients is computed for adequacy checking of the response surface model. Finally, the torque values obtained by the RSM and the ANSYS Maxwell are shown in good agreement.

Improvement Mechanism of Security Monitoring and Control Model Using Multiple Search Engines (다중 검색엔진을 활용한 보안관제 모델 개선방안)

  • Lee, Je-Kook;Jo, In-June
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.1
    • /
    • pp.284-291
    • /
    • 2021
  • As the current security monitoring system is operated as a passive system only for response after an attacker's attack, it is common to respond to intrusion incidents after an attack occurs. In particular, when new assets are added and actual services are performed, there is a limit to vulnerability testing and pre-defense from the point of view of an actual hacker. In this paper, a new security monitoring model has been proposed that uses multiple hacking-related search engines to add proactive vulnerability response functions of protected assets. In other words, using multiple search engines with general purpose or special purpose, special vulnerabilities of the assets to be protected are checked in advance, and the vulnerabilities of the assets that have appeared as a result of the check are removed in advance. In addition, the function of pre-checking the objective attack vulnerabilities of the protected assets recognized from the point of view of the actual hacker, and the function of discovering and removing a wide range of system-related vulnerabilities located in the IP band in advance were additionally presented.

Quality Driven Approach for Product Line Architecture Customization in Patient Navigation Program Software Product Line

  • Ashari, Afifah M.;Abd Halim, Shahliza;Jawawi, Dayang N.A.;Suvelayutnan, Ushananthiny;Isa, Mohd Adham
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.15 no.7
    • /
    • pp.2455-2475
    • /
    • 2021
  • Patient Navigation Program (PNP) is considered as an important implementation of health care systems that can assist in patient's treatment. Due to the feasibility of PNP implementation, a systematic reuse is needed for a wide adoption of PNP computerized system. SPL is one of the promising systematic reuse approaches for creating a reusable architecture to enabled reuse in several similar applications of PNP systems which has its own variations with other applications. However, stakeholder decision making which result from the imprecise, uncertain, and subjective nature of architecture selection based on quality attributes (QA) further hinders the development of the product line architecture. Therefore, this study aims to propose a quality-driven approach using Multi-Criteria Decision Analysis (MCDA) techniques for Software Product Line Architecture (SPLA) to have an objective selection based on the QA of stakeholders in the domain of PNP. There are two steps proposed to this approach. First, a clear representation of quality is proposed by extending feature model (FM) with QA feature to determine the QA in the early phase of architecture selection. Second, MCDA techniques were applied for architecture selection based on objective preference for certain QA in the domain of PNP. The result of the proposed approach is the implementation of the PNP system with SPLA that had been selected using MCDA techniques. Evaluation for the approach is done by checking the approach's applicability in a case study and stakeholder validation. Evaluation on ease of use and usefulness of the approach with selected stakeholders have shown positive responses. The evaluation results proved that the proposed approach assisted in the implementation of PNP systems.

Oral administration of Grifola frondosa affect lipid metabolism and insulin signaling pathway on BKS. Cg-+Leprdb/+Leprdb/OlaHsd mouse

  • Yun, Seong-Bo;Kim, Dae-Young
    • Journal of Animal Reproduction and Biotechnology
    • /
    • v.36 no.4
    • /
    • pp.203-211
    • /
    • 2021
  • Diabetic mellitus (DM) is a carbohydrate metabolic disorder that involves high blood sugar because insulin works abnormally. Type 2 diabetes accounts for most of them. However, diabetes treatments such as GLP-1 and DPP-4 inhibitors commonly caused side effects including gastrointestinal disorders. Grifola frondosa (G. frondosa) revealed various pharmacological effects in recent studies. It has a variety of anti-cancer polysaccharides through host-mediated mechanisms. D-fraction in G. frondosa has apoptotic effects, promoting myeloid cell proliferation and differentiation into granulocytes-macrophages. It has also been shown to reduce the survival rate of breast cancer cells. Though, no further study has been conducted on the specific effects of G. frondosa in the db/db mouse. Therefore, we would like to research the blood glucose improving effect of G. frondosa, a natural material, in type 2 diabetes model mouse, in this study. G. frondosa was administered to the disease model mouse (BKS.Cg-+Leprdb/+Leprdb/OlaHsd) for 8 weeks to monitor weight and blood glucose changes every week. And we evaluated anti-diabetes effects by checking biomarker changes shown through blood. Experiment did not show statistically significant weight differences, but control groups showed significantly higher weight gain than G. frondosa administered groups. We collected blood from the tail veins of the db/db mouse each week. As a result, the lowest blood sugar level was shown in the 500 mg/kg group of G. frondosa. Glucose in the blood was examined with HBA1c, and 7.8% was shown in the 500 mg/kg administration group, lower than in other groups. These results suggest the potential improvements of diabetes in G. frondosa.

OHDSI OMOP-CDM Database Security Weakness and Countermeasures (OHDSI OMOP-CDM 데이터베이스 보안 취약점 및 대응방안)

  • Lee, Kyung-Hwan;Jang, Seong-Yong
    • Journal of Information Technology Services
    • /
    • v.21 no.4
    • /
    • pp.63-74
    • /
    • 2022
  • Globally researchers at medical institutions are actively sharing COHORT data of patients to develop vaccines and treatments to overcome the COVID-19 crisis. OMOP-CDM, a common data model that efficiently shares medical data research independently operated by individual medical institutions has patient personal information (e.g. PII, PHI). Although PII and PHI are managed and shared indistinguishably through de-identification or anonymization in medical institutions they could not be guaranteed at 100% by complete de-identification and anonymization. For this reason the security of the OMOP-CDM database is important but there is no detailed and specific OMOP-CDM security inspection tool so risk mitigation measures are being taken with a general security inspection tool. This study intends to study and present a model for implementing a tool to check the security vulnerability of OMOP-CDM by analyzing the security guidelines for the US database and security controls of the personal information protection of the NIST. Additionally it intends to verify the implementation feasibility by real field demonstration in an actual 3 hospitals environment. As a result of checking the security status of the test server and the CDM database of the three hospitals in operation, most of the database audit and encryption functions were found to be insufficient. Based on these inspection results it was applied to the optimization study of the complex and time-consuming CDM CSF developed in the "Development of Security Framework Required for CDM-based Distributed Research" task of the Korea Health Industry Promotion Agency. According to several recent newspaper articles, Ramsomware attacks on financially large hospitals are intensifying. Organizations that are currently operating or will operate CDM databases need to install database audits(proofing) and encryption (data protection) that are not provided by the OMOP-CDM database template to prevent attackers from compromising.