• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.595-619
• /
• 2022

The purpose of this paper is to introduce an iterative algorithm for approximating a solution of split equality variational inequality problem for pseudomonotone mappings in the setting of Banach spaces. Under certain conditions, we prove a strong convergence theorem for the iterative scheme produced by the method in real reflexive Banach spaces. The assumption that the mappings are uniformly continuous and sequentially weakly continuous on bounded subsets of Banach spaces are dispensed with. In addition, we present an application of our main results to find solutions of split equality minimum point problems for convex functions in real reflexive Banach spaces. Finally, we provide a numerical example which supports our main result. Our results improve and generalize many of the results in the literature.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.1
• /
• pp.143-152
• /
• 2012

In this paper hardware implementation of GF($2^{191}$) elliptic curve cryptographic coprocessor which supports 7 operations such as scalar multiplication(kP), Menezes-Vanstone(MV) elliptic curve cipher/decipher algorithms, point addition(P+Q), point doubling(2P), finite-field multiplication/division is described. To meet structure resistant against simple power analysis, the ECC processor adopts the Montgomery scalar multiplication scheme which main loop operation consists of the key-independent operations. It has operational characteristics that arithmetic units, such GF_ALU, GF_MUL, and GF_DIV, which have 1, (m/8), and (m-1) fixed operation cycles in GF($2^m$), respectively, can be executed in parallel. The processor has about 68,000 gates and its simulated worst case delay time is about 7.8 ns under 0.35um CMOS technology. Because it has about 320 kbps cipher and 640 kbps rate and supports 7 finite-field operations, it can be efficiently applied to the various cryptographic and communication applications.

• Journal of Korean Society of Steel Construction
• /
• v.21 no.5
• /
• pp.471-481
• /
• 2009

The purpose of this study was to compare and analyze the compression behaviors of SSC (stiffened steel plate-concrete) and NSC (non-stiffened steel plate-concrete) structures, and to identify the effects of the increment in the structural performance of SSC structures. SCC structures are structures that integrate steel plates with line support from ribs (H-shape) and point supports from studs with concretes. On the other hand, NSC structures are structures that integrate steel plates with point supports from studs with concrete. The following results were obtained in this study. First, compared with NSC structures, it was shown that SSC structures have advantages in terms of preventing steel plate buckling and delaying quick destruction through the brittleness of concrete. In addition, the SSC structures showed a 5-28% increment in maximum compressive strength, which far surpassed that shown by the NSC structures.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.159-162
• /
• 2006

In ubiquitous computing environments, which can be connected to the networks any time any where, wearable computers frequently will be changed their network connection point. Therefore, the demand of the mobility support service becomes more important. The mobility support mechanism allows a wearable computer to continue the existing services without the modification for the network configuration of wearable computer even if wearable computer changes the network connection point during its moving. In this paper, we design the component based middlewear for the mobility supports of wearable computers, propose the method of the mobility support service. This method tunnels the existing data to wearable computer using Mobile IP protocol even if a wearable computer moves to other network after recomposing dynamically the mobility support component in wearable middlewear.

• Korean Management Science Review
• /
• v.19 no.1
• /
• pp.197-224
• /
• 2002

Our study focuses on the implementation of IS development methodology as the innovation of IS organization. We have two main research objectives. We Intend to understand the critical factors affecting the implementation process of IS methodology. We also intend to deeply analyze the relationship among the implementation processes of methodology. The whole innovation process is divided into detailed four levels tilth dynamic and evolving Point of clew a cognition level, an adoption level, an acceptance level and an usage level. The results of our study are as follows. The main factors affecting initiation level of the IS methodology are the innovativeness of IS members, the existence of champion manager, training, the existence of IS performance gap, executive supports for IS organization, and the relative advantage of IS development methodology At the Implementation level, It is understood that the existence of champion manager executive supports, training and the relative advantage of innovation are the main factors. However, the complexity of Innovation is a megative factor about the quality of accepting and using the methodology In Innovation process. In performing the Innovation process, the Previous level gives very notable affection to the continuous next level. However it's also understood that positive attitude of adoption level does not directly affect the quality of using Innovation. Therefore, IS managers must pay attention to manacle each level of the Innovation Process to successfully accomplish the Implementation of IS methodology.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1776-1781
• /
• 2008

To reduce interior noise of running vehicles, a floating floor construction has been widely used in recent railway industry. Among the key factors of the floating floor design, dynamic stiffness is of most important in acoustical point of view. Sometimes hard rubber type supports have often been selected due to the other design constraints such as heavy load condition, durability of rubber element and its cost etc., even though it seems like the softer support, the better isolation of noise and vibration. In this paper two representative floor supports have been considered to evaluate their effectiveness in interior noise contribution: one is a soft rubber and another is a relatively hard one. From the measured dynamic stiffness of the specimens, equivalent stiffness of actual floating floor has been derived to use in the analytical models. Calculated air-borne and structure-borne noise insulation properties of the floating floors have been compared with experiments in prototype car. In full car model interior noise levels of running vehicles have been predicted to quantify the effectiveness of the two different floating support materials and verified through the measured inside noise levels of actual train as well. By comparison with difference of running noise levels two materials for floor support can be investigated quantitatively so that it could be applied in floating floor design.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.1
• /
• pp.33-41
• /
• 2019

We propose an embedded solution to design a high-speed and high-accuracy 16bit analog-digital signal processing interface for the control systems using various external analog signals. Choosing TMS320F28377D micro controller unit (MCU) featuring high-performance processing in the 32-bit floating point operation, low power consumption, and various I/O device supports, we design and build the proposed system that supports both 16-bit analog-digital converter (ADC) interface and high precision digital-analog converter (DAC) interface. The ADC receives voltage-level differential signals from fully differential amplifiers, and the DAC communicates with MCU through 50 MHz bandwidth high-fast serial peripheral interface (SPI). We port the boot loader and device drivers to the implemented board, and construct the firmware development environment for the application programming. The performance of the entire implemented system is demonstrated by analog-digital signal processing tests, and is verified by comparing the test results with those of existing similar systems.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.8
• /
• pp.140-146
• /
• 2020

The purpose of this study was to investigate the relationship among leisure supports, flow, and wellness of active senior leisure active participants. The subjects of the study were adults recruited from Seoul, Gyeonggi-do, and Jenla-do. For data processing, frequency, reliability, confirmatory factor, correlation, and structure equaling modeling analyses were conducted. The results were as follows. First, leisure supports of active seniors had an influence on leisure flow (p<.01). Second, leisure supports of active seniors had an influence on wellness (p<.01). Third, leisure flow of active seniors had an influence on wellness (p<.01). At this point in time as an aging society, active seniors are participating in leisure activities in a continuous pursuit of a healthy and happy old age by identifying the relationship between leisure support, leisure flow and wellness. This study suggests that our society should make an effort to participate in leisure and wellness activities.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.313-315
• /
• 2010

In this paper, we describe research results of developing hardware rasterizer that is applicable to mobile 3D graphics system, designed in SIMD architecture and verified in FPGA. Tile-based scan conversion unit is designed like SIMD architecture running four tiles simultaneously and each tile traverses pixels hierarchical in 3-level so that visiting counts is minimized. As experimental results, $8{\times}8$ is the most efficient size of tile and the last step of tile traversing is performed on $2{\times}2$ sized subtile. The rasterizer supports flat shading and gouraud shading and texture mapper supports affine mapping and perspective corrected mapping. Also, texture mapper supports point sampling mode and bilinear interpolating sampling mode and two types of wrapping modes and various blending modes. The rasterzer operates as 120Mhz on xilinx vertex4 $l{\times}100$ device. To easy verification, texture memory and frame buffer are generated as block rom and block ram.

• Structural Engineering and Mechanics
• /
• v.90 no.2
• /
• pp.159-175
• /
• 2024

In order to solve the problem of calculating the reasonable completed bridge state of a self-anchored hybrid cable-stayed suspension bridge (SA-HCSB), this paper proposes an analytical method. This method simplifies the main beam into a continuous beam with multi-point rigid supports and solves the support reaction forces. According to the segmented catenary theory, it simultaneously solves the horizontal forces of the main span main cables and the stay cables and iteratively calculates the equilibrium force system on the main beam in the collaborative system bridge state while completing the shape finding of the main span main cable and stay cables. Then, the horizontal forces of the side span main cables and stay cables are obtained based on the balance of horizontal forces on the bridge towers, and the shape finding of the side spans are completed according to the segmented catenary theory. Next, the difference between the support reaction forces of the continuous beam with multiple rigid supports obtained from the initial and final iterations is used to calculate the load of ballast on the side span main beam. Finally, the axial forces and strains of each segment of the main beam and bridge tower are obtained based on the loads applied by the main cable and stay cables on the main beam and bridge tower, thereby obtaining analytical data for the bridge in the reasonable completed state. In this paper, the rationality and effectiveness of this analytical method are verified through a case study of a SA-HCSB with a main span of 720m in finite element analysis. At the same time, it is also verified that the equilibrium force of the main beam under the reasonably completed bridge state can be obtained through iterative calculation. The analytical algorithm in this paper has clear physical significance, strong applicability, and high accuracy of calculation results, enriching the shape-finding method of this bridge type.