• Journal of Computing Science and Engineering
• /
• v.3 no.4
• /
• pp.260-277
• /
• 2009

In this paper we propose a model for checking integrity constraints of mobile databases called Three-Level (3-L) model, wherein the process of constraint checking to maintain the consistent state of mobile databases is realized at three different levels. Sufficient and complete tests proposed in the previous works together with the idea of caching relevant data items for checking the integrity constraints are adopted. This has improved the checking mechanism by preventing delays during the process of checking constraints and performing the update. Also, the 3-L model reduces the amount of data accessed given that much of the tasks are performed at the mobile host, and hence speeds up the checking process.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2000.10a
• /
• pp.185-190
• /
• 2000

Die design by computer simulation has some advantages compared with the conventional method which has performed by designer's experiences and trials and errors. The die filling and solidification process of thixoforming process were simulated by MAGMAsoft/thixo module. First of all, thixoforming die design was applied to previously geometry shape. The value of pressure distribution shows high and uniform as the gate diameter is 18mm. Designed gating system considering the deformation of die and product was suggested by the filling simulation. Gate velocity(7.25m/s) of designed gating system shows that propriety to semi-solid metal working process and CAE results were in good agreement with experimental results.

• Journal of the Ergonomics Society of Korea
• /
• v.29 no.2
• /
• pp.249-255
• /
• 2010

The visibility evaluation is significant for the development of construction equipment. The visibility evaluation follows the standards of ISO 5006, ISO 14401-1, and ISO 14401-2. The evaluation contains the operator's visibility and the visibility of rear-view mirrors. The operator's visibility includes the visibility test which requires the recognition of the rectangular line surrounding the machine by one meter and the circle with a 12 meter radius. This study describes the two evaluation processes for the development of the wheel loader. The first process is the light bulb shadow test by using a prototype wheel loader. The second process is based on computer simulation in virtual space. The advantages and disadvantages of computer simulation process are investigated.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.7
• /
• pp.3720-3746
• /
• 2017

At present, numerous hospitals and medical institutes have implemented Telecare Medicine Information Systems (TMIS) with authentication protocols to enable secure, efficient electronic transactions for e-medicine. Numerous studies have investigated the use of authentication protocols to construct efficient, robust health care services, and recently, Liu et al. presented an authenticated key agreement mechanism for TMIS. They argued that their mechanism can prevent various types of attacks and preserve a secure environment. However, we discovered that Liu et al.'s mechanism presents some vulnerabilities. First, their mechanism uses an improper identification process for user biometrics; second, the mechanism is not guaranteed to protect against server spoofing attacks; third, there is no session key verification process in the authentication process. As such, we describe how the above-mentioned attacks operate and suggest an upgraded security mechanism for TMIS. We analyze the security and performance of our method to show that it improves security relative to comparable schemes and also operates in an efficient manner.

• Journal of Sensor Science and Technology
• /
• v.17 no.1
• /
• pp.35-40
• /
• 2008

Low power bridge type micro gas sensors were fabricated by micro machining technology with TMAH (Tetra Methyl Ammonium Hydroxide) solution. The sensing devices with different heater materials such as metal and poly-silicon were obtained using CMOS (Complementary Metal Oxide Semiconductor) compatible process. The tellurium films as a sensing layer were deposited on the micro machined substrate using shadow silicon mask. The low power micro gas sensors showed high sensitivity to NO with high speed. The pure tellurium film used micro gas sensor showed good sensitivity than transition metal (Pt, Ti) used tellurium film.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1995.03a
• /
• pp.147-154
• /
• 1995

In this paper, a computer-aided design system for axisymmetric deep drawing process will be described. An approach to the system is based on the knowledge based system. The system has been written in AutoLISP with personal computer. The system is composed of four main modules, such as input , geometrical design, test & rectification and user modification . The system which aids designer provides powerful capabilities for the design of axisymmetric deep drawing process.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.15 no.6
• /
• pp.664-670
• /
• 2015

A four-times-VDD switch that supports high and low voltage mode operations is demonstrated in a generic 65 nm logic process. The proposed switch shows the robust operation for supply voltages ranging from VDD to $4{\times}VDD$. A cascaded voltage switch and a voltage doubler based charge pump generate the intermediate supply voltage levels required for the proposed high voltage switch. All the high voltage circuits developed in this work can be implemented using standard logic transistors without being subject to any voltage overstress.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.6
• /
• pp.771-780
• /
• 2016

Detecting a set of longest paths is one of the crucial steps in static timing analysis and optimization. Recently, the process variation during manufacturing affects performance of the circuit design due to nanometer feature size. Measuring the performance of a circuit prior to its fabrication requires a considerable amount of computation time because it requires multi-corner and multi-mode analysis with process variations. An efficient algorithm of detecting the K-most critical paths in multi-corner multi-mode static timing analysis (MCMM STA) is proposed in this paper. The ISCAS'85 benchmark suite using a 32 nm technology is applied to verify the proposed method. The proposed K-most critical paths detection method reduces about 25% of computation time on average.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.10
• /
• pp.1799-1813
• /
• 2011

Many researches indicate that programming learning could help improve problem solving skills through algorithmic thinking. But in general, programming learning has been focused on programming language features and it also gave a heavy cognitive load to learners. Therefore, this paper proposes a programming activity process to improve novice programming learners' algorithmic thinking efficiently. An experiment was performed to measure the effectiveness of the proposed programming activity process. After the experiment, the learners' perception on programming was shown to be changed, to effective activity in improving problem solving.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.7 no.1
• /
• pp.1-6
• /
• 2007

In this study, we fill a person's shoes human knowledge use a computer fast and simple repetition in architecture design. this study are launched from a assumption that a optimized arrangement spaces are able to measure and gauge. but automatic space arrangement program is first step, we have a value that propose a differential cell space and valuation space and process of optimized space arrangement. the merits of this design process are as follows; 1. this program has a advantage high the building-to-land ratio land and business area in space design. 2.this program can design a economy building and calculate rent benefit and calculate cost of construction. 3. this program can adapt for digital GIS. this program can down cost in labor productivity. 5. a layman can design high level. the weak point of this design process are as follows; 1. the design product is simple box shape. 2. this program has a weak in large area and complicated land shape 3. complex use space design are difficult in this program.