• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.1
• /
• pp.215-219
• /
• 2014

C programming language has undefined behaviors, which cause unintended execution of a program. When a programmer adds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code and checking the marks in binary code.

• Proceedings of the Korean Society of Applied Pharmacology
• /
• 1997.04a
• /
• pp.102-102
• /
• 1997

The purpose of this study was to determine the behavioral interaction between glutamatergic and serotonergic receptors. In the present study, both the competitive (AP-5 and D-CPP) and the noncompetitive (MK-801, ketamine, dextrorphan and dextromethorphan) N-methyl-D-aspartate (NMDA) receptor antagonists markedly enhanced 5-HT(5-hydroxytryptamine)-induced selective serotonergic behavior, head-twitch response (HTR), in mice. These results suggest that the glutamatergic neurotransmission may modulate serotonergic function at the 5-HT receptor. The precise relationship between glutamatergic and serotonergic system is as yet undefined. However, these are the first data available regarding glutamatergic modulation of serotonergic function at the 5-HT receptor in intact mice, and the present results support the notion that the NMDA receptors may play important roles in the glutamatergic modulation of serotonergic function at the 5-HT receptor.

• Korean Journal of Psychosomatic Medicine
• /
• v.1 no.1
• /
• pp.101-108
• /
• 1993

A case of a 38 year-old woman with histrionic personality who had chronic epigastric pain, dyspepsia and alternating bowel habit for more than 10 years was presented in detail on its course of two times of admission and follow-up. The diagnosis was thought as psychophy-siological disorder or gastrointestinal motility disorder of undefined etiology rather than hypo-chondriasis or Briquet's syndrome. She was characterized by sustained illness behavior and combined several physical illnesses. i.e. tuberculosis. anemia and hepatic stone. These physical diseases led to a blurring of psychological and physical boundaries regarding symptom formation. The points on consultation from medical part to psychiatric department were discussed and the supposed causal mechanisms in non-organic functional gastrointestinal disturbances were also reviewed. Physical and psychological modalities for the treatment and the abnormal illness behavior were mainly emphasized in this case.

• Korean Journal of Oriental Medicine
• /
• v.13 no.3
• /
• pp.97-103
• /
• 2007

The object of this study is to evaluate confounding effect of sleeping behavior on heart rate variability (HRV) in healthy volunteers during a randomized clinical trial. From 6 healthy volunteer, we acquired circadian electrocardiography(ECG) with a Holter monitoring device(DigiTrak Plus, Philips). The compatible analytical program, Zymed, was used for calculation of RR intervals of 24h ECG signal. Then, we generated HRV signals and calculated 9 HRV parameters in time domain and frequency domain for every 30 minute with Matlab 6.x software. We also encoded participants' activities as follows; stable condition(1), sleeping behavior(2), eating behavior(3), and undefined condition(4). Using SPSS 12.0, we tested if there was any difference between HRV parameters of day-time and night-time and between those of a subject in stable condition and in sleeping behavior. As a result, one of the most important parameter-LF/HF ratio, which indicates the autonomic balance between sympathetic and parasympathetic nervous systems, as same the other parameters, showed large inter-individual variations in circadian profiles. And, the mean LF/HF ratio of each participant was different between in stable condition and in sleeping behavior (p<.05). Consequently, the effect of sleeping behavior must be considered when one or more of HRV parameters, especially LF/HF ratio, are used as assessment index in clinical studies.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.4
• /
• pp.54-62
• /
• 2011

Emotional reaction should be different from the purpose of the robot system. The method for emotional reaction is also different from the specification of the robot system. Therefore, emotional behavior decision model, which is applied to social robots regardless of specifications and purposes, is necessary. This paper introduces a universal emotional behavior decision model designed for applying to various social robots that have different specifications and purposes. Multiple emotions, a set of probability value of every emotion, are calculated independently and expressed according to the purpose of the robot system. Then, behavior, for emotional reaction according to the calculated multiple emotions, is decided regarding the specification of the robot system. The decided behavior is a combination of unit behaviors that indicates the smallest expressible behaviors in each expression parts. It is possible to express various undefined behaviors by generating unit behavior combinations according to multiple emotions. The universal emotional behavior decision model is applied to three kinds of social robot systems that have different specifications and purposes.

• Journal of the Korean Institute of Rural Architecture
• /
• v.15 no.2
• /
• pp.41-51
• /
• 2013

In the midst of growing demand for rural life of urban dwellers, this study tried to investigate the difference in behavior and recognition about urban rural exchange between Korea and Japan. For this, this study utilized 2,000 total samples of the survey conducted by MLIT in Japan, because Japan has experienced a low birth rate and aging population earlier and actively promoting urban rural exchange program than South Korea. The result of the analysis is as follows. First, the needs for rural life of urban dwellers are similar both in Japan and South Korea. However, Japanese prioritize future efforts to current efforts. Second, urban dwellers' activities in rural areas were classified into three categories; field trips and hands-on activities, cruise and circulating activities, and leisure activities. Third, similarly three types of visit or intercourse of urban dwellers into rural areas were classified; repeatedly visit the same place as 'iterative type', visit a new place as 'new pioneer type', and not yet determined as 'undefined type'. Variables such as age of household, income, number of inmate, and number of children were analyzed linked to these three types of visit or intercourse in a Discriminant analysis. As a result, only 'age of household', however, turned out to be the crucial factor which influence decisively distinguishing characteristics of these three types of visit into rural areas.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.500-506
• /
• 2007

The Type Object Design Pattern is proposed to provide a solution on the situation in the case that one class has too many subclasses or the number of subclasses are undefined. Although this pattern has many advantages in terms of applicability and dynamic object behavior, it has a weak point in runtime pattern operation that it has to build and maintain a class reference mechanism in runtime to reference the class (de facto 'object') of instances. To solve that problem, this paper addresses the solution of the runtime class reference problem of Type Object Pattern. it defines a new class of Type Object Class (TOC) from Type Class and Object Class in Type Object pattern and presents the methods of creating, compiling, and memory-loading the TOC. It depends on built-in class reference mechanism of object-oriented programming language, and is not necessary to fit with the additional mechanism. Consequently, we need not to set up the additional class reference mechanism and system performance is enhanced due to it.

• Steel and Composite Structures
• /
• v.46 no.1
• /
• pp.1-13
• /
• 2023

Elastic bending of imperfect functionally graded sandwich plates (FGSPs) laying on the Winkler-Pasternak foundation and subjected to sinusoidal loads is analyzed. The analyses have been established using the quasi-3D sinusoidal shear deformation model. In this theory, the number of unknowns is condensed to only five unknowns using integral-undefined terms without requiring any correction shear factor. Moreover, the current constituent material properties of the middle layer is considered homogeneous and isotropic. But those of the top and bottom face sheets of the graded porous sandwich plate (FGSP) are supposed to vary regularly and continuously in the direction of thickness according to the trigonometric volume fraction's model. The corresponding equilibrium equations of FGSPs with simply supported edges are derived via the static version of the Hamilton's principle. The differential equations of the system are resolved via Navier's method for various schemes of FGSPs. The current study examine the impact of the material index, porosity, side-to-thickness ratio, aspect ratio, and the Winkler-Pasternak foundation on the displacements, axial and shear stresses of the sandwich structure.

• Journal of Ginseng Research
• /
• v.47 no.3
• /
• pp.458-468
• /
• 2023

Background: As a complication of Type II Diabetes Mellitus (T2DM), the etiology, pathogenesis, and treatment of cognitive dysfunction are still undefined. Recent studies demonstrated that Ginsenoside Rg1 (Rg1) has promising neuroprotective properties, but the effect and mechanism in diabetes-associated cognitive dysfunction (DACD) deserve further investigation. Methods: After establishing the T2DM model with a high-fat diet and STZ intraperitoneal injection, Rg1 was given for 8 weeks. The behavior alterations and neuronal lesions were judged using the open field test (OFT) and Morris water maze (MWM), as well as HE and Nissl staining. The protein or mRNA changes of NOX2, p-PLC, TRPC6, CN, NFAT1, APP, BACE1, NCSTN, and Ab1-42 were investigated by immunoblot, immunofluorescence or qPCR. Commercial kits were used to evaluate the levels of IP3, DAG, and calcium ion (Ca²⁺) in brain tissues. Results: Rg1 therapy improved memory impairment and neuronal injury, decreased ROS, IP3, and DAG levels to revert Ca²⁺ overload, downregulated the expressions of p-PLC, TRPC6, CN, and NFAT1 nuclear translocation, and alleviated Aβ deposition in T2DM mice. In addition, Rg1 therapy elevated the expression of PSD95 and SYN in T2DM mice, which in turn improved synaptic dysfunction. Conclusions: Rg1 therapy may improve neuronal injury and DACD via mediating PLC-CN-NFAT1 signal pathway to reduce Aβ generation in T2DM mice.