• East Asian mathematical journal
• /
• 제27권3호
• /
• pp.339-348
• /
• 2011

B. C. Berndt [6] has evaluated the transformation formula for a large class of functions that includes and generalizes the classical Dedekind eta-function. In this paper, we consider a twisted version of his formula. Using this transformation formula, we derive modular trans-formation formulas for the generating functions for cranks which were central to deduce K. Mahlburg's results in [11].

• 호남수학학술지
• /
• 제38권3호
• /
• pp.479-494
• /
• 2016

In this paper, using a transformation formula for a certain series which comes from the generalized non-analytic Eisenstein series, we obtained some infinite series identities which contain Ramanujan's formula and author's previous results.

• Korean Journal of Mathematics
• /
• 제20권4호
• /
• pp.451-461
• /
• 2012

B.C. Berndt has established many relations between various infinite series using a transformation formula for a large class of functions, which comes from a more general class of Eisenstein series. In this paper, continuing his study, we find some infinite series identities.

• Korean Journal of Mathematics
• /
• 제30권1호
• /
• pp.25-42
• /
• 2022

In this paper, we derive analogues of a couple of classes of infinite series identities with the confluent hypergeometric functions involving Dirichlet characters.

• 한국시뮬레이션학회논문지
• /
• 제11권2호
• /
• pp.77-88
• /
• 2002

Petri nets is a widely used formalism for specification and analysis of concurrent systems which is a subclass of discrete event systems. The DEVS (Discrete Event System Specification) formalism provides a general framework for specification of discrete event systems in a hierarchical, modular form. Often, modeling a discrete event system may employ both Petri Nets and DEVS formalism. In such a case low-level operational logics are modeled by Petri Nets and high-level managements by the DEVS formalism. Analysis of the system requires simulation of the overall system. This paper presents an algorithm for transformation of Petri Nets to DEVS formalism. The transformation enables modelers to simulate an overall system, which consists of DEVS models and Petri Nets models, in a unified DEVS simulation environment such as DEVSim++. An example for such transformation will be given.

• 호남수학학술지
• /
• 제39권4호
• /
• pp.561-568
• /
• 2017

Hurwitz zeta function occurs in various parts of mathematics. In particular, it plays an important role in some area of number theory. In this paper, using a certain transformation formula, we find some identities of relations between ${\zeta}(2n+1)$ and ${\zeta}(2n+1,{\alpha})$ for special values of ${\alpha}$.

• 한국건설관리학회논문집
• /
• 제18권3호
• /
• pp.33-41
• /
• 2017

모듈러 시방서는 모듈제작, 운송, 설치에 필요한 요구사항을 기술하는 계약문서이다. 그러나 기존 모듈러 시방서의 문제점은 모듈러 공사에서 요구하는 성능수준을 보장해주지 못하고 공사별 특성을 배제한 채 건축공사 표준시방서의 내용을 그대로 차용하고 있다는 것이다. 본 연구에서는 모듈러 건축의 품질개선 방안으로 모듈러 특성에 적합한 공사시방서를 제안하였다. 연구의 범위는 하자발생이 높은 방수공사 및 기계설비공사에 한하여 진행하였다. 본 연구에서 제안하는 모듈러 시방서 개선방안은, 1) 마스터 포맷에 따른 descriptive형식의 서술, 2)누수점검 및 검사 항목 반영, 3) 모듈러 특성을 고려한 시방서 내용 작성이다. 개선안을 전문가 면담을 통해 검증하였으며 이와 같은 개선방안이 모듈러 공사시방서를 보완하여 향후 모듈러 건축의 품질향상을 가져올 수 있을 것으로 평가하였다. 본 연구에서 제안하는 시방서 개선안은 전체 공사시방서 작성의 가이드가 될 수 있으며, 이를 통해 모듈러 건축의 하자발생률을 낮추는데 큰 영향을 미칠 수 있을 것이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.732-735
• /
• 2008

RSA 암호 알고리즘의 고속 연산에 핵심이 되는 법 곱셈 (modular multiplication)을 고속으로 처리하기 위해서 몽고메리 알고리즘이 연구되고 발전되어 왔다. 이 몽고메리 알고리즘에서는 법 곱셈에 나눗셈이 들어가지 않기 때문에 빠른 법 곱셈 연산을 수행할 수 있다. 하지만, 일반 잉여 형태의 숫자를 몽고메리 표현 형태로 변환하고 이후에 결과를 다시 일반 잉여 형태로 변환하는 과정에서 별도로 연산이 필요하게 된다. 1024 비트 이상의 고비도의 RSA 연산을 수행하기 위해서는 키 비트를 워드 단위로 쪼개어 다진법 개념을 도입하여 연산할 수가 있다. 본 논문에서는 몽고메리 알고리즘을 개선시키기 위하여 오퍼랜드 스캐닝 개념을 도입한 방법을 연구하여 비교하였다. 각각의 방법은 최적화에 대한 이슈, 메모리 공간에 대한 이슈, 연산 시간에 대한 이슈를 고려 대상으로 한다.

• 조명전기설비학회논문지
• /
• 제25권8호
• /
• pp.122-131
• /
• 2011

In this paper, the design and analysis of a reconfigurable modular structure, which reforms itself according to the change of the environment and realize appropriate forms and motions, are dealt with. This modular is a free structure from the restrictions with constraints about fixed environment and has various forms and motions by combining units. The form of this unit has a shape of a square with 7 centimeters side each, and has a structure which can be combined in a chain-shape or a lattice-shape. Additionally, The structure has a mobility by being equipped with wheels so that it can be combined for itself. In this paper, all the wireless controllers, sensor system, and communicating method between modules according to module structures were suggested and transformation method to be transformed to shape of snakes, caterpillars were presented. Moreover, simulations for each method were performed to show the validity of the motions including motor torque analysis. All the motions suggested were realized and experimented, whereby the availability of the designed mechanism and algorithm was verified with the result of experiments.

• 정보보호학회논문지
• /
• 제18권1호
• /
• pp.41-47
• /
• 2008

본 논문에서는 유한 필드 GF($2^m$)상에서 모듈러 곱셈과 제곱을 동시에 수행하는 새로운 디지트 단위 LSB-우선 시스톨릭 구조를 제안한다. 디지트의 크기를 L이라고 할 경우, $L{\times}L$ 크기의 디지트 구조로 유도하기 위하여 기존의 곱셈과 제곱을 동시에 수행하는 알고리즘을 사용하고, 그 알고리즘에서 유도된 구조의 각 셀을 분리하고 인덱스 변환시킨 후 병합하는 방법을 사용한다. 본 논문에서 제안된 구조는 암호 프로세서를 위한 기본 구조로 이용될 수 있고, 단순성, 규칙성, 병렬성으로 인해 VLSI 구현에 적합하다.