• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 춘계학술발표대회
• /
• pp.345-347
• /
• 2023

Rust has gained popularity as a memory safe systems programming language. At the center of its memory safety is a strict memory ownership model with stringent rules enforced by the compiler. This paper aims to shed light on this memory safety model and the role smart pointers play towards its success. We study specific smart pointers, their purposes and contribution to Rust's memory safety. We further explore weaknesses of these smart pointers and their APIs, and provide scenarios under which they may lead to memory vulnerabilities in Rust programs.

• 한국안전학회지
• /
• 제24권5호
• /
• pp.1-5
• /
• 2009

NiTiCu alloys can produce a large force per unit volume and operate with a simple mechanism. For this reasons, it has been widely studied for application as a micro actuator. So in this study, one-way and two way shape memory effects of Ti-42.5at%Ni-2.0at%Cu alloys are studied. In the case of one-way shape memory effects, shape memory recoverable stress and strain of this alloys were measured by means of tension and compression tests under constant temperature. The strains by tension and compression stress were perfectly recovered by heating at any testing conditions also shape memory recoverable stress increased to 116 MPa in tension tests and to 260 MPa in compression tests. In the case of two-way shape memory effects, transformation temperatures from thermal cycling under constant uniaxial applied tension and compression loads linearly increased by increasing external loads and their maximum recoverable strain is 3.8% at 100MPa tensile condition and 2.2% at 125 MPa compression condition.

• 한국안전학회지
• /
• 제29권4호
• /
• pp.28-33
• /
• 2014

Recently, the actuator worked by the driving recovery-force of the thermo elastic martensitic transformation of shape memory alloys(SMA) has been studied. This paper presents a study on the fatigue life of shape memory alloy (SMA) actuators undergoing thermally induced martensitic phase transformation under various stress levels. shape memory recoverable stress and strain of Ti-44.5at.%Ni-8at.%Cu alloys were by means of constant temperature tensile tests. Differential scanning calorimetry (DSC) was employed in order to investigate the transformation characteristics of the alloy before the tests. the results were summarized as follows. The martensite inducing stress incerased with the increasing of the Cu-contents. The fatigue life decreased with the increasing of the test load and the Cu-content. The data acquired will be very useful during the design process of an SMA NiTiCu element as a functional part of an actuator.

• 한국안전학회지
• /
• 제24권1호
• /
• pp.26-30
• /
• 2009

Shape memory recoverable stress and strain of Ti-42.5at%Ni-10at%Cu alloys were measured by means of constant temperature tensile tests. The alloys' transformation behavior is B2 - B19 by DSC result. The strain by tensile stress were perfectly recovered by heating at any testing conditions but shape memory recoverable stress increased to 66MPa and then slightly decreased. Transformation temperatures from thermal cycling under constant uniaxial applied tensile loads linearly increased by increasing tensile load and their thermal hysteresis are about 110K and their maximum recoverable strain is 6.5% at 100MPa condition.

• 한국안전학회지
• /
• 제30권4호
• /
• pp.8-13
• /
• 2015

The magnetic shape memory alloys have recently received a lot of attention due to the considerable progress achieved in understanding the particular importance and the development of the factors. Among these alloys, the ferromagnetic Co-Ni- alloys have been concerned specially because of the thermoelastic character of the fcc (g) - bct (a) martensitic transformation which exhibits under the action of the temperature (shape memory effect), the stress (superelasticity) and the magnetic field (magnetoelasticity). The morphological, the crystallographical, and the thermal characteristics of thermally induced martensite in Co-35.3Ni-11.3Al(wt.%) and Co-28.1Ni-47.4Fe-3.3Ti (wt.%) alloy have been investigated by the scanning electron microscope (SEM), the X-ray Diffraction (XRD), and the differential scanning calorimeter (DSC).

• 대한임베디드공학회논문지
• /
• 제12권3호
• /
• pp.159-167
• /
• 2017

Software safety is a key issue in embedded system of automotive and aviation industries. Various software testing approaches have been proposed to achieve software safety like ISO26262 Part 6 in automotive environment. In spite of one of the classic and basic approaches, stack memory is hard to estimating exactly because of uncertainty of target code generated by compiler and complex nested interrupt. In this paper, we propose an approach of analyzing the maximum stack usage statically from target binary code rather than the source code that also allows nested interrupts for determining the exact stack memory size. In our approach, determining maximum stack usage is divided into three steps: data extraction from ELF file, construction of call graph, and consideration of nested interrupt configurations for determining required stack size from the ISR (Interrupt Service Routine). Experimental results of the estimation of the maximum stack usage shows proposed approach is helpful for optimizing stack memory size and checking the stability of the program in the embedded system that especially supports nested interrupts.

• IMMUNE NETWORK
• /
• 제6권2호
• /
• pp.93-101
• /
• 2006

Background: Memory T lymphocytes of the immune system provide long-term protection in response to bacterial or viral infections/immunization. Ag concentration has also been postulated to be important in determining whether T cell differentiation favors effector versus memory cell development. In the present study we hypothesized that naive Ag-specific $CD4^+$ T cells briefly stimulated with different Ag doses at the primary exposure could affect establishment of memory cell pool after secondary immunization. Methods: To assess this hypothesis, the response kinetics of DO11.10 TCR $CD4^+$ T cells primed with different Ag doses in vitro was measured after adoptive transfer to naive BALB/c mice. Results: Maximum expansion was shown in cells primarily stimulated with high doses of ovalbumin peptide $(OVA_{323-339})$, whereas cells in vitro stimulated with low dose were expanded slightly after in vivo secondary exposure. However, the cells primed with low $OVA_{323-339}$ peptide dose showed least contraction and established higher number of memory cells than other treated groups. When the cell division was analyzed after adoptive transfer, the high dose Ag-stimulated donor cells have undergone seven rounds of cell division at 3 days post-adoptive transfer. However, there was very few division in naive and low dose of peptide-treated group. Conclusion: These results suggest that primary stimulation with a low dose of Ag leads to better memory $CD4^+$ T cell generation after secondary immunization. Therefore, these facts imply that optimally primed $CD4^+$ T cells is necessary to support effective memory pool following administration of booster dose in prime-boost vaccination.

• Toxicological Research
• /
• 제33권2호
• /
• pp.165-171
• /
• 2017

Bisphenol A (BPA) is a monomer used in a polymerization reaction in the production of polycarbonate plastics. It has been used in many consumer products, including plastics, polyvinyl chloride, food packaging, dental sealants, and thermal receipts. However, there is little information available on the inhalation toxicity of BPA. Therefore, the aim of this study was to determine its inhalation toxicity and effects on the estrous cycle, spatial learning, and memory. Sprague-Dawley rats were exposed to 0, 10, 30, and $90mg/m^3$ BPA, 6 hr/day, 5 days/week for 8 weeks via whole-body inhalation. Mortality, clinical signs, body weight, hematology, serum chemistry, estrous cycle parameters, performance in the Morris water maze test, and organ weights, as well as gross and histopathological findings, were compared between the control and BPA exposure groups. Statistically significant changes were observed in serum chemistry and organ weights upon exposure to BPA. However, there was no BPA-related toxic effect on the body weight, food consumption, hematology, serum chemistry, organ weights, estrous cycle, performance in the Morris water maze test, or gross or histopathological lesions in any male or female rats in the BPA exposure groups. In conclusion, the results of this study suggested that the no observable adverse effect level (NOAEL) for BPA in rats is above $90mg/m^3$/6 hr/day, 5 days/week upon 8-week exposure. Furthermore, BPA did not affect the estrous cycle, spatial learning, or memory in rats.

• 대한교통학회지
• /
• 제27권4호
• /
• pp.127-135
• /
• 2009

도로 주행중 제공된 교통정보는 운전자의 단기기억에 저장되고 이는 수초가 지나면 기억에서 사라진다. 정보제공의 효과 평가시 더미변수를 이용하는 기존방법으로는 이러한 현상을 반영할 수 없는 한계가 있다. 보다 적절한 평가를 위해서, 본 연구는 전방 시야가 제약된 도심 신호교차로 접근로에서 실시한 주행실험 자료를 토대로 운전자의 단기기억을 고려한 차내 교통안전정보의 효용함수 특성화와 안전도 평가방법론을 제안한다. 이를 위해서, 운전자의 속도선택에 기초한 주행 안정성 평가모형을 순서 프로빗모형으로 개발하고, 교통운영, 기하구조, 도로환경, 운전자 요소를 동시에 고려하여 차내 교통안전정보의 효용함수를 추정하였다. 분석결과, 본 연구에서 제안한 차내 교통안전정보의 효용을 설명하는데 정규밀도 함수(지수함수)가 적합하고, 효용은 약 22초 동안 유지되며, 크기는 시간증가에 따라 감소하는 것으로 나타났다. 또한, 차내 실시간 교통안전정보의 중요도는 교통운영요소 보다는 낮고 기하구조요소 보다는 높은 것으로 분석되었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권5호
• /
• pp.187-194
• /
• 2021

사람의 행동인식(Action Recognition)은 사람의 관절 움직임에 따라 어떤 행동을 하는지 인식하는 것이다. 이를 위해서 영상처리에 활용되는 컴퓨터 비전 태스크를 활용하였다. 사람의 행동인식은 딥러닝과 CCTV를 결합한 안전사고 대응서비스로서 안전관리 현장 내에서도 적용될 수 있다. 기존연구는 딥러닝을 활용하여 사람의 관절 키포인트 추출을 통한 행동인식 연구가 상대적으로 부족한 상태이다. 또한 안전관리 현장에서 작업자를 지속적이고 체계적으로 관리하기 어려운 문제점도 있었다. 본 논문에서는 이러한 문제점들을 해결하기 위해 관절 키포인트와 관절 움직임 정보만을 이용하여 위험 행동을 인식하는 방법을 제안하고자 한다. 자세추정방법(Pose Estimation)의 하나인 AlphaPose를 활용하여 신체 부위의 관절 키포인트를 추출하였다. 추출된 관절 키포인트를 LSTM(Long Short-Term Memory) 모델에 순차적으로 입력하여 연속적인 데이터로 학습을 하였다. 행동인식 정확률을 확인한 결과 "누워있기(Lying Down)" 행동인식 결과의 정확도가 높음을 확인할 수 있었다.