• The Pure and Applied Mathematics
• /
• v.6 no.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
• /
• v.27 no.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
• /
• v.21 no.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.

• The Mathematical Education
• /
• v.45 no.2 s.113
• /
• 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.

• Journal of the Korean Society of Physical Medicine
• /
• v.7 no.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.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.6
• /
• pp.1414-1423
• /
• 2009

The purpose of the present study was to elucidate such a relationship by comparing the indices of obesity, liver function, and hyperlipidemia with & without fatty liver by using data from health check-up for the adult males in a university hospital. Study subjects were 772 adult males of 30 years and over, who underwent health package check-up at the health promotion center of a university hospital. The prevalence rates of fatty liver of study subjects were 25.5%, and this study shows that fatty liver by abdominal ultrasound has a close correlation with indices of obesity(body weight, BMI, body fat, waist to hip ratio, & waist to stature ratio), liver function(AST, ALT,& GGT), and hyperlipidemia(TG, TC, & HDL-C), and that was independent of age that was relevant.

• KIEAE Journal
• /
• v.17 no.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
• /
• v.9 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.10B
• /
• pp.1159-1167
• /
• 2011

In this paper, we proposed and implemented an EPCglobal Reader Manegement (RM) based management protocol. Using RFID Reader's management function, we could diagnose an active RFID Reader concretely which was impossible with only using Reader protocols and check the problem quickly when the RFID Reader is in failure. When diagnosing RFID Readers using the proposed RM based management protocol, we can check on their failure in stages and specifically, and can estimate range of failure. This helps RFID Reader's fast recovery, reduce loss of failure and improve QoS. We could get reader information with almost same overhead compared with the management message in LLRP. And we could get more information about RFID Reader's operation status.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.415-418
• /
• 2011

This paper describes a circuit-level optimization of DFU(decoding function unit) for LDPC decoder which is used in wireless communication systems such as WiMAX and WLAN. The conventional DFU which is based on min-sum decoding algorithm needs conversions between two's complement values and sign-magnitude values, resulting in complex hardware. In this paper, a new design of DFU that is based on sign-magnitude arithmetic is proposed to achieve a simplified circuit and high-speed operation.