• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.251-263
• /
• 2012

A CW complex B is said to be I-trivial if there does not exist a $\mathbb{Z}_2$-map from $S^{i-1}$ to S(${\alpha}$) for any vector bundle ${\alpha}$ over B a any integer i with i > dim ${\alpha}$. In this paper, we consider the question of determining whether $\Sigma^k\mathbb{R}P^n$ is I-trivial or not, and to this question we give complete answers when k $\neq$ 1, 3, 8 and partial answers when k = 1, 3, 8. A CW complex B is I-trivial if it is "W-trivial", that is, if for every vector bundle over B, all the Stiefel-Whitney classes vanish. We find, as a result, that $\Sigma^k\mathbb{R}P^n$ is a counterexample to the converse of th statement when k = 2, 4 or 8 and n $\geq$ 2k.

• Journal of Oral Medicine and Pain
• /
• v.9 no.1
• /
• pp.157-167
• /
• 1984

A human bite-mark shows special feature according to the suspect's dentition. The teeth which most frequently give useful bite-marks are six upper and lower anteriors, while the premolar teeth somtimes give marks it is often difficult to distinguish. The author tried to classify and to analize the anterior dentition which makes the bite-mark directly by means of 672 maxillary and 691 mandibular stone model taken from Korean adult aging from 17 to 40 years old. The results were as follows : 1. There was no particular correlation between the presence of six normal-shaped and correctly positioned upper and lower anteriors and the presence of rotation of teeth. 2. Inter central incisor, inter lateral incisor, inter canine width and angles of adjecent teeth were not identical eath other in studied models. 3. The results of this analysis supported the statement that any bite-mark had no same feature.

• 대한상한금궤의학회지
• /
• v.9 no.1
• /
• pp.37-45
• /
• 2017

Objective : The purpose of this paper is to report the improvement of patient with pitting edema treated by herb medication based on Shanghanlun disease pattern identification diagnostic system. Methods : According to 'Disease Pattern Identification Diagnostic System based on Shanghanlun Provisions', the patient was diagnosed with Taeyang-byung, number 96 provision, and took Soshiho-tang herb medication 30days. The changing symptom of pitting edema is reported depended on the edema scale and the statement of patient during treatment. Results : The pitting edema of patient disappeared by 96 provision of Soshiho-tang seclected according to Shanghanlun provisions. Conclusions : This case report suggests that two words on the 96 provision of Shanghanlun, '或 心下悸, 小便不利'(palpitations below the heart, inhibited urination) indcate close relationship between palpitation and decrease of genital secretions, which affected the edema in this case.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.747-756
• /
• 1999

In ring theory it is well-known that a ring R is (von Neumann) regular if and only if all right R-modules are flat. But the analogous statement for this result does not hold for a monoid S. Hence, in sense of S-acts, Liu (]10]) showed that, as a weak analogue of this result, a monoid S is regular if and only if all left S-acts satisfying condition (E) ([6]) are flat. Moreover, Bulmann-Fleming ([6]) showed that x is a regular element of a monoid S iff the cyclic right S-act S/p(x, x2) is flat. In this paper, we show that the analogue of this result can be held for automata and them characterize regular semigroups by flat automata.

• Journal of Multimedia Information System
• /
• v.3 no.2
• /
• pp.21-26
• /
• 2016

Our networked world has been growing exponentially fast. The explosion in volume of machine-to-machine (M2M) transactions threatens to exceed the transport capacity of the networks that link them. Therefore, it is quite essential to reconsider the tradeoff between using many data sets versus using good data sets. We focus on this tradeoff in the context of the quality of information aggregated from many sensors in a noisy environment. We start with a basic theoretical model considered in the famous "CEO problem'' in the field of information theory. From a point of view of large deviations, we successfully find a simple statement for the optimal strategies under the limited network capacity condition. Moreover, we propose an open problem for a sensor network scenario and report a numerical result.

• Journal of the Korean Society of Costume
• /
• v.32
• /
• pp.131-147
• /
• 1997

The works of the Futurism were developed along with manifestos and statement in publishing " The Foundation and Manifestos of Futurism" Futurist aesthetic and ideological agenda on futurist fashion displayed in mani-festos on clothes. It was propagated in con-summate Futurist style through the written manifestos. The Futurists anticipated much of modern fashion phenomenon. In Futurist Men's Cloth-ing in 1914 they believed continual renual of our today's clothes. Today's clothes is much our today's clothes. Today's clothes is much more simple than yesterday's clothes. The oppositions of the type between yesterday's clothes and today's clothes are mournful=play-ful melancolic-cheerful grey-colorful tradi-tional-emphemeral. Futurist men's clothing is aggressive agile dynamic simple and confor-table hygienic gay luminous volatile asym-metric ephemeral and variable. In general the Futurist argued for clothes that promoted simple and functionality. They made dynamic patterns in textile design and asymmetric geometric cuts in pattern making. They suggested an unconventional matetials and strong bright colors and modificanti. These elements pointed the way to a shim-mering exuberant future.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.8
• /
• pp.1409-1417
• /
• 2003

In the 21st century, the concept of remote design and manufacture is strongly required in manufacturing processes to reduce cost and time-to-market. The objective of this paper is the development of an internet-based dimensional verification system for reverse engineering. An inspection client can register measurement data at the developed web server. Collaborators related to the development of a new product can confirm geometrical form from measurement data, check dimensional information and mark up the important parts, as well as make a statement of their views through the Internet. The developed system is realized through the ActiveX-Server architecture. Functions of the dimensional verification module are constructed as ActiveX by using the visual C＋＋ and OpenGL. The usefulness of the developed system is confirmed through a case study.

• Journal of Information Technology Services
• /
• v.13 no.3
• /
• pp.323-331
• /
• 2014

This research is based on real-time service model that uses lock screen of smart devices which is mostly exposed to device users. The potential for lock screen space is immense due to their exposing time for user. The effect can be maximized by offering useful information contents on lock screen. This service model offers real-time keyword with abridged sentence. They match real-time keyword with news by using text matching algorithm and extracts kernel sentence from news to provide short sentence to user. News from the lock screen to match real-time query sentence, and then only to the original core of the ability to move a user evaluation was conducted after adding. The report provided a key statement users feel the lack of original Not if you go to an average of 5.71%. Most algorithms allow only real-time zoom key sentence extracted keywords can accurately determine the reason for that was confirmed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.1467-1470
• /
• 2005

다른 고수준 언어와 마찬가지로 자바도 할당문, 연산문, 조건문, 반복문, 호출문 등의 문장 형식을 갖는다. 자바의 모든 문장 형식은 바이트코드로 변환되어 자바가상기계 상에서 실행된다. 스택 기반 구조를 갖는 자바가상기계에서 각 문장의 실행은 필연적으로 자료 이동을 요구하며, 자료 이동은 메모리 접근을 필요로 하므로 프로그램 실행 시간에 직접적 영향을 미친다. 본 논문에서는 각각의 자바 문장 형식이 어느 정도의 메모리 접근을 요구하며, 프로그램 실행 시간에는 어떤 영향을 미치는지를 분석하였다. 이 연구의 결과는 자바 프로그래머에게 프로그램 실행 시간면에서 보다 효율적인 프로그램 작성을 할 수 있도록 도와 줄 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.22-24
• /
• 2001

A new GIS software Spatial Database Engine(SDE) has been developed to integrated with spatial database that combines conventional and spatially related data. As we known well in the traditional relation database system, the query evaluation techniques are a well-researched subject, many useful and efficient algorithms have been proposed, but in the spatial database system, it is a litter difference with the traditionally ones. Based on the Query Graph Model(QGM), we implemented our own query evaulation plan in the SDE, which can deal with the full functionality query statement SELECT-FROM-WHERE_GROUPBY-HAVING, and treat the spatial data and non-spatial data seamlessly. We proposed a novel multi way join algorithm base on nest loop that may be attractive.