• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.1270-1275
• /
• 2006

Korean Train Express (KTX) has opened to commercial traffic since 2004 at maximum speed 300km/h, and Korea High-speed Railway (HSR-350x) was developed by Korean government, several institutes, and related companies. HSR-350x is now being investigated its performance and tested at the high speed line. In 2004 December, HSR-350x was run over 350km/h and proved its running performance. In vehicle system, the faster the vehicle runs, the more vibration increases. To improve the riding comfort of high-speed trains, it needs to devise the vibration absorber. In this paper, we propose the installation of the semi-active damper to the power car of HSR 350x and present the specification and the damping characteristics.

• Proceedings of the CALSEC Conference
• /
• 1997.11a
• /
• pp.333-346
• /
• 1997

AP Modularization $\circledcirc$ PDES $\circledcirc$ Modular extension to AP203: plug ＆ play schema subsets $\circledcirc$ AM (appl. module) is an interpreted model $\circledcirc$ Similar to AIC $\circledcirc$ Use Express-X instead of mapping table $\circledcirc$ Building Blocks $\circledcirc$ Physical analogy: Sub-assembly(omitted)

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.7
• /
• pp.2638-2647
• /
• 2010

X-MAC reduces transmission delay and energy consumption by using a short preamble instead of the existing long preamble. To solve the problem of X-MAC, this paper proposes a new MAC protocol called Express-MAC. The wireless sensor network is mainly used for the purpose of gathering event data or situation information. Especially, the transmission pattern of the sensor network with the purpose of event detection such as intrusion detection is very intermittent as well as successively occurring when a single event takes place in most cases. By reflecting sensor network's key transmission patterns as above, EX-MAC has used multi-hub path's path reservation system and awake section's transmission time reservation method in data transmission when the first event takes place. The awake time reservation in transmission path has improved successive data transmission's end-to-end delay, and it has also increased efficiency in terms of energy consumption by reducing the preamble length of data transmission and reception node.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1814-1820
• /
• 2010

Korean Train Express (KTX) has been commercially operating and achieving elevation on transport capacity since 2004. And the first hish-speed prototype test train, HSR-350x, was developed and succeeded in testing of running over 350km/h. Now KTX-II based on HSR-350x was started in service run. The new high-speed train development project, HEMU-400x project, has started since 2007. The protype train is being designed and manufactured. After the train are developed completely, it will run on the commercial line and will be test to verify the estimated performance. The authors devised the performance evaluation method and process of the HEMU-400x prototype system. And we introduce the definite performance test items and the method to vitrificate them in this paper.

• Journal of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.595-611
• /
• 2001

Let Q(n,1) be the set of even unimodular positive definite integral quadratic forms in n-variables. Then n is divisible by 8. For A[X] in Q(n,1), the theta series $\theta$(sub)A(z) = ∑(sub)X∈Z(sup)n e(sup)$\pi$izA[X] (Z∈h (※Equations, See Full-text) the complex upper half plane) is a modular form of weight n/2 for the congruence group Γ$_1$(8) = {$\delta$∈SL$_2$(Z)│$\delta$≡()mod 8} (※Equation, See Full-text). If n$\geq$24 and A[X], B{X} are tow quadratic forms in Q(n,1), the quotient $\theta$(sub)A(z)/$\theta$(sub)B(z) is a modular function for Γ$_1$(8). Since we identify the field of modular functions for Γ$_1$(8) with the function field K(X$_1$(8)) of the modular curve X$_1$(8) = Γ$_1$(8)＼h(sup)* (h(sup)* the extended plane of h) with genus 0, we can express it as a rational function of j(sub) 1,8 over C which is a field generator of K(X$_1$(8)) and defined by j(sub)1,8(z) = $\theta$$_3$(2z)/$\theta$$_3$(4z). Here, $\theta$$_3$ is the classical Jacobi theta series.

• Communications of Mathematical Education
• /
• v.24 no.2
• /
• pp.445-474
• /
• 2010

The results of performing first survey after learning linear equation and second survey after 5 months to find out whether there is change in solving process while seventh grade students solve linear equations are as follows. First, as a result of performing McNemar Test in order to find out the correct answer ratio between first survey and second survey, it was shown as $p=.035^a$ in problem x+4=9 and $p=.012^a$ in problem $x+\frac{1}{4}=\frac{2}{3}$ of problem type A while being shown as $p=.012^a$ in problem x+3=8 and $p=.035^a$ in problem 5(x+2)=20 of problem type B. Second, while there were students not making errors in the second survey among students who made errors in the solving process of problem type A and B, students making errors in the second survey among the students who expressed the solving process correctly in the first survey were shown. Third, while there were students expressing the solving process of linear equation correctly for all problems (type A, type B and type C), there were students expressing several problems correctly and unable to do so for several problems. In conclusion, even if a student has expressed the solving process correctly on all problems, it would be difficult to foresee that the student is able to express properly in the solving process when another problem is given. According to the result of analyzing the reaction of students toward three problem types (type A, type B and type C), it is possible to determine whether a certain student is 'able' or 'unable' to express the solving process of linear equation by analyzing the problem solving process.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.32 no.11
• /
• pp.943-950
• /
• 2008

A novel nondestructive testing (NDT) system, which is able to detect a crack with high speed and high spatial resolution, is urgently required for inspecting small cracks on express train wheels. This paper proposes a high speed scan type magnetic camera, which uses the multiple amplifying circuits and the crack indicating pulse output system. The linearly integrated Hall sensors are arrayed in parallel, and the Hall voltages from each sensor in the scanning direction are obtained and amplified. High-speed NDT can be achieved by using the exclusive analog-digital converter and micro-processor because the ${\partial}\;V_H/\;{\partial}$ x value, which provides the most important crack information, can be obtained by buffering and calculating. The effectiveness of the novel method was verified by examine using cracks on the wheel specimen model.

• Korean Journal of Computational Design and Engineering
• /
• v.6 no.3
• /
• pp.147-156
• /
• 2001

In the construction industry, construction process includes a variety of design stages with cooperation and regulation by many related disciplines. In addition, the construction market is growing and becoming more complex. With this characteristic, design information has become more and more complicated and difficult to manage by the simple and traditional data management methodology. In the practical field, although CAD has been widely available for the last ten years, related disciplines have not shared digital information efficiently. This paper suggests a construction CAD data exchange model that has been developed through investigation and analysis of Korean construction CAD practices and foreign CAD standards. Moreover, this paper investigates a CAD data exchange model using STEP to improve information availability and overcome the limit of CAD systems.

• Kyungpook Mathematical Journal
• /
• v.57 no.4
• /
• pp.581-600
• /
• 2017

A classical result of A. Cohn states that, if we express a prime p in base 10 as $$p=a_n10^n+a_{n-1}10^{n-1}+{\cdots}+a_110+a_0$$, then the polynomial $f(x)=a_nx^n+a_{n-1}x^{n-1}+{\cdots}+a_1x+a_0$ is irreducible in ${\mathbb{Z}}[x]$. This problem was subsequently generalized to any base b by Brillhart, Filaseta, and Odlyzko. We establish this result of A. Cohn in $O_K[x]$, K an imaginary quadratic field such that its ring of integers, $O_K$, is a Euclidean domain. For a Gaussian integer ${\beta}$ with ${\mid}{\beta}{\mid}$ > $1+{\sqrt{2}}/2$, we give another representation for any Gaussian integer using a complete residue system modulo ${\beta}$, and then establish an irreducibility criterion in ${\mathbb{Z}}[i][x]$ by applying this result.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.4 no.1
• /
• pp.68-75
• /
• 2011

The performance of peripheral devices is improving rapidly to meet the needs of users for multimedia data. Therefore, the peripheral interface with wide bandwidth and high transmission rate becomes necessary to handle large amounts of data in real time for multiple high-performance devices. PCI Express is a fast serial interface with the use of packets that are compatible with previous PCI and PCI-X. In this paper, we design and verify general peripheral interface using serial link. It includes two kinds of traffic class (TC) labels which are mapped to virtual channels (VC). The design adopts TC/VC mapping and the scheme of arbitration by priority. The design uses a packet which can be transmitted through up to four transmission lanes. The design of general peripheral interface is described in Verilog HDL and verified using ModelSim. For FPGA verification, Xilinx ISE and SPARTAN XC3S400 are used.We used Synopsys Design Compiler as a synthesis tool and the used library was MagnaChip 0.35um technology.