• 제목/요약/키워드: Formal Methods

검색결과 526건 처리시간 0.024초

적정 흙막이 공법 선정을 위한 웹 기반 의사결정 지원 시스템 (A Web-based Decision Support System for Selecting Optimal Retaining Wall Systems)

  • 김혜원;최명석;이강
    • 한국건설관리학회:학술대회논문집
    • /
    • 한국건설관리학회 2008년도 정기학술발표대회 논문집
    • /
    • pp.694-697
    • /
    • 2008
  • 건설 생애 전 주기 중에서 기획단계의 지반 조사로 시작되는 흙막이 공법의 선정은 잘못 선정될 경우 해당 프로젝트의 공사비와 공기에 끼치는 영향이 매우 크다. 그렇기 때문에 공법 선정의 요인 및 프로세스에 관련된 연구가 많이 발표되었지만 일반인들의 활용이 어려워 실용화되지 못하고 있다. 본 연구에서는 본 연구의 선행연구에서 개발한 흙막이 공법 선정 프로세스에 기반하여 웹 기반 의사결정 지원시스템을 개발하였다. ASP.NET을 이용하여 사용자들의 접근성을 높이고 자료의 보완 및 수정이 용이한 웹 기반 시스템인 Dr. Underground로 발전시켰다. 이 의사결정 지원 시스템은 일반인들이 쉽게 접근하여 건축물 기본요구 사항과 대지 조건, 인접 대지 조건을 입력하면, 해당 프로젝트에 적절한 흙막이 공법을 선정해주고 그에 대한 상세 정보를 제공해준다.

  • PDF

현대실내공간에 적용된 스위스 알리앙츠 작품의 시스템적 표현특성에 관한 연구 (A Study on the Systematic Expression Characteristics of Swiss Allianz Works in the Contemporary Interior Space)

  • 김혜옥;신홍경
    • 한국실내디자인학회논문집
    • /
    • 제26호
    • /
    • pp.64-71
    • /
    • 2001
  • After Industrial Revolution, new thought system is needed to subdue multi-chanties and complexities of society. Nowadays under 'system theory', these efforts are theorized and organized in fields of science, philosophy and others. From Industrial revolution, before establishing the system theory, system has been needed by the expression methods. From that time, as it could be done, standardization, has been continued. Finally these conclusion reached at the systematic expression methods and when the system was build up, this theory was come true in Art such as De Stijl, Neo-Pasticism, Russian Suprematism and Constructism. For that reason, formal solution to achieve mass reductions was found in Art, so people connected Industry with Art at that time. Systematic expression methods in Art have characteristics of system and reflect mathematics and geometry theory which is based on the system theory. This study analyzes the systematic methods in contemporary interior space through the concept of systematic expression methods in Swiss Allianz's works which used the systematic expression methods and also inquires how the common meaning of system after recent times effect to contemporary design.

  • PDF

Development and Evaluation of a Patient-Reported Outcome (PRO) Scale for Breast Cancer

  • Zhang, Jun;Yao, Yu-Feng;Zha, Xiao-Ming;Pan, Li-Qun;Bian, Wei-He;Tang, Jin Hai
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제16권18호
    • /
    • pp.8573-8578
    • /
    • 2016
  • Background: This study was guided by principles of the theoretical system of evidence-based medicine. In particular, when searching for evidence of breast cancer, a measuring scale is an instrument for evaluating curative effects in accordance with the laws and characteristics of medicine and exploring the establishment of a system for medically assessing curative effects. At present, there exist few tools for evaluating curative effects. Patient-reported outcomes (PROs) refer to outcomes directly reported by patients (without input or explanations from doctors or other intermediaries) with respect to all aspects of their health. Data obtained from PROs provide evidence of treatment effects. Materials and Methods: In accordance with the tenets of theoretical medicine and ancient medical theory regarding breast cancer, principles for developing a PRO scale were established, and a theoretical model was developed and a literature review was performed, items from this pool were combined and split, and an initial scale was constructed. After a pilot survey and additional modifications, a pre-questionnaire scale was formed and used in a field investigation. After the application of statistical methods, the item pool was used to create a formal scale. The reliability, validity and feasibility of this formal scale were then assessed. Results: In a clinical investigation, 479 responses were recovered, with an acceptance rate of 95%. a combination of various methods was employed, and the items that were selected by all methods or more than half of the methods were employed in the questionnaire. In these cases, the screening methods were combined with certain features of the item, A total of four domains and 38 items were reserved. The reliability analysis indicated that the PRO scale was relatively reliable. Conclusions: Scientific assessment proved that the proposed scale exhibited good reliability and validity. This scale was readily accepted and could be used to assess the curative effects of medical therapy. However, given the limited scope of this investigation, the capacity for adapting this scale to incorporate other theories could not be determined.

소프트웨어 품질 향상을 위한 테스트 자동화 도구에 관한 동향분석 (Review of S/W Test Automation Tools for the Improvement of the Software Quality)

  • 정승환;이금석;김종기
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2004년도 춘계학술대회 논문집
    • /
    • pp.1477-1478
    • /
    • 2004
  • Science the change of development methods and environment of the software is rapidly kept going in industry, previous manual test methods will not be able to guarantee the quality of software. Therefore the software test automation tools is being developed actively. And many of the tools which is reliable is applied and used in domestic organizations. Indirect test techniques currently are used For the improvement of the software quality, such as formal specification and design, structural programming. And also the various do direct test techniques are used to the measurement of software quality through the fault detection and modification, such as black box, which box and test automation tools. In this survey, the software test automation tools which predicate and access the software quality at the software development phase for the improvement of the software quality should be introduced.

  • PDF

최적 설계법을 이용한 구조물 안전을 위한 질량 감소 연구 (A Study on the Masses Reduction for the Structural Safety Using Optimal Design Method)

  • 신귀수;이기형;정인성
    • 한국안전학회지
    • /
    • 제13권1호
    • /
    • pp.40-46
    • /
    • 1998
  • This paper is presented that theoretical optimization design method in order to consider mass reduction for the structural safety In this paper, it described methods for reducing vibration in structural safety by the determination of the optimum sizes and locations of tunning masses through formal mathematical optimization techniques. The optimization procedure which employs the tunning masses and corresponding locations is developed. Design variables are systematically changed to achieve low values of shear without a large mass penalty. Three optimization methods ire developed and tested. The first is based on minimizing the modal shaping parameter which indirectly reduce the modal shear amplitudes corresponding to each harmonic of airload. The second method reduces these amplitudes directly and the third method reduces the shear as a function of time during a revolution of the blade. The first method works well for reducing the shear for one mode responding to a single harmonic of the airload but has been found in some bases to be ineffective for more than one mode.

  • PDF

Comparison of Shape Variability in Principal Component Biplot with Missing Values

  • Shin, Sang-Min;Choi, Yong-Seok;Lee, Nae-Young
    • 응용통계연구
    • /
    • 제21권6호
    • /
    • pp.1109-1116
    • /
    • 2008
  • Biplots are the multivariate analogue of scatter plots. They are useful for giving a graphical description of the data matrix, for detecting patterns and for displaying results found by more formal methods of analysis. Nevertheless, when some values are missing in data matrix, most biplots are not directly applicable. In particular, we are interested in the shape variability of principal component biplot which is the most popular in biplots with missing values. For this, we estimate the missing data using the EM algorithm and mean imputation according to missing rates. Even though we estimate missing values of biplot of incomplete data, we have different shapes of biplots according to the imputation methods and missing rates. Therefore we propose a RMS(root mean square) for measuring and comparing the shape variability between the original biplots and the estimated biplots.

외국 아파트 입면계획에서 디자인 요소의 분석에 관한 연구 (A Study on Elevation Design Elements Through Analysis of Foreign Apartments)

  • 구시온;손세욱
    • 한국주거학회논문집
    • /
    • 제9권2호
    • /
    • pp.21-31
    • /
    • 1998
  • The purpose of this study is to analyze the characteristics of elevation design of apartment buildings in other countries, in order to search the new directions of elevation design planning of domestic apartment, so it can plan the qualitative improvement of housing environments can be fulfilled. This study will proceed to examine the following phase. As a preliminary study it trys to classify the formal characteristics of foreign apartment, in order to grasp the seven general ideas and methods of the elevation design through analyzing various design samples of well designed housing buildings. And it searches the variatino methods of the elevation design, and it can suggest the diverse elevation design samples of housing buildings.

  • PDF

부산지역 전통향토음식을 이용한 정식 및 별미식 식단 구성 (Constitution of Formal and Informal Meals Consisting of Traditional Local Foods in Busan, Korea)

  • 김현숙;우민지;김현주;송영옥
    • 한국식품영양과학회지
    • /
    • 제41권10호
    • /
    • pp.1467-1474
    • /
    • 2012
  • 본 연구는 해산물 사용이 높아 고단백, 고섬유질 식품으로 알려진 부산지역 향토음식으로 가정에서 일상으로 이용할 수 있는 식단을 개발하고자 하였다. 부산향토음식에 관해 문헌 및 구두조사를 실시하였고, 이중 가장 많이 조사된 겨울철 부산 향토음식을 기준으로 3첩 반상형 정식 식단 5종 및 별미식 식단 5종을 구성하였다. 정식 식단 I형은 흰밥, 시래기 된장국, 배추김치, 굴깍두기, 시금치나물, 매운잡채, 돼지수육, 배추속쌈, 보리막장으로 구성하였다. 정식 식단 II형은 흰밥, 소고기무국, 배추김치, 멸치섞박지, 겨울초 겉절이, 매집찜, 생미역귀 초회로 구성하였다. 정식 식단 III형은 오곡밥, 보름지짐이, 동치미, 9가지나물, 각색산적, 김구이로 구성하였고 정식 식단 IV형은 흰밥, 가자미 미역국, 배추김치, 소라김치, 몰한치 생채, 조개찜, 각색산적으로 구성하였다. 정식 식단 V형은 흰밥, 까시리김치국, 대구아가미젓 무김치, 조기구이, 토란대 들깨나물, 계란찜, 버섯초회로 구성 하였다. 별미식 식단 I형은 홍합죽, 배추김치, 동치미, 미역 설치, 코다리 조림, 늙은 호박전으로, 별미식 식단 II형은 굴떡국, 배추김치, 마른 가자미조림, 까막발이털털이 초회, 도토리묵, 오징어 젓갈로 구성하였다. 별미식 식단 III형은 김치국밥, 연두부 계란탕, 갈치섞박지, 삼색나물, 대구찜, 다시마튀각으로 구성하였고 별미식 식단 IV형은 동지팥죽, 배추김치, 동치미, 톳나물두부무침, 각색산적, 늙은 호박전으로 구성하였다. 별미식 식단 V형은 콩칼국수, 갓김치, 멸치섞박지, 몰설치, 해물전으로 구성하였다. 식단의 영양성분을 성인 남자 30~49세 한 끼 영양섭취기준과 비교하였을 때, 정식과 별미식 모두 저열량, 고단백식, 고 식이섬유식으로 나타났다. 비타민의 함량은 정식 식단별로 차이가 있었고, 별미식 식단은 적정 수준 이었다. 정식 I형은 Vt. A를 제외하고 모든 비타민 함량이 KDRI보다 낮았으며 정식 V형은 Vt. C 함량이 KDRI의 50% 수준이었다. 칼슘, 철분, 아연, 나트륨, 칼륨 등의 무기질 함량은 정식 및 별미식 식단 모두에서 KDRI보다 높게 나타났다. 개발된 식단의 재료 사용 및 조리방법은 중복도가 낮고, 주식과 부식의 어울림, 지역적 특성, 영양균형, 식단 구성의 다양성 등이 높은 것으로 평가되었다. 본 연구에서 개발된 식단은 가정에서 전통 한식을 손쉽게 준비할 수 있는 활용성이 높은 식단으로 생각된다. 식단준비 시 해산물의 염분을 충분히 제거하는 점이 요청된다.

다양한 의료 분석 방식을 지원하는 효과적 추론 기법 설계 및 적용 지침 (A Design of Effective Inference Methods and Their Application Guidelines for Supporting Various Medical Analytics Schemes)

  • 김문권;라현정;김수동
    • 정보과학회 논문지
    • /
    • 제42권12호
    • /
    • pp.1590-1599
    • /
    • 2015
  • 다양한 개인 의료 장비들이 등장함에 따라 개인 의료 컨텍스트가 풍부하게 수집되고 있다. 이렇게 수집된 의료 컨텍스트를 분석함으로써 소프트웨어적으로 질병을 진단하기 위한 노력이 이어지고 있다. 본 논문에서는 의료 전문가들이 사용하는 의료 분석 기법을 정형화하고, 각 의료 기법을 실현화하기 위한 추론 기법을 식별하며, 추론기법의 적용 지침을 제시한다. 또한, 의료 기법을 제공하는 추론 시스템을 PoC 수준에서 개발하고, 실제 의료 컨텍스트를 분석하여 질병 진단 실험을 수행함으로써 제시하는 의료 분석 기법 및 추론 기법 적용 지침의 실효성과 그 효과를 검증한다.

중학교 수학 수업에서 정수의 사칙계산 지도를 위한 직관적 모델의 역할에 관한 연구 (On the Role of Intuitive Model for Teaching Operations of Integers in the Middle School Mathematics Class)

  • 김익표
    • 한국학교수학회논문집
    • /
    • 제11권1호
    • /
    • pp.97-115
    • /
    • 2008
  • 고등학교 수학 수업에서는 실수 전체의 집합에서 뺄셈은 빼는 수의 덧셈의 역원을 더하고 나눗셈은 나누는 수의 곱셈의 역원을 곱하는 형식적인 관점으로 다룬다. 본 논문에서는 정수의 사칙계산 지도에 있어서 중학교 수학 수업에서 사용되는 직관적 모델(수직선 모델, 셈돌 모델)과 고등학교 수학 수업에서 제시되는 형식적 관점과의 연계에 대하여 논의하고자 한다. 직관적 모델을 이용하여 정수의 뺄셈을 덧셈을 이용하여 나타내는 방법의 의미를 재조명하고 이를 바탕으로 (음수)${\times}$(음수)가 양수임을 지도하는 새로운 방안을 제안하고자 한다. 직관적 모델의 일관성 있는 활용에 바탕을 두고 Treffers(1986)와 Freudenthal(1991)이 제안한 수평적 수학화(horizontal mathematization)의 과정을 통하여 정수의 사칙계산을 지도하는 이 방법은 중학교와 고등학교에서 정수의 사칙계산 수업에 참여하는 교사와 학생들 모두에게 나타날 수 있는 단절(박임숙, 2001)을 제거할 수 있는 방안이 될 것이다. 또 이것은 중 고등학교에서 다루는 수 체계들이 대학과정 대수학에서 다루는 추상적인 수 체계(group, ring, field)와 계통성을 가진 하나의 개념구조를 형성한다는 사실을 학생들이 인지할 수 있는 밑바탕이 될 것이다.

  • PDF