• 월간산업보건
• /
• 통권371호
• /
• pp.28-31
• /
• 2019

피부, 눈 및 상부 호흡기의 자극 가능성을 최소화하기 위해, 인산(Phosphoric acid)에 대한 직업적 노출기준 TLV-TWA를 $1mg/m^3$, 그리고 TLV-STEL을 $3mg/m^3$으로 권고하였다. 수분이 있는 상태에서 인산 먼지나 인산 케이크에 의한 피부 접촉은 특히 자극적이다. TLV-TWA의 권고수준은 산에 노출 경험이 없는 노동자들에게 인후염을 일으키는 인산의 공기 중 농도보다 낮은 수준이다. 또한 인산 노출에 순응된 노동자들에게 유발할 수 있는 농도보다는 훨씬 더 낮은 수준이다. 피부(Skin), 감작성(SEN) 또는 발암성 경고표지(Notation)를 권고하기에는 충분한 자료가 없다.

• Korean Journal of Mathematics
• /
• 제30권4호
• /
• pp.561-569
• /
• 2022

In this paper, we study the generalization of the Banach contraction principle in the vector space, involving four rational square terms in the inequality, by using the notation of bilinear functional. We also present an extension of Selberg's inequality to vector space.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제29권4호
• /
• pp.293-306
• /
• 2022

In the present paper, we introduce the notation of 𝛿-convex rectangular metric spaces with the help of convex structure. We investigate fixed point results concerning Kannan-type contraction and Reich-type contraction in such spaces. We also propound an ingenious example in reference of given new notion.

• 월간산업보건
• /
• 통권384호
• /
• pp.19-23
• /
• 2020

눈, 피부 및 호흡기 자극의 가능성을 최소화하기 위해 오황화인(Phosphorus pentasulfide)에 대한 직업적 노출기준 TLV-TWA는 1 mg/㎥ 그리고 TLV-STEL은 3 mg/㎥으로 권고하였다. 오황화인에 대한 독성 자료는 거의 없으며 오황화인은 습한 공기에서 인산(Phosphoric acid)과 황화수소(Hydrogen sulfide)로 쉽게 가수 분해된다는 사실에 근거하여 인산에 대한 독성 자료로 TLV를 권고하였다.(현재의 인산에 대한 TLV 문서 참조) 피부 흡수(Skin), 감작제(SEN), 그리고 발암성 표기에 대한 경고주석(notation)을 권고하기에는 유용한 자료가 충분하지 않다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.17-31
• /
• 2006

소프트웨어 아키텍쳐는 소프트웨어 시스템의 상위 수준 모델이다. 이러한 소프트웨어 아키텍쳐는 명료하고 엄밀한 표현을 위해 아키텍쳐 기술 언어(ADL)를 사용하여 기술된다. 하지만 대부분의 ADL들은 C2 스타일 ADL(C2SADL)처럼 소프트웨어 시스템의 개발에 필요한 요소들 중에서 특정한 관점만을 고려하여 정의되었거나 별도의 표기형식으로 배워야 하는 부담이 있기 때문에 아키텍쳐를 명세하는 언어로서 정착되지 못하였다. 반면 UML은 범용 모델링 언어로서 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있으므로 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡았다. 그러나 UML은 소프트웨어 아키텍쳐를 표현하도록 설계된 것은 아니기 때문에 UML을 사용하여 아키텍쳐를 표현하기 위해서는 UML을 확장, 변경하여야 한다. 본 논문에서는 UML2.0에 기반한 C2 아키텍쳐 모델링 언어 프로파일을 정의하였다. 정의된 C2 아키텍쳐 모델링 언어는 식당 예약 시스템을 모델링 하는데 사용되었다.

• 디지털융복합연구
• /
• 제18권6호
• /
• pp.373-378
• /
• 2020

의료 정보의 상호운용성 향상을 위해서 Health level 7은 의료 정보 교환을 위한 차세대 체계인 Fast health interoperability resource (FHIR)를 개발하였다. 그러나, 이를 이용하여 임상 정보를 포함한 3차원 의료 영상을 교환하려는 시도는 없어 새로운 방법을 제시하고자 한다. CT 영상에서 만들어진 3차원 의료 영상을 javascript object notation (JSON) 형식으로 전환하고, 임상 정보를 추가하였다. 우리는 시험용 FHIR 서버를 만들고, 클라이언트는 postman을 사용하였다. 생성된 JSON 파일은 body에 첨부하여 전송되었다. JSON 형식으로 전송된 3차원 의료 영상은 웹 브라우저를 통해서 볼 수 있었고, 원시 코드를 확인하여 동봉된 임상 정보를 볼 수 있었다. 우리는 3차원 의료 영상 교환을 최초로 시행하였다. 이 방법을 적용한 앱이나 FHIR 리소스 개발을 위해 추가적인 연구가 필요할 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권3호
• /
• pp.343-352
• /
• 2004

최근 생물정보학의 발전과 함께 생물 관련 정보들이 기하급수적으로 증가하고 있다 연구 대상 도 DNA, RNA, 단백질에서 더 나아가 이들의 상호작용 및 조절 메커니즘에 의해 기능들이 어떻게 수행되는 지에 관한 바이오패스웨이까지 포함하게 되었다. 바이오패스웨이는 광대한 양의 정보를 포괄하며 구성체 사이의 유기적 관계를 나타내고 있는 것이므로 이를 컴퓨터로 처리하기 위해서는 보다 명료하며 직관적인 표현이 요구된다. 그러나 기존 시스템에서 사용하는 표기법들은 명료하게 해석될 수 없는 경우가 많고 표현 가능한 영역이 특정 한 단면에만 국한되어 있으며 같은 정보를 표현하여도 시스템마다 표현 레벨과 방식이 달라 시스템 확장 및 통합이 어려운 상황이다. 본 논문에서는 다양한 종류의 바이오패스웨이 지식을 체계적인 단일 표기법을 사용하여 보다 명료하고 효율적으로 표현하며 단일화되고 통일된 UniPath 표기법을 제안하였다. 또한 이 표기법을 적용하여 바이오패스웨이 지식을 그래프 형태로 편집함으로써 그 정보를 등록하며 XML 포맷으로 쉽게 변환할 수 있는 프레임 기반 지식 표현 시스템을 설계하고 실제 데이타에 적용함으로써 타당성을 검증하였다.

• 한국전자거래학회지
• /
• 제11권3호
• /
• pp.73-88
• /
• 2006

기업 프로세스 관리를 위한 컴퓨터 기반 응용 프로그램으로서 BPM(Business Process Management)에 대한 많은 관심은 시장 선점을 위한 여러 솔루션 벤더들의 독자적인 프로세스 정의와 저장 방식을 가져왔다. 호환성이 결여된 프로세스모델 정의는 국제적인 표준의 필요성을 제기함과 동시에 제정된 표준의 보급을 위한 적절한 적용 방법론을 요구하고 있다. 본 연구는 프로세스 모형화 측면에서 BPMN(Business Process Modeling Notation) 표준으로 기술된 프로세스 모델을 호환성 관점에서 XMI(XML Metadata Interchange) 기반의 중립 파일로 변환하는 방법론을 제시하였다. 21가지 워크플로우 패턴별로 변환 템플릿을 제공하였고, 기존 변환 방식인 BPEL4WS(Business Process Execution Language for Web Services)로의 변환 방식과 비교하였다. 연구 결과, 본 논문에서 제시한 XMI 변환은 기존 방식에 비해 완전한 변환이 가능함으로, BPM 공급업체들의 BPMN 적용에 실용적으로 기여할 수 있다.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권3호
• /
• pp.375-394
• /
• 2014

본 연구는 수와 연산, 문자와 식 영역을 중심으로 조선산학의 수학적 표현의 변천과정을 고찰하였다. 고찰 결과, 서양 수학의 표현 방식을 도입하기 이전에 각 영역별로 조선산학의 고유한 표현과 과도기적 표현이 존재하였음을 확인하였다. 이에 대한 근거로 세 가지를 제시하였다. 첫째, 조선산학은 한자 표기의 승법적 기수법과 산대 표기의 위치적 기수법을 병행하였으나, 한자를 사용한 위치적 기수법이라는 과도기적 표현을 거쳐 인도 아라비아 숫자를 사용한 위치적 기수법의 단계로 진행하였다. 둘째, 한자를 축약하여 연산을 표현하거나 산대 조작과정을 산대로 표기하는 방식에서 서양 산술의 연산 표현을 수용하는 단계로 진행한 과정에서 전통적인 연산 표현 방식과 유럽 필산의 표현 방식을 절충한 표현이 등장하였다. 셋째, 조선산학에서 문자와 식은 산대로 계수들을 표현하는 천원술과 방정술로 표현되었지만, 좀 더 형식화된 생략적 대수의 단계를 거쳐 서양수학의 기호적 대수의 표현방식을 수용하였다.