• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.85-87
• /
• 2005

프로그래밍 기술과 인터넷 통신의 발달로 인하여 보안성이 검증되지 않은 다양한 프로그램들이 생성되고 쉽게 유포되어 보안 취약성으로 인해 야기되는 다양한 문제의 심각성이 더해가고 있다. 따라서 사용자가 보안상 안전하게 사용할 수 있는 소프트웨어 인증절차가 필수적으로 요구되고 있는데, 이를 해결하기 위해 소프트웨어 안전성 평가에 대한 연구가 진행 중이지만, 기존의 방법들은 특정 영역에 한정적이어서 일반적인 소프트웨어의 보안성 평가(security evaluation) 방법으로써 부적합하다. 뿐만 아니라 기존의 시스템들은 단순 패턴매칭에 기반을 두고 있어 오용탐지가 크고 정확성이 떨어진다는 문제점을 가지고 있다. 따라서 본 논문에서는 이러한 문제점들을 해결하기 위해 악성프로그램 코드의 구조와 흐름을 분석하여 규칙으로 정의하고 그 규칙에 따라 검사 대상 프로그램 코드에서 악성코드와 취약점 흐름을 탐지하는 규칙 기반의 소프트웨어 보안성 검증 시스템 프로토타입을 제안한다. 제안한 검증 시스템의 프로토타입은 악성코드와 소프트웨어 취약성을 동시에 탐지하여 보안성을 평가함으로써 범용적인 소프트웨어 평가에 활용 가능할 것이다.

• 한국멀티미디어학회논문지
• /
• 제3권3호
• /
• pp.290-297
• /
• 2000

객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2002년도 제14회 한글 및 한국어 정보처리 학술대회
• /
• pp.147-154
• /
• 2002

이 논문은 한국어 문서 교정을 위해 부산대학교 인공지능 연구실에서 개발되고 있는 맞춤법 및 문법 검사기와 그 지식베이스 구축에 대해 알아본다. 비대칭 관계(asymmetric relation) 설정과 더불어 개발된 문법 검사기는 한 문장의 임의의 두 요소간의 비대칭 관계를 토대로 (1) 잠재적 지배관계 개념을 설정하고 (2) 부분 문장 분석 방법을 사용한다. 이런 요소들을 효율적으로 운영하는 시스템을 구현하기 위해서는 한국어에 대한 이해와 경험적 자료를 적절히 조화시킨 지식베이스 구축이 필수적이다. 이 논문은 그 선수(先手) 작업으로 한국어 문서의 오류들을 관찰하고, 그로부터 추출한 언어적이거나 언어 외적인 요소들로부터 일반적 패턴을 뽑아내어 사용자의 기대를 만족시키기 위한 적절한 규칙지식베이스를 구축하고 문법 검사기의 성능 향상을 위해 문장 분석 출발점과 분석방향 그리고 분석범위를 한정한다.

• Childhood Kidney Diseases
• /
• 제18권2호
• /
• pp.57-63
• /
• 2014

소아들의 여러 신장 질환 특히 만성신장병은 초기에는 뚜렷한 증세나 징후를 나타내지 않고 단독 단백뇨 또는 현미경적 혈뇨로만 나타나는 경우가 많다. 이런 신장 질환을 발견하기 위하여 소변검사는 여러 장단점에도 불구하고 간단하고 비용이 적게 드는 검사로서 선별검사에 이용하게 되었다. 우리나라에서는 신장 질환의 조기 발견을 위한 학교 집단소변검사가 1998년에 개정된 학교신체검사규칙에 근거하여 전체 초 중 고등학생을 대상으로 실시되었다. 그 이후에 많은 연구와 보고들이 학교 집단소변검사가 만성신질환의 조기 발견에 유용할 것이라고 하였지만 아직도 여기에 대한 이견이 있을 뿐만 아니라 비용 효과 등에 대하여서도 충분한 의견 일치를 얻지 못하였기에 코호트 연구 등의 장기적인 관찰적 역학 연구가 반드시 필요하다. 이를 위하여서는 신장학자들의 지속적인 연구뿐만 아니라 제도 개선 및 개발들이 반드시 동반되어야 할 것이다.

• 월간 기계설비
• /
• 통권139호
• /
• pp.17-19
• /
• 2002

금년 3월부터 사용검사 후 10년 이상 경과된 아파트 등 공동주택은 단지 또는 동별 입주자 전원의 동의를 얻으면 리모델링이 허용될 전망이다. 규제개혁위원회는 최근 건설교통부가 제출한 공동주택관리령 개정안 및 공동주택관리규칙 개정안을 심의, 무분별한 공동주택의 재건축 사업으로 인한 사회적 자원 낭비 요인을 억제하고 리모델링을 활설화하기 위해 이같이 권고키로 의결하였다.

• KAPE누리
• /
• 통권148호
• /
• pp.21-21
• /
• 2008

소 및 쇠고기 이력추적에 관한 법률'이 2007년 12월 21일 제정되고 그 하위법령인 시행령과 시행규칙, 관련 고시 등이 마련되어 12월 22일부터 전국의 모든 소를 대상으로 한 "쇠고기 이력추적제"가 시행된다. 이에 소의 거래 등으로 인한 이동경로, 쇠고기에 대한 원산지, 등급판정결과, 위생검사결과, 소의 종류, 사육자, 도축장 등의 정보가 생산자와 소비자 등에게 제공된다.

• 월간당뇨
• /
• 통권136호
• /
• pp.38-39
• /
• 2001

고삼투압성 혼수를 예방하기 위해서는 아무리 심하지 않은 당뇨병 환자라도 규칙적으로 혈당검사를 하면서 당뇨를 관리하여야 하며, 의식이 없거나 혼탁한 상태로 병원이나 수용시설에 수용되어 있는 환자, 혹은 거동이 불편한 노인일 경우는 꼭 당뇨병에 대한 검진을 시행해야 하며, 감염 증상이 있을 때는 빨리 치료해야 하고 독감예방접종을 하는 것이 필요하다.

• 월간 닭고기
• /
• 제3권11호통권29호
• /
• pp.2-8
• /
• 1997

2004년까지 축산물위생수준 선진국수준으로 - 축기연, 생명과학관 준공으로 경쟁력 향상에 기여 - 축산 폐수처리 시행규칙 개정 - 닭 전염성 빈혈 조기 진단법 개발 - 타조 검역기간 오래 걸려 - 미육류검사, 기준강화 불구 소규모 도축장 관리 여려워 - 96년 닭고기 1인당 연간 소비량 11.2Kg - 중국, 미 가금육 수입금지 철회 - 세계 가금육 생산 및 소비 꾸준히 증가 추세 - 빠르게 성장하는 인도의 양계산업

• 대한수의사회지
• /
• 제47권3호
• /
• pp.207-216
• /
• 2011

2011년 1월 26일 관련 법규(동물 진단용 방사선발생장치의 안전관리에 관한규칙)가 제정되어 시행됨에 따라 X-ray, CT 등 방사선발생장치를 사용하려는 동물병원은 사용일 3일전까지 시 군 구청에 신고하여야 하며 사용기록을 작성하고 필요한 검사를 받아야 합니다.

• 한국항해항만학회지
• /
• 제43권1호
• /
• pp.33-41
• /
• 2019

2012년 12월, 한국 울산항 앞바다에서 항타선이 침몰되었다. 본 사고 선박의 침몰원인은 인적요소, 기상악화 등의 복합적인 문제라 여겨진다. 사고 이후 선박안전기술공단에서는 리더부(크레인)는 충분한 안전율이 확보된 강도로 설계되었다고 결론을 내렸으나 국립과학수사 연구원의 현장조사 감정서에서는 선박 침몰은 리더부의 파손으로 인한 것이라고 결론 내렸다. 이에 본 저자들은 선박안전기술공단이 선박 검사에 사용하는 선박안전법과 강도 계산 및 구조해석 방법 등을 검토하였다. 나아가 한국선급의 규칙을 기반으로 두어 선박 침몰원인을 분석하기 위한 유체동역학적해석 및 구조해석에 관한 수치시뮬레이션을 수행하였으며 국립과학수사연구원의 현장조사 결과와 유사한 결론을 얻을 수 있었다. 결론적으로, 본 사고 선박과 같이 선급 규칙의 적용을 받지 않고도 자유롭게 국내에서 운항 될 수 있는 항타선의 경우 유사한 사고가 발생할 수 있으며 이를 방지하기 위하여 한국선급 규칙의 적용을 받는 검사가 수행되어야 할 것임을 제안한다.