• 제목/요약/키워드: Undefined behavior

검색결과 9건 처리시간 0.023초

정의되지 않은 행동에 의한 안전성 검사 무효화 탐지 기법 (Detection of invalidated sanity checks caused by undefined behaviors)

  • 이종협
    • 정보보호학회논문지
    • /
    • 제24권1호
    • /
    • pp.215-219
    • /
    • 2014
  • C언어에는 프로그래머의 의도와는 다르게 동작하는 정의되지 않은 행동(undefined behavior)들이 존재한다. 정상적인 데이터를 확인하기 위한 안전성 검사에서 정의되지 못한 행동에 해당되는 경우를 인지하지 못하고 사용하여 안전성 검사가 컴파일러에 의해 무효화 되는 문제점이 발생한다. 본 논문에서는 이러한 문제점들을 해결하기 위해 소스코드에서 안전성 검사를 표기하고 실행파일에서 유효성을 확인하는 자동화된 시스템을 제안한다.

NMDA Receptor Antagonists Enhance 5-HT Receptor-mediated Behavior, Head-Twitch Response, in Mice

  • Kim, Hack-Seang;Park, In-Sook;Chung, Myeon-Woo;Son, Young-Rey;Park, Woo-Kyu
    • 한국응용약물학회:학술대회논문집
    • /
    • 한국응용약물학회 1997년도 춘계학술대회
    • /
    • 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.

  • PDF

만성 위장장애를 호소하는 히스테리성 성격의 여자 (A Case of Woman with Histrionic Personality who Suffered from Chronic Gastrointestinal Dysfunction)

  • 송지영
    • 정신신체의학
    • /
    • 제1권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.

  • PDF

임상시험 중 수면행위가 심박변이도에 미치는 영향 분석 (Assessment of covariate-effect of sleeping behavior on heart rate variability during a clinical trial)

  • 이전;오달석;이혜정;최선미;김종열
    • 한국한의학연구원논문집
    • /
    • 제13권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.

  • PDF

목적과 사양이 다른 다양한 인간 친화 로봇에 적용하기 위한 감성 행동 생성 방법 및 범용성 실험 (Emotional Behavior Decision Method and Its Experiments of Generality for Applying to Various Social Robot Systems)

  • 안호석;최진영;이동욱
    • 전자공학회논문지SC
    • /
    • 제48권4호
    • /
    • pp.54-62
    • /
    • 2011
  • 감성 행동을 표현하는 것은 인간 친화 로봇의 필수 요소 중 하나이다. 하지만 감성 행동은 로봇의 목적이나 사양에 따라서 달라지기 때문에 감성 행동을 생성하고 표현하는 방법은 로봇마다 다르다. 따라서 본 논문에서는 로봇의 목적이나 사양에 상관없이 다양한 인간 친화 로봇에 적용될 수 있는 감성 행동 생성 방법을 제안한다. 먼저 감성 행동 생성 방법의 입력 값으로 다중 감정값을 이용한다. 다중 감정 공간을 이용하여 각 감정이 독립적으로 존재할 수 있기 때문에 로봇의 목적에 따라 사용하고자 하는 감정을 취사선택할 수 있다. 로봇의 사양에 따라서 표현할 수 있는 방법이 다르므로, 로봇의 표현 부위를 나누고, 각 표현 부위별로 표현할 수 있는 행동을 데이터화한다. 이렇게 나누어진 행동들을 단위 행동이라고 정의하며, 각 단위 행동이 표현할 수 있는 감정에 대한 반영도를 결정한다. 그리고 이를 이용하여 주어진 다중 감정값에 최적화된 단위 행동 조합을 결정한다. 이 과정을 사양과 목적이 다른 사이버 로봇 시뮬레이터, 3D 캐릭터 헤드 로봇, 기계적인 설계 기반의 헤드 로봇 등에 적용함으로써 제안한 방법의 범용성을 실험한다.

일본 도시민 대상 설문조사 자료를 이용한 도농교류 행태 및 의식에 관한 한일 인식차이 비교 (Difference in Behavior and Recognition about Urban Rural Exchange of Urban Residents between Korea and Japan)

  • 최정민
    • 한국농촌건축학회논문집
    • /
    • 제15권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.

Type Object Class에 의한 Type Object 디자인 패턴의 런타임 클래스 참조문제의 해결 (Resolving the Runtime Class Reference Problem of the Type Object Design Pattern by Type Object Class)

  • 김윤호
    • 한국정보통신학회논문지
    • /
    • 제11권3호
    • /
    • pp.500-506
    • /
    • 2007
  • Type Object 디자인 패턴은 하나의 클래스가 수많은 하위 클래스를 갖거나, 그 하위 클래스의 개수를 소프트웨어 개발시에 예측할 수 없는 상황을 해결하고자 제시된 패턴이다. 그러나, 이 패턴은 적용력과 여러 장점에도 불구하고 인스턴스를 생성하는 클래스와 그 인스턴스의 실제적 클래스가 분리되어 있고 또한 객체 레퍼런스에 의해서 서로 연관되어 있으므로 이에 대한 관리를 위한 메커니즘과 패턴의 이해에 있어서 많은 복잡성을 갖는 문제점이 있다. 본 논문에서는 이러한 문제를 해결하기 위한 Type Object Class의 설계와 구현을 제시한다. 즉, Type Object 패턴의 Type Class와 Object Class로부터 Type Object Class를 설정하고, 이를 런타임에 생성되고 사용되게 함으로써, 인스턴스들이 객체 지향프로그래밍 언어에서 제공하는 고유의 클래스를 참조하게 되어 별도의 클래스 참조 메커니즘을 가질 필요가 없도록 하였다. 따라서, 별도의 클래스 참조 메커니즘을 개발하는 부담과 이 메커니즘의 동작으로 인한 실행 상의 성능 저하의 문제가 개선되는 효과가 있다.

Combined influence of porosity and elastic foundation parameters on the bending behavior of advanced sandwich structures

  • Malek Hadji;Abdelhakim Bouhadra;Belgacem Mamen;Abderahmane Menasria;Abdelmoumen Anis Bousahla;Fouad Bourada;Mohamed Bourada;Kouider Halim Benrahou;Abdelouahed Tounsi
    • Steel and Composite Structures
    • /
    • 제46권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.

Ginsenoside Rg1 treatment protects against cognitive dysfunction via inhibiting PLC-CN-NFAT1 signaling in T2DM mice

  • Xianan Dong ;Liangliang Kong ;Lei Huang ;Yong Su ;Xuewang Li;Liu Yang;Pengmin Ji ;Weiping Li ;Weizu Li
    • Journal of Ginseng Research
    • /
    • 제47권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 (Ca2+) in brain tissues. Results: Rg1 therapy improved memory impairment and neuronal injury, decreased ROS, IP3, and DAG levels to revert Ca2+ 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.