• Title/Summary/Keyword: Logical model

Search Result 526, Processing Time 0.025 seconds

Software Metric for CBSE Model

  • Iyyappan. M;Sultan Ahmad;Shoney Sebastian;Jabeen Nazeer;A.E.M. Eljialy
    • International Journal of Computer Science & Network Security
    • /
    • v.23 no.12
    • /
    • pp.187-193
    • /
    • 2023
  • Large software systems are being produced with a noticeably higher level of quality with component-based software engineering (CBSE), which places a strong emphasis on breaking down engineered systems into logical or functional components with clearly defined interfaces for inter-component communication. The component-based software engineering is applicable for the commercial products of open-source software. Software metrics play a major role in application development which improves the quantitative measurement of analyzing, scheduling, and reiterating the software module. This methodology will provide an improved result in the process, of better quality and higher usage of software development. The major concern is about the software complexity which is focused on the development and deployment of software. Software metrics will provide an accurate result of software quality, risk, reliability, functionality, and reusability of the component. The proposed metrics are used to assess many aspects of the process, including efficiency, reusability, product interaction, and process complexity. The details description of the various software quality metrics that may be found in the literature on software engineering. In this study, it is explored the advantages and disadvantages of the various software metrics. The topic of component-based software engineering is discussed in this paper along with metrics for software quality, object-oriented metrics, and improved performance.

A Study on Forecasting Demand and Supply of Marine Officer for Korean Ocean-Going Merchant Vessels (외항 상선 해기사 인력 수요 및 공급 예측에 관한 연구)

  • Sang-hoon Shin;Yong-John Shin
    • Journal of Navigation and Port Research
    • /
    • v.48 no.1
    • /
    • pp.7-16
    • /
    • 2024
  • Although the number of ocean-going merchant ships is increasing, the number of Korean marine officers is decreasing. This manpower shortage problem is becoming more serious. This study objectively measured factors determining the demand and supply of ocean-going merchant ship officers and forecasted the exact manpower demand and supply. Demand was predicted by applying the number of ship officers required for each ship size to the number of ships forecasted. The supply was predicted by segmenting by position and age using the Markov model, reflecting increase/decrease factors such as promotion, turnover, retirement, and new entry by year. The demand for ocean-going merchant ship officers will increase from 11,638 in 2023 to 13,879 in 2030 while the supply will decrease from7,006 in 2023 to 6,426 in 2030, with the shortage expected to exceed 10,000 in 2040. This study can be used as a reference to solve the problem of manpower shortage for ocean-going merchant ship officers by improving the accuracy of predictions through objective data, scientific analysis methods, and logical reasoning.

A Study on the Security Requirements Analysis to Build a Zero Trust-Based Remote Work Environment (제로트러스트 기반의 원격 근무 환경을 구축하기 위한 보안요구사항 분석 연구)

  • Hae-na Kim;Ye-jun Kim;Seung-joo Kim
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.34 no.1
    • /
    • pp.83-102
    • /
    • 2024
  • Recently, as the use of the cloud increases year by year and remote work within the enterprise has become one of the new types of work, the security of the cloud-based remote work environment has become important. The introduction of zero trust is required due to the limitations of the existing perimeter security model that assumes that everything in the internal network is safe. Accordingly, NIST and DoD published standards related to zero trust architecture, but the security requirements of that standard describe only logical architecture at the abstract level. Therefore, this paper intends to present more detailed security requirements compared to NIST and DoD standards by performing threat modeling for OpenStack clouds. After that, this research team performed a security analysis of commercial cloud services to verify the requirements. As a result of the security analysis, we identified security requirements that each cloud service was not satisfied with. We proposed potential threats and countermeasures for cloud services with zero trust, which aims to help build a secure zero trust-based remote working environment.

Development of Fertility Assumptions for the Future Population Projection (장래인구추계를 위한 출산력 가정치의 설정)

  • Jun, Kwang-Hee
    • Korea journal of population studies
    • /
    • v.29 no.2
    • /
    • pp.53-88
    • /
    • 2006
  • The major aim of this paper is to develop a hypothetical set of age-specific fertility rates which are logically derived and reasonably accurate in the projection of future population. The first procedure is to select a generalized log-gamma distribution model, which includes Coale-McNeil nuptiality model, in order to estimate and project a set of age-specific fertility rates by birth cohort and birth order. The second is to apply the log-gamma model with an empirical adjustment to the actual data to estimate and project the future fertility rates for relatively young birth cohorts who did not complete their reproductive career. This study reconstructs or translates a set of cohort age-specific fertility rates into a set of period age-specific fertility rates which must be hypothesized in order to establish the broader framework of future population projection. For example, the fertility at age 20 in the year of 2020 is the fertility at age 20 for the cohort born in 1990, while the fertility at age 21 in the year of 2020 is the fertility at 21 for the cohort born in 1989. In turn, once a set of age-specific fertility rates for the cohorts who were born up to the year of 2010, it is possible for one to establish an hypothetical set of period age-specific fertility rates which will be needed to project the future population until the year of 2055. The difference in the hypothetical system of age-specific fertility rates between this study and the 2005 special population projection comes from the fact that the fertility estimation/projection model used in this study was skillfully exploited to reflect better actual trend of fertility decline caused by rise in marriage age and increasing proportion of those who remain single until their end of reproduction. In this regard, this paper argues that the set of age-specific fertility rates derived from this study is more logical and reasonably accurate than the set of those used for the 2005 special projection. In the population projection, however, the fundamental issue of the hypothetical setting of age-specific fertility rates in relation to the fertility estimation/projection model is about how skillfully one can handle the period effects. It is not easy for one to completely cope with the problem of period effects except for the a minor period adjustment based on recent actual data, along with the given framework of a cohort-based fertility estimation/projection model.

A Philosophical Study on the Generating Process of Declarative Scientific Knowledge - Focused on Inductive, Abductive, and Deductive process (선언적 과학 지식의 생성 과정에 대한 과학철학적 연구 - 귀납적, 귀추적, 연역적 과정을 중심으로 -)

  • Kwon, Yong-Ju;Jeong, Jin-Su;Park, Yun-Bok;Kang, Min-Jeong
    • Journal of The Korean Association For Science Education
    • /
    • v.23 no.3
    • /
    • pp.215-228
    • /
    • 2003
  • The present study is to analyze the arguments about the generation of declarative scientific-knowledge in the philosophy of science and invent a structured model of the process of scientific-knowledge generation with the types of the generated scientific-knowledge. The invented model shows that scientific-knowledge generation is a distinctive process with the processes of inductive, abductive, and deductive thinking. Furthermore, inductive process is included with observation, which is consisted of simple observation and operative observation, and rule-discovery which is involved with the processes of commonness discovery, classification, pattern discovery, and hierarchical relationship. Also, abductive process has two components. One component generates question and second component generates hypothesis in which the process consists of representing question situation, identifying experienced situation, identifying causal explicans, and generating hypothetical explicans. Finally, deductive process is involved with logical inventing test method and evaluation criteria, concrete inventing test method and evaluation criteria, evaluating hypothesis, and making conclusion.

A Study on Policy Macking Process in the Separation of Prescribing and Dispensing (우리나라 의약분업 정책과정의 특성에 관한 연구)

  • 이상이;윤태영;김철웅
    • Health Policy and Management
    • /
    • v.10 no.2
    • /
    • pp.41-77
    • /
    • 2000
  • This study aimed at the analysis, from the perspective of rationality, of policy making process in the separation of prescribing and dispensing. This study is to identify the characteristics and problems of the policy process to introduce the new durg-prescription system, and make policy recommendations. In terms of separation of prescribing and dispensing, the development of policy making process can be divided into two periods; periods before and after the inauguration of the govemment of people. In the period before the govermment of poeple, one of the major characteristics of policy decision on the new system was the poweful influence of interset groups. At that time, the ministry lacked the problem-solving ability and commitment on the policy. Consequently, during the former period, the policy making process had been driven by interest groups. Therefore, the original purpose of the policy to secure the pulic health was lost. During the latter period, there was also the strong influence of interst groups, complexity of interest, the ministry's inability of problem solving. However, in this period, it is notable that this has drawn nation-wide attention, severl civic grouos have participated in the policy making process, and that the number and voice of these groups have remarkably increased. With regards to rationality, incrementalish model is highly sutable to explain the policy making process in the former period. But in the latter period when the new drugperscripition system became a national issue and civic groups began to participte in this matter more actively, rational model is more explanatory that incrementalism to understand the process. During the latter period, the original goal of this policy was not distored by a few interest groups thanks to the rapid development of civil movement and therebly a big influence of civic groups on the policy making. For that reson, a jigh level of rationality is found in the policy-making process of the latter period. Some suggestions to achieve the rationality in the policy making process based on the results of this study are as follows; Frist, the public's participation should be enered in the policy making process. Second, the govermment should make contiuns efforts to enhance its ability of long-term planning and policy implementation, and increase rationality of policy making process. Third, balance among interset groups should take place in the process of policy making. Forth, sound, constructive, and logical activity of interest groups is necessary to express and promote their interests.

  • PDF

An Analysis of Intuitive Thinking of Elementary Students in Mathematical Problem Solving Process (수학 문제해결 과정에 나타난 초등학생들의 직관적 사고 분석)

  • You, Dae-Hyun;Kang, Wan
    • Education of Primary School Mathematics
    • /
    • v.12 no.1
    • /
    • pp.1-20
    • /
    • 2009
  • The purposes of this study are to analyze elementary school student's intuitive thinking in the process of mathematical problem solving and to analyze elementary school student's errors of intuitive thinking in the process of mathematical problem solving. According to these purposes, the research questions can be set up as followings. (1) How is the state of illumination of the elementary school student's intuitive thinking in the process of mathematical problem solving? (2) What are origins of errors by elementary school student's intuitive thinking in the process of mathematical problem solving? In this study, Bogdan & Biklen's qualitative research method were used. The subjects in this study were 4 students who were attending the elementary school. The data in this study were 'Intuitine Thinking Test', records of observation and interview. In the interview, the discourses were recorded by sound and video recording. These were later transcribed and analyzed in detail. The findings of this study were as follows: First, If Elementary school student Knows the algorithm of problem, they rely on solving by algorithm rather than solving by intuitive thinking. Second, their problem solving ability by intuitive model are low. What is more they solve the problem by Intuitive model, their Self- Evidence is low. Third, in the process of solving the problem, intuitive thinking can complement logical thinking. Last, in the concept of probability and problem of probability, they are led into cognitive conflict cause of subjective interpretation.

  • PDF

The Efficiency and General Equilibrium Effect by the Emission Trading Structure under the Climate Change Convention (기후변화협약 하의 배출권 거래 대상에 따른 일반균형효과와 효율성 비교)

  • Hur, Gahyeong;Cho, GyeongLyeob
    • Environmental and Resource Economics Review
    • /
    • v.15 no.2
    • /
    • pp.201-245
    • /
    • 2006
  • We applied general equilibrium model to analysis the economic impact of international emission trading by sector and the efficiency of the Convention to study whether Climate Change Convention satisfy the efficiency. We divided the world as 4 groups : USA, OECD members w/o USA (OEC), Former Soviet Union (FSU) and Developing countries (DEV). Compared to no trading, global trading would accomplish the same environmental effect with less cost as much as 97.8 billion$, which is the surplus of trading. However, half of it is taken by USA and 20% by OEC. FSU and DEV have only 18% and 10%. This result suggest the two things. First, the emission trading is effective as far as the participation of developing countries are guaranteed. If they do not take part in the coalition and emit the leakage, it may threaten the stability of the international trading coalition. Second, we found the logical ground of the side payment for developing countries. The permit buying countries take more share of the surplus under the emission trading, while the energy sector of developing countries shrinks to sell permits, which may adversely affect to economic growth of the countries. Therefore, the Annex-I countries need to provide side payment to lead the participation of the developing countries.

  • PDF

Local Wind Field Simulation over Coastal Areas Using Windprofiler Data (윈드프로파일러 자료를 이용한 연안 지역 국지 바람장 모의)

  • Kim, Min-Seong;Kim, Kwang-Ho;Kim, Park-Sa;Kang, Dong-Hwan;Kwon, Byung Hyuk
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.22 no.2
    • /
    • pp.195-204
    • /
    • 2016
  • In this paper, the applicability and usefulness of windprofiler input data were investigated to generate three dimensional wind field. A logical diagnostic model CALMET with windprofiler data at ten sites and with weather forecasting model WRF output was evaluated by statistically comparing with the radiosonde data at eight sites. The horizontal wind speed from CALMET simulated with hourly windprofiler data is in good agreement with radiosonde observations within 1.5 m/s of the root mean square error, especially local circulation of wind such as sea breeze over the coastal region. The root mean square error of wind direction ranged $50^{\circ}{\sim}70^{\circ}$ is due to the wind direction error from the windprofiler polluted by ground clutters. Since the exact wind can be produced quickly and accurately in most of the altitude with windprofiler data on CALMET, we expect the method presented in this study to be useful for the monitoring of safe environment as well as weather in the coastal zone.

Comparison of Diagnostic Accuracy and Prediction Rate for between two Syndrome Differentiation Diagnosis Models (중풍 변증 모델에 의한 진단 정확률과 예측률 비교)

  • Kang, Byoung-Kab;Cha, Min-Ho;Lee, Jung-Sup;Kim, No-Soo;Choi, Sun-Mi;Oh, Dal-Seok;Kim, So-Yeon;Ko, Mi-Mi;Kim, Jeong-Cheol;Bang, Ok-Sun
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.23 no.5
    • /
    • pp.938-941
    • /
    • 2009
  • In spite of abundant clinical resources of stroke patients, the objective and logical data analyses or diagnostic systems were not established in oriental medicine. In the present study we tried to develop the statistical diagnostic tool discriminating the subtypes of oriental medicine diagnostic system, syndrome differentiation (SD). Discriminant analysis was carried out using clinical data collected from 1,478 stroke patients with the same subtypes diagnosed identically by two clinical experts with more than 3 year experiences. Numerical discriminant models were constructed using important 61 symptom and syndrome indices. Diagnostic accuracy and prediction rate of 5 SD subtypes: The overall diagnostic accuracy of 5 SD subtypes using 61 indices was 74.22%. According to subtypes, the diagnostic accuracy of "phlegm-dampness" was highest (82.84%), and followed by "qi-deficiency", "fire/heat", "static blood", and "yin-deficiency". On the other hand, the overall prediction rate was 67.12% and that of qi-deficiency was highest (73.75%). Diagnostic accuracy and prediction rate of 4 SD subtypes: The overall diagnostic accuracy and prediction rate of 4 SD subtypes except "static blood" were 75.06% and 71.63%, respectively. According to subtypes, the diagnostic accuracy and prediction rate was highest in the "phlegm-dampness" (82.84%) and qi-deficiency (81.69%), respectively. The statistical discriminant model of constructed using 4 SD subtypes, and 61 indices can be used in the field of oriental medicine contributing to the objectification of SD.