형식 기술 기법에 의한 LOTOS 프로토콜 적합성 시험 (LOTOS Protocol Conformance Testing for Formal Description Specifications)
-
- 한국정보처리학회논문지
- /
- 제4권7호
- /
- pp.1821-1841
- /
- 1997
본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.
이 연구는 농업계열 동일계 대학 교육과정을 성공적으로 이수하는데 필요한 고등학교 교육과정상의 보통교과목 및 전문교과목을 분석하고, 이를 바탕으로 동일계 대학 전공기초능력 향상을 위한 농업계 고등학교의 교육과정 편성 방안 모색에 활용할 수 있는 기초 자료를 제공하는데 그 목적이 있었다. 이를 위하여 이 연구에서는 유의 표집을 통해 선정된 8개 농업계 대학의 116개 학과 교수들을 대상으로 설문조사를 실시하였다. 이 연구로부터 도출된 결과는 다음과 같다. 첫째, 농업계 대학 전공 학과들의 보편적인 학문적 특성으로 인하여 대체적으로 기초과학능력에 해당되는 생물 및 화학 교과목이 전공기초능력과 관련성이 높았지만, 농업기계와 농업토목 기준학과에서는 수학 및 물리, 농산물유통정보 기준학과에서는 경제 및 수학 교과목의 관련성이 높았다. 둘째, 동일계 대학 전공교과목을 성공적으로 이수하는 데에는 언어능력 및 외국어능력과 같은 기초수학능력이 반드시 뒷받침되어야 한다. 셋째, 식물자원은 재배, 동물자원은 동물자원, 식품가공은 식품위생, 농업기계는 농업기계 등과 같이 전공기초능력과 가장 관련성이 높은 농업생명산업계열 전문교과목은 교육과정상의 9개 기준학과별로 뚜렷한 차이가 발견되었고, 동일계 대학 전공기초능력 향상을 위해 반드시 선 이수해야 할 전문교과목 및 중요도 역시 이와 비슷한 경향을 보였다. 넷째, 동일계 대학 전공기초능력 향상에 실제적인 도움이 되기 위해서는 농생명산업계열 전문교과목들이 대체적으로 기본 개념 및 원리, 법칙 등을 실생활에 응용 또는 탐구할 수 있는 내용 중심으로 구성되어야 한다는 의견이 가장 많았지만, 식품가공 및 조경 기준학과에서는 실험 실습 내용을 중심으로, 생물공학 기준학과에서는 학문 이론적 내용을 중심으로 구성되어야 한다는 의견이 가장 많았다.
부조리극의 풍자적 콘텐츠에 나타난 이근삼 희곡 <원고지>의 등장인물들은 가족애를 상실한 채 단지 의무만이 강조되는 현대 자본주의 사회의 가족상을 표상한다. 이들은 경제의 급속한 발전으로 인해 전통적인 인간관계나 가족 관계가 물질 관계로 변하면서 경제 논리에 종속되어 가고 있는 인간들의 모습을 보여준다. 해설자는 연기자와 해설자의 배역의 역할을 함께 표현한다. 그리고 서사극, 부조리극의 특징적 요소로써 줄거리를 제시하며, 연기자들에게 연출자의 콘 닥터의 역할을 하기도 한다. 또한 앞으로 일어날 사건을 예언하고 극중 인물의 내면 의식을 제시하고 사건과 시간을 축소·확장시키기도 한다. 갈등양상에서는 자식들에게 경제적인 책임을 다하기 위해서 교수는 기계처럼 번역을 하고 처는 그렇게 번 돈을 자식들이 요구하는 대로 나누어준다. 중년 교수와 처는 현실의 상황에 변화를 주려는 의지가 없기 때문에 구체적인 갈등이 드러나지 않는다. 그러므로 이 작품에는 플롯의 세부적 갈등이 형성되지 않는다. <원고지>의 플롯은 22개의 서사소들로 이루어져 저녁부터 그 다음 날 아침까지의 시간 구성으로 이루어졌다. 그리고 특별한 사건도 일어나지 않고 한 가족의 일상만을 보여준다. 또한 신문·밥·생일 등과 같은 일상의 단순한 반복을 보여주는 소재들이 반복적 구조를 통해 부조리극의 풍자적 특징을 효과적으로 드러내고 있다. 또한 부조리극의 언어적 특징은 불안, 절망, 환상과 대상의 목적이 사라진 상실감을 표현하는 데에 주목한다. 무대는 사실주의적인 구체적인 상징을 벗어나고 희곡의 주제에 부합되는 단순한 극적 분위기를 표출한다. 따라서 이를 통해 무대 장치역시 반사실주의 부조리극의 풍자성의 특징을 나타내는 중요한 요소라는 점이다.
There is nothing more important than the form and function in design, because every design product can be done on the basis of them. Form and Function are already existed before the word of design has been appeared and all the natural and man-made things' basic organization is based on their organic relations. The organic relations is the source of vitality which identifies the subsistance of all the objects and the evolution of living creatures has been changed their appearances by the natural law and order. Design is no exception. Design is a man-made organic thing which is developed its own way according to the purposed aim and given situations. If so, what is the ultimate goal of design. It is without saying that the goal is to make every effort to contribute to the -human beings most desirable life by the designer who is devoting himself to their convenience and well-being. Therefore, the designer can be called the man of rich life practitioner. This word implies a lot of meanings since the essence of design is improving the guality of life by the man-made things which are created by the designer. Also, the things are existed through the relations between form and function, and the things can keep their value when they are answered to the right purpose. In design, thus, it is to be a main concern how to create valuable things and to use them in the right way, and the subject of study is focused on the designer's outlook of value and uk relations between form and function. Christopher Alexander mentioned the importance of form as follows. The ultimate object of design is form. Every design problem begins with an effort to achieve fittness between the form and its context. The form is the solution to the problem: the context defmes the problem. In other words, when we speak of design, the real object of discussion is not form alone, but the ensemble comprising the form and its context. Good fit is a desirable property of this ensemble which relates to some particular division of the ensemble into form and context. Max Bill mainatined how important form is in design. Form represents a self-contained concept, and its embodiment in an object results in that object becoming a work of art. Futhermore, this explains why we use form so freguently in a comparative sense for determining whether one thing is less or more beautiful than another, and why the ideal of absolute beauty is always the standard by which we appraise form, and through form, art itself. Hence form has became synonymous with beauty. On the other hand, Laszlo Moholy-Nagy stated the importance of function as follows. Function means the task an object is designed to fulfill the task instrument is shaping the form. Unfortunately, this principle was not appreciated at the same time but through the endeavors of Frank Lloyd Wright and of the Bauhaus group and its many collegues in Europe, the idea of functionalism became the keynote of the twenites. Functionalism soon became a cheap slogan, however, and its original meaning blurred. It is neccessary to reexamine it in the light of present circumstances. Charles William Eliot expressed his idea on the relations between function and beauty. Beauty often results chiefly from fittness: indeed it is easy to manitain that nothing is fair except what is fit its uses or functions. If the function of the product of a machine be useful and valuable, an the machine be eminently fit for its function, it conspicuously has the beauty of fittness. A locomotive or a steamship has the same sort of beauty, derived from the supreme fittness for its function. As functions vary, so will those beauty..vary. However, it is impossible to study form and function in separate beings. Function can't be existed without form, and without function, form is nothing. In other words, form is a function's container, and function is content in form. It can be said that, therefore, the form and function are indispensable and commensal individuals which have coetemal relations. From the different point of view, sometimes, one is more emphasized than the other, but in this case, the logic is only accepted on the assumption of recognizing the importance of the other's entity. The fact can be proved what Frank Hoyd wright said that form and function are one. In spite of that, the form and function should be considered as independent indivisuals, because they are too important to be treated just as the simple single one. Form and function have flexible properties to the context. In other words, the context plays a role as the barometer to define the form and function, also which implies every meaning of surroun'||'&'||'not;dings. Thus, design is formed under the influence of situations. Situations are dynamic, like the design process itself, in which fixed focus can be cripping. Moreover, situations control over making the good design. Judging from the respect, I defined the good design in my thesis An Analytic Research on Desigh Ethic, "good design is to solve the problem by the most proper way in the situations." Situations are changeable, and so is design. There is no progress without change, but change is not neccessarily progress. It is highly desirable that there changes be beneficial to mankind. Our main problem is to be able to discriminate between that which should be discarded and that which should be kept, built upon, and improved. Form and Function are no exception. The practical function gives birth to the inevitable form and the
연구목적: 본 연구는 유색 및 백색 지르코니아 세라믹으로 제작된 코핑의 디자인에 따른 지르코니아 세라믹 코핑의 파절 하중과 변연 적합성을 평가한 것으로 그 결과를 임상에 응용하는데 도움을 주고자 하였다. 연구재료 및 방법: CAD/CAM system (Everset, KAVO Dental GmbH, Biberach, Germany)을 이용하여, 80개의 상악 제1 소구치 세라믹 코핑을 제작하되, 1그룹은 전체적으로 균일하게 0.3 mm로, 2그룹은 협면 0.3 mm 설면 0.6 mm, 3그룹은 전체 0.6 mm 균일하게, 4그룹은 협면 0.6 mm 설면 1.0 mm로 디자인하고, 유색 (I) 및 백색 (II) 지르코니아 코핑을 각 그룹당 10개가 되게 하였다. 소성직후와 조정 후 코핑의 변연 적합성을 Video Microscope System (sv-35, Sometech, Seoul, Korea)를 이용하여 100배율로 관찰하였고, 금속 주 모형에 코핑을 강화형 글래스아이오노머 시멘트로 합착 후 Universal Testing Machine (Instron 4467, Norwood, MA, USA)을 이용하여 파절 하중을 측정하여, one-way ANOVA test 를 시행하여 결과를 분석하였다. 결과: 1. CAD/CAM 지르코니아 코핑의 파절 하중은 1그룹, 2와 3그룹, 그리고 4그룹간에 유의성있는 차이를 보였으며 I4, II4의 파절 하중값이 가장 컸다. 2. 코핑의 디자인이 같고 색이 다른 그룹간의 비교에서는 전 그룹 모두 파절 하중값의 유의성은 없었다. 3. 소성 직후 변연 오차 측정값은 I2그룹을 제외한 전 그룹에서 협측 측정점에서 변연오차가 가장 큰 경향을 보였다. 4. 소성 직후 변연 오차 측정값은 I 그룹 지르코니아 그룹에서 그룹별 전체적인 변연적합도를 보았을 때 그룹간에 유의한 차이는 없었다 (P>.05). 5. 소성직후 변연 오차 측정값은 백색 지르코니아 그룹에서 그룹별 전체적인 변연 적합도를 보았을때 II1그룹의 변연 오차가 가장 컸다 (P<.05). 6. 소성직후 변연오차 측정값은 디자인이 같은 그룹의 유색, 백색 비교에서, I1와 II1그룹을 제외한 나머지 그룹에서 백색 지르코니아의 변연 적합도가 더 좋았다 (P<.05). 7. 내면 조정 후에는 색상화 및 지르코니아 코어 디자인에 따른 전 그룹간 변연 적합도의 차이는 없었다 (P>.05). 결론: 지르코니아 코핑 디자인과 색상화에 따른 변연 적합성은 소성 직후에는 다소 차이가 있었으나 내면 조정을 하면 임상 사용에는 무리가 없을 것으로 판단되었고, 파절강도 강화를 위해 코핑의 두께는 가급적 두꺼워야 하나, 가시면 (순면, 협면)의 심미성(반투명성)을 고려할 경우 가시면을 0.3 mm로 얇게 해도 파절 강도에 큰 영향을 주지 않는 것으로 사료되었다.
PET/MRI에서는 MRI의 진단적 가치를 높이기 위해 T1 조영제를 사용하고 있다. PET의 감쇠 보정을 위해 T1 시컨스 계열인 VIBE DIXON은 조영제에 직접적으로 영향을 미치지만, 실제
교정치료을 위해 발거된 소구치를 사용하며 레진에 고정한 후 직경 4mm이상의 법랑질 평면을 얻었다. 직경 4mm의 아크릴릭 봉을 길이 5mm로 해서 Ni-Cr 비귀금속 합금으로 주조한 후, 사용될 표면을 전기화학적 식각처리 하였다. 각 실험군당 시편 42개를 I군은 Panavia 21, II군은 Superbond, III군은 All-Bond로 세멘트 한 후 1일, 15일, 그리고 30일에 각 군당 14개의 시편을 임의로 취득하여 인스트론 만능시험기에 특별히 만든 Jig를 사용하여 거상하고 cross-head speed 1mm/min으로 전달결합강도를 측정하였다. 세멘팅한 후 1일에 측정한 전달결합강도는 Panavia-21의 I군에서
The wall shear stress in the vicinity of end-to end anastomoses under steady flow conditions was measured using a flush-mounted hot-film anemometer(FMHFA) probe. The experimental measurements were in good agreement with numerical results except in flow with low Reynolds numbers. The wall shear stress increased proximal to the anastomosis in flow from the Penrose tubing (simulating an artery) to the PTFE: graft. In flow from the PTFE graft to the Penrose tubing, low wall shear stress was observed distal to the anastomosis. Abnormal distributions of wall shear stress in the vicinity of the anastomosis, resulting from the compliance mismatch between the graft and the host artery, might be an important factor of ANFH formation and the graft failure. The present study suggests a correlation between regions of the low wall shear stress and the development of anastomotic neointimal fibrous hyperplasia(ANPH) in end-to-end anastomoses. 30523 T00401030523 ^x Air pressure decay(APD) rate and ultrafiltration rate(UFR) tests were performed on new and saline rinsed dialyzers as well as those roused in patients several times. C-DAK 4000 (Cordis Dow) and CF IS-11 (Baxter Travenol) reused dialyzers obtained from the dialysis clinic were used in the present study. The new dialyzers exhibited a relatively flat APD, whereas saline rinsed and reused dialyzers showed considerable amount of decay. C-DAH dialyzers had a larger APD(11.70
The wall shear stress in the vicinity of end-to end anastomoses under steady flow conditions was measured using a flush-mounted hot-film anemometer(FMHFA) probe. The experimental measurements were in good agreement with numerical results except in flow with low Reynolds numbers. The wall shear stress increased proximal to the anastomosis in flow from the Penrose tubing (simulating an artery) to the PTFE: graft. In flow from the PTFE graft to the Penrose tubing, low wall shear stress was observed distal to the anastomosis. Abnormal distributions of wall shear stress in the vicinity of the anastomosis, resulting from the compliance mismatch between the graft and the host artery, might be an important factor of ANFH formation and the graft failure. The present study suggests a correlation between regions of the low wall shear stress and the development of anastomotic neointimal fibrous hyperplasia(ANPH) in end-to-end anastomoses. 30523 T00401030523 ^x Air pressure decay(APD) rate and ultrafiltration rate(UFR) tests were performed on new and saline rinsed dialyzers as well as those roused in patients several times. C-DAK 4000 (Cordis Dow) and CF IS-11 (Baxter Travenol) reused dialyzers obtained from the dialysis clinic were used in the present study. The new dialyzers exhibited a relatively flat APD, whereas saline rinsed and reused dialyzers showed considerable amount of decay. C-DAH dialyzers had a larger APD(11.70