• Journal of applied mathematics & informatics
• /
• 제39권3_4호
• /
• pp.359-380
• /
• 2021

The main purpose and motivation of this work is to investigate and provide some new results for coefficients derived from eta quotients related to 3. The result of this paper involve some restricted divisor numbers and their convolution sums. Also, our results give relation between the coefficients derived from infinite product, infinite sum and the convolution sum of restricted divisor functions.

• 호남수학학술지
• /
• 제34권3호
• /
• pp.391-401
• /
• 2012

B. C. Berndt has found a transformation formula for a large class of functions, which comes from a transformation formula for a more general class of Eisenstein series. In this paper, using his formula which is 'twisted' by change of variables, we find a class of infinite series identities.

• 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.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.531-542
• /
• 1997

본 논문은 현재 국내에서 개발되고 있는 광대역종합정보통신망(HAN/B-ISDN:Highly Advanced Network/Broadband Interfrated Serives Difital Network)에서의 신호방식을 위한 망노드접면((NNI:Metwork Node Interface)에서 구조와 그 절차에 대해 응용 가능한 방안을 간단한 시나리오를 통하여 제시하고 있다. 최근의 기술들은 기존의 망에서 미래에 필요한 유연하고 통합된 망으로의진화를 고려하여 설계되고 있으며, 인터프라구조(Infrastrucuture)로써 하드웨어와 소프트웨어를 기반으로 모듈러되고 있는 추세이다. 또한 ATM(Asynchor-mous Transfer Mode)을 기반으로 하는 B-ISDN은 멀티미디어 등과 같이 복잡한 서비스와 다양한 대역폭을 사용하는 광대역 전상도 제공되어야 하며, 이들을 제어하기 위한 노드마다의 제어기능이 필요하게 된다. 현재 국내에서의 요구 사항은 연결 설정 구조 인 망노드 연결 유형을 기본으로 하되, 1차목표망에서 제한하고 있는 망가능만으로도 상호 운용성(Interoperability)이 보장되고 새로운 서비스에 융통성을 가질 수 있도록 상/하위 프로토콜이 적합성을 지니고 있어야 한다. 따라서 이러한 특성들을 갖춘(HAN-B-ISDN 의 사용자부(B-ISUP:B-ISDN User Part)에 해당하는 상위 계층 프로토콜의 모률러 구조를 제안한다. 본 논문에서는 현재 적용되고 있는 국내 B-ISUP 구조와 절차를 기술하고, 미래의 확정 가능한 모듈러 기능들에 대해서도 제안하고 있다.

• 산업경영시스템학회지
• /
• 제38권2호
• /
• pp.40-46
• /
• 2015

The modular assembly system can make it possible for the variety of products to be assembled in a short lead time. In this system, necessary components are assembled to optional components tailor to customers' orders. Budget for inventory investments composed of inventory and purchasing costs are practically limited and the purchasing cost is often paid when an order is arrived. Service cost is assumed to be proportional to service level and it is included in budget constraint. We develop a heuristic procedure to find a good solution for a continuous review inventory system of the modular assembly system with a budget constraint. A regression analysis using a quadratic function based on the exponential function is applied to the cumulative density function of a normal distribution. With the regression result, an efficient heuristics is proposed by using an approximation for some complex functions that are composed of exponential functions only. A simple problem is introduced to illustrate the proposed heuristics.

• 정보보호학회논문지
• /
• 제12권5호
• /
• pp.87-93
• /
• 2002

SHACAL은 NESSIE 프로젝트에 발표된 블록 암호로서 국제 해쉬 표준인 SHA-1에 기반한다. SHACAL은 XOR 연산, 덧셈에 대한 modular 연산 및 비트별 계산 가능한 부울 함수를 사용한다. 이러한 연산들과 부울 함수의 사용은 차분 공격을 어렵게 만든다. 즉, 비교적 높은 확률을 가지는 긴 라운드의 차분 특성식을 찾기 힘들게 한다. 그러나 SHACAL은 높은 확률의 짧은 차분 특성식들을 가지고 있으며, 이를 이용하여 36-step 부메랑 distinguisher를 꾸밀 수 있다. 본 논문에서는 36-step 부메랑 distinguisher를 이용하여 다양한 키 길이를 가지는 SHACAL의 축소된 라운드에 대한 확장된 부메랑 공격을 소개한다. 공격 결과를 요약하면 256 비트 키를 사용하는 39-step SHACAL과 512 비트 키를 사용하는 47-step SHACAL은 확장된 부메랑 공격이 가능하다.

• 한국항행학회논문지
• /
• 제18권5호
• /
• pp.437-444
• /
• 2014

모듈통합형 항공전자시스템은 연방형의 LRU (line replaceable unit)의 기능을 하나의 LRM (line replaceable module)에서 제공하고, 하나의 cabinet에 여러 개의 LRM을 탑재한다. IMA core 시스템의 VPM (video processing module)은 LRM으로써 ARINC 818 ADVB (avionics digital video bus)의 bridge 및 gateway 역할을 한다. ARINC 818은 광 대역폭, 적은 지연시간, 비 압축 디지털영상 전송을 위해 개발된 규격이다. VPM의 FPGA IP core는 ARINC 818 to DVI 또는 DVI to ARINC 818 처리와 video decoder, overlay 기능을 가진다. 본 논문에서는 VPM 하드웨어 구현에 대해 다루고, VPM 기능과 IP core 성능 검증 결과를 보인다.

• 감성과학
• /
• 제12권4호
• /
• pp.393-402
• /
• 2009

본 연구의 목적은 스마트 포토닉 의류와 관련된 다양한 기술 중 광섬유 발광 기능 의류 기술을 기반으로 하여, 스마트 포토닉 스포츠 의류를 위한 모듈화 디자인의 체계적인 방안을 모색하고, 인체 치수를 기반으로 한 광섬유-발광 모듈 조합에 따른 다양한 모듈화 디자인 모형을 제시하는데 있다. 이를 위하여 본 연구에서는 모듈화의 디자인 요건을 살펴보았고, 광섬유-발광 모듈의 크기와 부착 위치를 선정함에 있어서는 모듈화와 인체 치수와의 밀접한 연관성을 고려하여 연구를 진행하였다. 인체 치수와 더불어 컴퓨팅 기기의 적합한 부착 위치와 인체의 동작에 영향을 덜 받는 인체 부위를 종합적으로 고려하여 최종적으로 광섬유-발광 모듈을 부착하기에 적합한 인체상의 부위를 도출하였고, 이를 부위별 실측 치수와 함께 제시하였다. 이를 토대로 스마트 포토닉 의류의 3대 기능 중 스포츠 의류에 가장 필요하면서 적합하다고 판단되는 착용자 안전보호 기능을 중심으로, 스마트 포토닉 기능의 스포츠 의류 상의 재킷(jacket)의 모듈화 모형을 설계하여 제시하였다.

• Structural Engineering and Mechanics
• /
• 제61권6호
• /
• pp.795-806
• /
• 2017

According to the characteristics of continuous beam bridges, the relative displacement is too large to collision or even girder falling under earthquakes. A device named Cable-sliding Modular Expansion Joints(CMEJs) that can control the relative displacement and avoid collision under different ground motions is proposed. Working principle and mechanical model is described. This paper design the CMEJs, establish the restoring force model, verify the force model of this device by the pseudo-static tests, and describe and analyze results of the tests, and then based on a triple continuous beam bridge that has different heights of piers, a 3D model with or without CMEJs were established under Conventional System (CS) and Seismic Isolation System (SIS). The results show that this device can control the relative displacement and avoid collisions. The combination of isolation technology and CMEJs can be more effective to achieve both functions, but it need to take measures to prevent girder falling due to the displacement between pier and beam under large earthquakes.

• 영어어문교육
• /
• 제16권4호
• /
• pp.153-184
• /
• 2010

On the bases of the 5 principles and the 4 criteria for designing and developing of the listening and the reading test of National English Ability Test (NEAT), this study presents Item-Types Decision-Making Model as a blueprint for designing and constructing the two tests. It sets up the criteria for validating item types, designs a modular type of test specifications, constructs an item-types bank, and specifies a complementary type of test specifications of the two tests. To gather all these threads up, it constructs Item-Types Decision-Making Model which consists of such components as the item-type pool, the validity criteria and the procedures of testing item types, the item-types bank, the modular and the complementary type test specification. Thus, it shows how the Model works in developing and constructing the two level-differentiated listening and reading tests (the 2nd and the 3rd rank) of NEAT. Finally, it discusses some implications and applications of the Model to the two level-differentiated tests (the A and the B type) of 2014 CSAT (College Scholastic Ability Test) systems, National Assessment of Educational Achievement (NAEA), and classroom testing. In conclusion, Item-Types Decision-Making Model functions as a testing template in an item development system and as a matrix in an item-types bank system.