• Title/Summary/Keyword: proof procedure

Search Result 60, Processing Time 0.036 seconds

A fuzzy Sliding Mode Control of Wheeled Mobile Robot with a Differential Drive

  • Kang, Young-Hoon;Lee, Ju-Jang
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1998.10a
    • /
    • pp.265-270
    • /
    • 1998
  • In this paper we introduce a modeling of wheeled mobile robot with a differential drive derived by R.M. DeSantis and using the dynamics model-ing with some disturbance term we control the wheeled mobile robot using fuzzy sliding mode control(FSMC) method. In a fuzzy control approach it is very difficult to prove the stability of the fuzzy controller. Therefore, to overcome that difficult proof of the stability in a fuzzy control method, we first propose a sliding mode controller and prove the stability of the proposed controller. Next, transforming the proposed sliding mode controller into a fuzzy sliding mode controller without changing the basic structure of the sliding mode con-troller, we easily obtain a fuzzy sliding mode con-troller(FSMC) whose stability is guaranteed with-out difficult stability proof procedure of the proposed FSMC.

  • PDF

Cavoatrial shunt procedure for Budd-Chiari syndrome complicated by inferior vena caval thrombosis. One case report (하공정맥우심방 단락술에 의한 BuddChiari Syndrome 수술치험 1례 보고)

  • 이승구
    • Journal of Chest Surgery
    • /
    • v.18 no.4
    • /
    • pp.673-678
    • /
    • 1985
  • A 21 year-old male patient had a diagnosis of Budd-Chiari syndrome caused by inferior vena caval obstruction. Conservative medical therapy failed to control the symptoms of both portal hypertension and inferior vena caval stasis. Portocaval or mesocaval shunts may relive the symptoms of chronic forms of Budd-Chiari syndrome. But when inferior vena caval stenosis is severe, another procedure has to be used. Cavoatrial or portoatrial shunt has been suggested. Therefore, a long Dacron graft was placed from the inferior vena cava just below the left renal vein to the right atrium. He exhibited almost complete relief of symptoms for 1.5 year postoperatively. And there was angiographic proof of patency of the graft. This simple procedure should be encouraged in treatment of these patients.

  • PDF

An Effect of the Jury Instruction Procedure on The Level of the Threshold for the Decision to Convict (유죄판단 역치에 대한 배심설시 절차의 효과)

  • Yoori Seong;Kwangbai Park
    • 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.

  • PDF

Bounds for Generalized Normalized δ-Casorati Curvatures for Submanifolds in Generalized (κ, µ)-space Forms

  • Aquib, Mohd;Shahid, Mohammad Hasan
    • Kyungpook Mathematical Journal
    • /
    • v.58 no.1
    • /
    • pp.167-182
    • /
    • 2018
  • In this paper, we prove the optimal inequalities for the generalized normalized ${\delta}$-Casorati curvature and the normalized scalar curvature for different submanifolds in generalized (${\kappa},{\mu}$)-space forms. The proof is based on an optimization procedure involving a quadratic polynomial in the components of the second fundamental form. We also characterize the submanifolds on which equalities hold.

Analysis of Fuzzy Entropy and Similarity Measure for Non Convex Membership Functions

  • Lee, Sang-H.;Kim, Sang-Jin
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.9 no.1
    • /
    • pp.4-9
    • /
    • 2009
  • Fuzzy entropy is designed for non convex fuzzy membership function using well known Hamming distance measure. Design procedure of convex fuzzy membership function is represented through distance measure, furthermore characteristic analysis for non convex function are also illustrated. Proof of proposed fuzzy entropy is discussed, and entropy computation is illustrated.

Fuzzy Entropy Construction for Non-Convex Fuzzy Membership Function (비 컨벡스 퍼지 소속함수에 대한 퍼지 엔트로피구성)

  • Lee, Sang-H;Kim, Jae-Hyung;Kim, Sang-Jin
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2008.04a
    • /
    • pp.21-22
    • /
    • 2008
  • Fuzzy entropy is designed for non-convex fuzzy membership function using well known Hamming distance measure. Design procedure of convex fuzzy membership function is represented through distance measure, furthermore characteristic analysis for non-convex function are also illustrated. Proof of proposed fuzzy entropy is discussed, and entropy computation is illustrated.

  • PDF

Canard Type Aircraft Structural Test (선미익형 항공기 구조시험)

  • Kim, Jin-Won;Ahn, Soek-Min;Jung, Do-Hee;Song, Byung-Heum
    • Journal of the Korean Society for Aviation and Aeronautics
    • /
    • v.13 no.3
    • /
    • pp.97-109
    • /
    • 2005
  • A canard type aircraft, which has good wing stall and stall/spin-proof characteristics, is under development. The aircraft prototype has full-depth core sandwich type wing and fixed landing gear, and has been built for test flights. Newly developing aircraft will be equipped with retractable landing gear and conventional foam core sandwich laminate structures and multi-rib wings. In this study, we present the structural test procedure and result for aircraft Firefly.

  • PDF

A Study on the Improvement of Adhesive Mixing Ratio about Acoustic Window for Enhancing SONAR Performance of Submarine (수중함 소나 수신성능 향상을 위한 음향창 접착제 배합비 개선)

  • Ham, Younghoon;Kim, Joonwoo;Chang, Hoseong
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.21 no.4
    • /
    • pp.481-488
    • /
    • 2018
  • This study suggest the improvement of the CFRP adhesive mixing ratio about acoustic window to enhance SONAR performance. The CFRP of submarine is produced by allocation an acoustic window zone by the beam width of SONAR sensors. During the sea trial, SONAR system's bearing and range accuracy data is not in tolerance due to debonding phenomenon on CFRP. The inappropriate mixing ratio of adhesives caused that peeling phenomenon occurred in the acoustic window part, which is the reason for the deterioration of SONAR sensors performance. The report includes explanation of test procedure of SONAR, root cause analysis, CFRP manufacturing procedure, laboratory tests results, and proof of the performance at the sea trial.

Homogenized elastic properties of graphene for moderate deformations

  • Marenic, Eduard;Ibrahimbegovic, Adnan
    • Coupled systems mechanics
    • /
    • v.4 no.2
    • /
    • pp.137-155
    • /
    • 2015
  • This paper presents a simple procedure to obtain a substitute, homogenized mechanical response of single layer graphene sheet. The procedure is based on the judicious combination of molecular mechanics simulation results and homogenization method. Moreover, a series of virtual experiments are performed on the representative graphene lattice. Following these results, the constitutive model development is based on the well-established continuum mechanics framework, that is, the non-linear membrane theory which includes the hyperelastic model in terms of principal stretches. A proof-of-concept and performance is shown on a simple model problem where the hyperelastic strain energy density function is chosen in polynomial form.

A Study on the Design Procedure of Mega Foundations for a High-rise Building Using Bi-Directional High Pressure Pile Load Test (BDH PLT) (양방향 고유압 말뚝재하시험(BDH PLT)을 이용한 초고층 건축물의 대구경 현장타설말뚝 설계절차에 관한 연구)

  • Kim, Sung-Ho;Choi, Yongkyu
    • Journal of the Korean GEO-environmental Society
    • /
    • v.10 no.3
    • /
    • pp.29-36
    • /
    • 2009
  • In this paper, a case of a high-rise building supported by a large-diameter drilled shaft socketed in a weathered ground has been studied. The design case of pile foundation presented in this paper could be a representative example of execution of pile design through three(3) design stages of "preliminary design-proof test-supplementary design". As proof test, two(2) BDH PLT (Bi-directional High Pressure Pile Load Test) were performed at the early construction stage. By following the design process of this way, the economic pile design could be carried out and a large amount of construction cost saving could be realized.

  • PDF