• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.815-818
• /
• 1998

Hardware formal verification involves the use of analytical techniques to prove that the implementation of a system confroms to the specification. The specification could be a set of properties that the system must have or it could be an alternative representation of the system behavior. We can represent our behavioral specification to be written in VHDL coding. In this paper, we proposed a new hardware design verification method. For theis method, we assumed that a verification pattern already exists and try to make an algorithm to find a place where a design error occurred. This method uses an hierarchical approach by making control flow graph(CFG) hierarchically. From the simulation, this method was turned out to be very effective that all the assumed design errors could be detected.

• Asia Marketing Journal
• /
• v.17 no.1
• /
• pp.55-67
• /
• 2015

Despite the well-known predictive power of Dirichlet model on customer loyalty, deviations of share of category requirement (SCR) predicted by Dirichlet model from actual SCR have been repeatedly reported. It has been shown that these deviations can be systematically explained by some factors such as brand's market share, product positioning strategy, purchase volume and retail marketing mix strategies. Presuming that brand equity would be additional sources of these deviations, current study assesses the incremental predictive power of brand equity by using over 4,000 brand-level observations for the consumer packaged goods industry in the U.S. Our model estimations indicate that brands that exhibit higher brand equity enjoy excess loyalty, with the primary driver being volume premium, rather than price premium. Overall, our findings support the notion that idiosyncratic brand properties can explain excess behavioral loyalty, a notion that is in stark contrast with the Dirichlet view of the world: brand equity does not exist.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2008.10a
• /
• pp.54-57
• /
• 2008

This study is aimed to inspect how the different sensitivities in Behavioral activation system (BAS) and Behavioral inhibition system (BIS) modulate on the properties of physiological responses stimulated by positive or negative affective sound. We measured the electroencephalogram (EEG) of 32 students, consisted of four groups depending on the BAS and BIS sensitivities, during listening to meditation music or noise. The EEG was recorded at Fp1 and Fp2 sites. After listening to music or noise, subjects reported the affect induced by the sound. For EEG, the power in the alpha band at Fp2, especially in the alpha-2 band (9.0-11.0 Hz) increased during the subjects listening to music, while the power at Fp1 increased during noise. During listening to meditation music, there is a tendency that the left-sided activation in prefrontal cortex (PFC) is positively correlated with the difference of BAS(Z)-BIS(Z). During listening to noise, there is a tendency that the right-sided activation in PFC is dominant in case any of the sensitivity of BAS or BIS is high. From these results we suggest that the physiological responses of different individuals in BAS and BIS react differently under the same emotionally provocative challenge.

• Safety and Health at Work
• /
• v.6 no.2
• /
• pp.139-142
• /
• 2015

Background: Healthcare workers' practices regarding hepatitis B have an important effect on the control of this problem in workplaces. Methods: A questionnaire-based cross-sectional study was used to investigate the role of knowledge, cues to action, and risk perceptions as predictors of preventive behavioral intentions for hepatitis B among healthcare works in Broujen, Iran (n = 150). History of hepatitis B vaccination, hepatitis B surface antigen test, and demographic characteristics were investigated. The psychometric properties of the questionnaire were established. Results: Those who had a history of hepatitis B surface antigen test had a statistically significant higher level of risk perceptions ($30.89{\pm}4.08$ vs. $28.41{\pm}3.93$, p < 0.01) and preventive behavioral intentions ($5.05{\pm}1.43$ vs. $4.45{\pm}1.29$, p < 0.01). The mean score of cues to action was significantly correlated with age and work history (r = 0.20, p = 0.02 and r = 0.19, p = 0.02). Preventive behavioral intentions were significantly correlated with cues to action and risk perceptions but not with knowledge level. Cognitional factors were responsible for a 17% change in observed variance of preventive behavioral intentions, which was statistically significant. Conclusion: Risk perceptions were the most important determinant of preventive behavioral intentions for hepatitis B among health personnel; thus, emphasizing risk perceptions is recommended in educational programs aimed at increasing health personnel's practices regarding hepatitis B.

• The Journal of the Convergence on Culture Technology
• /
• v.10 no.1
• /
• pp.591-601
• /
• 2024

As generative AI-based educational content and services targeting child users rapidly increase, the need for research related to children's perception of generative AI is increasing. Accordingly, this study sought to determine the type of generative AI recognized by children and whether cognitive, behavioral, and emotional properties were assigned to it. To understand this, we collected responses through workshop activities to create storybooks with children, semi-structured interviews, and drawing. As a result, children viewed generative AI as an artifact with a high cognitive level, but it was not a type of existing artifact.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.549-556
• /
• 2006

In this paper, we consider interval-valued Choquet integrals and fuzzy measures. Using these properties, we discuss some applications of them in multicriteria decision aid. In particular, we show how these interval-valued Choquet integrals can model behavioral analysis of aggregation in ulticriteria decision aid.

• The Korean Journal of Physiology and Pharmacology
• /
• v.13 no.5
• /
• pp.357-360
• /
• 2009

It is hypothesized that a number of environmental factors affect animals' behavior. Without controlling these variables, it is very hard for researchers to get not only reliable, but replicable data from various behavioral experiments testing animals' cognitive as well as emotional functions. For example, laboratory mice which had restricted environment showed different synaptic potentiation properties with wild mice (Zhao MG et al., 2009). While performing behavioral experiments, however, it is sometimes inevitable that the researcher changes the animals' environments, as by switching the cages in which experimental animals are housed and separating animals raised together into small experimental groups. In this study, we investigated the effect of environmental changes on mice's emotional behaviors by socially isolating them or reducing the size of their cage. We found that social isolation selectively increases the animals' levels of anxiety, while leaving depression-like behaviors unchanged. On the other hand, alteration of the housing dimensions affected neither their anxiety levels nor their depression-like behaviors. These results suggest that environmental variables may have a prominent impact on experimental animals' emotional behaviors and possibly their psychological states, leading to bias in the behavioral data produced from experiments.

• 제어로봇시스템학회:학술대회논문집
• /
• 1998.10a
• /
• pp.135-140
• /
• 1998

The concept of dissipativity and passivity are of interest to us from a theoretical as well as a practical point of view. It is well known that the Riccati equation is derived from the dissipation inequality which expresses the fact that the system is dissipative; the energy stored inside the system doesn't exceed the amount of supply which flows into the system. The pencil model is regarded as a representation based on behavioral approach introduced by J.C. Willems. It has first order in the internal variable and zeroth order in the external variable. In general, any matrix pencil is transformed into a canonical form which is consist of several kind of sub-pencils, One of them has row full rank for $^\forall S\;\in\;\mathds{C}\;\bigcup{\infty}$, we call it under-determined mode of the model. In our opinion, most important properties of dynamical system lay in the mode. According to the properties of canonical form for pencil, it is shown that the storage function which characterizes the dissipativity of the system can be written as a LMI for the under-determined mode, if the system doesn't include impulse mode.

• Biomedical Science Letters
• /
• v.23 no.3
• /
• pp.281-285
• /
• 2017

The purpose of the current study is to investigate the cognition-enhancing effects of Ixeris dentata (Thunb) Nakai in scopolamine-induced amnesic mice. Scopolamine (2 mg/kg, i.p.) was used to induce amnesia in mice. The cognitive-enhancing activity of the IDE (10, 20 and $40{\mu}g/mL$) was studied by passive avoidance response, elevated plus maze and Y-maze behavioral paradigm in normal and scopolamine-induced amnesic mice. Scopolamine-induced cognitive deficits were significantly reversed by IDE (P < 0.001 at 20 mg/kg) in a dose-dependent fashion in all the behavioral paradigms tested. IDE possesses cognitive-enhancing properties in amnesic mice due to its potent antioxidant action.

• International Journal of Human Ecology
• /
• v.11 no.2
• /
• pp.25-37
• /
• 2010

This study examined the relationships between parenting styles, academic achievement, and behavioral adjustment of adolescents in Korea. Using a sample of 181 parents and their children (13-15 years old), parents completed the Parental Authority Questionnaire and adolescents filled out the Youth Behavior Checklist (CBCL) and provided their school grades. Factor analysis was conducted on the PAQ to confirm the psychometric properties. Hierarchical regression analysis was computed to determine the relationship between maternal and paternal parenting styles, academic performance, and children's internalizing and externalizing behaviors. Regression analysis revealed that mother's authoritative parenting style was positively related with adolescents' grades in English. However, father's permissive was negatively related with adolescents' grades in English, Mathematics, and Science. Mother's permissive parenting styles showed negative effects of internalizing and externalizing behavior problems whereas father's permissive parenting styles showed positive effects of internalizing and externalizing behavior problems.