The nonlinear simple pendulum is investigated to find the exact closed-form analytical solution, satisfying initial conditions of angular position and angular velocity. While previous numerous studies have been conducted on the nonlinear simple pendulum, the exact closed-form analytical solution still remains not available in public domain for the most general initial condition including initial angular velocity as well as initial angular displacement. In this paper, the exact closed-form analytical solution for the general initial conditions is derived using Jacobi’s elliptic function and elliptic integral. The result was verified by comparing it with previous studies and the numerical solution of the equation of motion through the Runge-Kutta integration method.

형법이론이 기본적으로 전제하고 있는 범죄형태는 고의적 결과범 이라고 할 수 있다. 고의적 결과범은 행위자가 결과발생을 인식하고 의욕하면서 법익을 침해한다는 행위불법과 결과불법을 모두 가지고 있기 때문에 이를 처벌하는 것에 대해 정당성을 갖는다. 그런데 예비형태와 음모형태를 처벌하는 것은 결과발생보다 시간적으로 앞선 행위를 처벌하겠다는 입법자의 의지를 표현한 것으로 볼 수 있다. 예비·음모행위를 처벌하는 것에 대해서 결과발생에서 멀리 있는 행위가 왜 처벌되어야 하는 것인지, 그리고 무엇이 음모인지 또 어디에서부터 예비행위가 되어 예비죄로 처벌되는 것인지하는 의문이 생긴다. 우리나라 형사법 관련 문헌에서 예비·음모 의 개념표지, 구성요건요소, 가벌성의 표지 등에 대하여 본격적으로 검토하고 있는 경우를 발견하기는 쉽지 않고, 특히 음모죄에 대해서는 논의가 거의 이루어지지 않고 있는 것으로 보인다. 그러나 전세계적으로 반테러법의 제정논의와 함께 일본에서도 2017년 공모죄가 신설되었고, 우리나라도 테러방지법을 제정하여, 실제로 예비나 음모단계의 행위에 대한 처벌규정을 두고 있다. 예비·음모죄는 해당 범죄가 가져올 해악의 중대성 때문에 극히 예외적으로 실행의 착수 이전의 단계에 해당하는 행위를 처벌하는 것이다. 이를 달리 해석하면, 예비·음모는 기본적 범죄형태인 기수범에 비하여 법익침해로부터 그만큼 멀리 있기 때문이라고 볼 수 있다. 다시 말해 원래는 처벌해서는 안 되는 행위를 예외적으로 처벌하는 것이므로 그만큼 제한적으로만 입법되어야 하고, 가능한 제한적으로 해석되어야 한다. 이를 위해서는 예비·음모죄의 구성요건이 더 명확화되어야 하고, 구체화 되어야 한다. 만약 의견을 나눈 것만으로 음모죄가 되고, 준비행위에 대한 것은 모두 예비죄가 된다면, 이를 일반인이 판단하는 것은 불가능하고 결국은 법관, 국가에 의해 판단받아야 될 경우의 위험성은 매우 크다. 물론 테러와 같은 경우 결과발생 후 처벌하는 것에 대한 위험성 또한 굉장히 크다. 그러나 이에 대해 형법이 개입되더라도, 그것은 일정한 원칙하에 명백하고 급박하게 즉, 사회예방적 개입이 필요한 부분에서만 개입되어야 한다. 우리 형법상의 예비죄와 음모죄는 법집행자와 법적용자에게 지나치게 넓은 해석, 적용의 여지를 인정하고 있다. 그러므로 입법적으로는 독일과 같이 각론에서 가벌적 예비행위의 유형을 구체화하는 것이 가장 바람직한 태도라고 생각한다. 그러나 이러한 입법적 조치가 행하여지기 전이라도 예비·음모죄에 대한 우리 학설상의 지나치게 넓은 개념정의를 보다 구체화하여야 할 필요성은 있다. 그 방법으로는 무엇보다 먼저 예비행위를 구성요건 실현행위에 밀접한 혹은 직접적 연관을 가지는 준비행위로 제한하여야 한다. 그리고 음모행위에 있어서는 단순한 합의 그 자체만으로 처벌되는 것이 아니라, 그것이 외부에 비약적으로 드러날 수 있는 행위가 있는 경우에만 가벌적인 음모행위로 취급되어야 한다.

본 연구는 순수 면내모멘트를 발생시키는 선형적으로 변하는 수직응력을 받고 있는 단순지지된 마주보는 두 모서리와 자유경계를 가지는 직사각형 판의 자유진동과 좌굴의 엄밀해를 구하였다. 정현적으로 가정된 하중방향(x)으로의 변위함수는 단순지지 경계조건을 만족시키며, 평판을 지배하는 편미분 운동방정식 을 y 방향으로의 변계수를 갖는 상미분방정식으로 만든다. Frobenius법을 통하여, y방향으로의 멱급수를 가정하면 이 식을 엄밀하게 풀 수 있으며, 그 식의 합당한 계수를 구할 수 있다. 자유경계조건을 y=0과 b에 적용하면, 고유진동수와 임계좌굴모멘트를 구할 수 있는 4차의 특성행렬식이 만들어진다. 본 논문에서는 이 급수해의 수렴성이 면밀히 조사되었으며, 임계 좌굴모멘트의 수치결과와 모드형상이 주어진다. 상대적으로 정확도가 떨어지는 1차원적인 보 이론으로 구한 결과치와의 비교연구가 이루어진다. 또한 자유진동수와 모드형상 주어진다. 프와송비(v)의 변화에 따른 좌굴모멘트와 고유진동수의 변화가 도표로 주어진다.

본 연구에서는 직선 강상자형 거더의 단면변형에 의한 변형 및 응력계산을 위한 Matlab 해석프로그램을 개발하고자 한다. 이를 위하여 단면변형이론을 요약하고 빔유사이론을 제시한다. 이후 탄성지반위의 보-기둥부재의 지배방정식을 제시하고, 일반화된 고유치해석을 통하여 집중 및 분포하중을 받는 보요소의 엄밀한 강성행렬을 계산한다. 본 연구의 효율성과 정확성을 입증하기 위하여 격벽을 갖는 상자형 거더의 뒤틀림응력을 계산하고 유한요소해와 비교한다.

탄성지반 위에 놓인 보-기둥 요소의 총포텐셜 에너지로부터 변분원리를 적용하여 지배방정식과 힘-변위 관계식을 유도하였다. 4계 상미분방정식 형태의 지배방정식을 4개의 변위 파라메타를 도입하여 1계 연립미분방정식 형태의 선형 고유치 문제로 전환하고, 힘-변위 관계식을 적용하여 엄밀한 정적, 동적 요소강성행렬을 유도하였다. 직접강성법을 이용하여 구조물 강성행렬을 구하고, 2차원 보-기둥구조의 엄밀한 좌굴하중과 고유진동수를 구하고, 결과를 유한요소해와 비교함으로써 본 연구의 타당성을 검증하였다. 이러한 엄밀한 해석방법은 Hermitian 다항식을 형상함수로 도입하여 요소의 강성행렬을 산정하는 유한요소법과 비교할 때, 요소의 수를 대폭 줄일 수 있는 장점이 있다.

본 논문은 고정, 단순, 또는 자유 연단 조건의 네 가지의 다른 조합을 갖는 마름모꼴형 평판의 자유진동 데이터를 처음으로 제시한 연구이다. 본 논문의 주된 관점은 마름모꼴 형 평판 둔각모서리의 휨응력의 특이도를 엄밀히 고려하여 해석하는 것이다. Ritz 방법을 이용하여 수직진동변위를 두 가지 적합 함수식으로 가정하였다. 힌지와 고정, 자유와 고정, 또한 힌지와 자유인 모서리 응력 특이도의 중대한 영향력이 이해될 수 있도록 충분히 큰 1650 둔각모서리를 갖는 마름모꼴형 평판에 대하여 엄밀한 무차원 진동수와 수직변동변위의 전형적인 등고선을 제시하였다.

Lee, Jae, Choel. 1998. The Locality on Movement and the Strict Cyclicity. Studies in Modern Grammatical Theories 12, 103-123. In the framework of the Minimalist Approach, as the Government theory is eliminated, the locality on movement is determined by the Checking Domain of Head Chain, the Minimal Link Condition, the Extension Requirement, three processes for the Generalized Transformation, and so on. The purpose of this paper is to examine that the Strict Cyclicity becomes a factor that determine the locality of movement, is to point out the problems of the Extension Requirement(Chomsky 1992), the Minimal Chain Condition(Chomsky 1994) and the Target α (Kitahara 1995) that are suggested to guarantee the Strict Cyclicity, and is to prove the problems to be solved by the Attract-F Theory. When the feature of the checker is strong, the strict cyclicity is automatically guaranteed, because the closest item containing the relevant formal features must move to the SPEC of the checker before the projection of the upper head does occur. There never arise direct movements of lexical items after Spell-Out. The violation of the Strict Cyclicity cannot occur after Spell-Out, either because the relevant formal features only move to the sublabel of the checker and adjoin there.