• KIEE International Transaction on Systems and Control
• /
• v.2D no.2
• /
• pp.92-96
• /
• 2002

This paper is concerned with properties of a Lyapunov functional of state delay systems. It is shown that if a state delay system has a pure imaginary pole for some state delay, then no Lyapunov functional satisfying a Lyapunov condition exists periodically with respect to change of the state delay. This periodic property is unique in state delay systems and has been well known in the frequency domain stability conditions. However, in the time domain stability conditions using a Lyapunov functional, the periodic property is not known explicitly.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Korean Journal of Computational Design and Engineering
• /
• v.12 no.2
• /
• pp.87-94
• /
• 2007

The functional behavior of a consumer electronic product is nearly all expressed with human-machine interaction (HMI) tasks. Although physical prototyping and computer aided design (CAD) software can show the appearance of the product, they cannot properly reflect its functional behavior. In this paper, we propose an approach to virtual prototyping (VP) that incorporates HMI functional simulation into virtual reality techniques in order to enables users to capture not only the realistic look of a consumer electronic product but also its functional behavior. We adopt state transition methodology to capture the HMI functional behavior of the product into a state transition chart, which is later used to construct a finite state machine (FSM) for the functional simulation of the product. The FSM plays an important role to control the transition between states of the product. We have developed a VP system based on the proposed approach. The system receives input events such as mouse clicks on buttons and switches of the virtual prototype model, and it reacts to the events based on the FSM by activating associated activities. The system provides the realistic visualization of the product and the vivid simulation of its functional behavior using head-mounted displays (HMD) and stereo speakers. It can easily allow users to perform functional evaluation and usability testing. A case study about the virtual prototyping of an MP3 player is given to show the usefulness of the proposed approach.

• Journal of Magnetics
• /
• v.16 no.3
• /
• pp.201-205
• /
• 2011

We performed total energy and electronic structure calculations for the basic ground state properties of Fe using the conventional generalized gradient approximation (GGA) and screened hybrid functionals as the form of the exchange-correlation functional. To that end, we calculated structural (equilibrium lattice constants, bulk moduli, and cohesive energies) and electronic (magnetic moments and densities of states) properties. Both functional calculations gave the correct ground state, the ferromagnetic bcc phase, in which the structural parameters agreed well with experimental results. However, the description of the cohesive energies and magnetic moments at the ground state exhibited different behavior from each other: the unusually small cohesive energy and large magnetic moment were observed in the screened hybrid functional calculations compared to the GGA calculations. The reason for the difference was examined by analyzing the calculated electronic structures.

• Anxiety and mood
• /
• v.10 no.2
• /
• pp.143-150
• /
• 2014

Objective : The subgenual cingulate cortex, a part of default-mode network, has been known to playa key role in the pathophysiology of depression. The previous studies have reported abnormal functional connectivity between the subgenual cingulate cortex and other brain regions in the patients with depression. The goal of this shldy was to explore the resting-state functional connectivity of the subgenual cingulate cortex between the patients with depression and healthy subjects. Methods : Twenty patients with major depression and age- and sex-matched 20 healthy subjects underwent 5-minute resting state fMRI scans. The functional connectivity map in each subject was acquired using seed-based correlation analysis with the seed located in the subgenual cingulate cortex (Talairach coordinates; x=-10, y=5, z=-10). The functional connectivity maps were calculated using AFNI and compared between the patient and healthy subject group via two-sample T-test using 3dttest++ in AFNI package. Results : Functional connectivity was decreased between the subgenual cingulate cortex and both sides of fusiform gyrus in depressed subjects. Connectivity was also decreased between the subgenual cingulate cortex and the left cerebellum in the patient group. There was no correlation between the severity of depression and the degree of functional connectivity between the subgenual cingulate cortex and the regions showing decreased functional connectivity. Conclusion : Decreased resting-state functional connectivity between the subgenual cingulate cortex and both sides of fusiform gyrus, and decreased connectivity between the subgenual cingulate cortex and the left cerebellum found in the patients with major depression in comparison to the healthy subjects might be related to abnormal emotional and cognitive processing of depressed patients.

• Journal of Korea Multimedia Society
• /
• v.24 no.4
• /
• pp.583-592
• /
• 2021

Obsessive-compulsive disorder (OCD) is a mental disorder in which a person repeated a particular thought or feels. The domain of beliefs and guilt predicted OCD symptoms. Although there were some neuroimaging studies investigating OCD symptoms, resting-state functional magnetic resonance imaging (rs-fMRI) study investigating intra-network functional connectivity associated with guilt for OCD is not reported yet. Therefore, in the current study, we assessed the differences between intra-network functional connectivity of healthy control group and OCD group using independent component analysis (ICA) method. In addition, we also aimed to investigate the correlation between changed functional connectivity and guilt score in OCD. Total 86 participants, which consisted of 42 healthy control volunteers and 44 OCD patients, acquired rs-fMRI data using the 3T MRI. After preprocessing the fMRI data, a functional connectivity was used for group independent component analysis. The results showed that OCD patients had higher score in emotion state in beliefs and lower functional connectivity in fronto-parietal network (FPN) than control group. A decrease of functional connectivity in FPN was negatively correlated with feelings of guilt in OCD. Our results suggest excessive increase in guilt negatively affect to process emotional state and behavior or cognitive processing by influencing intrinsic brain activity.

• Journal of muscle and joint health
• /
• v.20 no.3
• /
• pp.225-234
• /
• 2013

Purpose: This purpose of study was to investigate the relationships among functional state, self-efficacy, and life satisfaction in the elderly with decreased visual acuity. Methods: The subjects were 162 elderly people from the G university hospital. Functional state was measured by Late-Life Function and Disability Instrument (LLFDI) and Minimum Data Set-Home Care version 2.0 (MDS HC 2.0). Self-efficacy and Life satisfaction were measured by the tool of Rho & Lee (2011) and Yoon (2007). Data were analyzed using t-test, ANOVA, Pearson's Correlation Coefficient, and logistic regression. Results: The daily life function was significantly associated with self-efficacy and vision decrease. The regression model with these two variables explained 35.6% of the variance of daily life function. IADL was significantly associated with vision decrease, age, gender, and self-efficacy. The regression model with the three variables explained 52.9% of the variance of IADL. Life satisfaction is significantly associated with self-efficacy, daily life function, vision decrease and IADL. The last regression model with the four variables explained 51.8% of the variance of life satisfaction. Conclusion: The levels of functional state, self-efficacy and life satisfaction in the elderly with decreased visual acuity were low. Self-efficacy was an important factor that influences on the functional state and life satisfaction. Therefore, nursing interventions that can enhance the self-efficacy are required in order to increase the functional state and life satisfaction in the elderly with decreased visual acuity.

• Bulletin of the Korean Chemical Society
• /
• v.35 no.8
• /
• pp.2257-2262
• /
• 2014

$C_{60}$ is widely investigated because of its unique structure. But its applications in solid propellant seem to be relatively neglected. $C_{60}$ has more outstanding features than carbon black which is widely used as a catalyst ingredient of solid propellant. To combine the advantages of fullerene and lead salts, another good composite in propellant catalysts, we synthesized a kind of fullerene phenylalanine lead salt (FPL) and explored its thermal performances by differential thermal analysis (DTA) and thermogravimetry analysis (TGA). The results show it undergoes four exothermic processes started from 408 K. Combined TGA and X-ray diffractometer (XRD), the decomposition mechanism of FPL was derived by TG-IR and comparing IR spectra of FPL and its residues after burned to $327^{\circ}C$, $376^{\circ}C$ and $424^{\circ}C$, respectively. Effect of FPL on the decomposition characteristic of hexogen (RDX), a type of explosive in propellant, has been investigated using DTA at different heating rate, which shows the decomposition temperatures of the explosive are all reduced by more than 20 K. The corresponding activation energy ($E_a$) is decreased by $30kJ{\cdot}mol^{-1}$. So FPL has potential application as a combustion catalyst in solid propellant.

• Journal of the Ergonomics Society of Korea
• /
• v.33 no.5
• /
• pp.377-386
• /
• 2014

Objective: In this study, we used resting-state fMRI data to map differences in functional connectivity between a comprehensive set of 8 distinct cortical and subcortical brain regions in healthy controls and Internet addicts. We also investigated the relationship between resting state connectivity strength and the level of psychopathology (ex. score of internet addiction scale and score of Barratt impulsiveness scale). Background: There is a lot of evidence of relationship between Internet addiction and impaired inhibitory control. Clinical evidence suggests that Internet addicts have a high level of impulsivity as measured by behavioral task of response inhibition and a self report questionnaire. Method: 15 Internet addicts and 15 demographically similar non-addicts participated in the current resting-state fMRI experiment. For the connectivity analysis, regions of interests (ROIs) were defined based on the previous studies of addictions. Functional connectivity assessment for each subject was obtained by correlating time-series across the ROIs, resulting in $8{\times}8$ matrixs for each subject. Within-group, functional connectivity patterns were observed by entering the z maps of the ROIs of each subject into second-level one sample t test. Two sample t test was also performed to examine between group differences. Results: Between group, the analysis revealed that the connectivity in between the orbito frontal cortex and inferior parietal cortex, between orbito frontal cortex and putamen, between the orbito frontal cortex and anterior cingulate cortex, between the insula and anterior cingulate cortex, and between amydgala and insula was significantly stronger in control group than in the Internet addicts, while the connectivity in between the orbito frontal cortex and insula showed stronger negative correlation in the Internet addicts relative to control group (p < 0.001, uncorrected). No significant relationship between functional connectivity strength and current degree of Internet addiction and degree of impulsitivy was seen. Conclusion: This study found that Internet addicts had declined connectivity strength in the orbitofrontal cortex (OFC) and other regions (e.g., ACC, IPC, and insula) during resting-state. It may reflect deficits in the OFC function to process information from different area in the corticostriatal reward network. Application: The results might help to develop theoretical modeling of Internet addiction for Internet addiction discrimination.

• Bulletin of the Korean Chemical Society
• /
• v.28 no.5
• /
• pp.805-810
• /
• 2007

Molecular recognition for a specific cation depending on the change of the oxidation state of the metal catalyst component contained in the hydrogel network has been studied in a self-oscillating hydrogel. The selfoscillating hydrogels are synthesized by the copolymerization of N-isopropylacrylamide (NIPAAm), lead methacrylic acid (Pb(MAA)2), and Ru(bpy)3 2+ monomer as a metal catalyst component. The recognition for a specific cation (in this study, Ca2+ has been used) is characterized by the adsorbed amount of Ca2+ into the gel. The recognition of the gels for Ca2+ is higher at the temperature below the LCST, and also higher at the oxidized state than at reduced state of the metal catalyst component which corresponds to a more swollen state. Moreover, a propagating wave induced by a periodic change of the oxidation state with the diffusion phenomena in the oscillating hydrogel shows a possibility for temporal and site-specific molecular recognition due to the local swelling of the gel.