• Journal of information and communication convergence engineering
• /
• v.6 no.4
• /
• pp.376-382
• /
• 2008

Developing highly cost-efficient and reliable embedded systems demands hardware/software co-design and co-simulation due to fast TTM and verification issues. So, it is essential that Platform-Based SoC design methodology be used for enhanced reusability. This paper addresses a reusable SoC platform based on OpenCores soft processor with reconfigurable architectures for hardware/software codesign methodology. The platform includes a OpenRISC microprocessor, some basic peripherals and WISHBONE bus and it uses the set of development environment including compiler, assembler, and debugger. The platform is very flexible due to easy configuration through a system configuration file and is reliable because all designed SoC and IPs are verified in the various test environments. Also the platform is prototyped using the Xilinx Spartan3 FPGA development board and is implemented to a single chip using the Magnachip cell library based on $0.18{\mu}m$ 1-poly 6-metal technology.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.53 no.1
• /
• pp.22-27
• /
• 2004

BiCMOS circuit consist of CMOS part which constructs logic function, and bipolar part which drives output load. In BiCMOS circuits, transistor stuck-open faults exhibit delay faults in addition to sequential behavior. In this paper, proposes a method for efficiently generating test pattern which detect stuck-open in BiCMOS circuits. In proposed method, BiCMOS circuit is divided into pull-up part and pull-down part, using structural property of BiCMOS circuit, and we generate test pattern using set theory for efficiently detecting faults which occured each divided blocks.

• The Pure and Applied Mathematics
• /
• v.19 no.3
• /
• pp.263-271
• /
• 2012

We introduce the concept of fuzzy $r$-minimal ${\beta}$-open set on a fuzzy minimal space and basic some properties. We also introduce the concept of fuzzy $r-M$ ${\beta}$-continuous mapping which is a generalization of fuzzy $r-M$ continuous mapping and fuzzy $r-M$ semicontinuous mapping, and investigate characterization for the continuity.

• Journal of the Society of Naval Architects of Korea
• /
• v.28 no.2
• /
• pp.21-27
• /
• 1991

This paper outlines the method of formulating the bi-cubic B-spline surface of ship hull, employing the open uniform knot vector as well as the periodic uniform knot vector. An appropriate set of B-spline control vertices to generate the B-spline surface is determined by obtaining the pseudoinverse matrix of basis functions. The comparison between the given offsets and the resulting coordinates from the generated ship hull surface shows a good agreement. To check the fairness of the surface Gaussian curvature is calculated on many small subpatches and displayed on the black-and-white plot of the isoparametric net of the surface.

• Research in Mathematical Education
• /
• v.22 no.1
• /
• pp.35-46
• /
• 2019

This study examines how open-ended tasks can be implemented with the support of redefined learning goals and teaching practices from a student-centered perspective. In order to apply open-ended tasks, learning goals should be adopted by individual student's cognitive levels in the classroom context rather than by designated goals from curriculum. Equitable opportunities to share children's mathematical ideas are also attainable through flexible management of lesson-time. Eventually, students can foster their meta-cognition in the process of abstraction of what they've learned through discussions facilitated by teachers. A pedagogical implication for professional development is that teachers need to improve additional teaching practices such as how to tailor tasks relevant to their classroom context and how to set norms for students to appreciate peer's mathematical ideas in the discussions.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.8 no.2
• /
• pp.57-71
• /
• 2002

Cervical pain is a rapid increase that is owing to a flexion-extension whiplash injury, unappropriated posture, chronical repetition injury from abdominal position of head and neck, excessive repeating work, chronical deficiency of excercise. Because of that is bring about muscle unbalance, tightness of cervical extensor muscle, weakness of cervical deep flexor muscles, instability of cervical region and reduction of proprioceptive sensor. Recent the role of muscle is more emphasized for preservation of sine stabilization. And cognition of integrated muscular system, importance for the operation and relation is increased to maintain stability of the motor system and pertinent function. Therefore we are going to introduce the sling exercise and stabilization exercise method for advanced efficient of cervical and upper limb and for the muscle strengthening to importance cervical stabilization through neurological program as control the reaction of cervical stabilization. Sling exercise therapy(SET) concept consists of a system of diagnosis and treatment. The system of diagnosis involves testing the muscle's tolerance through progressive loading in open and close kinetic chains. The SET system contains elements such as relaxation, increasing the range of movement, traction, training the stabilizing musculature, sensory-motor exercises, training in open and close kinetic chains, dynamic training of the mobilizing musculature, cardiovascular exercise, group exercise, personal exercise at home Sensory-motor training is an essential element of the SET concept. The emphasis is on closed kinetic chain exercise on an unstable surface, there by achieving optimum stimulation of the sensory-motor apparatus.

• Korean Management Science Review
• /
• v.10 no.2
• /
• pp.79-91
• /
• 1993

Strategic decisions related to the design of a physical distribution system can be classified into three basic components : facility location, transportation, inventory decisions. In this research the interdependence of those decisions are expressed in a mathematical model such that the total relevant cost of the system is minimized. We suggested a heuristic technique for solving the model. In broad terms, our solution technique combines a heuristic method for determining which candidate DCs to open and an exact method for minimizing costs given a set of open DCs. And we also developed a decision supporting package for the design of a physical distribution system.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.5 no.1
• /
• pp.59-63
• /
• 2005

In this paper, we introduce the concept of fuzzy m-sets induced by a given fuzzy supratopology and investigate general properties of the new class consisted of fuzzy m-sets. We also introduce notions of fuzzy m-continuity, fuzzy m-open(closed) maps and study some properties of them.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.353-358
• /
• 2009

In [6], the author introduced the concepts of $s\gamma$-open sets and $s\gamma$-continuous functions. In this paper, we introduce the concept of weak $s\gamma$-continuity which is a generalization of $s\gamma$-continuity and weak continuity and investigate characterizations for such functions.

• East Asian mathematical journal
• /
• v.23 no.1
• /
• pp.83-101
• /
• 2007

In this paper the concept of somewhat pairwise fuzzy continuous functions and somewhat pairwise fuzzy open functions are introduced. Some interesting properties of these functions are investigated besides giving some characterizations of these functions.