• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제6권2호
• /
• pp.79-86
• /
• 1999

A Boolean function generates a binary sequence which is frequently used in a stream cipher. There are number of critical concepts which a Boolean function, as a key stream generator in a stream cipher, satisfies. These are nonlinearity, correlation immunity, balancedness, SAC (strictly avalanche criterion), PC (propagation criterion) and so on. In this paper we construct an algorithm for finding the correlation immune order of a Boolean function, and check how long to find the correlation immune order of a given Boolean function in our algorithm.

• Journal of the Korean Data and Information Science Society
• /
• 제27권4호
• /
• pp.1091-1100
• /
• 2016

This paper considers the noninformative priors for the linear function of parameters in the lognormal distribution. The lognormal distribution is applied in the various areas, such as occupational health research, environmental science, monetary units, etc. The linear function of parameters in the lognormal distribution includes the expectation, median and mode of the lognormal distribution. Thus we derive the probability matching priors and the reference priors for the linear function of parameters. Then we reveal that the derived reference priors do not satisfy a first order matching criterion. Under the general priors including the derived noninformative priors, we check the proper condition of the posterior distribution. Some numerical study under the developed priors is performed and real examples are illustrated.

• Korea-Australia Rheology Journal
• /
• 제21권1호
• /
• pp.13-16
• /
• 2009

We investigate time-temperature superposition from the viewpoint of geometry. The arc length of viscoelastic plots provides powerful resolution for check of the validity of time-temperature superposition. We also suggest a new algorithm for determination of shift factor which is base on the minimization of the total arc length and does not assume any functional form of viscoelastic function.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제45권2호
• /
• pp.217-230
• /
• 2006

The purpose of this study is to inquire the building process of Pedagogical Content Knowledge of prospective mathematics teachers about the function concepts. For this purpose, We performed the following steps; First, we performed the survey relaying to the prospective mathematics teachers' teaching experiences, capabilities of their error evaluation of the students, and viewpoints about the function concepts. Second, we performed the survey on the subject-matter knowledge about the function concepts and the key items of designing teaching plans about the function concepts. And then, we interviewed the participants to check the results of the surveys and to supplement the necessary contents. The collected data was relatively correlative and analyzed in the process. As a result, we found the followings; First, subject-matter knowledge of prospective mathematics teachers about the function concepts is different depending on the grades. Second, prospective mathematics teachers are building more extended function concepts through the major subjects. Third, the major subjects are important to build the Pedagogical Content Knowledge of function concepts. Fourth, teaching experience plays an important role in transforming subject-matter knowledge of function concepts to Pedagogical Content Knowledge of it. Fifth, building the Pedagogical Content Knowledge means transferring the teacher's viewpoint from himself/herself to the learner.

• 대한물리의학회지
• /
• 제7권3호
• /
• pp.267-274
• /
• 2012

Purpose : The purpose of this study was to investigate characteristics of the forced pulmonary function test effect by changes in lung function related to postures and by Transverse Abdominis(TrA). Contraction in standing position during forced inspiration and expiration with young female adults. Methods : 10 young female adults were recruited this study. pulmonary Function test was measured with a Master-screen Body (VIASYS Inc., CA, 미국). To check the changes in lung function with different postures, we tested pulmonary function in the standing and supine position each. In the standing position, while the transversus abdominis was activating, we compared the forced inspiration with the forced expiration. Statistical analysis was used Independent t-test to know difference between forced inspiration and expiration of activated TrA. Results : According to the study, the change of pulmonary function were statistically significant difference in the standing compared to the supine position. The contraction of the transversus abdominis causes decrease in the change of forced inspiration and increase in the change of forced expiration. Conclusion : These results indicate that spontaneous contraction of the TrA in standing position helps pulmonary function. And the selective contraction of the transversus abdominis at the end of forced inspiration makes increases in the forced expiration.

• 한국산학기술학회논문지
• /
• 제10권6호
• /
• pp.1414-1423
• /
• 2009

본 연구는 복부초음파검사를 통하여 얻은 건강진단 결과로부터 지방간 유소견자의 비율을 파악하고, 비만, 간기능 및 고지혈증 지표들과 지방간과의 관련성을 검토할 목적으로 실시하였다. 연구대상은 2006년 7월부터 2007년 6월까지의 기간에 D시의 한 대학병원 건강검진센터에서 종합건강검진을 받았던 30세 이상 남성 772명이었으며, 연구결과, 조사대상자의 지방간 유소견율은 25.5%이었으며, 비만지표(체중, BMI, 체지방율, 허리둘레와 엉덩이둘레 비, 허리둘레와 신장 비), 간기능지표(AST, ALT, GGT) 및 고지혈증지표(TG, TC, HDL-C)들과 유의한 관련성을 갖고 있음을 알 수 있으며, 이는 연령과는 독립적으로 그 관련성이 있는 것으로 나타났다.

• KIEAE Journal
• /
• 제17권4호
• /
• pp.13-19
• /
• 2017

Purpose: The most important thing is to know exactly what needs users have when planning a housing. People have their own criteria that directly influence purchasing decisions when choosing a house to live in. And they select the house with the largest number of elements satisfying these criteria. This days most consumers are mostly satisfied with their material needs. And now people thinking more important motive than simply pursuing material gains. It is the most essential role in they consume consciously or unconsciously that meeting the needs of which step. And now days housing space has become a merchandise, this study check the related function of the residential space and human needs. Method: First, this study wanted to understand the housing needs, which is needs related to housing in basic needs that humans have. Second, this study wanted to understand what the requirements and the criteria for choosing housing of actual resident, who want to have changed housing. Third, This study check how to set up the direction of development in housing planning, through the comparison of the housing needs and the residential function defined above. Result: Henceforth housing should consider meet the Esteem Needs and Self-Actualization Needs, among the type of Grow-based Motivation. The functions for this are convenience, independence, economics, sociality, relaxation, and expressivity. In addition, it should be able to express oneself and recognize the value of oneself through leisure activities and interaction with neighbors. And, it should be able to move toward the direction to express that hobby activities for individual talent development in separate space.

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

• 한국통신학회논문지
• /
• 제36권10B호
• /
• pp.1159-1167
• /
• 2011

본 논문에서는 능동형 RFID 리더를 위한 EPCglobal Reader Manegement (RM) 기반 관리기능을 제안하고 구현하였다. RFID 리더의 관리기능을 이용하면 기존의 리더 프로토콜만으로는 불가능했던 RFID 리더의 진단을 구체적으로 할 수 있으며 RFID 리더에 이상이 발생하였을 경우 빠르게 문제를 확인할 수 있다. 또한 제안된 프로세스를 사용하여 단계적으로 진단 할 경우 RFID 리더의 상태 이상을 단계적으로 구체적으로 확인하여 상태 이상의 범위를 추정할 수 있다. 이는 리더의 빠른 복구에 도움을 주어 상태 이상으로 인한 손실을 줄이고 RFID 리더의 QoS를 높일 수 있다. 또한 구현된 RFID 리더의 관리 가능이 성능면에서 LLRP의 관리 메시지와 비교하였을 때 비슷한 크기의 메시지 크기를 보여 부하도 상대적으로 크지 않으며 관리면에서 세분화 된 정보 확인이 가능함을 확인하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.415-418
• /
• 2011

WiMAX, WLAN 등의 무선통신 시스템에 사용되는 LDPC(low-density parity check) 복호기의 핵심 기능블록인 DFU(decoding function unit)의 회로 최적화를 제안한다. 최소합(min-sum) 복호 알고리듬 기반의 DFU는 2의 보수 값과 sign-magnitude 값 사이의 변환이 필요하여 회로가 복잡해진다. 본 논문에서는 sign-magnitude 연산 기반의 DFU를 설계하여 수체계 변환과정을 제거함으로써 회로를 간소화시키고 동작속도를 향상시켰다.