• International Journal of Highway Engineering
• /
• v.11 no.1
• /
• pp.177-186
• /
• 2009

Rumble strip was introduced in highway pavement for driver's safety in Korea on 2000. With proving its effectiveness, total length of highway with rumble strip has increased. This research team suggested a modified form of the existing rumble strip, which was placed on new concrete pavement during construction. The modified construction equipment was applied on test section at PyungTeak-Eumsung highway with some performance experiments. Through the equation of stopping sight distance proposed AASHTO, the modified form is safer than the existing one due to 0.65m of extra width. The indoor noise test showed that the modified form $3.5{\sim}9dB(A)$ noisier than the main pavement, which wasn't applied by rumble method. Therefore, it was one of alternatives to prevent sleeping. The modified form made the frequency effected on man's eye. There were no differences of the noise and vibration between modified form and existing one. However, that driver who participated on operating test on that section felt that the former was safer than the latter. It can be concluded that modified form can be applied to the new concrete pavement, that will decrease traffic accident.

• Radiation Oncology Journal
• /
• v.7 no.2
• /
• pp.171-183
• /
• 1989

A general effect for cell proliferation has been incorporated into Roesch's survival equation (Accumulation Model). From this an isoeffect formula for the low dose-rate regimen is obtained. The prediction for total doses equivalent to 60Gy delivered at the constant dose-rate over 7 days agrees well with the dose-time data of Paterson and of Green, when the parameter ratio A/B (${\approx}{\alpha{\mu}}/2{\beta}\;where\;{\mu}$ is the repair rate) is chosen to be 0.7Gy/h. When a constant proliferation rate and known facts of division delay are assumed, an isoeffect relation between low dose-rate treatment and acute dose-rate treatment can be derived. This formula in the regimens where proliferation is negligible predicts exactly the data of Ellis that 8 fractions of 5 Gy/day for 7 days are equivalent to continuously applied 60Gy over 7days, provided the A/B ratio is 0.7 Gy/h and the $\alpha/\beta$ ratio is 4Gy. Overall agreement between the clinical data and the predictions made by the formula at the above parameter values suggests that the biologcal end points used as the tolerance level in the studies by Paterson, Green, and Ellis all agree and they are not entirely the early effects as generally assumed. The absence of dose-rate effects observed in the mouse KHT sarcoma can better be explained in terms of a large value for the A/B ratio. Similarly, the same total dose used independently of the dose-rate to treat head and neck tumors by Pierquin can be justified.

• Journal of Korean Philosophical Society
• /
• v.123
• /
• pp.87-110
• /
• 2012

The kitsch was emerged from the people's cultural desire in the conditions of the various duplicating technology, the capital economy system, and the civil revolution in the western modern mass society. But it is underestimated constantly because of the conspicious consumption and the aesthetic inadequacy. Even though some kitsches are elevated to the 'kitsch arts' in the historical description of the modern arts, still the most of kitsches are remained as 'just kitsches' and excluded from the aesthetic research according to the double standard. In this essay, I research for whether anti-kitsch theory is convincing theoretically and practically. Anti-kitsch theory criticizes the kitsch on the basis of the modernist aesthetics, in which the 'fine art' provokes the aesthetic pleasure in the disinterested contemplation. But kitsch purposes for the sensual gratification and the sentimentality. So the anti-kitish theorists conclude that the kitsch is the bad taste. In critically analyzing the argumentation of Greenberg's. Kaplan's and $C{\tilde{a}}linescu^{\prime}s$, I refute the privileged prejudice of the ideal critic. They don't justify the criteria of the classification of 'art'/ 'kitsch'. They supplement the economical and the political grounds for the evaluative theory of the kitsch. But the argumentation of the kitsch is consumed conspicuously and results in the unlettered masses is not sufficient. People produce and enjoy the kitsches in the various ways. People envelope the genres, styles and media of the kitsches and they try to suggest the new horizon of the popular aesthetics. So anti-kitsch theories cannot be accepted because they adhere to the elitism and formalism. The exclusion of the kitsch is the derogation for people's taste. Also they didn't reflect the contemporary cultural practice and the aesthetic needs in the system of post-art. The alternative aesthetics of the kitsch is the topic of my next essay.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• The Journal of Korean Academy of Sensory Integration
• /
• v.17 no.1
• /
• pp.30-42
• /
• 2019

Objective : The purpose of this study is to analyze non-medication interventions for self-injurious behavior of individuals with autism spectrum disorders, using a systematic review, and to provide evidence of appropriate services for individuals with autism spectrum disorders with self-injury behaviors in the clinical practice of occupational therapy. Methods : Using the electronic databases PubMed, Medline (ProQuest), DBpia, RISS, KISS, and NDSL, we searched for articles published in Korean and international journals from December 2004 to November 2018. The main search term were "Autism OR Autism Spectrum Disorder AND Therapy OR Treatment Or Intervention AND Self Injurious Behavior." Qualitative analysis was performed, and the results are presented in the PICO format. Results : A total of 12 articles were selected. The quality of the evidence was highest in level IV and level V. Single studies with an experimental design were the most common. Behavior therapy was the most common type of intervention. The next most common interventions were behavioral therapy, brain stimulation and control, and sensory integration therapy with behavioral therapy. The self-injury behaviors of individuals autism spectrum disorders were decreased, and was statistically significant. Conclusion : This study investigated the use of non-medication interventions for children with autism spectrum disorders who showed self-injury behavior. Future research should use higher-level designs, and investigate differences between various non-medication interventions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.10a
• /
• pp.256-259
• /
• 2016

The growth of mobile devices in Internet of Things (IoT) leads to a number of intelligent buildings related IoT applications. For instance, home automation controlling system uses client system such web apps on smartphone or web service to access the home server by sending control commands. The home server receives the command, then controls for instance the light system. The gateway based RESTful technology responsible for handling clients' requests attests an internet latency in case a large number of clients' requests submit toward the gateway increases. In this paper, we propose the design tasks of the IoT gateway for handling concurrency events. In the procedure of designing tasks, concurrency is best understood by employing multiple levels of abstraction. The way that is eminently to accomplish concurrency is to build an object-oriented environment with support for messages passing between concurrent objects. We also investigate the performance of event-driven architecture for building IoT gateway using node.js on one side and communication protocol based message-oriented middleware known as XMPP to handle communications of intelligent building control devices connected to the gateway through a centralized hub. The Node.JS is 40% faster than the traditional web server side features thread-based approach. The use of Node.js server-side handles a large number of clients' requests, then therefore, reduces delay in performing predefined actions automatically in intelligent building IoT environment.

• (The)Study of the Eastern Classic
• /
• no.35
• /
• pp.275-295
• /
• 2009

The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

• Communications of Mathematical Education
• /
• v.37 no.1
• /
• pp.65-84
• /
• 2023

The method of Lagrange multipliers, one of the most fundamental algorithms for solving equality constrained optimization problems, has been widely used in basic mathematics for artificial intelligence (AI), linear algebra, optimization theory, and control theory. This method is an important tool that connects calculus and linear algebra. It is actively used in artificial intelligence algorithms including principal component analysis (PCA). Therefore, it is desired that instructors motivate students who first encounter this method in college calculus. In this paper, we provide an integrated perspective for instructors to teach the method of Lagrange multipliers effectively. First, we provide visualization materials and Python-based code, helping to understand the principle of this method. Second, we give a full explanation on the relation between Lagrange multiplier and eigenvalues of a matrix. Third, we give the proof of the first-order optimality condition, which is a fundamental of the method of Lagrange multipliers, and briefly introduce the generalized version of it in optimization. Finally, we give an example of PCA analysis on a real data. These materials can be utilized in class for teaching of the method of Lagrange multipliers.

• Journal of Korea Entertainment Industry Association
• /
• v.13 no.7
• /
• pp.247-259
• /
• 2019

This study aims to develop Korean film music by using Korean traditional music with proper technique. As of 2019, current Korean film music is mostly modeled after Western music. The usage of traditional music instruments is significantly lower than the usage of western instruments and is merely used in Korean historical movies as embedded music. This supports the many views that Korean traditional music seems too difficult to appeal to the general audience in these modern times. Furthermore, there aren't any such cases to apply traditional music techniques to western instruments whereas there have been many occasions where traditional music instruments imitate western instruments with its tones. The suspected reason for this is due to the lack of proper understanding and techniques of traditional music that Korean film composers have utilized, and its limited exposure in popular music. However, traditions are special and unique way to represent the history, culture, lifestyle and characteristic of countries. Therefore, it is our duty to protect our own traditions. As both a Korean, and as a musician, new film music is needed which uses traditional music instruments and its techniques. When film composers create music with better understanding of Korean traditional music, this unique music will be able to transcend borders and spread throughout the world.

• Journal of the Daesoon Academy of Sciences
• /
• v.38
• /
• pp.183-208
• /
• 2021

In order to examine the origin of Image-Number Theory in Cho Hoik (曺好益)'s Yixiangshuo (易象說), it is necessary to review Hu Yigui (胡一桂)'s Zhouyi Benyi Fulu Zuanzhu (周易本義附録纂注). Hu Yigui based his work on Zhu Xi's Zhouyi Benyi, he took related contents such as the Zhu Xi's writings and phrases and organized them into a fulu (附録), and he collected commentaries that matched the meaning of Zhouyi Benyi among the theories of many Confucian scholars and produced a zuanzhu (纂注). In addition to these, there are 'Yuwei (愚謂)' and 'Yuan (愚案)' which allowed him to add his own opinion. The system of Hu Yigui's Zhouyi Benyi Fulu Zuanzhu almost coincides with Cho Hoik's Yi-ological writing system. In other words, Cho Hoik appears to have written Yizhuan Bianjie (易傳辨解) and Zhouyi Shijie (周易釋解) as a fulu and zuanzhu of Zhouyi Benyi Fulu Zuanzhu. And there is Yixiangshuo which corresponds to 'Yuwei' and 'Yuan' of Zhouyi Benyi Fulu Zuanzhu. Yixiangshuo was not originally an independent Yi-ological book, but was compiled by later generations from what was recorded in the form of the head notes of Zhouyi (周易). Thus, Yixiangshuo takes almost the same form as the 'Yuwei' and 'Yuan' of Zhouyi Benyi Fulu Zuanzhu. In addition, Cho Hoik's Yixiangshuo cites many contents from 'Yuwei' and 'Yuan' of Zhouyi Benyi Fulu Zuanzhu. On the other hand, in order to examine the origin of Image-Number Theory in Cho Hoik's Yixiangshuo, the Yi-ology of Zhu Zhen (朱震) cannot be overlooked. This is true not only due to the fact that Yixiangshuo is quoting Zhu Zhen. The more significant reason is Yixiangshuo is a fundamental aspect of Zhu Zhen's Yi-ology. As demonstrated in the main body of this article, the methodology of Image-Number Theory in Yixiangshuo and its counterpart in Hanshang Yizhuan (漢上易傳) are almost identical. In conclusion, the origin of Image-Number Theory in Cho Hoik's Yixiangshuo can be found in both the Hu Yigui's Zhouyi Benyi Fulu Zuanzhu and Zhu Zhen's Hanshang Yizhuan. In particular, it can be said that its origin can be found in both the 'Yuwei' and 'Yuan' of Zhouyi Benyi Fulu Zuanzhu and the methodlogy of Image-Number Theory in Hanshang Yizhuan.