• Title/Summary/Keyword: proof theory

Search Result 175, Processing Time 0.031 seconds

A Workflow Enactment Model supporting Internet-scale Collaboration (인터넷 규모의 협업 지원을 위한 워크플로우 수행 모델)

  • 이이섭;박수현;백두권
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.9 no.6
    • /
    • pp.662-673
    • /
    • 2003
  • This paper proposed a workflow enactment model to provide process management functions for the next generation Internet service environment such as Web Service and Grid Computing. The existing enterprise workflow enactment models could not meet the scalability and reliability requirements for aforementioned environments. To satisfy these requirements, this study addressed on applying P2P model to the workflow enactment model. Mathematical description and proof were employed to show the recovery based on set theory and we also showed performance enhancement through simulations, which demonstrated a comprehensive result giving more than 100 times fast response time than the existing centralized model on the same resources.

Active tendon control of suspension bridges

  • Preumont, Andre;Voltan, Matteo;Sangiovanni, Andrea;Mokrani, Bilal;Alaluf, David
    • Smart Structures and Systems
    • /
    • v.18 no.1
    • /
    • pp.31-52
    • /
    • 2016
  • The paper first reviews the theory of active tendon control with decentralized Integral Force Feedback (IFF) and collocated displacement actuator and force sensor; a formal proof of the formula giving the maximum achievable damping is provided for the first time. Next, the potential of the control strategy for the control of suspension bridges with active stay cables is evaluated on a numerical model of an existing footbridge; several configurations are investigated where the active cables connect the pylon to the deck or the deck to the catenary. The analysis confirms that it is possible to provide a set of targeted modes with a considerable amount of damping, reaching ${\xi}=15%$. Finally, the control strategy is demonstrated experimentally on a laboratory mock-up equipped with four control stay cables equipped with piezoelectric actuators. The experimental results confirm the excellent performance and robustness of the control system and the very good agreement with the predictions.

Shear forces amplification due to torsion, explicit reliance on structural topology. Theoretical and numerical proofs using the Ratio of Torsion (ROT) concept

  • Bakas, Nikolaos
    • Structural Engineering and Mechanics
    • /
    • v.61 no.1
    • /
    • pp.15-29
    • /
    • 2017
  • The recently introduced index Ratio Of Torsion (ROT) quantifies the base shear amplification due to torsional effects on shear cantilever types of building structures. In this work, a theoretical proof based on the theory of elasticity is provided, depicting that the ratio of torsion (ROT) is independent of the forces acting on the structure, although its definition stems from the shear forces. This is a particular attribute of other design and evaluation criteria against torsion such as center of rigidity and center of strength. In the case of ROT, this evidence could be considered as inconsistent, as ROT is a function solely of the forces acting on structural members, nevertheless it is proven to be independent of them. As ROT is the amplification of the shear forces due to in-plan irregularities, this work depicts that this increase of internal shear forces rely only on the structural topology. Moreover, a numerical verification of this theoretical finding was accomplished, using linear statistics interpretation and nonlinear neural networks simulation for an adequate database of structures.

Chip-scale Temperature-compensated Superstructured Waveguide Bragg Grating Based Multiparametric Sensor

  • Vishwaraj, Naik Parrikar;Nataraj, Chandrika Thondagere;Jagannath, Ravi Prasad Kogravalli;Gurusiddappa, Prashanth;Talabattula, Srinivas
    • Current Optics and Photonics
    • /
    • v.4 no.4
    • /
    • pp.293-301
    • /
    • 2020
  • In this paper we propose and theoretically analyze a monolithic multiparametric sensor consisting of a superstructure of surface-relief waveguide Bragg gratings (WBGs), a micro-machined diaphragm, and a cantilever beam. Diaphragms of two different configurations, namely circular and square, are designed and analyzed separately for pressure measurement. The square diaphragm is then selected for further study, since it shows relatively higher sensitivity compared to the circular one, as it incurs more induced stress when any pressure is applied. The cantilever beam with a proof mass is designed to enhance the sensitivity for acceleration measurement. A unique mathematical method using coupled-mode theory and the transfer-matrix method is developed to design and analyze the shift in the Bragg wavelength of the superstructure configuration of the gratings, due to simultaneously applied pressure and acceleration. The effect of temperature on the wavelength shift is compensated by introducing another Bragg grating in the superstructure configuration. The measured sensitivities for pressure and acceleration are found to be 0.21 pm/Pa and 6.49 nm/g respectively.

Evaluation on High Altitude Electromagnetic Pulse(HEMP) Protection Performance of Carbon Nanotube(CNT) Embedded Ultra-High Performance Concrete(UHPC) (탄소나노튜브(CNT)를 혼입한 초고성능 콘크리트(UHPC)의 고고도 전자기파(HEMP) 방호성능 평가)

  • Jung, Myungjun;Hong, Sung-gul
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.22 no.2
    • /
    • pp.151-161
    • /
    • 2019
  • In this study, to evaluate the High Altitude Electromagnetic Pulse(HEMP) protection performance of UHPC/CNT composites by the content of Carbon nanotubes(CNTs), Electromagnetic Shielding Effectiveness(SE) test was performed based on MIL-STD-188-125-1. And the results were verified by applying the Antenna theory. In the case of UHPC with a thickness of 200 mm mixed with 1 % CNT of cement weight, the SE was 28.98 dB at 10 kHz and 45.94 dB at 1 GHz. Then the Scabbing limit thickness for bullet proof was computed based on the result of compressive strength test which was 170 MPa, and it was examined whether it satisfied the HEMP protection criteria. As a result, the required HEMP shielding criteria were satisfied in all frequency ranges as well as the scabbing limit thickness was reduced by up to 43 % compared with that of ordinary concrete.

A Study on the Method of Urban Planning for Adaptation to Climate Change (기후변화 적응을 위한 도시계획 방안 연구)

  • Lee, Sung Hee;Kim, Jong Kon
    • Journal of Climate Change Research
    • /
    • v.5 no.3
    • /
    • pp.257-266
    • /
    • 2014
  • This study aims to understand abnormal climate caused by impacts of climate change and to suggest the direction of urban planning focusing on adaptation to climate change. The study consists of theory consideration and case study(Chicago, Philadelphia, Seattle). As a result, the main impacts of climate change faced by urban areas are heat wave, precipitation, and drought. To prevent these impacts, it is important to prepare methods of urban planning as followings: planning for land use, park and green considering the climate patterns, establishing and managing water resources systems similar to the nature, securing renewable energy resources, and transportation facilities and exterior space with proof against climate. It is especially necessary to introduce infrastructures related to storm water, green roof, shading tree planting, green space, and permeable pavement. Finally, in order to realize urban planning for adaptation to climate change, it is needed to make the detailed and specific goal and strategy for the climate change adaptation plan and to extend the scope from the goals to an action plan, a detailed plan, and a design guideline.

A Study on the Effects of Silver Housing on Evacuation Safety using Human Behavior Simulation - Focused on Floor Planning of Corridor Types in Urban Silver Housing - (인간행동 시뮬레이션을 통한 노인주거 피난안전성 검증에 관한 연구 - 도심형 노인주거의 복도 유형별 평면계획 분석 중심으로 -)

  • Cho, Seung-Woo;Kim, Kyeong-Bae
    • Journal of the Architectural Institute of Korea Planning & Design
    • /
    • v.35 no.9
    • /
    • pp.41-48
    • /
    • 2019
  • Recently as the rapid increasing of the elderly, silver housing has grown up. Though much fire evacuation and safety law, fire accident is most dangerous problem in our society. So this study is the purpose to analyze evacuation safety in urban silver housing of floor planning by corridor types using human behavior simulation. The methodology of this study is 'Literature Review' and 'Simulation'. This study has been carried out on silver housing's definition, types, fire safety theory and relation law. To proof evacuation safety, this study measured escaping time, longest distance, and bottleneck counting using human behavior simulation. This study use game engine simulation program to analyze 6 corridor types experimental model. As the result of simulation, this study compare between ASET and simulation result. The result come down to 3 part. First, double loaded corridor type is the most dangerous on urban silver housing. Second, Safe shelter's location and number cause increasing of escaping time. Lastly escaping time is influenced by behavior of agent, bottle neck strike frequency.

ON TRANSCENDENTAL MEROMORPHIC SOLUTIONS OF CERTAIN TYPES OF DIFFERENTIAL EQUATIONS

  • Banerjee, Abhijit;Biswas, Tania;Maity, Sayantan
    • Bulletin of the Korean Mathematical Society
    • /
    • v.59 no.5
    • /
    • pp.1145-1166
    • /
    • 2022
  • In this paper, for a transcendental meromorphic function f and α ∈ ℂ, we have exhaustively studied the nature and form of solutions of a new type of non-linear differential equation of the following form which has never been investigated earlier: $$f^n+{\alpha}f^{n-2}f^{\prime}+P_d(z,f)={\sum\limits_{i=1}^{k}}{p_i(z)e^{{\alpha}_i(z)},$$ where Pd(z, f) is a differential polynomial of f, pi's and αi's are non-vanishing rational functions and non-constant polynomials, respectively. When α = 0, we have pointed out a major lacuna in a recent result of Xue [17] and rectifying the result, presented the corrected form of the same equation at a large extent. In addition, our main result is also an improvement of a recent result of Chen-Lian [2] by rectifying a gap in the proof of the theorem of the same paper. The case α ≠ 0 has also been manipulated to determine the form of the solutions. We also illustrate a handful number of examples for showing the accuracy of our results.

Application of the Theory of Planned Behavior and the Theory of Reasoned Action to Predicting Cervix Cancer Screening Behavior (자궁암 조기검진행태 예측을 위한 계획된 행동이론과 이성적 행동이론의 적용)

  • Kim, Yong-Ik;Kim, Chang-Yup;Shin, Young-Soo;Lee, Kun-Sei
    • Journal of Preventive Medicine and Public Health
    • /
    • v.34 no.4
    • /
    • pp.379-388
    • /
    • 2001
  • Background : Cervix cancer is the most common form of cancer among Korea women. in spite of proof that cervical cancer screening could reduce death rates substantially, the screening rates reported by previous Korean studies remain stubbornly very low. Behavioral studies to increase the cervix cancer screening rate are essential in order to develop the cancer screening program. Objective : To evaluate the factors which are related to the intention and behavior for cervix cancer screening using the Theory of Planned Behavior (TPB) and the Theory of Reasoned Action (TRA). Methods : The survey was conducted from July 21 st to 26th in 1998. Of 3,218 women, 303(12.2%) between 30 and 55 years old, voluntarily participated in the survey in the 3 Myeons in Choongju city. Charge-free cervix cancer screening was provided for the subjects 3 months later. Results : The R-square of both TPB and TRA to the intention (30% and 42%, respectively) was greater than the actual behavior (21% and 13%, respectively. TPB and TRA were found to provide an appropriate framework for the study of cervix cancer screening behavior. However, TRA was more powerful in explaining the intention, not only because the perceived behavioral control component exhibited lower reliability and validity than other components(altitude and subjective norm), but also because there may have been a few limitations in this study design. Consequently, the use of TRA is preferred in attempting to explain intention and actual behavior in this study. Conclusions : This study suggests that a successful intervention program should focus on changing attitudes and reducing psychologic barriers, rather than on just providing information. Physician recommendations, and the support of family members and friends are also very important factors in cervix cancer program participation. Physicians, friends, family members, and opinion leaders in rural areas, all of whom could affect the individual subjective norm, may all have the potential to play great roles as facilitators.

  • PDF

A cognitive psychological consideration of Michael Chehov's acting techniques (미카엘 체홉 연기 테크닉에 대한 인지심리학적 고찰)

  • Jin, Hyun-Chung;Cho, Joon-Hui
    • (The) Research of the performance art and culture
    • /
    • no.37
    • /
    • pp.365-389
    • /
    • 2018
  • This research aims to study Michael Chekhov's acting techniques scientifically, because his techniques has been studied only theoretically or empirically. Especially, this study focuses on 'imagination' and 'Psychological Gesture' from the perspective of cognitive psychology. Chekhov thought 'imagination' as the basis and core of all the works of acting. In cognitive psychology, it is called as 'imagery' and means 'a representation of the mind of the object not communicated by the sensory organs currently'. This study starts with defining imagery and takes a brief look at the features and kinds of imagery. Then the researcher will prove scientifically the possibility of training acting using imagery as Chekhov's assertion. For the proof of the validity of imagery, we'll look for the theoretical evidences-functional equivalence hypothesis, psychoneuromuscular theory, symbolic learning theory, psychophygiological information processing-and experimental ones-measurements of cerebral blood flow or event-related potential, experiments with fMRI(functional magnetic resonance imaging) or PET(positron emission tomography). As a result, we can see that imagery is functionally identical to perception and improves fulfillment of cognitive and physical tasks. As proving physical changes can draw out psychological changes(feeling) on the medium of imagery, we can also see the validity of Psychological Gesture. From the above research, even if Chekhov developed the acting techniques only on the basis of his experience, his techniques can be thought as having scientific validity. Though insufficient, this study can be a help for actors or students as they using Chekhov's techniques.