• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 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.

• Journal of the Korean Society of Safety
• /
• 제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.

• Journal of the Korean Society of Safety
• /
• 제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.

• Journal of the Korean Society of Safety
• /
• 제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.

• Journal of the Korean Society of Safety
• /
• 제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).

• IEMEK Journal of Embedded Systems and Applications
• /
• 제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.

• Journal of Korean Society of Transportation
• /
• 제27권4호
• /
• pp.127-135
• /
• 2009

Most traffic information that drivers receive while driving are stored in their short-term memory and disappear within a few seconds. Contemporary modeling approaches using a dummy variable can't fully explain this phenomenon. As such, this study proposes to use utility functions of real-time in-vehicle traffic safety information (IVTSI), analyzing its safety impacts based on empirical data from an on-site driving experiment at signalized intersection approach with a limited visibility. For this, a driving stability evaluation model is developed based on driver's driving speed choice, applying an ordered probit model. To estimate the specified utility functions, the model simultaneously accounts for various factors, such as traffic operation, geometry, road environment, and driver's characteristics. The results show three significant facts. First, a normal density function (exponential function) is appropriate to explain the utility of IVTSI proposed under study over time. Second, the IVTSI remains in driver's short-term memory for up to nearly 22 second after provision, decreasing over time. Three, IVTSI provision appears more important than the geometry factor but less than the traffic operation factor.

• KIPS Transactions on Software and Data Engineering
• /
• 제10권5호
• /
• pp.187-194
• /
• 2021

A person's behavioral recognition is the recognition of what a person does according to joint movements. To this end, we utilize computer vision tasks that are utilized in image processing. Human behavior recognition is a safety accident response service that combines deep learning and CCTV, and can be applied within the safety management site. Existing studies are relatively lacking in behavioral recognition studies through human joint keypoint extraction by utilizing deep learning. There were also problems that were difficult to manage workers continuously and systematically at safety management sites. In this paper, to address these problems, we propose a method to recognize risk behavior using only joint keypoints and joint motion information. AlphaPose, one of the pose estimation methods, was used to extract joint keypoints in the body part. The extracted joint keypoints were sequentially entered into the Long Short-Term Memory (LSTM) model to be learned with continuous data. After checking the behavioral recognition accuracy, it was confirmed that the accuracy of the "Lying Down" behavioral recognition results was high.