• 무역상무연구
• /
• 제75권
• /
• pp.71-94
• /
• 2017

The Rotterdam Rules is the first international maritime carriage of goods Convention that acknowledge electronic records of contracts of carriage. The Rules have developed separate chapter in relation to electronic transport records' issuing, transfer, etc. This paper aims to evaluate Rotterdam Rules' contribution to the use of electronic transport records. To achieve the aims firstly this paper have examined the related articles of Rotterdam Rules, Secondly in practical aspects, this paper explores the opportunities and obstacles which could be happened in practical procedures, applicable to transport industry, shipper and holder of electronic transport records. Findings could be summarized as follows, first the Rules shows high acceptability to whom it may involved in transport industry by simplify the contents of the Rules to avoid conflict with each countries' national laws. The Rules acknowledge the functional equivalence between paper and electronic transport records in specific provisions. This could be important development to facilitate the use of electronic transport records. But the Rules have not mentioned liability limit of transport industry when the problems arise from issuing, tele-transmission, transfer of the records. And the secure of the functional equivalence between paper and electronic transport records also could be remained in uncertain regime due to different stance of each national laws.

• Kyungpook Mathematical Journal
• /
• 제46권4호
• /
• pp.503-507
• /
• 2006

Let X be a Tychonoff space and ${\sum}(X)$ the set of all the subrings of C(X) that contain $C^*(X)$. For any A(X) in ${\sum}(X)$ suppose $_{{\upsilon}A}X$ is the largest subspace of ${\beta}X$ containing X to which each function in A(X) can be extended continuously. Let us write A(X) ~ B(X) if and only if $_{{\upsilon}A}X=_{{\upsilon}B}X$, thereby defining an equivalence relation on ${\sum}(X)$. We have shown that an A(X) in ${\sum}(X)$ is isomorphic to C(Y ) for some space Y if and only if A(X) is the largest member of its equivalence class if and only if there exists a subspace T of ${\beta}X$ with the property that A(X)={$f{\in}C(X):f^*(p)$ is real for each $p$ in T}, $f^*$ being the unique continuous extension of $f$ in C(X) from ${\beta}X$ to $\mathbb{R}^*$, the one point compactification of $\mathbb{R}$. As a consequence it follows that if X is a realcompact space in which every $C^*$-embedded subset is closed, then C(X) is never isomorphic to any A(X) in ${\sum}(X)$ without being equal to it.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권6호
• /
• pp.608-619
• /
• 2000

본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용하여 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다.

• 정보보호학회논문지
• /
• 제6권4호
• /
• pp.97-106
• /
• 1996

유한체 GF($2^n$)상의 모든 지수 함수들의 군에 동치 관계를 정의하고, 이들 동치 관계에 의해 분류된 각 동치류에 속하는 지수 함수들은 동일한 암호학적 성질을 가짐을 보인다. 그리고, GF($2^7$)과 GF($2^8$)상의 모든 지수 함수들을 분류한다. 다음으로 지수 함수 분류의 3가지 응용을 제시한다. 우선 GF($2^n$)상의 2개의 지수 함수의 연접에 의한 $n\;{\times}\;2n$ S(ubstitution)-box의 설계 방법을 제안하고, 그들의 입.출력 변화 내성과 선형 내성을 분석한다. 그리고, Eurocrypt '93에서 Beth가 세운 가설이 그릇된 것임을 지적하고, LOKI 블록 알고리즘에 사용된 S-box의 안전성에 대하여 논한다.

• 한방재활의학과학회지
• /
• 제28권1호
• /
• pp.85-96
• /
• 2018

Objectives This study was performed to compare the electrical methods of motor points mapping using surface EMG and electric probe (Pointer Excel II). Methods 32 healthy adults (male 16, female 16) were selected. and classified into two groups; surface EMG group, electric probe (Pointer Excel II) group. In surface EMG group, motor points were searched by recoding the compound muscle potentials. In electric probe (Pointer Excel II) group, motor points were searched by scanning the skin with Pointer Excel II at low level stimulation. The locations of the motor points were expressed as X and Y values in relation to the reference line. The horizontal reference line was set as elbow crease and the vertical reference line was set as the line connecting coracoid process to the center of the horizontal reference line. The data was analyzed by 'Independent T-test' and 'equivalence test'. Results 1. The motor points of short head and long head of biceps brachii muscle were located at about 2/3 length of the vertical reference line from coracoid process and about 1/5~1/4 length of the half of the horizontal reference line from the vertical reference line in both group. 2. The motor points of the short head were located more distally and close to the vertical reference line (p<0.001). 3. In surface EMG group, the motor points of the long head were located more laterally in the female than male. And the motor points of the long head were located more distally in the left side than right side (p<0.05). In electric probe (Pointer Excel II) group, similar tendency was observed but there was no statistically significant difference (p>0.05). 4. As a result of the equivalence test between surface EMG group and electric probe (Pointer Excel II) group, the confidence intervals of the difference were within the equivalence limit. Therefore, the locations of the motor points searched by two ways are equa l (p>0.05, equivalence interval=3%). Conclusions The results indicate that electric probe (Pointer Excel II) can be used to search the motor points instead of surface EMG. This might improve the clinical efficiency when using the motor points to treat muscle dysfunction.

• 정보관리학회지
• /
• 제35권3호
• /
• pp.101-121
• /
• 2018

본 연구는 연구논문의 논리적 의미 구조 메타데이터 항목에 해당하는 데이터에 담겨 있는 문장의 구성에 따라 시스템에서 적절한 항목으로 자동 식별 처리될 수 있도록 하는, 문장의미론(Sentence Semantics)적 분석 방법을 제안하고자 하는 목적으로 수행되었으며, 의미 구조 메타데이터 항목 중 'Research Objectives'와 'Research Outcomes'에 해당하는 연구 논문 문장의 구조를 어절 수, 접속어 종류, 다수 출현한 단어들의 문장 내 역할, 문장에서 다수 출현한 어미 형태 등을 기준으로 분석해 정리하였다. 연구 결과, 문장들의 어절 수는 'Research Objectives'는 평균 38개, 'Research Outcomes'는 평균 212개로 나타났으며, 접속어의 경우 'Research Objectives'는 인과-순접-대등-환언/요약 관계를 나타내는 접속어 순으로, 'Research Outcomes'는 인과-대등-순접-환언/요약 관계를 나타내는 접속어 순으로 많이 출현한 것으로 파악되었다. 출현빈도가 높은 분석 대상 단어들은 각각 문장 내에서 주어, 목적어, 서술어 역할 등으로 사용되고 있었으며, '역할'이나 '요인', '관계'는 목적이나 결과 부분 모두에서 비슷한 역할을 담당하고 있었지만 '연구'는 같은 단어라도 연구의 목적 부분과 결과 부분에서 사용되는 역할에 차이를 보였다. 마지막으로 문장 내 동사의 어미는 'Research Objectives'에서 '~고자'와 '~였다', 'Research Outcomes'에서 '~었다', '~있다', '~였다'가 많이 출현하였다. 본 연구는 연구자의 학술적 이해형성을 지원하기 위해 연구논문이 담고 있는 공통된 논리적 의미를 반영한 메타데이터 요소의 자동 식별과 입력 방안을 제시하는 데 활용할 수 있는 기초 연구로서 의의가 있다.

• 대한한의학원전학회지
• /
• 제21권2호
• /
• pp.87-99
• /
• 2008

From pathological view, Gwoleumbyeong(厥陰病) may be explained as extreme reduction of Gwoleumgyeonggi(厥陰經氣) due to immoderate Wihan(胃寒). Also, concerning regions of human body, Gwoleumbyeong has close relation to lower abdomen and genital, which are the origins of Gwoleum meridian[厥陰經]. Therefore, it is appropriate that the nature of Gwoleumbyeong be described as Hangeukyangul(寒極陽鬱), rather than Sangyeolhahan(上熱下寒), Hanyeolchakjap(寒熱錯雜). Sangyeolhahan, Hanyeolchakjap does not represent Gwoleumbyeong to the full extent, in a sense that the term views Hanyeol(寒熱) as two equal rank, whereas pathogenesis of Gwoleumbyeong depends on the sole extremity of Wihan(胃寒). The reason that the nature of sanghallon(傷寒論) be regarded as Sangyeolhahan, Hanyeolchakjap has been lying on the presupposition that whole symptoms of Hangwol (寒厥), Yeolgwol(熱厥), diarrhea[下利], vomiting[嘔吐] and hiccup, from "Gwoleumpyeon(厥陰篇)",may be categorized into Gwoleumbyeong. However, the symptoms described above do not show Gihwa(氣化) characteristic of Gwoleum(厥陰) and follow the regional distribution of Gwoleumbyeong, from which it can be pointed that those symptoms have no relation with Gwoleumbyeong. Ever since the theory of Yukgigihwa(六氣氣化) was used to comprehend and interpret "Sanghallon", Gwoleumbyeong has been thought as equivalence of Gwol(厥), which led to misunderstanding of Sangyeolhahan, Hanyeolchakjap. However, Gwoleumbyeong from "Sanghallon" has been argued in specific, through the historical practice of Sanghan(傷寒) as pathogen, particular state of meridian and correlation of meridian and Byeongjeung(病證).

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.779-786
• /
• 2005

In this paper we shall discuss some properties derived from the characteristic S-automaton $_x(S)_M$, using the fact that ${\mu}_S$ is an equivalence relation on M. When $L_{m}:S{\rightarrow}M$ is a left translation and $L_{M}$ is a collection of $L_{m}'s$, we shall show $_x(S)_{M}{\cong}L_{M}$. If S is commutative, we have $_x(S)_{M{\times}N{\cong}L_{M{\times}N}$. Moreover when M and N are perfect, we have $L_{M{\times}N}{\cong}L_{M}{\times}L_{N}$ and $_x(S)_{M{\times}N}{\cong}_x(S)_{M}{\times}_x(S)_N$.

• 한국의류학회지
• /
• 제32권3호
• /
• pp.505-516
• /
• 2008

Image which appears in fashion illustration on the late twentieth century is not the representative image as an equivalence to the real fashion styles but the virtual image which bears no relation to any reality. The purpose of this study is review the concept of virtuality and analyze in which way virtual image is expressed in fashion illustrations on the background of Jean Baudrillard's simulacre theory. In post-modem paintings the expression methods of image-virtualization were image mixing through photo-image appropriation, image overlapping, and the icons inserted unreasonably, the focus-out effect through scrubbing and the over-painting on the photograph. Image-virtualization in fashion illustration was expressed through image mixing and expression of image uncertainty. Image mixing was made by photo-image appropriation, image overlapping, connection of heterogeneous images and using interface image, and uncertain image was expressed through the expression of visual ambiguity and virtual movement.

• Kyungpook Mathematical Journal
• /
• 제47권3호
• /
• pp.381-392
• /
• 2007

In 1906, da Rios, a student of Leivi-Civita, wrote a master's thesis modeling the motion of a vortex in a viscous fluid by the motion of a curve propagating in $R^3$, in the direction of its binormal with a speed equal to its curvature. Much later, in 1971 Hasimoto showed the equivalence of this system with the non-linear Schr$\ddot{o}$dinger equation (NLS) $$q_t=i(q_{ss}+\frac{1}{2}{\mid}q{\mid}^2q$$. In this paper, we use the same idea as Terng used in her lecture notes but different technique to extend the above relation to the case of $R^3$, and obtained an analogous equation that $$q_t=i[q_{ss}+(\frac{1}{2}{\mid}q{\mid}^2+1)q]$$.