• Title/Summary/Keyword: proof context

Search Result 41, Processing Time 0.023 seconds

Toward Students' Full Understanding of Trigonometric Ratios

  • Yi, Jung-A;Yoo, Jae-Geun;Lee, Kyeong Hwa
    • Research in Mathematical Education
    • /
    • v.17 no.1
    • /
    • pp.63-78
    • /
    • 2013
  • Trigonometric ratios are difficult concepts to teach and learn in middle school. One of the reasons is that the mathematical terms (sine, cosine, tangent) don't convey the idea literally. This paper deals with the understanding of a concept from the learner's standpoint, and searches the orientation of teaching that make students to have full understanding of trigonometric ratios. Such full understanding contains at least five constructs as follows: skill-algorithm, property-proof, use-application, representation-metaphor, history-culture understanding [Usiskin, Z. (2012). What does it mean to understand some mathematics? In: Proceedings of ICME12, COEX, Seoul Korea; July 8-15,2012 (pp. 502-521). Seoul, Korea: ICME-12]. Despite multi-aspects of understanding, especially, the history-culture aspect is not yet a part of the mathematics class on the trigonometric ratios. In this respect this study investigated the effect of history approach on students' understanding when the history approach focused on the mathematical terms is used to teach the concept of trigonometric ratios in Grade 9 mathematics class. As results, the experimental group obtained help in more full understanding on the trigonometric ratios through such teaching than the control group. This implies that the historical derivation of mathematical terms as well as the context of mathematical concepts should be dealt in the math class for the more full understanding of some mathematical concepts.

Sparsity-constrained Extended Kalman Filter concept for damage localization and identification in mechanical structures

  • Ginsberg, Daniel;Fritzen, Claus-Peter;Loffeld, Otmar
    • Smart Structures and Systems
    • /
    • v.21 no.6
    • /
    • pp.741-749
    • /
    • 2018
  • Structural health monitoring (SHM) systems are necessary to achieve smart predictive maintenance and repair planning as well as they lead to a safe operation of mechanical structures. In the context of vibration-based SHM the measured structural responses are employed to draw conclusions about the structural integrity. This usually leads to a mathematically illposed inverse problem which needs regularization. The restriction of the solution set of this inverse problem by using prior information about the damage properties is advisable to obtain meaningful solutions. Compared to the undamaged state typically only a few local stiffness changes occur while the other areas remain unchanged. This change can be described by a sparse damage parameter vector. Such a sparse vector can be identified by employing $L_1$-regularization techniques. This paper presents a novel framework for damage parameter identification by combining sparse solution techniques with an Extended Kalman Filter. In order to ensure sparsity of the damage parameter vector the measurement equation is expanded by an additional nonlinear $L_1$-minimizing observation. This fictive measurement equation accomplishes stability of the Extended Kalman Filter and leads to a sparse estimation. For verification, a proof-of-concept example on a quadratic aluminum plate is presented.

Phonetic Factors Conditioning the Release of English Sentence-Final Stops (영어 문장 말 폐쇄음의 파열 양상)

  • Kim, Da-Hee
    • MALSORI
    • /
    • no.53
    • /
    • pp.1-16
    • /
    • 2005
  • This experimental study aims to test the hypothesis that the occurrence of English sentence-final stop release is, at least, partly predictable by examining its phonetic context. 10 native(5 male and 5 female) speakers of American English recorded, in a sound-proof booth, sentences excerpted from novels and the natural documents on the World Wide Web. Based on the waveforms and spectrograms of the recorded sentences, judgements of the release of a sentence-final stop were made. If the aperiodic energy of a given final stop lasted more than .015 second, it was considered to be "released." The result reveals that English sentence-final stops tend to be released when they are 1) velar consonants, 2) preceeded by tense vowels, and 3) coda consonants of content words. The phonetic environment in which final stops are often released can be characterized by the articulatory comfortableness and the need for release burst noise, without which the final stops may not be correctly perceived. By examining the release of English final stops, it is concluded that the phonological events, which had been considered to occur rather "randomly," in fact, reflect the universal tendency of human speech: to minimize the speakers' and hearers' effort.

  • PDF

Overcoming framing-difference between teacher and students - an analysis of argumentation in mathematics classroom - (틀의 차이를 극복하기 - 수학교실에서의 논증분석 연구 -)

  • Kim, Dong-Won
    • The Mathematical Education
    • /
    • v.46 no.2 s.117
    • /
    • pp.173-192
    • /
    • 2007
  • We define mathematical learning as a process of overcoming framing difference of teachers and students, two main subjects in a mathematics class. We have reached this definition to the effect that we can grasp a mathematical classroom per so and understand students' mathematical learning in the context. We could clearly understand the process in which the framing differences are overcome by analyzing mutual negotiation of informants in specific cultural models, both in its form as well as in its meaning. We review both of the direct and indirect forms of negotiation while keeping track of 'evolution of subject' in terms of content of negotiation. More specifically, we discuss direct negotiation briefly and review indirect negotiation from three distinct themes of (1) argument structure, (2) revoicing, and (3) development patterns and narrative structure of proof. In addition, we describe the content of negotiation under the title of 'Evolution of Subject.' We found that major modes of mutual negotiation are inter-reference and appropriation while the product of continued negotiation is inter-resemblance.

  • PDF

On the Global Convergence of Univariate Dynamic Encoding Algorithm for Searches (uDEAS)

  • Kim, Jong-Wook;Kim, Tae-Gyu;Choi, Joon-Young;Kim, Sang-Woo
    • International Journal of Control, Automation, and Systems
    • /
    • v.6 no.4
    • /
    • pp.571-582
    • /
    • 2008
  • This paper analyzes global convergence of the univariate dynamic encoding algorithm for searches (uDEAS) and provides an application result to function optimization. uDEAS is a more advanced optimization method than its predecessor in terms of the number of neighborhood points. This improvement should be validated through mathematical analysis for further research and application. Since uDEAS can be categorized into the generating set search method also established recently, the global convergence property of uDEAS is proved in the context of the direct search method. To show the strong performance of uDEAS, the global minima of four 30 dimensional benchmark functions are attempted to be located by uDEAS and the other direct search methods. The proof of global convergence and the successful optimization result guarantee that uDEAS is a reliable and effective global optimization method.

The G115 standardized ginseng extract: an example for safety, efficacy, and quality of an herbal medicine

  • Bilia, Anna R.;Bergonzi, Maria C.
    • Journal of Ginseng Research
    • /
    • v.44 no.2
    • /
    • pp.179-193
    • /
    • 2020
  • Ginseng products on the market show high variability in their composition and overall quality. This becomes a challenge for both consumers and health-care professionals who are in search of high-quality, reliable ginseng products that have a proven safety and efficacy profile. The botanical extract standardization is of crucial importance in this context as it determines the reproducibility of the quality of the product that is essential for the evaluation of effectiveness and safety. This review focuses on the well-characterized and standardized ginseng extract, G115, which represents an excellent example of an herbal drug preparation with constant safety and efficacy within the herbal medicinal products. Over the many decades, extensive preclinical and clinical research has been conducted to evaluate the efficacy and safety of G115. In vitro and in vivo studies of G115 have shown pharmacological effects on physical performance, cognitive function, metabolism, and the immune system. Furthermore, a significant number of G115 clinical studies, most of them double-blind placebo-controlled, have reinforced the findings of preclinical evidence and proved the efficacy of this extract on blood glucose and lipid regulation, chronic obstructive pulmonary disease, energy, physical performance, and immune and cognitive functions. Clinical trials and 50 years of presence on the market are proof of a good safety profile of G115.

Upgrade of gamma electron vertex imaging system for high-performance range verification in pencil beam scanning proton therapy

  • Kim, Sung Hun;Jeong, Jong Hwi;Ku, Youngmo;Jung, Jaerin;Cho, Sungkoo;Jo, Kwanghyun;Kim, Chan Hyeong
    • Nuclear Engineering and Technology
    • /
    • v.54 no.3
    • /
    • pp.1016-1023
    • /
    • 2022
  • In proton therapy, a highly conformal proton dose can be delivered to the tumor by means of the steep distal dose penumbra at the end of the beam range. The proton beam range, however, is highly sensitive to range uncertainty, which makes accurately locating the proton range in the patient difficult. In-vivo range verification is a method to manage range uncertainty, one of the promising techniques being prompt gamma imaging (PGI). In earlier studies, we proposed gamma electron vertex imaging (GEVI), and constructed a proof-of-principle system. The system successfully demonstrated the GEVI imaging principle for therapeutic proton pencil beams without scanning, but showed some limitations under clinical conditions, particularly for pencil beam scanning proton therapy. In the present study, we upgraded the GEVI system in several aspects and tested the performance improvements such as for range-shift verification in the context of line scanning proton treatment. Specifically, the system showed better performance in obtaining accurate prompt gamma (PG) distributions in the clinical environment. Furthermore, high shift-detection sensitivity and accuracy were shown under various range-shift conditions using line scanning proton beams.

Nexus Between Brand Transgression and Brand Forgiveness Among Islamic Banking Customers in Malaysia

  • ABD RASHID, Muhammad Hafiz;HAMZAH, Muhammad Iskandar;MUHAMAT, Amirul Afif;MANSOR, Aida Azlina;HASANORDIN, Rahayu
    • The Journal of Asian Finance, Economics and Business
    • /
    • v.9 no.4
    • /
    • pp.381-389
    • /
    • 2022
  • Studies examining the interplay between brand transgression and brand forgiveness is notably sparse especially in the context of Southeast Asian banking customers. The purpose of this research is to add to the existing literature by examining the impact of brand transgression, which is represented by negative past experience image incongruence, and corporate wrongdoing on brand forgiveness among Islamic banking customers in Malaysia. The increasing surge in interest in unfavorable brand relationships has sparked concerns about its impact on brand forgiveness. As a result, this theoretical argument, which lacks empirical proof, has to be statistically tested. The current study was conducted utilizing a non-probability purposive sampling technique among clients in the Klang Valley who had poor experiences with Islamic banking services. Data analysis included descriptive statistics, exploratory factor analysis, and multiple regression on a total of 211 valid replies. The findings show that two elements of brand transgression, image inconsistency, and corporate wrongdoing, have a major impact on brand forgiveness. However, the other dimension namely negative past experience was found to be non-significant to brand forgiveness. Research implications and directions for future studies are also discussed in this paper.

A Study on the Records Management for Evidence-Based Accountability of Corporations : Focusing on Sustainability Reports (기업의 증거기반 설명책임을 위한 기록관리 방안 '지속가능성보고서'를 중심으로)

  • Jung, Mi Ri;Yim, Jin-Hee
    • The Korean Journal of Archival Studies
    • /
    • no.48
    • /
    • pp.45-92
    • /
    • 2016
  • Corporations report their economical, environmental, social influences and achievements through sustainability reports. Apart from the financial reports, which are subject to legal restrictions, sustainability reports inform non financial achievements of a corporation, thus the reliability of the information is solely dependent on the corporation itself. The current sustainability reports are of types that cannot include proof or source of the index data, thus they are tended to be regarded as means of publicity. The reliability of the reports is often questioned. This research applied the concept of Evidence-Based Accountability, which will allow the confirmation of accountability through records including contents and context of the tasks. Evidence-Based Accountability means producing and accumulating witness records of actions, then managing the records as usable information and use them as accountability information. Index data from sustainability reports of domestic corporations and web based reports of Vodafone was reviewed. Measures to link task records as proof of index data was studied. To make this possible, record production and acquisition system was redesigned in order to secure required records as evidence. Linked build-up of SR system and RMS was proposed. The proposed system will allow collection and management of records as SR accountability information, and provide the data when necessary. Also, corporate infrastructure was proposed. This infrastructure will build a professional records management system in stages, through organizational system and regulations. Cooperation of staff in this infrastructure will support reliable corporate accountability.

A Study on Digital Image Watermarking for Embedding Audio Logo (음성로고 삽입을 위한 디지털 영상 워터마킹에 관한 연구)

  • Cho, Gang-Seok;Koh, Sung-Shik
    • Journal of the Institute of Electronics Engineers of Korea TE
    • /
    • v.39 no.3
    • /
    • pp.21-27
    • /
    • 2002
  • The digital watermarking methods have been proposed as a solution for solving the illegal copying and proof of ownership problems in the context of multimedia data. But it is still difficult to have been overcame the problem of the protection of property to multimedia data, such as digital images, digital video, and digital audio. This paper describes a watermarking algorithm that embeds non-linearly audio logo watermark data which is converted from audio signal of the ownership in the components of pixel intensities in an original image and that insists of ownership by hearing the audio signal transformed from the extracted audio logo through the speaker. Experimental results show that our algorithm using audio logo proposed in this paper is robust against attacks such as particularly lossy JPEG image compression.