• 제목/요약/키워드: type checking

검색결과 266건 처리시간 0.022초

부식 강재 복공판의 재사용성 평가에 관한 기초적 연구 (A Preliminary Study on the Reused Channel-Type Lining Board with Corrosion-Damage)

  • 김인태;김동우;최형석;정진환
    • 한국구조물진단유지관리공학회 논문집
    • /
    • 제13권4호통권56호
    • /
    • pp.170-179
    • /
    • 2009
  • 복공판은 규격화된 강재를 조합하여 용접에 의해 일체화 시킨 것으로 주로 지하작업공간의 확보, 가설 차도 및 보도의 용도로 사용되며, 지하철, 지하상가 등의 건설을 위한 복개부와 가설교량의 상부구조 등에 적용된다. 이러한 복공판이 부식 손상된 경우에는 정량적인 잔존내하력 평가 없이 육안조사에 의한 판별 후 교체 또는 일정기간 사용 후 교체 등으로 그 기능을 유지하고 있다. 이에 본 연구에서는 부식된 복공판의 지속적 사용한계를 확인하고 경제적이고 효율적인 복공판 교체시기를 결정하기 위하여, 실제 지하철 현장에서 사용되고 있는 부식 손상된 복공판을 대상으로 각 구성 강재의 잔존두께를 측정하고, 휨 재하실험을 실시하였다. 그리고 수치해석을 수행하여 그 결과를 실험결과와 비교, 분석하였다. 그 결과 복공판 측, 하판의 두께 감소량과 잔존내하력과의 관계를 분석하여, 부식두께 감소량에 의한 복공판의 적절한 교체주기를 결정할 수 있는 지표를 제시하였다.

가축 질병 이환상태의 확인을 위한 간이 체온계 개발에 관한 연구 (Studies on the Development of Easy-checking Thermometer to Detect the Diseased Domestic Animals with fever)

  • 김용준;한경호;이창민;홍유미
    • 한국임상수의학회지
    • /
    • 제19권1호
    • /
    • pp.28-36
    • /
    • 2002
  • These studies were carried out to develop some easy-checking thermometers instead of taking temperature of ectum for the farmers to detect easily a diseased animal with fever. Thermometers such as pincher-type, hood-type, raser-type, stick-type, and wrap-type were devised for the experiments. The experimental animals were cattle, horse, swine, aprine, and canine. Temperature-taking parts of the body were ear, shoulder, axilla, gluteal part, and coccygeal part according o the devised thermometer. Rectal temperature was taken at the same time for the comparison of temperature between rectum nd the certain part. The difference of temperature between rectum and shoulder part using eraser-type thermometer for the domestic animals were $3.37^{\circ}C$ for cattle, $1.94^{\circ}C$ for horses, $2.04^{\circ}C$ for swine, $1.27^{\circ}C$ for caprine, $0.9^{\circ}C$ for canine. The difference of temperature between rectum and gluteal part using eraser-type thermometer for domestic animals were $3.46^{\circ}C$ for cattle, $1.98^{\circ}C$ for horses, $2.22^{\circ}C$ for swine, and $1.1^{\circ}C$ for canine. The difference of intra-individual temperature taken by eraser-type thermometer of shoulder and gluteal part were 0.3 and $0.8^{\circ}C$ for cattle, 0.7 and $1.1^{\circ}C$ for horses, 0.6 and $0.7^{\circ}C$ for swine, 0.9 and $1.1^{\circ}C$ for canine. The difference of temperature between rectum and shoulder part taken by hood-type thermometer for cattle was $3.93^{\circ}C$ and the difference of intra-individual temperature was $0.8^{\circ}C$. The difference of temperature between rectum and gluteal part taken by stick-type thermometer for cattle was $3.7^{\circ}C$ and the difference of intra-individual temperature was $0.8^{\circ}C$. The other types of thermometers than the above three were not proved to be reliable to detect temperature of domestic animals. It was concluded that hood-type, stick-type and eraser-type thermometers are recommendable devices of thermometer to detect easily the status of body temperature and that the eraser-type was proved to be a practical one of the thermometers used in this study.

보건소 결핵관리사업 평가 (Evaluation of a Tuberculosis Control Program at Community Health Centers)

  • 황은정
    • 한국보건간호학회지
    • /
    • 제21권2호
    • /
    • pp.241-251
    • /
    • 2007
  • Purpose: To identify the effects on tuberculosis mortality of a tuberculosis control program conducted at 108 community health centers in terms of structure and process. Methods: The dependent variable was tuberculosis mortality, and the independent variables were the structure(type of centers, staff, nurses, doctors, budget) and process(chest X-ray checking, immunization, case detection, health education, patients registering & managing) of the tuberculosis control programs at the community health centers. Data were analyzed using descriptive analysis and stepwise regression analysis. Result: Tuberculosis morality was positively correlated with type of centers(rural area)(p<0.01), but negatively correlated with type of centers(large cities) (p<0.01), (middle cities)(p<0.05), staff FTE(p<0.05), and number of nurses(p<0.05). Regression analysis indicated that type of centers(rural area)($\beta$=0.457) and case detection($\beta$=0.234) had a significant effect on tuberculosis mortality. Conclusion: Ultimately, this study will provide information to improve the effectiveness of tuberculosis control programs in community health centers.

  • PDF

스프링형 블랭크홀더방식의 디프드로잉 가공에서 다이 윤곽반경이 성형성에 미치는 영향에 관한 연구 (A study on the effect of die profile radius on formability in deep-drawing process with spring-type blankholder system)

  • 이종국;강명순
    • 오토저널
    • /
    • 제11권4호
    • /
    • pp.35-42
    • /
    • 1989
  • The major purpose of this paper is a study on the effect of die profile radius on the formability of spring-type blankholder system in deep drawing process. By drawing the various materials, formability is studied by means of checking the drawing force, blankholding force variation, limiting drawing ratio and wall wrinkling phenomenon. As the die profile radius increases, the maximum drawing force and maximum blankholding force decrease regardless of lubrication condition. Because better lubrication induces blankholding force to rise, spring type blankholder system is better to protect flange wrinkling phenomenon than constant pressure type. And wall wrinkling phenomenon was not detected in experimental die radius range, so the Miyakawa's upper wrinkling limit is understimated in case of material tested.

  • PDF

견마형 로봇의 계단형 장애물 극복 알고리즘 개발 (Step-Type Obstacle Traversal Algorithm for Six Legged Mobile Robot)

  • 심형원;이지홍;김중배
    • 로봇학회논문지
    • /
    • 제2권1호
    • /
    • pp.55-63
    • /
    • 2007
  • Mobile robots traveling on rough terrain need several algorithms to overcome obstacles. In this paper, we propose the step-type obstacle traversal algorithm to adapt the mobile robot with six arms and wheels to travel on rough terrain. Obstacle traversal is composed of two different stages: planning and control. In planning stage, the required joint torque of each arm as well as the interference between the wheels and the arms are analyzed to guarantee traversing obstacles. Control stage includes such steps as checking distance to obstacle, determining the height and length of obstacle, performing arm motion according to sensed torque data, and evaluating safety at every instance. The proposed algorithm is designed and implemented for CALEB 1 six legged robot developed in the laboratory and verified by simulation and experiment in outdoor environment.

  • PDF

압력 센서를 이용한 씽글 헤드라인 타입의 캔 에어 리크 검출씨스템 개발 (Development Can Air Leak Detector System For Single Compression Head-Line Type Using Pressure Sensor)

  • 이종운
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1992년도 하계학술대회 논문집 A
    • /
    • pp.506-507
    • /
    • 1992
  • When it comes to the 'Leak Detector System' generally, our country has a large income 'Rotary Type Leak Detector' of foreign goods. The completed development of the 'Line Type Leak-Detector' system was produced to check Whether the containers for small and large on the filling line are auto defective. This system is applied to the filling package Processing during the production and contributed to inproving competiveness of domestic containers manufactures of all society of Industry. Also, high precision and realiablity, very compact size, low cost and Easy set-up etc. by checking the experimental data directly plan, Design and making for '1 Compression Head Control Leak Detector System'. This flexcible system can be equipped with multiple Compression heads depending on the requested prodution test rate and test precision.

  • PDF

손목형 혈압계의 센서부 개선에 대한 연구 (Improvement of a sensor unit for wrist blood pressure monitor)

  • 구상준;권종원;박용만;;김희식
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
    • /
    • pp.380-382
    • /
    • 2007
  • As the society changes more to the aging society in future, many healthcare product are developed and distributed more on the market. The digital wrist band tye blood pressure device for home use are popular already in the market. It is useful for checking blood pressure level at home and control of hypertension. Especially. It is very essential home device to check the health condition of blood circulation disease. Nowadays many product types are available. But the measurement accuracy of blood pressure is not enough compared to the mechanical type. It needs to be upgraded to assure the precise health data enough to use in the hospital. The structure, feature and output signal of capacitor type pressure sensors are analyzed. An improved design fa capacitor sensor is suggested. It shows more precise health data after use on a wrist band type health unit. They can be applied for remote u-health medical service.

  • PDF

RBAC 에서 권한 할당 제약사항들 간의 충돌 탐지 모델 (The Model of Conflict Detection between Permission Assignment Constraints in Role-Based Access Control)

  • 임현수;조은애;문창주
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2005년도 추계학술대회 및 정기총회
    • /
    • pp.51-55
    • /
    • 2005
  • Assuring integrity of permission assignment (PA) constraints is a difficult task in role-based access control (RBAC) because of the large number of constraints, users, roles and permissions in a large enterprise environment. We provide solutions for this problem using the conflict concept. This paper introduces the conflict model in order to understand the conflicts easily and to detect conflicts effectively. The conflict model is classified as a permission-permission model and a role-permission model. This paper defines two type conflicts using the conflict model. The first type is an inter-PA-constraints (IPAC) conflict that takes place between PA constraints. The other type is a PA-PAC conflict that takes place between a PA and a PA constraint (PAC) Also, the conditions of conflict occurrence are formally specified and proved. We can assure integrity on permission assignment by checking conflicts before PA and PA constraints are applied.

  • PDF

Z/Object-Z 사용한 2+1 View 통합 메타모델의 정형 명세와 명확성 검사 (A Formal Specification and Accuracy Checking of 2+1 View Integrated Metamodel Using Z and Object-Z)

  • 송치양
    • 한국산학기술학회논문지
    • /
    • 제15권1호
    • /
    • pp.449-459
    • /
    • 2014
  • 시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

Behavior of lightweight aggregate concrete-encased composite columns

  • Al-Shahari, Abbas M.;Hunaiti, Yasser M.;Ghazaleh, Bassam Abu
    • Steel and Composite Structures
    • /
    • 제3권2호
    • /
    • pp.97-110
    • /
    • 2003
  • An experimental study was conducted to investigate the behavior of eccentric lightweight aggregate concrete-encased composite columns. This study aims at verifying the validity of such type of concrete in composite construction and checking the adequacy of the AISC-LRFD and the British Bridge Code BS 5400 specifications in predicting the column strength. Sixteen full-scale pin ended columns subjected to uniaxial bending about the major axis in symmetrical single curvature were tested.