• Communications of the Korean Mathematical Society
• /
• v.26 no.4
• /
• pp.551-555
• /
• 2011

In this note, we will give a short proof of an identity for cubic partition function.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.761-766
• /
• 2013

We derive several modular equations and present their proofs based on concise algebraic computations. In addition, we establish explicit relations and formulas for some parameterizations for the theta functions ${\varphi}$ and ${\psi}$ and show some applications of the modular equations to evaluations of the cubic continued fraction and the theta function ${\psi}$.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.1
• /
• pp.6-11
• /
• 2003

Recently, the modular network was proposed in a way to keep the size of the neural network small. The modular network solves the problem by splitting it into sub-problems. In this aspect, fuzzy systems act in a similar way. However, in a fuzzy system, there must be an expert rule which separates the input space. To overcome this, fuzzy-neural network has been used. However, the number of fuzzy rules grows exponentially as the number of input variables grow. In this paper, we would like to solve the size problem of neural networks using modular network with the hierarchic structure. In the hierarchic structure, the output of precedent module affects only the THEN part of the rule. Finally, the rules become shorter being compared to the rule of fuzzy-neural system. Also, the relations between input and output could be understood more easily in the Proposed modular network and that makes design easier.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.32 no.5
• /
• pp.788-799
• /
• 2008

Since the late 20C, a lot of fashion designers have considered about new construction system in fashion. Many arguments about architectural form and construction system have being supported on enlargement of range of functionalism fashion through the consideration about new shape and combination among various any other spheres. Modular concept, which is able to divide complex construction of integration into separated basic unit and use various and liberal arrangements, is regarded alternative idea of economic construction that creates new shape and constructive beauty through the simple operation and changing combination continuously. Specially, fashion designs of Yoehlee Teng, John Ribber, and Galya Rosenfeld are estimated that they are effectively utilized architectural modular system pursuing multi-function and multi-change in fashion. Modular system utilized in fashion construction will be classified as follows: 1) layering system of Yoehlee Teng, 2) combine system of john Ribber, and 3) lego system of Galya Rosenfeld. This thesis will presents beneficial guide for simple and practical functionalism fashion design development in 21C.

• Journal of KIISE:Software and Applications
• /
• v.35 no.10
• /
• pp.636-652
• /
• 2008

In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term 'module' to mean a set of mutually recursive procedures and the term 'modular analysis' to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and context-sensitive pointer analysis algorithm based on the update history that can memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.7
• /
• pp.78-91
• /
• 1998

This paper presents modular design techniques of multiple-valued logic functions about the function decomposition method and input variable management method. The function decomposition method takes avantage of the property of the column multiplicity in a single-column variable partitioning. Due to the increased number of identical modules, we can achieve a simpler circuit design by using a single T-gate, which can eliminate some of the control functions in the module libraty types. The input variable management method is to reduce the complexity of the input variables by proposing the look up table which assign input variables to a code. In this case as the number of sub-functions increase the code-length and the size of the code-assignment table grow. We identify some situations where shard input variables among sub-functions can be further reduced by a simplicication technique. According to the result of adapting this method to a function, we have demonstrated the superiority of the proposed methods which is bing decreased to about 12% of interconnection and about 16% of T-gate numbers compare with th eexisting for th enon-symmetric and irregular function realization.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.788-793
• /
• 1995

For a linkage mechanism deiven by cam, cam profile is the major design factor and is determined by the motion type od cam follower. If a cam mechanism has additional kinematic linkages besides cam and follower then the follower motion should be specified form the motion of end linkage member so that cam would be able to generate the desired end linkage motion. In this paper, a cam-linkage mechanism is constructed with the combinations of modular linkage elements including cam and follower and as a resullt, a planar cam-linkage mechanism design software with the cam profile optimization function is developed and presented.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.2
• /
• pp.299-312
• /
• 2012

In 1970s, B. C. Berndt proved a transformation formula for a large class of functions that includes the classical Dedekind eta function. From this formula, he evaluated several classes of infinite series and found a lot of interesting infinite series identities. In this paper, using his formula, we find new infinite series identities.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.237-255
• /
• 2023

In this article, we find bases for the spaces of modular forms $M_2({\Gamma}_0(88),\;({\frac{d}{\cdot}}))$ for d = 1, 8, 44 and 88. We then derive formulas for the number of representations of a positive integer by the diagonal quaternary quadratic forms with coefficients 1, 2, 11 and 22.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.21 no.4
• /
• pp.328-334
• /
• 2016

This paper examines the reliability of a VSC-HVDC valve based on a modular multilevel converter (MMC) HVDC system. The main objective of this paper is to determine the redundancy of the MMC valve. Several prediction methods are introduced, but the binomial failure method is selected to be used. To determine the availability and reliability prediction of MMC valve, which comprises a DC/DC converter, a gate driver, a capacitor, and an IGBT, the failure data of the MMC module are used as the tracking data according to the experimental result. This method uses a simplified equation to find the valve redundancy by transforming the binomial function to De Moivre's formula. This method is the first to be used to find the valve margin.