• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2018년도 추계 학술논문 발표대회
• /
• pp.143-144
• /
• 2018

This study the workability of synthetic resin form was examined through field application. results there was no warping or bulging of the mold during concrete placement in the field application. Also, the concrete surface finish of synthetic resin form was better than that of euro-form.

• Elastomers and Composites
• /
• 제55권2호
• /
• pp.137-146
• /
• 2020

Part 1 provides a theoretical introduction of the hydrolysis mechanism, while Part 2 introduces other types of reaction mechanisms after hydrolysis in elastomer and PA66 composites. We reviewed the condensation reaction, which occurs after hydrolysis in bi-functional alkoxy silane (TESPD & TESPT), and investigated its effects on the mechanical properties of the composites. We also reviewed activators such as zinc soap, which enhances the mechanical properties of silica-silane-filled elastomer composites. The interaction parameter of silica-silane-filled elastomer composites [α_C (alpha C)] were also discussed. The effects of hydrolysis on the mechanical property changes in plastic composites were compared and reviewed.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제54권7호
• /
• pp.458-461
• /
• 2005

Power dissipated during test application is substantially higher than power dissipated during functional operation which can decrease the reliability and lead to yield loss. This paper presents a new technique for power minimization during test application in full scan sequential circuits. This paper shows freezing of combinational logic parts during scan shift operation in test mode. The freezing technique leads to power to minimization. Significant power reduction in the scan techniques is achieved on ISCAS 89 benchmarks.

• Nonlinear Functional Analysis and Applications
• /
• 제28권3호
• /
• pp.775-791
• /
• 2023

In this manuscript, we prove the existence of the coupled coincidence point by using g-couplings in multiplicative metric spaces (MMS). Further we show that existence of a fixed point in ordered MMS having t-property. Finally, some examples and application are presented for attesting to the credibility of our results.

• Journal of applied mathematics & informatics
• /
• 제42권1호
• /
• pp.93-104
• /
• 2024

In this paper, we will prove a fixed point theorem for self-mappings on a generalized quasi-ordered metric space which is a generalization of the concept of a generalized metric space with a partial order and we investigate a genralized quasi-ordered metric space related with fuzzy normed spaces. Further, we prove the stability of some functional equations in fuzzy normed spaces as an application of our fixed point theorem.

• 시스템엔지니어링학술지
• /
• 제15권2호
• /
• pp.98-107
• /
• 2019

The defense system development process is a process of developing various systems that perform functions in various functional areas such as battlefield awareness, command control, force application, and logistical support. In other words, the defense system development process is a process of developing many systems simultaneously in various functional areas. Various systems developed through this process should be interoperable so that they can be integrated and operated in a joint warfighting environment. To successfully implement this, the US Department of Defense uses the Joint Capability Integrated Development System(JCIDS) for the defense system development, and within this JCIDS processes the Capability Based Assessment(CBA) methodology as its core technology. This CBA methodology transforms the mission activity requirements to functional capability requirements logically and transforms the functional capability requirements to system requirements logically also. Smart City is a city that improves the convenience and quality of life of the citizen by integrates various systems that perform various functions of the city and smarties various functional systems with smart services by using IT technology. In other words, defense system development and smart city development have a common feature of the process of developing many systems simultaneously in various functional areas. In order to address the problem of having to develop many systems simultaneously in each functional area, it is important to logically transform the various mission scenarios into functions and logically transform the functions into systems. Therefore, a joint capability integrated development system and its core methodology, Capability Based Assessment(CBA), can be applied to smart city development. This paper proposes a method for performing a smart city concept design method using the capability based evaluation (CBA) method.

• 제어로봇시스템학회논문지
• /
• 제6권12호
• /
• pp.1113-1119
• /
• 2000

To operate a process plant safely and economically, process monitoring is very important. Process monitoring is the task to identify the state of the system from sensor data. Process monitoring includes data acquisition, regulatory control, data reconciliation, fault detection, etc. This research focuses on the data recon-ciliation using scale-space filtering and fault detection using functional-link associative neural networks. Scale-space filtering is a multi-resolution signal analysis method. Scale-space filtering can extract highest frequency factors(noise) effectively. But scale-space filtering has too large calculation costs and end effect problems. This research reduces the calculation cost of scale-space filtering by applying the minimum limit to the gaussian kernel. And the end-effect that occurs at the end of the signal of the scale-space filtering is overcome by using extrapolation related with the clustering change detection method. Nonlinear principal component analysis methods using neural network have been reviewed and the separately expanded functional-link associative neural network is proposed for chemical process monitoring. The separately expanded functional-link associative neural network has better learning capabilities, generalization abilities and short learning time than the exiting-neural networks. Separately expanded functional-link associative neural network can express a statistical model similar to real process by expanding the input data separately. Combining the proposed methods-modified scale-space filtering and fault detection method using the separately expanded functional-link associative neural network-a process monitoring system is proposed in this research. the usefulness of the proposed method is proven by its application a boiler water supply unit.

• 대한인간공학회지
• /
• 제33권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
• /
• 제35권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.

• 대한임베디드공학회논문지
• /
• 제16권6호
• /
• pp.267-276
• /
• 2021

The automotive industry and academic research have been continuously conducting research on standardization such as AUTOSAR (AUTomotive Open System ARchitecture) and ISO26262 to solve problems such as safety and efficiency caused by the complexity of electric/electronic architecture of automotive. AUTOSAR is an automotive standard software platform that has a layered structure independent of MCU (Micro Controller Unit) hardware, and improves product reliability through software modularity and reusability. And, ISO26262, an international standard for automotive functional safety and suggests a method to minimize errors in automotive ECU (Electronic Control Unit)s by defining the development process and results for the entire life cycle of automotive electrical/electronic systems. These design methods are variously applied in representative automotive safety-critical systems. However, since the functional and safety requirements are different according to the characteristics of the safety-critical system, it is essential to research the AUTOSAR functional safety design method specialized for each application domain. In this paper, a software functional safety mechanism design method using AUTOSAR is proposed, and a new failure management framework is proposed to ensure the high reliability of the product. The AUTOSAR functional safety mechanism consists of memory partitioning protection, timing monitoring protection, and end-to-end protection. The fault management framework is composed of several safety SWCs to maintain the minimum function and performance even if a fault occurs during the operation of a safety-critical system. Finally, the proposed method is applied to the Shift-by-Wire system design to prove the validity of the proposed method.