• 대한수학회논문집
• /
• 제26권4호
• /
• pp.551-555
• /
• 2011

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

• 대한수학회보
• /
• 제50권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}$.

• 한국지능시스템학회논문지
• /
• 제13권1호
• /
• pp.6-11
• /
• 2003

신경회로망은 최근 복잡하고 정형화가 어려운 문제의 해결을 위해 지능적인 기법이 제안되고 있다. 모듈라 네트워크는 복잡한 문제를 부문제로 나누어 해결한다. 퍼지 시스템은 복잡한 문제를 작은 부문제로 나누어 해결한다는 점에서 모듈라 네트워크와 유사하다. 하지만 퍼지 시스템의 경우에도 입력공간을 전문가가 직접 분할하고, 룰을 만들어야 한다는 단점이 있다. 이러한 단점을 해결하기 위해 퍼지 뉴럴 네트워크가 제안되었다. 하지만 입력의 증가에 따른 규칙수가 지수적으로 증가하는 문제점을 안고 있다. 본 논문에서는 이런 문제점을 계층적 구조를 설계함으로서 해결하였다. 또한, 제안된 구조는 앞선 모듈의 출력이 후건부에만 기여하는 구조를 사용하였다. 제안된 구조를 사용함으로써 입출력관계가 더욱 이해하기 쉬워졌으며, 설계의 어려움을 해결했다. 또한 룰이 수가 작다는 장점이 있다.

• 한국의류학회지
• /
• 제32권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권10호
• /
• pp.636-652
• /
• 2008

본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.

• 전자공학회논문지C
• /
• 제35C권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• 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.

• 충청수학회지
• /
• 제25권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.

• 대한수학회보
• /
• 제60권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.

• 전력전자학회논문지
• /
• 제21권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.