• Title/Summary/Keyword: 선형논리

Search Result 178, Processing Time 0.025 seconds

EDI감사용 의사결정시스템의 개발

  • 이상재;한인구
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1995.04a
    • /
    • pp.234-251
    • /
    • 1995
  • 본 연구에서는 EDI감사 의사결정지원시스템을 개발하였다. 이를 위해서 기존의 EDP감사 의사결정지원시스템 및 감사전문가시스템분야의 연구를 고찰했다. EDI감사를 위한 의사결정지원시스템은 통계, 위험, 회사의 개요, 테스트 항목등의 데이타를 저장한 데이타베이스 시스템이다. 시스템 개발을 위해서 E/R(Entity Relation)이나 DFD(Data Flow Diagram)분석을 통해서 논리적인 설계를 하였다. 시스템 개발은 개인용 데이타베이스팩키지인 FoxPro를 사용하였다. 이 시스템을 통해서 감사인이 필요한 테스트 결과를 조회하거난 저장할 수 있고 통제, 위험, 회사등의 상호조회를 통한 필요한 통제나 위험정도를 쉽게 조회해 볼수 있다. 회사마다 필요한 통제, 위험, 테스트 항목등의 체크리스트가 달라지는 경우에 이 시스템을 통해서 입력 저장하여 각각의 회사에 대해 다른 체크리스트를 저장하여 놓을수 있다. 본 시스템은 EDI감사뿐만 아니라 일반 EDP감사분야에도 적용가능할 것이다. 종이를 사용한 감사증적이 없음으로 인해 수작업에 의한 EDI감사는 어려움이 있고 EDP감사시스템분야의 국내 연구가 전무한 실정에서 EDI감사를 지원하는 시스템의 연구는 의의를 갖는다고 생각된다. 본 시스템을 통해서 EDI의 보안 및 감사업무의 효율성이 높아지고 EDI에 대한 위험에 효율적으로 대처할수 있게 될 것이다. 그리고 이러한 보안 및 감사기법과 통제모형을 지식베이스로 구축해서 실제의 위험노출상황에서 가능한 보안을 위한 통제방안이 여러가지가 있는 경우에 비용/편익 분석, 효율성, 회사방침 및 법률적인 문제등을 고려해서 최적의 보안통제 및 감사기법을 선택하는 것을 지원할 수 있을 것이다.고리듬을 개발 함으로써 내부점 선형계획법의 수행속도의 개선에 도움이 될 것이다.성요소들을 제시하였다.용자 만족도가 보다 높은 것으 로 나타났다. 할 수 있는 효율적인 distributed system를 개발하는 것을 제시하였다. 본 논문은 데이타베이스론의 입장에서 아직 정립되어 있지 않은 분산 환경하에서의 관계형 데이타베이스의 데이타관리의 분류체계를 나름대로 정립하였다는데 그 의의가 있다. 또한 이것의 응용은 현재 분산데이타베이스 구축에 있어 나타나는 기술적인 문제점들을 어느정도 보완할 수 있다는 점에서 그 중요성이 있다.ence of a small(IxEpc),hot(Tex> SOK) core which contains two tempegatlue peaks at -15" east and north of MDS. The column density of HCaN is (1-3):n1014cm-2. Column density at distant position from MD5 is larger than that in the (:entral region. We have deduced that this hot-core has a mass of 10sR1 which i:s about an order of magnitude larger those obtained by previous studies.previous studies.업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.로 이루어

  • PDF

An Indeterminate Strut-Tie Model and Load Distribution Ratio for Reinforced Concrete Corbels (철근콘크리트 코벨의 부정정 스트럿-타이 모델 및 하중분배율)

  • Chae, Hyun Soo;Yun, Young Mook
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.34 no.4
    • /
    • pp.1065-1079
    • /
    • 2014
  • The ultimate behavior of reinforced concrete corbel is complicated due to the primary design variables including the shear span-to-effective depth ratio a/d, flexural reinforcement ratio, load condition, and material properties. In this study, a simple indeterminate strut-tie model reflecting all characteristics of the ultimate strength and complicated structural behavior is proposed for the design of the reinforced concrete corbels with shear span-to-effective depth ratio of $a/d{\leq}1$. A load distribution ratio, defined as the fraction of applied load transferred by horizontal truss mechanism, is also proposed to help structural designers perform the design of reinforced concrete corbels by using the strut-tie model approaches of current design codes. For the development of the load distribution ratio, numerous material nonlinear finite element analyses of the proposed indeterminate strut-tie model were conducted by changing primary design variables. The ultimate strengths of reinforced concrete corbels tested to failure were evaluated by incorporating the proposed strut-tie model and load distribution ratio into the ACI 318-11's strut-tie model method. The validity of the proposed model and load distribution ratio was examined by comparing the strength analysis results with those by the ACI 318-11's conventional design method and strut-tie model methods of current design codes.

Landscape Changes Assessment of the National Road-Focused on the National Road in Suburb Areas- (국도의 경관변화 평가-교외지역 국도를 중심으로-)

  • 홍영록;권상준;조태동
    • Korean Journal of Environment and Ecology
    • /
    • v.18 no.1
    • /
    • pp.92-102
    • /
    • 2004
  • In this study, landscape changes were examined by periods through the analysis of visual quantity on the landscape components of national road including the mountains, the sky, road pavements, street trees, paddy fields and dry fields, billboard, telegraph pole, building, structure, slope, guard fence, soundproof wall, and median strip etc. For this, subject national road in suburb arreas was selected to grasp its landscape characteristics, and divisional criteria of landscape type of the national road were suggested to look into the trend of landscape changes by periods. Findings of this study are as follows:1.Divisional criteria of landscape type of the national road include location and geometry, structure, land use, perspective, and surrounding buildings of the national road. 2.The highest visual quantity was found in road pavements by periods among landscape components of the national road. It was found that this result has a thread of connection with previous study emphasizing the importance of road geometry as one of landscape components, and road geometry shall be regarded as a visually significant component in analyzing and evaluating landscape of the national road. 3.Most distinguished factors of landscape changes of the national road by periods were median strip(F=33.296) and street tree(F=32.881), and then the sky(F=24.735) and mountain(F=23.477) showed similar level of statistically significant difference. However, statistically significance difference was not found in buildings and structures. 4.It was shown that natural elements decreased gradually but structural landscape made of artificial elements became the main in construction of the national road. This result implies that although the scenic and ecological soundness is recognized in construction of the national road, it is not out of the limitation of functionalities that is, access and mobility.

정성적 시뮬레이션에 의한 화력발전소 보일러 프로세스의 고장진단

  • 김응석;오영일;변승현
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1999.10a
    • /
    • pp.169-169
    • /
    • 1999
  • 최근 산업 플랜트의 공정제어 시스템은 복잡하고 대규모화되어 고장 발생시 경제적 손실과 위험성이 증폭되어 규정된 안정서와 신뢰성 확보가 필수적이라 할 수 있다. 고장검출 및 진단기법은 시스템의 신뢰성을 높이기 위한 효과적인 방안을 연구하는 것으로 현대에 들어서 많은 학자들의 관심을 끌고 있으며 실제 계통에 점차적으로 응용되고 있다. 현재까지 개발된 고장검출 및 진단기법은 사용된 프로세스 모델의 형태, 고장검출 진단 알고리즘에 따라 다양하게 분류 될 수 있으며 일반적으로 사용된 모델에 따라 크게 1) 정량적 모델에 근거한 해석적 기법, 2) 정성적 모델에 근거한 기법, 3) 지식기반 진단 기법으로 구분 할 수 있다. 이중 정량적 모델 기법은 대상계통의 수학적 모델에 근거하여 운전 데이터를 분석함으로서 고장검출 진단을 수행하는 해석적 기법으로서 근본적으로 계통의 정확한 수학적 모델을 요구하므로 불확실성을 포함한 계통 및 비선형성이 강한 계통등에는 적용이 곤란하다. 정성적 모델 및 지식기반 기법은 정량적 진단 기법과는 달리 대상 프로세스에 대한 수학적 모델 대신에 운전자의 경험과 프로세스 변수간의 상호 작용 및 고장의 전파과정, 고장원인과 증상과의 직접적인 관계에 대한 구조적 지식에 근거한 것으로 고장원인에 대한 계통의 동작을 추론 할 수 있으며, 상황 변화에 따른 영향을 예측할 수 있다. 본 논문에서는 정성적 모델 및 지식기반 기법에 근거한 고장검출 및 진단 기술을 화력 발전소 보일로 프로세스에 적용하여 정성적 시뮬레이션에 의한 설비의 고장을 조기에 발견하여 고장 파급으로 인한 발전 정지 및 설비의 손상 확대를 방지하고 고장 발생시 신속한 원인 규명 및 후속 조치관련 정보들을 운전원에게 제공할 목적으로 현재 전력원에서 개발중인 지능형 경보시스템에 대하여 기술하고자 한다.음과 같이 설명하였다. 서로 상반되는 것들이 다음과 같이 설명하였다. 서로 상반되는 것들이 부딛힘이 없이 공존하고 일상의 논리가 무시된다. 부정, 의심이 없고 확실한 것이 없다. 한 대상에 가졌던 생각이 다른 대상에 옮겨간다(displacement). 한 대상이 여러 대상이 갖고 있는 의미를 함축하고 있다(condensation). 시각적인 순서가 무시된다. 마음속의 생각과 외부의 실제적인 일을 구분하지 못한다. 시간 상의 순서가 있다가 없다가 한다. 차례로 일어나야 할 일이 동시에 한꺼번에 일어난다. 대상들이 서로 비슷해지고 동시에 있을 수 없는 대상들이 함께 나타난다. 사고의 정상적인 구조가 와해된다. Matte-Blance는 무의식에서는 여러 독립된 대상들간의 구분을 없애며, 주체와 객체를 하나로 보려는 대칭화(symmetrization)의 경향이 있기 때문에 이런 변화가 생긴다고 하였다. 또 대칭화가 진행되면 무한대의 느낌을 갖게 되어, 전지(moniscience), 전능(omnipotence), 무력감(impotence), 이상화(idealization)가 나타난다. 그러나 무의식에 대칭화만 있는 것은 아니며, 의식의 사고양식인 비대칭도 어느 정도 나타나며, 대칭화의 정도에 따라, 대상들이 잘 구분되어 있는 단계, 의식수준의 감정단계, 집단 내에서의 대칭화 단계, 집단간에서의 대칭화 단계, 구분이 없어지는 단계로 구분하였다.systems. We believe that this taxonomy is a significant contribution because it adds clarity, completeness, and "global perspective" to workflow architectural discussions. The vocabulary suggested here

  • PDF

A Study on the Build-up Model for the Discount Rate of Technology Valuation including Intellectual Property Risk (지식자산위험을 고려한 기술가치평가 할인율 적산모형에 관한 연구)

  • Sung, Oong-Hyun
    • Journal of Korea Technology Innovation Society
    • /
    • v.11 no.2
    • /
    • pp.241-263
    • /
    • 2008
  • Within any income approach, a discount rate is used to convert some projected free cash flow to its presented value. In case of valuing companies, the most frequently used discount rate is the weighted average cost of capital(WACC) at the aggregate level. But technology valuation is different to discounting aggregate corporate cash flow since it is concerned about individual Intellectual property. Therefore, blindly applying standard discount rate such as WACC in technology valuation is unlikely to lead to the right result. The primary focus of this paper is to establish the structure of discount rate for technology valuation and to suggest the method of estimation. To determine an appropriate discount rate for technology valuation, the level of technology risk, market risk and competitive risk should be included in the structure of discount rate. This paper suggests the build-up model which consists of three components as a expansion of the CAPM. It includes (1) a risk-free rate of return, (2) general market risk premium and beta and (3) intellectual property risk premium related to technology risk and specific target market risk. However, there is no specific check list for examining the intellectual property risk until now and no specific method for quantifying its risk into risk premium. This paper developed the 10 element to determine the level of the intellectual property risk and applied estimation function such as linear function, natural log function and exponential function to transform the level of risk into risk premium. The limitation of this paper is that the range of intellectual property risk premium is inferred based on the information of foreign and domestic valuation agency. Finally, this paper explored the development of an intellectual property discount rate for technology valuation and presented the method in order to quantify the intellectual property risk premium.

  • PDF

Efficient Methodology in Markov Random Field Modeling : Multiresolution Structure and Bayesian Approach in Parameter Estimation (피라미드 구조와 베이지안 접근법을 이용한 Markove Random Field의 효율적 모델링)

  • 정명희;홍의석
    • Korean Journal of Remote Sensing
    • /
    • v.15 no.2
    • /
    • pp.147-158
    • /
    • 1999
  • Remote sensing technique has offered better understanding of our environment for the decades by providing useful level of information on the landcover. In many applications using the remotely sensed data, digital image processing methodology has been usefully employed to characterize the features in the data and develop the models. Random field models, especially Markov Random Field (MRF) models exploiting spatial relationships, are successfully utilized in many problems such as texture modeling, region labeling and so on. Usually, remotely sensed imagery are very large in nature and the data increase greatly in the problem requiring temporal data over time period. The time required to process increasing larger images is not linear. In this study, the methodology to reduce the computational cost is investigated in the utilization of the Markov Random Field. For this, multiresolution framework is explored which provides convenient and efficient structures for the transition between the local and global features. The computational requirements for parameter estimation of the MRF model also become excessive as image size increases. A Bayesian approach is investigated as an alternative estimation method to reduce the computational burden in estimation of the parameters of large images.

Epistemological Implications of Scientific Reasoning Designed by Preservice Elementary Teachers during Their Simulation Teaching: Evidence-Explanation Continuum Perspective (초등 예비교사가 모의수업 시연에서 구성한 과학적 추론의 인식론적 의미 - 증거-설명 연속선의 관점 -)

  • Maeng, Seungho
    • Journal of Korean Elementary Science Education
    • /
    • v.42 no.1
    • /
    • pp.109-126
    • /
    • 2023
  • In this study, I took the evidence-explanation (E-E) continuum perspective to examine the epistemological implications of scientific reasoning cases designed by preservice elementary teachers during their simulation teaching. The participants were four preservice teachers who conducted simulation instruction on the seasons and high/low air pressure and wind. The selected discourse episodes, which included cases of inductive, deductive, or abductive reasoning, were analyzed for their epistemological implications-specifically, the role played by the reasoning cases in the E-E continuum. The two preservice teachers conducting seasons classes used hypothetical-deductive reasoning when they identified evidence by comparing student-group data and tested a hypothesis by comparing the evidence with the hypothetical statement. However, they did not adopt explicit reasoning for creating the hypothesis or constructing a model from the evidence. The two preservice teachers conducting air pressure and wind classes applied inductive reasoning to find evidence by summarizing the student-group data and adopted linear logic-structured deductive reasoning to construct the final explanation. In teaching similar topics, the preservice teachers showed similar epistemic processes in their scientific reasoning cases. However, the epistemological implications of the instruction were not similar in terms of the E-E continuum. In addition, except in one case, the teachers were neither good at abductive reasoning for creating a hypothesis or an explanatory model, nor good at using reasoning to construct a model from the evidence. The E-E continuum helps in examining the epistemological implications of scientific reasoning and can be an alternative way of transmitting scientific reasoning.

The Study on the Estimation of Optimal Debt Ratio in Korean Automobile Industry (국내 자동차산업의 적정부채비율 추정을 위한 실증연구)

  • Seo, Beom;Kim, Il-Gon;Park, Ji-Hun;Im, In-Seob
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.3
    • /
    • pp.301-308
    • /
    • 2018
  • This study explores an analytical mathematical model designed to estimate the optimal debt ratio of the Korean automobile industry, which has a more significant effect on the national economy than that of other industries, and attempts to estimate the optimal debt ratio based on objective data. The analytical model is based on ROA and ROE which uses the debt ratio as an independent variable and employs ROS, TAT, and NFCL as the related parameters. Regarding the NFCL, the optimal debt ratio is usually defined as the debt ratio that maximizes the ROA and ROE and is calculated using analytical procedures, such as by adding an equation that considers the debt ratio and the linearity relationship to the analytical model. This is because the optimal debt ratio can be calculated reliably by making use of an estimated value within a certain range, which is derived from more than two calculations rather than a single estimation starting from one calculation formula. In this study, for the estimation of the optimal debt ratio, the ROA and ROE are expressed as a quadratic equation with the debt ratio as the independent variable. Using this analysis procedure, the optimal debt ratio obtained using the data from the Korean automobile industry over a sixteen year period, which would optimize the profitability of the Korean automobile industry, was found to be 188% of the debt ratio in the ROA and 213% of the debt ratio in the ROE. This result was obtained by overcoming the problem of the reliability of the estimation value in spite of the limitations of the logical theory of this study, and can be interpreted as meaning that maintaining a debt ratio of 188% to 213% can enhance the profitability and reduce the risks in the Korean automobile industry. Furthermore, this indicates that the existing debt ratio of the Korean automobile industry is lower than the optimal value within the estimated range. Consequently, it is necessary for corporations to change their future debt ratio policies, given that the purpose of debt ratio management is to maintain safety and increase profitability, and to take into account the characteristics of the specific industry.