• 월간산업보건
• /
• s.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
• /
• v.30 no.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.

• The Pure and Applied Mathematics
• /
• v.29 no.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.

• 월간산업보건
• /
• s.384
• /
• pp.19-23
• /
• 2020

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

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.17-31
• /
• 2006

Software architecture is the high level model of a software system. It should be specified with ADLs (Architecture Description Languages) for its clarity and preciseness. Most ADLs such as C2SADL have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture, and ADLs do not address all stakes of the development process that is becoming diversified everyday. On the other hand, UML is a do facto standard general modeling language for software developments. UML provides a consistent notation and various supporting tools during the whole software development cycle. But, UML is a general modeling language and does not provide all concepts that are important to architecture description. UML should be extended in order to precisely model architecture. In this paper, we defined a C2 architecture modeling language as a UML2.0 profile. We applied the defined C2 architecture modeling language to the modeling of a restaurant reservation system.

• Journal of Digital Convergence
• /
• v.18 no.6
• /
• pp.373-378
• /
• 2020

For improving interoperability of medical information, health level 7 has initiated the development of a next-generation framework for the exchange of medical information called the Fast health interoperability resources (FHIR). However, there was no attempt to exchange the medical three-dimensional (3D) image with clinical data via FHIR. Thus, we designed a new method. The 3D image to be made from computed tomography was converted to the javascript object notation (JSON) file format, and clinical data was added. We made a test FHIR server, and the client used the postman. The JSON file was attached to the body, and was then transmitted. The transmitted 3D image could be seen through a web browser, and attached clinical data was identified in the source code. This is the first attempt to exchange the medical 3D image. Additional researches will be needed to develop applications or FHIR resources that apply this method.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.343-352
• /
• 2004

Recently, the information processing of ever increasing bio-related data is becoming a very important issue. One of the main sources of these bio-data comes with the form of biopathways, which includes molecular transactions and processes that are part of biochemical systems. The information represented by biopathways includes various organic relations among its components. However, most of the current systems to represent biopathways have been initially developed without computer processing in mind, and hence suffer from inconsistencies and ambiguities. In this paper, we propose an improved notation, called UniPath, for clear and systematic representation of biopathways. The proposed system is designed to provide a unified representation of metabolic and regulatory pathways. We also designed and implemented a graphic editor for UniPath to draw biopathwavs map according to the proposed notation. The graphic editor is designed so that biopathway data can be easily transformed into XML format.

• The Journal of Society for e-Business Studies
• /
• v.11 no.3
• /
• pp.73-88
• /
• 2006

As a computerized application for controlling enterprise processes, BPM(Business Process Management) has been received such concerns that many solution vendors developed their own process definition and storage methods. The fact causes the needs of process modeling standards for process model exchange and at the same time, requires the appropriate methodology for adopting the global standards. In this paper, we propose a transformation methodology of BPMN-based file into XMI(XML Metadata Interchange)-based neutral file format. We devised translation templates for 21 workflow patterns, and compared the results with BPEL4WS(Business Process Execution Language for Web Services) translation. As a result, our XMI transformation model enables more complete translation of process model in comparison with existing model, and thus can be practically utilized to the BPM vendors adopting BPMN standards.

• Journal of IKEEE
• /
• v.14 no.3
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3) is the international standard testing language defined by ETSI in 2001. TTCN-3 is generally used for protocol conformance test, but it is also possible to be applied to the platform and API tests based on CORBA. Moreover, it can be also applied to the various testings such as interworking testing, repetition testing, platform testing, etc. IEC 61850 is the protocol proposed for SAS(Substation Automation System) of SCADA(Supervisory Control And Data Acquisition) system. In this paper, a IEC 61850 interoperability Tester based TTCN-3 is developed under the Window environment. IEC 61850 Server Simulator of Linux operating system is used as SUT(System Under Test). Conformance testing items in this paper are the Positive test case_Srv5 of "Server, Logical device, Logical node, and data model" in the testing group of "IEC 61850 - Part10" document.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.375-394
• /
• 2014

The purpose of this study is to examine the transition of mathematical representation in Joseon mathematics, which is focused on numbers and operations, letters and expressions. In Joseon mathematics, there had been two numeral systems, one by chinese character and the other by counting rods. These systems were changed into the decimal notation which used Indian-Arabic numerals in the late 19th century passing the stage of positional notation by Chinese character. The transition of the representation of operation and expressions was analogous to that of representation of numbers. In particular, Joseon mathematics represented the polynomials and equations by denoting the coefficients with counting rods. But the representation of European algebra was introduced in late Joseon Dynasty passing the transitional representation which used Chinese character. In conclusion, Joseon mathematics had the indigenous representation of numbers and mathematical symbols on our own. The transitional representation was found before the acceptance of European mathematical representations.