• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제53권2호
• /
• pp.69-75
• /
• 2004

In this paper, we propose the shape of extremely small thrust VCM for application of the Nanoindenter, which enables control of very small force and displacement. We performed optimization of the VCM shape using conjugated gradient method. And the purposes of optimization are the minimization of the permanent magnet size for the efficient systems, minimization of deviation of flux density from the air gap for operate on regular thrust and a linearization of thrust for a good control characteristic. The finite element method is used for characteristic analysis. The node moving method is used to redundant changes of design variables. As a result, the VCM produces a yew small force by the difference of flux density of lower part from higher one. Also, in a wide range of current (0［A］-1［A］), the VCM produces linear driving thrust by saturating the magnetic circuit path and operate on regular thrust by minimizing deviation of flux density of the air gap.

• 한국정보과학회논문지:정보통신
• /
• 제32권2호
• /
• pp.261-277
• /
• 2005

센서 네트워크에서는 베이스 노드와 다수의 센서 노드들간의 데이타 중심 (Data-centric) 기반의 통신 모델을 사용한다는 특징을 활용하여, 오버헤드를 최소화 하면서 최저 전력 라우팅 경로를 찾고, 또한 전체 네트워크의 수명을 최대화 시킬 수 있는 PAD (Power Aware Data-centric routing protocol)를 제안한다. PAD는 최저전력 라우팅 경로와는 상관없는 통신 링크를 제거한 최저전력특징그래프(Minimum Energy Property Graph)를 찾은 후, 오버혜드를 최소화 하고 slow convergence와 라우팅 경로의 루프 문제를 해결한 Distributed Data-centric Bellman-Ford Algorithm을 사용하여 라우팅 경로를 결정한다. 특히 PAD가 제안한 최저전력특징그래프를 찾는 알고리듬은 기존의 방식에 비해서 훨씬 빠르며, 간단하여 구현이 용이하면서도 가장 적은 수의 에지를 가지는 그래프를 구한다. 이는 기존의 방식이 사용하던 path-loss 모델만을 이용한 기하학적 계산과 복잡한 알고리듬을 path-loss 모델로부터 독립시켜 전력소모를 예측할 수 있는 어떠한 방법이든지 사용 가능하게 하고 또한 최단거리 알고리듬을 사용한 결과이다. PAD는 모든 과정을 분산된 방식으로 수행하며, 또한 최소의 오버헤드만을 가지므로, 다양한 센서 네트워크 응용에서 사용할 수 있을 것으로 기대한다.

• 인터넷정보학회논문지
• /
• 제12권2호
• /
• pp.47-53
• /
• 2011

무선센서네트워크에서 살포한 센서 중 일부의 결함이 발생하거나 에너지가 고갈될 시, 이동 센서(Mobile Sensor)들의 재배치로 결함이 발생한 지역(즉, 센싱 홀: Sensing Hole)을 복구할 수 있다. 수많은 바위 등이 즐비한 거친 지역에서는 바퀴 기반의 이동센서는 적당하지 않으므로 점프를 통해 이동이 가능한 홉핑 센서가 필요하다. 본 논문에서는 발생한 센싱 홀의 복구를 위한 재배치 문제 및 그에 따른 다양한 문제들을 살펴본다. 과거 홉핑 센서들을 이동시키기 위하여 단지 최단경로만을 고려하였으나, 본 논문에서는 최대 엇갈림 없는 경로 및 다중경로를 활용하여 또다른 센싱홀의 발생을 막을 수 있었다. 시뮬레이션 결과는 제안하는 기법들이 최단경로를 기반으로 한 기법에 비해 홉핑 센서의 균형적인 분배와 이동성공률에서 우수함을 보인다.

• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.976-985
• /
• 2017

낮은 비용으로 무선 네트워킹 인프라를 구축할 수 있는 무선 메쉬 네트워크에서는 제한된 무선 자원을 효율적으로 이용하기 위해 패킷 전송(특히, 불필요하게 중복되는 패킷 전송)을 신중하게 처리해야 한다. 본 논문에서는 컨트롤러를 통한 중앙 집중식의 관리가 가능한 소프트웨어 정의 네트워킹 기반의 무선 메쉬 네트워크에서 불필요하게 중복 전송되는 데이터의 양을 감소시키기 위해 경량화된 중복 제거기법을 제안한다. 제안하는 중복 제거 기법은 감소되는 트래픽 양을 극대화하기 위해 컨트롤러가 1) 기계학습 기반의 정보 요청, 2) ID기반의 소스 라우팅, 3) 인기도 기반의 캐쉬 업데이트를 통해 중복 제거 효과를 극대화시킬 수 있는 최적의 경로를 결정한다. 시뮬레이션 결과는 제안하는 기법을 통해 전체 트래픽 부하를 18.34%-48.89% 만큼 감소시킬 수 있음을 보여준다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권3호
• /
• pp.215-226
• /
• 2005

루프 불변 코드 이동(loop invariant code motion, LICM) 컴파일러 최적화는 비교적 많은 분석 작업을 필요로 하기 때문에 컴파일 시간이 수행 시간의 일부가 되는 자바 적시(Just-In-Time) 컴파일러에는 사용하기 쉽지 않다. "전통적인" LICM 기법에서는 보통 코드를 분석하여 레지스터의 정의-사용체인과 사용-정의 체인을 미리 만든 뒤 이를 바탕으로 코드 이동을 수행하는 데, 본 논문은 자바 가상 머신(Java virtual machine)이 스택 머신 (stack machine)이라서 좀 더 단순한 코드 형태를 생성한다는 특징을 이용하여 정의-사용 체인을 루프 불변 코드에 대해서만 만들고 사용-정의 체인 없이도 정확히 동작하는 알고리즘을 제시한다. 또한 기존의 방식보다 더 많은 루프 불변 코드 이동을 하게 하는 두 가지 방법을 제시한다. 우선, 간단하기 때문에 루프에 경로가 하나인 경우만 LICM을 적용하는 기존의 기법과 달리, 경로가 여러 개인 루프에서도 부분적으로 중복되는 코드에 대해서도 LICM을 안전하게 적용한다. 또한 부분적으로 중복되는 루프 불변 널(null) 포인터 체크 코드도 Itanium의 조건 수행(predication)을 이용하여 이동시키다. 제안된 기법은 Itanium 마이크로프로세서를 위한 인텔의 ORP(Open Runtime Platform) 자바 가상 머신 위의 적시 컴파일러에 구현하였다. SPECjvm98 벤치마크에 대해 실험을 수행한 결과 전체 적시 컴파일 시간을 1.3％ 정도만을 증가시켰지만 전체 수행 시간을 기하 평균으로 2.2％ 향상 시켰다.

• 한국정보과학회논문지:정보통신
• /
• 제31권6호
• /
• pp.595-607
• /
• 2004

현재 네트워크에서는 호스트가 다중의 액세스 포인트를 통해 인터넷에 접속될 수 있는 경우를 빈번하게 발견할 수 있다. 본 논문에서는 하나의 사용자 플로우가 사용할 수 있는 가용대역폭을 높이기 위해 이들 다중 인터페이스로의 경로에 효율적으로 부하를 분산하는 방안을 제안하였다. 이를 위해 멀티호밍을 지원하는 새로운 연결기반 전송 계층 프로토콜 표준인 SCTP(Stream Control Transmission protocol)가 다중 인터페이스로 부하를 분산하도록 확장하였고, 이를 LS(Load Sharing) 모드 서비스라 명명하였다. LS 모드 서비스는 흐름 제어와 흔잡 제어를 분리하였으며, 혼잡 윈도우에 비례하여 각 인터페이스 경로에 데이타를 분배한다. 또한, 특정 경로에서의 손실이 다른 경로에 미치는 영향을 최소화하기 위해 중복적인 패킷 재전송을 하도록 하였으며, SACK이 순서대로 도착하지 않는 경우에도 수신자 윈도우를 제대로 파악할 수 있는 방안을 제안하였다. 이로 인해 LS 모드 서비스는 다중 인터페이스를 사용함으로 인해 발생하는 부작용을 최소화하는 동시에 가용대역폭 향상을 위한 효율적인 부하 분산을 한다. 시뮬레이션을 통해 제안하는 방안이 경로 간 대역폭 차이에 관계없이 두 경로에서 가용한 대역폭의 합에 가까운 작업량을 달성함을 볼 수 있었다 또한 지연이 투 배까지 되는 경로를 사용할 때에도 단일 경로 사용에 비해 20%의 성능향상을 가져올 수 있음을 보았다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권1호
• /
• pp.75-79
• /
• 2010

최근 무선 센서 네트워크는 광범위한 분야에서 적용되어 사용되고 있다. 많은 수의 센서 노드 간의 통신으로 이루어지는 무선 센서 네트워크는 각 센서 노드에 부착된 센서들을 이용하여 주변 환경의 데이터를 획득한다. 네트워크 결함이나 토폴로지 변화와 같은 가변적인 상황에서도 질의 결과의 높은 정확도를 위한 설계 요구조건 및 적합한 라우팅 알고리즘을 구성하는 것은 중요하다. 본 논문에서는 네트워크 결함이나 토폴로지 변화에서도 높은 정확도를 보이는 새로운 라우팅 기법을 제안한다. 응용에 따라 수 개의 단일 경로 기반의 라우팅 트리를 생성하고 수집된 결과에서 가장 높은 정확도를 보이는 데이터를 최종 질의 결과로 반환한다. 제안하는 기법의 우수성을 보이기 위해 시뮬레이션을 통해 기존에 제안된 라우팅 기법과 성능을 비교하였다. 그 결과 기존의 기법과 마찬가지로 정확도가 높은 결과를 보였음에도 데이터 전송량을 약 70% 감소시키는 것을 확인할 수 있었다.

• 인터넷정보학회논문지
• /
• 제23권5호
• /
• pp.1-7
• /
• 2022

무선 인체 영역 네트워크(WBAN)와 바이오센서를 활용하는 IoT기술은 자원을 최소화 하고 환자를 모니터링 하는 보건산업에서 중요한 분야이다. IoT와 WBAN을 보다 효율적으로 통합하기 위해서는 WBAN의 제한된 자원 센서노드와 효율적인 데이터 전송을 위한 신속 정확한 라우팅을 구성하는 협력 프로토콜이 필요하다. 본 논문은 중복 데이터 전송감지, 제한된 네트워크 센서의 수명연장 문제를 해결하기 위해 에너지 효율적이고 협력이 가능한 링크 에너지 효율적인 라우팅 전략(LEERS)을 제안한다. 제안된 기법은 잔류에너지 싱크쪽으로 가는 홉수 노드 혼잡 수준 및 대역폭과 효율적인 매개변수를 고려한다. 또한 노드의 경로비용함수를 결정하고 효과적인 멀티홉 라우팅을 제공함으로서 잔류에너지와 처리량 측면에서 효율성이 향상됨을 보인다.

• Genomics & Informatics
• /
• 제4권1호
• /
• pp.45-47
• /
• 2006

D2GSNP is a web-based server for the selection of single nucleotide polymorph isms (SNPs) within genes related to human diseases. The D2GSNP is based on a relational database created by downloading and parsing OMIM, GAD, and dbSNP, and merging it with positional information of UCSC Golden Path. Totally our server provides 5,142 and 1,932 non-redundant disease genes from OMIM and GAD, respectively. With the D2GSNP web interface, users can select SNPs within genes responding to certain diseases and get their flanking sequences for further genotyping experiments such as association studies.

• ETRI Journal
• /
• 제9권1호
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.