• 제목/요약/키워드: Boolean

검색결과 513건 처리시간 0.034초

iATA 기반의 RAID5 분산 스토리지 서버의 설계 및 구현 (Design and Implementation of iATA-based RAID5 Distributed Storage Servers)

  • 왕숙미;임효택
    • 한국정보통신학회논문지
    • /
    • 제14권2호
    • /
    • pp.305-311
    • /
    • 2010
  • iATA는 TCP/IP 네트워크상에서 ATA 명령어를 전달하기 위해 개발된 블록-레벨 프로토콜로서, 모바일 기기의 스토리지 한계를 극복하기 위한 대안으로 활용 될 수 있다. 본 논문은 RAID5 분산 스토리지 서버 개념을 iATA에 적용하여 스토리지 서버의 신뢰성과 속도를 개선하고자 한다. 분산 스토리지 서버중 하나의 서버가 다운된 경우에 나머지 서버 데이터의 XOR 함수를 적용하여 데이터 회복이 가능하며 이를 통해 데이터의 신뢰성을 높일 수 있다. 벤치마킹 실험과 시험을 통해 제안된 iATA 프로토콜은 제한된 스토리지를 가지고 있는 모바일 기기상에서 효율적이 고도 신뢰성 있는 가상 스토리지 프로토콜로서 사용될 수 있음을 보여주고 있다.

키워드 분포를 고려한 효과적 특허검색기법 (Searching Patents Effectively in terms of Keyword Distributions)

  • 이우기;송종수;강민구
    • 정보화연구
    • /
    • 제9권3호
    • /
    • pp.323-331
    • /
    • 2012
  • 지식정보화 시대의 본격화와 함께 지식재산권, 그 중에서도 특허의 중요성이 더욱 커져가고 있다. 이에 따라 효율적인 특허정보 검색방법의 필요성이 높아지고 있지만, 기존의 특허검색 엔진은 불리언 모델을 기반으로 단어의 존재 여부만을 파악하는 방식으로 검색결과에 노이즈 데이터가 너무 많이 포함되어 특허 검색에 오랜 시간을 허비하게 만들므로 '전문검색가'들이 수동으로 찾아주고 있는 실정이다. 이에 본 논문에서는 기존의 일반적 문서검색과 특허검색과의 차이점을 밝히고, 기존 특허검색의 한계성을 분석한다. 나아가 특허검색에 특화된 효과적 방법론 제안하여 검색 키워드가 각 특허 문서 내에서 차지하는 중요도와 각 문서 내에서 키워드 사이의 관계성을 파악하고 이에 대한 랭킹을 정하여 키워드와 관계성이 높은 특허가 상위에 랭크하며 노이즈 데이터를 하위에 랭크 함으로써 검색 결과에서 노이즈 데이터의 비율을 대폭 줄이는 방법을 제안한다. 마지막으로 실험을 통하여 Kipris 검색 결과와 비교함으로써 제안한 방법론의 우수성을 입증하였다.

MCC 및 CCC에서의 최적 스택 필터를 위한 병렬 알고리즘 (Parallel Algorithm for Optimal Stack Filters on MCC and CCC)

  • 전병문;정창성
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제26권10호
    • /
    • pp.1185-1193
    • /
    • 1999
  • 최적 스택 필터는 시그널 또는 영상의 임의의 특성 정보를 보존하고자 하는 요구조건에 의해 강제된 구조적 제약 하에서 최대의 잡음제거 효과를 얻을 수 있다. 그리고 임계치 분할 특성과 양의 부울 함수에 기반한 이진 영역에서의 처리 특성은 이 필터가 높은 병렬성을 갖고 있음을 보여준다. 본 논문에서는 두 개의 병렬 계산 모델 MCC(Mesh-Connected Computer)와 CCC(Cube-Connected Computer)에서 최적 스택 필터를 위한 1차원 병렬 알고리즘을 개발한다. 최적 스택 필터의 실행 시간은 주로 이진 median 연산에 의해 결정되고 본 논문에서 제안된 알고리즘은 선형 분리성에 의해 이 연산을 구현한다. 이를 바탕으로, M 레벨의 1-D 시그널의 길이가 L이고 윈도우 폭이 N이라고 가정할 때, 제안된 알고리즘은 {{{{root M times root M`` MCC에서 O(L sqrt{M}`) 시간에 그리고 M 개의 PE를 갖는 CCC에서 O(L log M)시간에 수행될 수 있다. 또한 잡음을 더욱 효과적으로 제거하기 위해 윈도우 폭 N을 증가시킬 때, 제안된 병렬 알고리즘의 계산 시간은 일정하게 유지됨을 보인다.Abstract An optimal stack filter achieves the maximum noise attenuation under the structural constraints imposed by the requirement of preserving certain signal or image features. And the filter provides a high parallelism due to the principles of threshold decomposition and binary processing based on positive Boolean functions(PBFs). In this paper, we develop an one-dimensional parallel algorithm for the optimal stack filter on two parallel computation models, MCC(Mesh-Connected Computer) and CCC(Cube-Connected Computer). The running time of the optimal stack filter depends mainly on the binary median operation and our algorithm realizes this operation by the linear separability. Based on this scheme, our parallel algorithm can be performed in {{{{O(L sqrt{M}`) MCC and inO(L log M) time on CCC with M PEs, when the length of M``-valued 1-D signal is L`` and window width is N`` Also, we show that the computation time of our parallel algorithm keeps constant when the window width N increases in order to achieve the best noise attenuation.

한국어 웹 정보검색 시스템의 정확도 향상을 위한 연관 피드백 에이전트 (Relevance Feedback Agent for Improving Precision in Korean Web Information Retrieval System)

  • 백준호;최준혁;이정현
    • 한국정보처리학회논문지
    • /
    • 제6권7호
    • /
    • pp.1832-1840
    • /
    • 1999
  • 기존의 한국어 웹 정보 검색 시스템은 대부분이 불리언 검색 시스템이므로 사용자가 원하는 정보를 한 번의 질의에 의해 얻기가 매우 어렵다. 또한 생략이 빈번하고 링크가 많은 웹 문서의 특성상 기존의 역문헌 빈도에 의한 키워드 선정은 중의성의 문제를 가중시켜 부적절한 키워드가 추출된다. 따라서 원하는 정보를 얻을 때까지 사용자는 질의어의 수정을 반복한다. 본 논문에서는 이러한 문제를 해결하기 위해 연관 피드백(Relevace Feedback) 에이전트 시스템을 설계하고 구현하였다. 연관 피드백 에이전트 시스템은 사용자의 선호 키워드에 대한 적합 문서를 추출하여 선호 키워드를 선호 DB 테이블로 저장하였다가 사용자가 추후에 검색할 때 사용자 질의에 연관 키워드를 추가하여 검색한다. 이 결과로 사용자의 질의 수정의 횟수를 줄이고 검색 효율을 향상시킬 수 있었다.

  • PDF

논리함수처리에 의한 부분스캔순차회로의 테스트생성 (Test Generation for Partial Scanned Sequential Circuits Based on Boolean Function Manipulation)

  • 최호용
    • 한국정보처리학회논문지
    • /
    • 제3권3호
    • /
    • pp.572-580
    • /
    • 1996
  • 본 논문은 IPMT법에 부분스캔설계 방법을 적용하여, IPMT법의 적용 한계를 개선 한 순차회로의 테스트생성법에 관해 기술한다. IPMT법에서의 像계산(image computation) 시 방대한 계산량이 필요로한 문제점을 해결하기 위하여,부분스캔설계를 도입하여테스트 복잡도를 줄인 후 IPMT법으로 테스트생성을 한다. 부분스캔설계를 위한 스캔 플립플롭의 선택은 순차회로의 狀態 함수를 二分決定그래프가binary decision diagram) 로 표현했을 때의 노드의 크기 순으로 한다. 본 방법을 이용하여 ISCAS'89 벤치마크회로에 대해 실험 한 결과, 종래의 IPMT법 에서 100% 고장검출률을 얻을 수 없었던 s344, s420에 대해 20% 부분스캔으로 100%의 고장검출률을 얻었고, sl423에 대해서는 80%의 부분스캔으로 100% 고장검출률을 얻었다.

  • PDF

Cutting simulation을 이용한 End-milling cutter의 모델링 및 제작에 관한 연구 (End-mill Modeling and Manufacturing Methodology via Cutting simulation)

  • 김재현;박수정;김종한;박정환;고태조;김희술
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2005년도 추계학술대회 논문집
    • /
    • pp.456-463
    • /
    • 2005
  • This paper describes a design process of end-milling cutters: solid model of the designed cutter is constructed along with computation of cutter geometry, and the wheel geometry as well as wheel positioning data fur fabricating end-mills with required cutter geometry is calculated. In the process, the main idea is to use the cutting simulation method by which the machined shape of an end-milling cutter is obtained via Boolean operation between a given grinding wheel and a cylindrical workpiece (raw stock). Major design parameters of a cutter such as rake angle, inner radius can be verified by interrogating the section profile of its solid model. We studied relations between various dimensional parameters and proposed an iterative approach to obtain the required geometry of a grinding wheel and the CL data fer machining an end-milling cutter satisfying the design parameters. This research has been implemented on a commercial CAD system by use of the API function programming, and is currently used by a tool maker in Korea. It can eliminate producing a physical prototype during the design stage, and it can be used fur virtual cutting test and analysis as well.

  • PDF

Disaster Health Literacy of Middle-aged Women

  • Seifi, Bahar;Ghanizadeh, Ghader;Seyedin, Hesam
    • Journal of Menopausal Medicine
    • /
    • 제24권3호
    • /
    • pp.150-154
    • /
    • 2018
  • As disasters have been increasing in recent years, disaster health literacy is gaining more important for a population such as middle-age women. This is because they face developmental crises (menopause) and situational crisis (disaster). Due to the growing elderly population, it is imperative to seriously consider the issue of aging women's healthcare, and their educational needs relative to emergencies and disasters. The purpose of study was to clarify the importance of disaster health literacy for middle-age women. This study is a review of the literature using PubMed, ScienceDirect, Web of Science, Google Scholar, SCOPUS, OVID, ProQuest, Springer, and Wiley. Data was collected with keywords related to the research topic ("Women's health" OR "Geriatric health") AND ("Health literacy" OR "Disaster health literacy" OR "Disaster prevention literacy" OR "Risk knowledge" OR "Knowledge management") AND ("Disasters" OR "Risk" OR "Crises") in combination with the Boolean-operators OR and AND. We reviewed full text English-language articles published November 2011 November 2017. Additional references were identified from reference lists in targeted publications, review articles and books. This review demonstrated that disaster health literacy is critical for elderly women, because they may suffer from physical and psychological problems triggered by developmental crises such as menopause and situational crises such as disasters. Disaster literacy could enable them to improve resiliency and reduce disaster risk. Education has vital role in health promotion of middle-age women. Policymakers and health managers should be aware of the challenges of elderly women as a vulnerable group in disasters and develop plans to incorporate disaster health literacy for preparedness and prevention in educating this group.

개인화된 소프트웨어 교육을 위한 콘텐츠 추천 기법 (Content Recommendation Techniques for Personalized Software Education)

  • 김완섭
    • 디지털융복합연구
    • /
    • 제17권8호
    • /
    • pp.95-104
    • /
    • 2019
  • 최근 소프트웨어 교육이 4차 산업혁명의 핵심요소로 강조되고 있으며, 이러한 시대적 요구에 따라 많은 대학들이 전교생을 대상으로 하는 소프트웨어 교육을 강화하고 있다. 전교생을 대상으로 하는 SW교육 도입을 위해 온라인 콘텐츠의 활용은 효과적인 방안이라고 할 수 있다. 그러나 일률적인 온라인 콘텐츠의 제공은 학생들의 개별적인 특성(전공, 흥미, 이해력, 관심분야 등)을 고려하지 못하는 한계를 갖는다. 본 연구에서는 불리언 형태의 시청이력 데이터 환경에서 콘텐츠 간의 방향성 있는 유사도를 활용하는 추천 기법을 제안한다. 연관규칙 분석의 확신도를 유사도 값으로 활용하는 새로운 아이템기반 추천 수식을 제안하여 국내의 실제 유료 콘텐츠 사이트의 데이터에 적용하였다. 실험 결과 코사인, 자카드 등의 전통적인 유사도 방식을 기반으로 하는 협력적 추천방식을 사용할 때 보다 추천 정확도가 향상됨을 확인할 수 있었다.

최소 빈도수 문자 우선 선택 방법의 3-SAT 다항시간 알고리즘 (A 3-SAT Polynomial Time Algorithm Based on Minimum Frequency Literal-First Selection Method)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제23권1호
    • /
    • pp.157-162
    • /
    • 2023
  • 본 논문은 NP-완전으로 알려진 3-SAT 문제에 대해 O(nm)의 다항시간 알고리즘을 제안하였다. 여기서 n은 3-SAT 수식 f에 포함된 문자수이며, m은 모든 문자의 총 발생 빈도수이다. 제안된 알고리즘은 우선순위롤 정하여 문자의 진리 값을 결정하였다. 하나의 절에 포함된 최소 문자의 수가 1개(k=1)인 문자, k≥2 이고 진리 값이 '0' 또는 '1'만 존재하는 문자, 발생 빈도수가 최소인 문자 우선순위로 진리 값을 결정하였다. 진리 값이 결정된 문자의 r인 절을 삭제하고, 남아 있는 절에서 해당 문자를 삭제하는 방법으로 식을 축소시킨다. 이 과정을 문자 수 l회를 수행하면 주어진 f의 충족 가능 여부를 결정할 수 있다. 이 방법을 적용한 결과 주어진 식 f의 충족 가능 여부를 판단할 수 있었으며, 모든 문자의 진리 값도 결정할 수 있었다. 제안된 알고리즘을 다양한 문제들에 적용한 결과 모든 문제들에서 충족가능 여부를 정확히 결정할 수 있었다. 결국, 제안된 알고리즘은 모든 SAT 문제를 선형시간으로 풀 수 있는 일반화된 알고리즘으로 확장 가능하며, 오랜 숙원이던 P vs. NP 문제를 풀 수 있는 기반을 제공하였다.

Development and verification of a novel system for computed tomography scanner model construction in Monte Carlo simulations

  • Ying Liu;Ting Meng ;Haowei Zhang ;Qi Su;Hao Yan ;Heqing Lu
    • Nuclear Engineering and Technology
    • /
    • 제54권11호
    • /
    • pp.4244-4252
    • /
    • 2022
  • The accuracy of Monte Carlo (MC) simulations in estimating the computed tomography radiation dose is highly dependent on the accuracy of CT scanner model. A system was developed to observe the 3D model intuitively and to calculate the X-ray energy spectrum and the bowtie (BT) filter model more accurately in Monte Carlo N-particle (MCNP). Labview's built-in Open Graphics Library (OpenGL) was used to display basic surfaces, and constructive solid geometry (CSG) method was used to realize Boolean operations. The energy spectrum was calculated by simulating the process of electronic shooting and the BT filter model was accurately modeled based on the calculated shape curve. Physical data from a study was used as an example to illustrate the accuracy of the constructed model. RMSE between the simulation and the measurement results were 0.97% and 0.74% for two filters of different shapes. It can be seen from the comparison results that to obtain an accurate CT scanner model, physical measurements should be taken as the standard. The energy spectrum library should be established based on Monte Carlo simulations with modifiable input files. It is necessary to use the three-segment splicing modeling method to construct the bowtie filter model.