• Journal of the Korea Society of Computer and Information
• /
• v.3 no.2
• /
• pp.7-18
• /
• 1998

In this paper, we develop three context-dependent resource allocation models to maximize user satisfaction in terms of software quality. Those models are formulated on the grounds that human resources are dominant In a software development project while taking into account managerial quality constraints of the system. The satisfaction function on exerted resources plays a key linking pin between the two sides, and its functioning forms bring about different solution methods. In addition to a basic linear model, an extension model is formulated so that it may be applicable to the situation of multiple-goal settings. Finally, non-linear model is given the solving optimization algorithm developed and proved in this paper.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.3
• /
• pp.137-144
• /
• 2016

In this paper, we have proposed a circuit complexity optimization ILP algorithm of high-level synthesis system for new multiprocessor design. We have analyzed to the operator characteristics and structure of datapath in the most important high-level synthesis. We also introduced the concept of virtual operator for the scheduling of multi-cycle operations. Thus, we demonstrated the complexity to implement a multi-cycle operation of the operator, regardless of the type of operation that can be applied for commonly use in the ILP algorithm. We have achieved is that standard benchmark model for the scheduling of the 5th digital wave filter, it was exactly the same due to the existing datapath scheduling results.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.

• Korean Journal of Culture and Social Issue
• /
• v.21 no.3
• /
• pp.497-510
• /
• 2015

The jury instruction consists of a set of legal rules and provides a guide for jurors to interpret evidence and the legal standard of a proof beyond reasonable doubt. Jury instructions are usually given after the closing arguments (at the end of the trial). But some research has shown that jury instruction provided before the evidence may have an impact on verdict. The present study was to determine the cognitive process caused by early instruction: (1) Early instruction may influence the verdict by upwardly adjusting the threshold for the decision to convict; (2) early instruction may influence the verdict through evaluations of the probative values of evidence; (3) Or both. 187 people older than 20 years of age participated in the on-line survey. With a trial scenario, one independent variable, Instruction Procedure, was manipulated in three levels: before-and-after the evidence procedure, after-only evidence procedure, and no-instruction procedure. The instruction procedure conditions did not show any difference in the evaluation of the probative values of evidence. On the other hand, before-and-after condition showed the lowest rate of guilty verdict and the highest probability of guilt for the defendant in the scenario. This latter result clearly suggested that the instruction procedure affects the decision threshold. Specifically, instruction provided twice, once before and again after the evidence, may upwardly shift the threshold for the decision to convict.

• School Mathematics
• /
• v.18 no.4
• /
• pp.839-856
• /
• 2016

In 2009 revision and 2015 revision mathematics national curriculum, 'proof' was moved to high school from middle school in consideration of the cognitive development level of students, and 'proof by contradiction' was stated in the "success criteria of learning contents" of the first year high school subject while it had been not officially introduced in $7^{th}$ and 2007 revision national curriculum. Proof by contradiction is known that it induces a cognitive conflict due to the unique nature of rather assuming the opposite of the statement for proving it. In this article, based on the logical, mathematical and historical analysis of Proof by contradiction, we looked about the introductions and the applications of the current textbooks which had been revised recently, and searched for improvement measures from the viewpoint of discovery, explanation, and consilience. We suggested introducing Proof by contradiction after describing the discovery process earlier, separately but organically describing parts necessary to assume the opposite and parts not necessary, disclosing the relationships with proof by contrapositive, and using the viewpoint of consilience.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.22 no.2
• /
• pp.149-155
• /
• 2012

Objectives: 이 논문의 목적은 한 사업장에서 수십 년 동안 진행된 소음감소계획이 실제적이고, 경제적인 것을 증명하고 이를 바탕으로 소음의 공학적 개선방법과 효과적인 실행을 위한 실제 작동 가능한 모델을 제시하는 것이다. Methods: 1967년도에 설립된 다국적 전자회사에서 1987년부터 2002년까지 실행된 각종 소음 감소 노력, 요소, 프로그램을 분석하고 이 기간 동안 소음감소가 어떻게 실제로 일어났는지 분석하였다. 특히 회사가 다른 여러 가지 노력을 한 후에도 실질적 효과를 기대하기 어려워 공학적 개선과 같이 도입한 Action Learning Team (ALT) 활동에 초점을 두고 개선 효과를 파악하였다. Results: 실제 소음의 감소노력은 산업안전보건법의 변화에 따라 여러 가지 형태로 실행되었다. 주된 효과는 ALT활동이 있고 나서 이루어졌는데 평균 소음 노출수준이 86.9 dBA에서 79.8 dBA로 현저히 감소하였으며 소음 지역 (85dBA 이상 )도 10개 지역에서 3개 지역으로 70% 감소하였다. ALT 활동의 결과로 나타난 7개 지역의 소음 감소를 위해 투입된 총 비용이 6,767 달러였다. ALT 활동을 처음 시작한 첫해에 소음 감소지역을 줄임으로써 이 지역의 근로자가 청력검사를 받지 않아서 초기 396명의 근로자가 청력검사를 받던 것을 활동 후 130명만 받아 266명의 근로자가 청력검사를 받지 않아도 되어 청력검사 비용이 6,650 달러 절약되었다. 따라서 장기간으로 보면 매우 비용효과적인 방법으로 증명되었다. Conclusions: 실제 소음감소가 현저히 일어나고, 비용효과적인 소음 감소가 일어나려면 기기 설비 공정담당자가 소음감소의 중요성을 잘 알고, 그 기법을 숙지하고 있어야 하며, 실제 활동을 할 수 있도록 관리자 층의 권한을 위임 받아 활동할 수 있어야 한다. 이 논문에서는 공학적 개선 태스크포스팀을 운영하여 ALT활동을 하였을 때 실제적이고, 비용효과적인 소음 감소를 증명하였다.

• Advanced Industrial SCIence
• /
• v.3 no.3
• /
• pp.8-13
• /
• 2024

Zero Knowledge Proof (ZKP) is an innovative decentralized technology designed to enhance the privacy and security of virtual currency transactions. By ensuring that only the necessary information is disclosed by the transaction provider, ZKP protects the confidentiality of all parties involved. This ensures that both the identity of the transacting parties and the transaction value remain confidential.ZKP not only provides a robust privacy function by concealing the identities and values involved in blockchain transactions but also facilitates the exchange of money between parties without the need to verify each other's identity. This anonymity feature is crucial in promoting trust and security in financial transactions, making ZKP a pivotal technology in the realm of virtual currencies. In the context of the Fourth Industrial Revolution, the application of ZKP contributes significantly to the comprehensive and stable development of financial services. It fosters a trustworthy user environment by ensuring that transaction privacy is maintained, thereby encouraging broader adoption of virtual currencies. By integrating ZKP, financial services can achieve a higher level of security and trust, essential for the continued growth and innovation within the sector.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.498-507
• /
• 2009

There has been insufficient studies on the effect of programming language learning on logical thinking ability. Each study result on the improvement degree and items of logical thinking ability is different according to the object of the study, its method, and the learning subject, which makes the generalization process difficult. Moreover, the necessity of programming language learning seems not proved, because it is not apparent whether the improvement of logical thinking ability is due to the advancement of knowledge or programming language learning. In this study, we instructed educational programming languages to elementary students in 6th grade for 7 hours, investigated its effect on logical-thinking ability by the meta-cognition level, and compared the result with that of computer skill learning. As a result, for Dolittle, LOGO, and Powerpoint learning groups, the logical-thinking ability of high meta-cognition level students has increased with significance, but that of low meta-cognition level students has significantly increased for Dolittle and LOGO groups only. However, regardless of meta-cognition levels, there was no significant difference of logical-thinking ability between all three groups.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.8
• /
• pp.271-276
• /
• 2014

This study analyzed that N/A check items affect the results of the security level degree, when performing vulnerability analysis evaluation. For this, we were used vulnerability analysis evaluation range, check items and quantitative calculation method. Furthermore, were applied grade and weight for the importance of the items. In addition, because technology develop rapidly, the institution is always exposed risk. therefore, this study was carried out empirical analysis by applying RAL(Risk Acceptabel Level). According to the analyzed result N/A check items factors affecting the level of security has been proven. In other words, this study found that we shall exclude inspection items irrelevant to the institution characteristics, when perform vulnerability analysis evaluation. In this study suggested that security level evaluation shall performed, after that exclude items irrelevant to the institution characteristics based on empirical verification. And also, it proposed that model research is required for establish check items for which analysis-evaluate vulnerability based on empirical verification.

• 한국노년학
• /
• v.39 no.4
• /
• pp.847-859
• /
• 2019

The purpose of this study is to examine the association between household income and depressive symptoms and the interactive effect of niacin intake and household income on depressive symptoms among older Korean adults. The sample was drawn from the seventh wave of the Korea National Health and Nutrition Examination Survey (KNHANES) conducted in 2016. Two-way analysis of covariance (ANCOVA) was conducted to test an interaction between Niacin intake and household income on depressive symptoms. A significant interaction effect of niacin intake and household income was found in the highest income group, those with insufficient intake of niacin tended to have higher levels of depressive symptoms than those with sufficient intake of niacin. Findings suggest that the relationship between niacin intake and depressive symptoms differs by household income levels among Korean older adults. Future intervention strategies for increasing niacin intake are discussed in sociocultural context as a way to reduce depressive symptoms among older adults.