shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
1754년 7월, 러시아의 미하일 로모노소프는 중국 팽이를 본떠 만든 작은 동축 모델을 개발했지만, 태엽 장치로 동력을 공급받았고 이를 러시아 과학 아카데미에 시연했다. 태엽으로 작동되었으며, 기상 기구를 들어 올리는 방법으로 제안되었다. 1783년 크리스티앙 드 라우노이와 그의 기계공 비앙브뉘는 중국 팽이의 동축 버전을 사용하여 칠면조의 비행 깃털을 회전 날개로 한 모델을 만들었고, 1784년에는 이를 프랑스 과학 아카데미에 시연했다. 1783년 장 바티스트 마리 뫼스니에는 조종 가능한 비행선을 설명했다. 도면에는 양력을 조절하는 데 사용할 수 있는 내부 발로네트가 있는 의 유선형 기낭이 묘사되어 있다. 이 비행선은 3개의 프로펠러로 구동되도록 설계되었다. 1784년 장피에르 블랑샤르는 풍선에 수동 프로펠러를 장착했는데, 이는 기록상 최초로 공중으로 운반된 추진 수단이었다. 조지 케일리 경은 어린 시절 중국 비행 팽이에 대한 매료에 영향을 받아 라우노이와 비앙브뉘의 모델과 유사한 깃털 모델을 개발했지만, 고무줄로 동력을 공급받았다. 세기 말까지 그는 로터 날개에 주석판을, 동력으로는 스프링을 사용하기에 이르렀다. 그의 실험과 모델에 대한 글은 미래의 항공 선구자들에게 영향을 미치게 되었다.
윌리엄 블랜드는 1851년 런던에서 열린 만국 박람회에 그의 "대기 비행선" 디자인을 보냈고, 그곳에 모델이 전시되었다. 이것은 증기 기관이 아래에 매달린 쌍둥이 프로펠러를 구동하는 길쭉한 풍선이었다. 알퐁스 페노는 1870년에 고무줄로 동력을 공급받는 동축 로터 모델 헬리콥터 장난감을 개발했다. 1872년 앙리 듀푸이 드 롬은 8명의 남자가 돌리는 큰 프로펠러로 구동되는 대형 조종 가능한 풍선을 발사했다. 하이럼 스티븐스 맥심은 무게 에 날개폭 인 비행체를 만들었는데, 두 개의 증기기관이 두 개의 프로펠러를 구동했다. 1894년, 그의 기계는 이륙하는 것을 막기 위해 머리 위 레일이 있는 상태로 시험되었다. 시험 결과 이륙하기에 충분한 양력을 가지고 있음이 나타났다. 그들의 아버지가 선물로 준 페노의 장난감 중 하나는 라이트 형제가 비행의 꿈을 추구하도록 영감을 주었다. 항공기 프로펠러의 비틀린 익형 (에어포일) 모양은 라이트 형제가 개척했다. 일부 초기 엔지니어들은 항공기 프로펠러를 선박 프로펠러에 기반하여 모델링하려고 시도했지만, 라이트 형제는 프로펠러가 본질적으로 날개와 같다는 것을 깨닫고, 날개에 대한 이전 풍동 실험 데이터를 활용하여 날개 길이를 따라 비틀림을 도입했다. 이는 블레이드 길이를 따라 보다 균일한 받음각을 유지하는 데 필요했다. 그들의 원래 프로펠러 블레이드는 약 82%의 효율을 가졌다. 이는 현대 (2010년) 소형 일반 항공 프로펠러인 비치크래프트 보난자 항공기에 사용되는 3엽 McCauley 프로펠러의 90%와 비교된다. 로퍼는 인간 동력 항공기 프로펠러의 효율을 90%로 언급했다.
마호가니는 제1차 세계 대전 내내 프로펠러로 선호되는 나무였지만, 전시 부족으로 인해 호두나무, 참나무, 벚나무 및 물푸레나무 사용이 장려되었다. 알베르토 산토스 뒤몽은 라이트 형제보다 먼저 비행선용 프로펠러를 설계한 또 다른 초기 선구자였다. 그는 비행선 경험을 통해 얻은 지식을 바탕으로 1906년 14 비스 복엽기용으로 강철 샤프트와 알루미늄 블레이드를 가진 프로펠러를 만들었다. 그의 일부 디자인은 블레이드에 구부러진 알루미늄 시트를 사용하여 익형 모양을 만들었다. 이들은 심하게 언더캠버되어 있었고, 이와 길이 방향 비틀림의 부재로 인해 라이트 프로펠러보다 효율이 떨어졌다. 그럼에도 불구하고 이것은 아마도 에어스크루 건설에 알루미늄을 처음 사용한 사례일 것이다. 원래 항공기 뒤에서 공기를 밀어내는 회전하는 익형은 프로펠러라고 불렸고, 앞에서 끌어당기는 것은 트랙터라고 불렸다. 나중에 '푸셔'라는 용어는 트랙터 구성과 대조적으로 후방 장착 장치에 채택되었으며 둘 다 '프로펠러' 또는 '에어스크루'라고 불리게 되었다. 저속 프로펠러 공기역학에 대한 이해는 1920년대까지는 거의 완전했지만, 나중에 더 작은 직경으로 더 많은 동력을 처리해야 하는 요구 사항으로 인해 문제가 더 복잡해졌다.
미국 국가항공자문위원회 (NACA)의 프로펠러 연구는 1916년부터 윌리엄 F. 듀런드가 지휘했다. 측정된 매개변수에는 프로펠러 효율, 발생된 추력 및 흡수된 일률이 포함되었다. 프로펠러는 풍동에서 테스트할 수 있지만 자유 비행에서의 성능은 다를 수 있다. 랭글리 기념 항공 연구소에서 E. P. 레슬리는 Wright E-4 엔진을 장착한 Vought VE-7을 사용하여 자유 비행 데이터를 얻었고, 듀런드는 유사한 모양의 축소 모델을 사용하여 풍동 데이터를 얻었다. 그들의 결과는 1926년 NACA 보고서 #220으로 발표되었다.
이론 및 설계.
로우리는 세스나 172의 순항 시 프로펠러 효율이 약 73.5%라고 인용했다. 이는 고정 피치 또는 정속 프로펠러를 사용하는 경량 일반 항공기의 성능을 분석하기 위한 그의 "부트스트랩 접근법"에서 파생된 것이다. 프로펠러의 효율은 받음각 (α)에 의해 영향을 받는다. 이는 α = Φ - θ로 정의되며, 여기서 θ는 헬릭스 각 (합력 상대 속도와 블레이드 회전 방향 사이의 각도)이고 Φ는 블레이드 피치 각도이다. 매우 작은 피치 및 헬릭스 각도는 저항에 대해 좋은 성능을 제공하지만 추력이 거의 없고, 더 큰 각도는 반대 효과를 가진다. 최적의 헬릭스 각도는 블레이드가 항력보다 훨씬 더 많은 양력을 생성하는 날개 역할을 할 때이다. 그러나 '양력 및 항력'은 블레이드에 작용하는 공기역학적 힘을 표현하는 한 가지 방법일 뿐이다. 항공기 및 엔진 성능을 설명하기 위해 동일한 힘이 추력과 돌림힘으로 약간 다르게 표현된다 왜냐하면 프로펠러의 필요한 출력은 추력이기 때문이다. 추력과 돌림힘은 아래에 표시된 프로펠러 효율 정의의 기초이다. 프로펠러의 전진비는 날개의 받음각과 유사하다.
프로펠러의 기계 효율은 다음으로 결정된다.
프로펠러는 낮은 항력 날개와 유사한 익형 단면을 가지므로 최적의 받음각 이외의 각도에서는 성능이 좋지 않다. 따라서 대부분의 프로펠러는 엔진 속도와 항공기 속도가 변함에 따라 블레이드의 피치 각도를 변경하기 위해 가변 피치 메커니즘을 사용한다.
블레이드의 수와 모양도 고려해야 한다. 블레이드의 가로세로비를 늘리면 항력이 줄어들지만, 생성되는 추력량은 블레이드 면적에 따라 달라지므로 고가로세비 블레이드를 사용하면 프로펠러 직경이 과도하게 커질 수 있다. 또 다른 균형은 블레이드 수를 줄이면 블레이드 간의 간섭 효과가 줄어들지만, 주어진 직경 내에서 사용 가능한 동력을 전달하기에 충분한 블레이드 면적을 가지려면 타협이 필요하다는 것이다. 블레이드 수를 늘리면 각 블레이드가 수행해야 하는 작업량도 줄어들어 국부적인 마하 수가 제한되는데, 이는 프로펠러의 중요한 성능 한계이다.
블레이드 끝단에 천음속 흐름이 처음 나타날 때 프로펠러의 성능은 저하된다. 프로펠러의 어떤 단면에서든 상대 공기 속도는 항공기 속도와 회전으로 인한 접선 속도의 벡터 합이므로, 블레이드 끝단의 흐름은 항공기보다 훨씬 먼저 천음속에 도달할 것이다. 블레이드 끝단 위의 공기 흐름이 임계 속도에 도달하면 항력과 돌림힘 저항이 급격히 증가하고 충격파가 형성되어 소음이 급격히 증가한다. 따라서 재래식 프로펠러가 장착된 항공기는 일반적으로 마하 0.6보다 빠르게 비행하지 않는다. 마하 0.8 범위까지 도달한 프로펠러 항공기도 있었지만, 이 속도에서의 낮은 프로펠러 효율은 이러한 적용을 드물게 만든다.
블레이드 비틀림.
프로펠러 블레이드의 끝단은 허브보다 빠르게 움직인다. 따라서 블레이드가 비틀려야 하며, 점진적으로 블레이드의 받음각을 줄여 허브에서 끝단까지 균일한 양력을 생성해야 한다. 가장 큰 받음각 또는 가장 높은 피치는 허브에 있고, 가장 작은 받음각 또는 가장 작은 피치는 끝단에 있다. 전체 길이에 걸쳐 동일한 받음각으로 설계된 프로펠러 블레이드는 비효율적일 것이다. 비행 중 대기 속도가 증가하면 허브 근처 부분은 음의 받음각을 가지는 반면 블레이드 끝단은 스톨될 것이기 때문이다.
고속.
고아음속 항공기를 위한 프로펠러 및 프롭팬 개발 노력이 있었다. '해결책'은 천음속 날개 설계와 유사하다. 얇은 블레이드 단면이 사용되고 블레이드는 날개 스윕백과 유사하게 시미터 모양(시미터 프로펠러)으로 뒤로 젖혀져 블레이드 끝단이 음속에 접근할 때 충격파 발생을 지연시킨다. 최대 상대 속도는 블레이드가 큰 헬릭스 각도를 가질 수 있도록 피치 제어를 통해 가능한 한 낮게 유지된다. 블레이드당 작업량을 줄여 순환 강도를 낮추기 위해 더 많은 블레이드가 사용된다. 반회전 프로펠러가 사용된다. 설계된 프로펠러는 터보팬보다 효율적이며 순항 속도(마하 0.7~0.85)는 여객기에 적합하지만, 발생하는 소음이 매우 크다(이러한 설계의 예로는 안토노프 An-70 및 투폴레프 Tu-95를 참조).
항공기 프로펠러 블레이드에 작용하는 힘은 다음과 같다. 이러한 힘 중 일부는 서로 상쇄되도록 배열되어 전반적인 기계적 응력을 줄일 수 있다.
가변 피치.
피치 각도를 변경하는 목적은 비행 전 범위에 걸쳐 프로펠러 블레이드의 최적 받음각을 유지하여 최대 효율을 제공하는 것이다. 이는 연료 소모를 줄인다. 고속에서 프로펠러 효율을 극대화해야만 가능한 최고 속도를 달성할 수 있다. 대기 속도가 증가함에 따라 유효 받음각은 감소하므로 고속에서는 더 거친 피치가 필요하다.
피치 변화의 필요성은 1931년 슈나이더 트로피 대회에서의 프로펠러 성능으로 나타난다. 사용된 페어리 항공 회사 고정 피치 프로펠러는 이륙 시 부분적으로 실속되었고, 최고 속도 에 도달하기까지 까지도 실속되었다. 매우 넓은 속도 범위는 항공기 성능에 대한 일부 일반적인 요구 사항이 적용되지 않았기 때문에 달성되었다. 최고 속도 효율에 대한 타협이 없었고, 이륙 거리가 가용한 활주로 길이에 제한되지 않았으며, 상승 요구 사항도 없었다.
투폴레프 Tu-95에 사용된 가변 피치 블레이드는 예외적으로 거친 피치를 사용하여 프로펠러 구동 항공기로는 한때 가능하다고 여겨졌던 최대 속도를 초과하는 속도로 추진한다.
초기 피치 제어 설정은 조종사가 작동했으며, 미리 설정된 소수의 위치를 사용하거나 연속적으로 가변적이었다.
가장 간단한 메커니즘은 지상에서 조절할 수 있지만 일단 공중에서는 사실상 고정 피치 프로펠러인 지상 조절식 프로펠러이다. 스프링이 장착된 "2단" VP 프로펠러는 이륙 시 미세 피치로 설정된 다음 순항 시 거친 피치로 전환되고, 나머지 비행 동안 거친 피치를 유지한다.
제1차 세계 대전 이후, 최적의 받음각을 유지하기 위해 자동 프로펠러가 개발되었다. 이는 블레이드에 작용하는 구심 비틀림 모멘트와 카운터웨이트 세트를 스프링 및 블레이드에 작용하는 공기역학적 힘과 균형을 이루게 함으로써 이루어졌다. 자동 프로펠러는 간단하고 가볍고 외부 제어가 필요 없다는 장점이 있었지만, 특정 프로펠러의 성능을 항공기 동력 장치의 성능과 일치시키기 어려웠다.
가장 일반적인 가변 피치 프로펠러는 정속 프로펠러이다. 이는 유압식 정속 장치(CSU)에 의해 제어된다. 주어진 동력 제어 설정에 대해 일정한 엔진 속도를 유지하기 위해 블레이드 피치를 자동으로 조절한다. 정속 프로펠러는 조종사가 최대 엔진 동력 또는 최대 효율의 필요에 따라 회전 속도를 설정할 수 있게 하며, 프로펠러 거버너는 선택된 엔진 속도를 유지하기 위해 필요한 대로 프로펠러 피치 각도를 변경하는 폐쇄 루프 제어기 역할을 한다. 대부분의 항공기에서 이 시스템은 유압식이며, 엔진 오일이 유압유 역할을 한다. 그러나 제2차 세계 대전 중에는 전기적으로 제어되는 프로펠러가 개발되어 군용 항공기에 광범위하게 사용되었으며, 최근에는 자작 항공기에서 다시 사용되고 있다.
또 다른 디자인은 자체 동력 및 자체 조절식인 V-프로펠러이다.
페더링.
대부분의 가변 피치 프로펠러에서 블레이드는 엔진이 고장 나거나 의도적으로 꺼졌을 때 프로펠러의 회전을 멈추고 항력을 줄이기 위해 공기 흐름과 평행하게 회전할 수 있다. 이를 페더링이라고 하는데, 이는 조정에서 차용한 용어이다. 단발 항공기, 즉 동력 글라이더 또는 터빈 동력 항공기의 경우 글라이딩 거리를 늘리는 효과가 있다. 다발 항공기의 경우 작동하지 않는 엔진의 프로펠러를 페더링하면 항력이 줄어들고, 작동 중인 엔진으로 항공기가 속도와 고도를 유지하는 데 도움이 된다. 페더링은 또한 풍차 작용을 방지하는데, 이는 슬립스트림에 의해 강제로 프로펠러가 회전하여 엔진 구성 요소가 돌아가는 것을 말한다. 풍차 작용은 엔진을 손상시키고 화재를 일으키거나 항공기에 구조적 손상을 줄 수 있다.
왕복 엔진의 대부분의 페더링 시스템은 오일 압력 강하를 감지하고 블레이드를 페더 위치로 이동시키며, 엔진이 유휴 RPM에 도달하기 전에 조종사가 프로펠러 제어를 뒤로 당겨 고피치 정지 핀을 해제하도록 요구한다. 터보프롭 제어 시스템은 일반적으로 감속 기어박스의 "음의 돌림힘 센서"를 사용하여 엔진이 더 이상 프로펠러에 동력을 공급하지 않을 때 블레이드를 페더 위치로 이동시킨다. 설계에 따라 조종사는 버튼을 눌러 고피치 정지 장치를 무시하고 페더링 과정을 완료해야 할 수도 있고, 페더링 과정이 자동으로 이루어질 수도 있다.
우발적인 페더링은 위험하며 스톨을 초래할 수 있다. 예를 들어, 예티 항공 691편 추락 사고는 우발적인 페더링으로 인해 착륙 도중 추락했다.
역 피치.
일부 항공기의 프로펠러는 음의 블레이드 피치 각도로 작동하여 프로펠러에서 나오는 추력을 역전시킬 수 있다. 이를 베타 피치라고 한다. 역추력은 착륙 후 항공기의 속도를 줄이는 데 사용되며, 휠 브레이크의 효과가 감소하는 젖은 활주로에 착륙할 때 특히 유리하다. 경우에 따라 역 피치는 항공기가 후진으로 택시 이동할 수 있게 해주는데, 이는 수상 비행기가 협소한 도크에서 빠져나오는 데 특히 유용하다.
반회전.
반회전 프로펠러는 때때로 날개에 엔진이 장착된 쌍발 및 다발 항공기에 사용된다. 이 프로펠러는 돌림힘 및 p-팩터 효과의 균형을 맞추기 위해 다른 날개에 있는 프로펠러와 반대 방향으로 회전한다. 이들은 각각 왼손 및 오른손 버전이 있기 때문에 때때로 "손잡이형" 프로펠러라고 불린다.
일반적으로 대부분의 재래식 쌍발 항공기의 두 엔진에 있는 프로펠러는 시계 방향으로 회전한다(항공기 후방에서 볼 때). 임계 엔진 문제를 해결하기 위해 반회전 프로펠러는 일반적으로 동체 안쪽으로 회전한다. 즉, 왼쪽 엔진은 시계 방향, 오른쪽 엔진은 반시계 방향으로 회전한다. 그러나 제2차 세계 대전 당시의 P-38 라이트닝과 같이 동체 바깥쪽으로 회전하는(왼쪽 엔진은 반시계 방향, 오른쪽 엔진은 시계 방향) 예외도 있으며, 에어버스 A400은 동일한 날개에서도 안쪽 엔진과 바깥쪽 엔진이 반대 방향으로 회전한다.
역회전.
역회전 프로펠러 또는 콘트라-프롭은 두 개의 반회전 프로펠러를 동심 구동 샤프트에 배치하여 하나의 프로펠러가 다른 프로펠러의 바로 '하류'에 위치하도록 한다. 이는 단일 동력 장치에 대해 반회전 프로펠러의 이점을 제공한다. 전방 프로펠러는 대부분의 추력을 제공하며, 후방 프로펠러는 프로펠러 슬립스트림 내 공기의 회전 운동에서 손실된 에너지를 회수한다. 역회전은 또한 프로펠러 직경을 늘리지 않고도 주어진 엔진에서 동력을 흡수하는 프로펠러의 능력을 증가시킨다. 그러나 시스템의 추가 비용, 복잡성, 무게 및 소음으로 인해 드물게 가치가 있으며, 궁극적인 성능이 효율성보다 더 중요한 고성능 유형에만 사용된다.
울프럼 데몬스트레이션스 프로젝트(Wolfram Demonstrations Project)는 데몬스트레이션스라고 불리는 대화형 프로그램의 오픈 소스 컬렉션이다. 이 프로젝트는 울프럼 리서치에서 호스팅한다. 출시 당시 1,300개의 데몬스트레이션스가 포함되어 있었지만 현재는 10,000개 이상으로 성장했다. 이 사이트는 2008년에 부모의 선택상을 수상했다.
울프럼 리서치의 직원이 데몬스트레이션스를 조직하고 편집하는데, 이 데몬스트레이션스는 매스매티카의 모든 사용자가 만들 수 있으며, 자유롭게 게시하고 자유롭게 다운로드할 수 있다.
데몬스트레이션스는 매스매티카 6 이상과 울프럼 매스매티카의 무료 수정 버전인 울프럼 CDF 플레이어에서 실행된다. 마이크로소프트 윈도우, 리눅스, MacOS에서 사용할 수 있으며 웹 브라우저 플러그인으로 작동할 수 있다. 데몬스트레이션스는 웹사이트에 삽입될 수도 있다. 각 데몬스트레이션스 페이지에는 사이드바의 공유 섹션에 자바스크립트 코드 스니펫이 포함되어 있다.
데몬스트레이션스는 일반적으로 사용자 동작에 동적으로 반응하는 그래픽 또는 시각화에 대한 직접적인 사용자 인터페이스로 구성된다. 각 데몬스트레이션스에는 개념에 대한 설명도 포함되어 있다. 웹사이트는 예를 들어 과학, 예술, 생물학과 같은 주제별로 정리되어 있다.
시장 아나키즘(Market anarchism)은 국가의 개입 없이 자발적인 상호작용에 기반한 자유 시장경제체제를 옹호하는 아나키즘의 한 분파이자 개인주의적 아나키즘의 한 형태이다.
자유시장 반자본주의자들이 사용하지 않는 '시장'과 '자본주의' 용어의 정의가 대립하기 때문에, 아나르코자본주의는 "자유시장 아나키즘"과 동의어로 사용되기도 했지만, 이 두 이데올로기는 크게 다르다. 케빈 카슨이 관련되어 있는 무국가 사회를 위한 센터(C4SS)는 이러한 자유시장 반자본주의자 집단 중 하나이다. 새뮤얼 에드워드 콘킨 3세의 아고라주의도 좌파 자유지상주의와 관련된 경향이다.
이안 맥케이와 같은 일부 저자들은 이러한 개념적 명칭이 아나르코자본주의자와의 유사성에 대한 오해를 여전히 불러일으킨다는 이유로 회의적인 입장을 보여왔다.
특허 또는 특허 출원에서, 청구항(patent claim) 또는 특허청구항은 기술적인 용어로 특허에 의해 부여되는 보호의 범위, 즉 범위를 정의하거나 특허 출원에서 요구되는 보호를 정의한다. 청구항은 발명가가 자신의 발명으로 간주하는 주제를 특히 지적한다. 다시 말해, 청구항의 목적은 어떤 주제가 특허에 의해 보호되는지(또는 특허 출원에 의해 보호되기를 추구하는지)를 정의하는 것이다. 이는 특허 청구항의 "고지 기능"이라고 불린다. 즉, 다른 사람들이 침해 책임을 피하려면 무엇을 하지 말아야 하는지 경고하는 것이다. 청구항은 심사와 소송 모두에서 가장 중요하다.
예를 들어, 청구항은 다음과 같을 수 있다:
대부분의 관할권에서 특허는 청구항이 물건(장치, 물질 조성물, 시스템 등)에 대한 것일 때 청구항에 의해 정의된 주제를 타인이 제조, 사용, 수입, 판매 또는 판매 제안하는 것을 배제할 수 있는 권리이다. 청구항이 방법에 대한 것이라면, 배제할 권리는 어떤 단일 당사자가 청구항의 모든 단계를 수행하는 것을 배제하는 것이다. 특허 발명을 사용하는 것을 누군가로부터 배제하기 위해서는 특허 소유자 또는 특허권자가 다른 사람이 사용하는 것이 특허 청구항의 범위 내에 있음을 법정 절차에서 입증해야 한다. 따라서 발명을 이전에 있던 것(즉, 이른바 선행 기술)과 구별하는 최소한의 제한 사항을 포함하는 청구항을 얻는 것이 더 가치 있다. 그러나 청구항의 제한 사항이 적을수록 청구항이 이전에 있던 것을 포함하거나 "해석"할 가능성이 높아져 심사 중에 거절되거나 나중에 명백하거나 신규성 부족으로 무효로 판정될 가능성이 높아진다.
특허에 항상 청구항이 포함된 것은 아니었다. 많은 유럽 국가에서는 1970년대까지 특허에 청구항이 포함되지 않았다. 그 이전에는 보호 범위에 대한 유일한 근거가 선행 기술을 고려한 명세서였기 때문에 제품이 특허를 침해했는지 여부를 결정하기 어려운 경우가 많았다.
흥미롭게도, 미국의 발명가들은 당국(사법 또는 입법)이 특허에 청구항을 요구하기 수십 년 전부터 특허 출원에 청구항을 사용하기 시작했다. 미국 특허 출원에서 현재의 의미로 "청구항"이라는 용어를 처음 사용한 사람은 1807년 이사야 제닝스(Isaiah Jennings)로 여겨진다. 청구항은 제3차 특허법(1836년)에서 공개 특허에 권장되었고, 마침내 제4차 특허법(1870년)에서 의무화되었다.
그러나 청구항을 특허에 의해 부여되는 보호 범위를 결정하는 기준으로 사용하는 특허 법체계 내에서도 청구항이 사용되는 방식은 상당히 다를 수 있다. 전통적으로 두 가지 유형의 청구 시스템이 존재한다:
오늘날 어떤 특허 시스템도 순전히 중앙식 또는 주변식은 아니지만, 독일과 유럽 대륙의 다른 대부분의 국가에서 사용되는 시스템은 영국, 미국, 특히 일본에서 현재 사용되는 시스템보다 더 중앙식으로 간주되며, 이들은 더 주변식이다. 최근 몇 년 동안, 일본의 시스템은 더욱 주변식으로 변했고, 미국의 시스템은 예측할 수 없게 청구 범위가 확장되는 균등론에 대한 미국 특허 소송의 의존도가 높아지면서 더 중앙식으로 변했다가 1997년 워너-젠킨슨(Warner-Jenkinson) 사건에서 미국 대법원이 이러한 경향을 뒤집었다.
요건 및 구조.
대부분의 현대 특허법에서 특허 출원은 최소한 하나의 청구항을 포함해야 하며, 이는 특허의 핵심 정의 요소이자 심사의 주요 대상이다. 그러나 일부 특허법에서는 청구항을 포함하지 않는 출원에 대해서도 출원일을 확보할 수 있다.
유럽 특허 조약.
유럽 특허 조약(EPC)에 따르면, 청구항은 기술적 특징의 관점에서 보호를 구하는 대상을 정의해야 한다. 이 조약 자체는 유럽 특허를 확보하기 위한 절차와 관련이 있다. 이러한 기술적 특징은 구조적(예: 못, 리벳)이거나 기능적(예: 고정 수단)일 수 있다.
청구항의 구조와 관련하여 EPC에서는 "서문"이라는 용어가 미국 특허법에서의 "서문"과는 다른 의미를 갖는다. 유럽의 독립 청구항에서 서문은 소위 "두 부분 형식"에 따라 작성된 청구항에서 "특징으로 하는 것은" 또는 "특징으로 하는 바는"이라는 표현 앞에 오는 모든 것을 의미하며, 따라서 하나의 선행 기술 문서, 즉 가장 가까운 선행 기술 문서 내에서 결합되어 알려진 것으로 간주되는 모든 것을 의미한다. 이러한 이유로 유럽에서는 청구항의 서문을 때때로 "특징 부여 전 부분"이라고도 부른다.
청구항은 다음 부분을 포함할 수 있다:
기본 유형 및 범주.
청구항의 기본 유형은 두 가지이다:
"하나의 실시예에서", "선호되는 실시예에서", "특정 실시예에서", "유리한 실시예에서" 또는 이와 유사한 표현은 특허 출원 명세서에 자주 나타나며, 발명을 수행하는 특정 구현이나 방법을 도입하는 데 사용된다. 이러한 다양한 실시예는 각각 특정하게 청구될 수도 있고 아닐 수도 있다. 이들은 청구된 더 일반적인 "속(genus)"에 대한 여러 예시로 사용될 수 있다. 어떤 경우에는 심사관이 출원인이 하나의 발명의 변형으로 제시한 것이 실제로는 개별적으로 심사해야 하는 별개의 발명이라고 선언할 수도 있다.
독립("단독") 청구항은 이전 청구항을 참조하지 않는 반면, 종속 청구항은 이전 청구항을 참조하고 그 청구항의 모든 제한을 가정하며 추가 제한을 추가한다 (예: "청구항 2의 손잡이로, 경첩이 달려 있는 것을 특징으로 함"). 각 종속 청구항은 법적으로 그 의존하는 독립 청구항보다 좁다. 비록 이것이 두 번째 청구항이 의존하는 독립 청구항에 의해 제공되는 것보다 좁은 범위를 초래하지만, 이는 추가적인 범위이며, 특허 출원인이 완전한 종속 청구항 세트를 제출하고 얻는 데에는 많은 이점이 있다:
유럽 특허 조약에 따르면, 특정 범주(아래 참조)의 청구항, 예를 들어 공정 청구항이 다른 범주, 예를 들어 제품 청구항에 종속되는 경우, 이는 종속 청구항이 아니라 독립 청구항으로 간주된다. 미국 법에 따르면, 이는 범주 변경과 관계없이 여전히 종속 청구항으로 간주된다.
청구항 작성 규칙은 또한 하나 이상의 다른 청구항을 참조하는 "다중 종속 청구항"을 허용한다. 예를 들어: "3. 청구항 1 또는 2의 방법으로, 추가로..." 이에 대한 규칙은 매우 구체적이다: 특정 청구항을 참조해야 한다 ("이러한 다른 청구항 중 어느 하나의 방법"은 올바르지 않다). 청구항은 선택적으로 참조되어야 한다 ("청구항 1 및 2의 방법"은 올바르지 않다). 등. 여전히 허용되지만, 이 청구항 형식은 참조하는 청구항 수에 따라 출원료 목적으로 계산되기 때문에 미국에서는 거의 사용되지 않는다. 따라서 청구항이 이전 세 개의 청구항에 종속되는 경우, 수수료 목적으로 세 개의 종속 청구항으로 계산된다. 현재 미국 특허청에서 부과하는 "초과 청구항" 수수료를 고려할 때, 이 전술은 빠르게 비용이 많이 들 수 있다. 그러나 다중 종속 청구항은 유럽을 포함한 다른 관할권에서는 매우 일반적으로 사용된다.
청구항은 또한 범주, 즉 청구하는 내용에 따라 분류될 수 있다. 청구항은 다음을 참조할 수 있다.
미국에서는 이러한 범주를 발명의 네 가지 법적 범주라고 부르며, 이들은 공정, 기계, 제조품, 그리고 물질 조성물이다. 특히, 인쇄물(컴퓨터 드라이브에 저장된 데이터를 포함하여) 및 신호(일시적인 전자기파 등, (참조: In Re Nujten))는 네 가지 법적 범주에 속하지 않으며 미국에서는 특허 대상이 아니다. 그러나 그러한 신호는 유럽 특허청 (EPO)에 의해 특허 가능하다고 간주된다.
"공정" 청구항은 특히 데이터 대 데이터 또는 전자 화폐 교환과 같이 비법정(및 비물리적) 개체의 변환을 포함하는 경우에 가장 논란이 많았다. 세 명의 미국 대법관(소니아 소토마요르, 루스 베이더 긴즈버그, 그리고 스티븐 브라이어)은 앨리스 코퍼레이션 대 CLS 뱅크 인터내셔널 사건에서 일치된 의견으로 모든 사업 방법은 특허 대상에서 제외되어야 한다고 제안했다: "[A]nny claim that merely describes a method of doing business does not qualify as a process under § 101." 그러나 미국 대법원은 아직 이 입장을 받아들이지 않았으며, 일부 사업 방법 특허 청구항은 미국에서 가능하지만 이 분야의 판례는 아직 진화 중이다 (참조: 미국 특허법 하의 소프트웨어 특허).
특별한 종류의 청구항.
앞서 언급된 네 가지 법정 청구항 범주 외에도, 다양한 상황에서 사용되는 많은 다른 "유형"의 청구항들이 있다. 때로는 알려진 물질의 제2 의학적 용도와 같이 특정 발명에 대해 특허가 부여되려면 특정 청구항 형식이 법적으로 요구될 수 있으며, 이 경우 "스위스식" 청구항이 요구될 수 있다. 특정 청구항을 사용하는 또 다른 이유는 특정 유형의 침해자를 잡기 위한 것일 수 있다.
해석 또는 청구항 구성.
청구항은 종종 정밀한 언어를 사용한다. 청구항에 일반적으로 사용되는 특정 단어는 하나 이상의 법원 결정에 의해 결정된 특정 법적 의미를 갖는다. 이러한 의미는 일반적인 용법과 다를 수 있다. 예를 들어, 미국 특허 청구항에서 사용되는 "포함한다(comprises)"라는 단어는 "적어도 ~로 구성된다"를 의미한다. 대조적으로, "구성한다(consists)"라는 단어는 "오직 ~로만 구성된다"를 의미하며, 이는 매우 다른 보호 범위를 초래한다.
적어도 미국 특허 실무에서는 발명가가 특허 출원에서 "자신의 사전 편찬자로 행동"할 수 있다. 이는 발명가가 일반적인 단어나 구문에 일반적인 정의와는 매우 구체적이고 다른 의미를 부여할 수 있음을 의미한다. 따라서 청구항은 특허 명세서에 제공된 정의에 따라 해석되어야 한다. 특허 명세서는 발명을 제조하고 사용하는 방법에 대한 서면 설명이다 (참조: 명세서 기재 요건).
전통적으로 미국 특허청은 특허 심사 중 청구항 해석을 위해 "명세서와 일치하는 가장 넓은 합리적 해석" 기준을 사용했으며, 반면 미국 법원은 미국 특허법상 특허 침해 소송에서 마크만 심리 중 청구항을 더 좁은 기준으로 해석했다. 이러한 이중성(심사 중에는 더 넓게, 소송 중에는 더 좁게)은 특허권자가 미국 특허청에서 심사된 것보다 더 넓은 청구항을 법원에서 집행하는 것을 방지하기 위해 사용되었다. 그러나 2018년 11월 13일, 미국 특허청은 연방 순회 항소 법원이 필립스 대 AWH 코퍼레이션 사건, 415 F.3d 1303 (Fed. Cir. 2005)에서 확립한 청구항 구성 기준으로 전환했다.
특허법, 디자인권 및 상표법에서 우선권(priority right)은 특허, 산업 디자인 또는 상표에 대한 출원의 최초 출원으로 발생하는 시간 제한 권리이다. 우선권은 청구인이 동일한 발명, 디자인 또는 상표에 대해 최초 출원일 기준으로 다른 국가에 후속 출원을 할 수 있도록 허용한다. 후속 출원을 할 때, 출원인은 우선권을 행사하기 위해 최초 출원의 우선권을 주장해야 한다. 우선권은 출원인 또는 그의 승계인에게 속한다.
우선권 주장 기간, 즉 우선권이 존재하는 기간은 일반적으로 산업 디자인 및 상표의 경우 6개월, 특허 및 실용신안의 경우 12개월이다. 우선권 주장 기간은 종종 특허 및 실용신안의 경우 우선연도라고 불린다.
특허법에서 우선권이 유효하게 주장될 경우, 우선일이라고 불리는 최초 출원일은 해당 최초 출원의 우선권을 주장하는 후속 출원에 대한 신규성 및 진보성 또는 비자명성 심사를 위한 유효 출원일로 간주된다. 즉, 후속 출원에서 청구된 발명의 신규성 및 진보성 또는 비자명성을 심사하기 위해 고려되는 선행기술은 출원일 (후속 출원의) 이전에 대중에게 공개된 모든 것이 아니라, 우선일, 즉 최초 출원일 이전에 대중에게 공개된 모든 것이다.
유럽 특허청에 따르면, "[우선권의] 기본적인 목적은 제한된 기간 동안 발명에 대한 국제적 보호를 얻으려는 특허 출원인의 이익을 보호함으로써 특허법에서 속지주의 원칙의 부정적인 결과를 완화하는 것이다."
조약 우선권.
"파리 협약 우선권"은 "조약 우선권" 또는 "연합 우선권"이라고도 불리며, 1883년 파리 협약 제4조에 정의된 다자간 협정하의 "우선권"이다. 조약 우선권은 아마도 가장 널리 알려진 우선권일 것이다. 이는 제4조 A.(1)에 의해 정의된다:
파리 협약 제4조 B.는 우선권의 효과를 설명한다:
WTO 지식재산권 관련 무역협정 (TRIPs 협정) 제2조 1항은 파리 협약과 함께 "파생된" 조약 우선권을 제공한다. 즉, WTO 회원국은 파리 협약을 비준할 필요는 없지만, 파리 협약 제1조부터 제12조, 그리고 제19조를 준수해야 한다.
기타 다자간 협정하의 우선권.
일부 우선권은 유럽 특허 협약 (EPC) 또는 특허협력조약 (PCT)과 같은 다자간 협약에 의해 정의된다. 파리 협약은 유럽 특허 출원 또는 국제 출원 (또는 PCT 출원)에서 주장된 우선권을 다루지 않는다. EPC와 PCT는 우선권에 관한 자체 법적 규정을 가지고 있기 때문이다.
유럽 특허 협약.
은 EPC 하의 우선권 시스템을 정의하거나, 더 정확히는 파리 협약 가입국 또는 세계무역기구 (WTO) 회원국에서 또는 그들을 위해 최초 출원에 대한 우선권을 인정한다:
는 우선권의 효과를 설명한다:
유럽 특허청 (EPO) 대심판정이 1994년 8월 16일의 결정 G 3/93 (이유 4)에서 설명했듯이:
에서 "동일한 발명"이 무엇인지에 대한 중요한 질문에 대해, 의견 G 2/98은 우선권 평가에 대한 사진적 접근 방식을 규정한다. 대심판정 의견 G 2/98에 따르면, "동일한 발명"의 우선권을 주장하기 위한 요건은 숙련된 자가 일반적인 지식을 사용하여 선행 출원 전체로부터 청구항의 주제를 직접적이고 명확하게 도출할 수 있는 경우에만 유럽 특허 출원 청구항에 대한 선행 출원의 우선권을 인정해야 한다는 것을 의미한다.
특허협력조약.
특허협력조약은 제8조 (1)항에서 국제 출원 (PCT 출원)에 대한 우선권을 주장할 가능성을 제공한다:
는 다음과 같이 이어서 언급한다:
그러나 2000년 1월 1일부터 발효된 규칙 4.10(a) 개정판은 모든 지정 관청에 적용되는 것은 아니다. 예를 들어, 지정 관청으로서 유럽 특허청의 경우, 2007년 12월 12일까지는 이전 규칙 4.10(a)가 여전히 적용되었다. 즉, 파리 협약의 당사국이 아닌 WTO 회원국에서 이루어진 최초 출원의 우선권은 인정되지 않았다. 이제 그리고 특히 2007년 12월 13일 (새로운 유럽 특허 협약, 이른바 EPC 2000의 발효) 이후에 출원된 유럽 특허 출원의 경우, WTO 회원국에서 이루어진 최초 출원의 우선권은 유럽 특허 협약에 따라 인정된다.
내부 우선권.
일부 우선권은 일부 국내법에 의해 정의되며 "내부 우선권"이라고 불린다. 이러한 내부 우선권은 특정 국가에 최초 출원을 한 출원인이 동일 국가에 후속 출원을 할 때 최초 출원의 우선권을 주장할 수 있도록 허용한다.
파리 협약은 내부 우선권을 다루지 않는다. 예를 들어, 미국에서의 임시 출원을 참조하라.
양자 협정에 따른 우선권.
일부 우선권은 양자 협정에 기초하여 존재하기도 한다. 첫 번째 국가와 두 번째 국가 간의 양자 협정은 첫 번째 국가에 출원한 출원인이 두 번째 국가에 두 번째 출원을 할 때 첫 번째 출원의 우선권을 주장할 수 있도록 허용할 수 있다. 이러한 종류의 양자 협정에는 일반적으로 파리 협약의 당사국이 아닌 최소한 한 국가가 포함된다.
특별 고려 사항.
특허 청구항에 대한 부분 우선권.
특허 출원 또는 특허의 단일 청구항에 대해 부분 우선권을 인정할 수 있는 범위, 즉 청구항의 일부에 대해서만, 그 주제가 우선권 서류에 공개된 경우에만 인정할 수 있는 범위는 미묘한 문제이다. EPO 대심판정의 결정 G 1/15는 이 질문을 특별히 다룬다.
공휴일 및 기타 "휴무"일의 우선권 기간 연장.
1883년 산업재산권 보호를 위한 파리 협약은 12개월의 우선권 기간의 마지막 날이 "공휴일이거나 보호가 청구된 국가에서 출원 접수가 불가능한 날"인 경우, 우선권 기간이 "다음 첫 근무일까지" 연장된다고 규정하고 있다.
도스 플러스(DOS Plus)는 1985년에 처음 출시된 영국의 뉴베리 (버크셔주)에 위치한 디지털 리서치의 OEM 지원 그룹이 개발한 최초의 운영 체제였다. 도스 플러스 1.0은 CP/M-86 Plus와 Concurrent PC DOS 4.11의 PCMODE 에뮬레이터를 결합하여 만들어졌다. CP/M-86 Plus와 Concurrent DOS 4.1은 미국에서 개발되었지만, Concurrent PC DOS 4.11은 디지털 리서치 UK가 발전시킨 국제화되고 버그 수정된 버전이었다. 이후 도스 플러스 2.x 버전은 Concurrent PC DOS 5.0을 기반으로 했다. 넓게 보면, 도스 플러스는 Concurrent CP/M-86과 DR DOS 사이의 중간 단계이다.
도스 플러스는 CP/M-86 또는 MS-DOS 2.11용으로 작성된 프로그램을 실행할 수 있으며, 이 두 시스템에서 사용되는 플로피 형식을 읽고 쓸 수 있다. 최대 4개의 CP/M-86 프로그램을 멀티태스킹할 수 있지만, MS-DOS 프로그램은 한 번에 하나만 실행할 수 있다.
도스 플러스는 MS-DOS와 동일한 명령줄 인터페이스를 제공하려고 한다. MS-DOS와 마찬가지로 codice_1 (대체 이름 codice_2)이라는 명령줄 인터프리터를 가지고 있다. codice_3 파일은 있지만 codice_4는 없다 (일부 도스 플러스 2.1 버전에서 일부 현장 설치 가능 장치 드라이버(FIDD)를 로드하는 확장 기능인 FIDDLOAD 제외). 사용자가 알아차릴 주요 차이점은 화면의 맨 아래 줄에 다음과 유사한 상태 정보가 포함되어 있다는 것이다:
DDT86 ALARM UK8 PRN=LPT1 Num 10:17:30
상태 표시줄의 왼쪽에는 실행 중인 프로세스가 표시된다. 가장 왼쪽에 있는 프로세스는 화면에 표시되고, 다른 프로세스(있는 경우)는 백그라운드에서 실행된다. 오른쪽에는 사용 중인 키보드 레이아웃(위 예시에서는 UK8), 프린터 포트 할당, 키보드의 Caps Lock 키 및 Num Lock 키 상태, 현재 시간이 표시된다. 도스 프로그램이 실행 중인 경우 상태 줄은 표시되지 않는다. 도스 프로그램은 백그라운드에서 실행될 수 없다.
사용 중인 키보드 레이아웃은 , 와 기능 키 – 중 하나를 눌러 변경할 수 있다.
도스 플러스는 다중 작업 기능을 지원하기 위한 여러 추가 명령어를 포함한다:
또한 표준 도스 명령어 및 CP/M 명령어의 하위 집합을 포함한다. 예를 들어, 내장된 codice_5 명령어와 codice_6 유틸리티가 모두 있으며, 이 둘 모두 파일을 복사한다.
codice_7 명령어는 MS-DOS 명령어 codice_8와 유사한 방식으로 세 가지 드라이브 N:, O: 또는 P: 중 하나를 다른 드라이브의 디렉터리에 할당할 수 있다. 예를 들어,
CD N:=C:\DATA\ACCOUNTS
는 디렉터리 codice_9를 드라이브 N:으로 보이게 할 것이다. 이 소위 플로팅 드라이브(floating drive) 기능은 하위 디렉터리를 지원하지 않는 오래된 프로그램이 도스 플러스에서 작동하도록 허용하고 명령 프롬프트에서 파일 처리를 훨씬 쉽게 만들 수 있다.
이 기능은 Concurrent DOS, Multiuser DOS, System Manager 7, 및 REAL/32에도 존재하지만, 이 시스템들은 이 개념을 A:부터 Z:까지의 모든 사용되지 않는 드라이브 문자(L: 드라이브 문자 제외)로 확장한다. DR DOS 3.31 – 6.0 (1992년 11월 BDOS 6.7 업데이트까지)도 이를 지원한다 (L: 드라이브 문자 포함). 이후 시스템에서는 4DOS/NDOS 명령 프로세서도 이 기능을 지원한다. 플로팅 드라이브는 명령줄 셸이 아닌 BDOS 커널에서 구현되므로, 애플리케이션이 추가 처리를 위해 디렉터리 사양을 구문 분석하고 분할하지 않는 한, 도스 애플리케이션 내에서도 디렉터리 경로를 입력할 때 이 기능을 사용할 수 있다.
유사한 기능을 사용하여, Concurrent DOS, Multiuser DOS, System Manager 및 REAL/32는 로드된 애플리케이션의 로드 경로에 플로팅 드라이브 L:을 동적으로 할당하여 애플리케이션이 고정된 절대 경로 대신 표준화된 드라이브 문자 아래에서 로드 디렉터리에 있는 파일을 참조할 수 있도록 한다. 이 로드 드라이브 기능은 로드 디렉터리 또는 하위 디렉터리에 저장된 오버레이, 구성 파일 또는 사용자 데이터에 대한 경로를 조정할 필요 없이 소프트웨어 설치를 디스크 간에 쉽게 이동할 수 있도록 한다. (유사한 이유로, MS-DOS/PC DOS 3.0 이상에서 로드된 애플리케이션과 관련된 환경 블록의 추가 부분은 실행 파일의 로드 경로에 대한 참조를 포함하지만, 이는 더 많은 상주 메모리를 소비하고 이를 활용하려면 실행 파일에 대한 지원이 코딩되어야 하는 반면, DRI의 솔루션은 모든 종류의 애플리케이션과 투명하게 작동한다.)
BDOS의 현재 작업 디렉터리를 상위 디렉터리에 대한 상대 링크로 내부적으로 조직하는 것에서 비롯된 또 다른 기능은 위의 모든 운영 체제에서 지원하는 이론적으로 무제한의 디렉터리 깊이이다. 이는 MS-DOS/PC DOS (및 1992년 이후 DR DOS)와는 대조적으로, MS-DOS 호환 내부 데이터 구조인 Current Directory Structure (CDS)가 디렉터리 깊이를 최대 66자로 제한한다.
이러한 기능은 CP/M 자체가 하위 디렉터리 개념이 없었으며, 도스가 이러한 운영 체제 아래에서 에뮬레이트되었기 때문에 디렉터리를 어떤 지능적인 방식으로 내부 CP/M 구조로 변환해야 했다는 사실에 기인한다.
도스 플러스는 DOSPLUS.SYS 또는 NETPLUS.SYS라는 단일 파일에서 부팅된다 (MS-DOS의 IO.SYS / MSDOS.SYS 조합 대신). 이 파일은 CP/M-86 CMD 형식이며, 내부적으로 여러 모듈로 구성되어 있다:
도스 플러스를 사용한 컴퓨터.
도스 플러스는 원래 개발된 의 ROM에 내장된 주요 운영 체제였다. PC 호환 버전은 Amstrad PC1512와 프랑스 회사 T.R.A.N. S.A.의 Jasmin Turbo와 함께 제공되었다. 비 IBM PC 호환 BBC Master 512는 Solidisk의 PC Plus 메모리 확장과 함께 도스 플러스 1.2, 1.2a 또는 2.1을 제공했다. Apricot ACT 시리즈의 비표준 315 KB 및 720 KB FAT12 플로피 형식에 대한 도스 플러스 2.1e/g 적응 버전이 있었다. Sperry IT PC의 논리 섹터 FAT 하드 디스크 형식 (파티션 유형 )과 Acorn Archimedes A300 및 A310용 80186 코프로세서 보드, 그리고 Acorn 286 프로토타입도 지원되었다.
알려진 운영 체제 버전은 다음과 같다:
프로젝트64(Project64)는 마이크로소프트 윈도우용 C 및 C++ 프로그래밍 언어로 작성된 자유-오픈 소스 닌텐도 64 에뮬레이터이다. 이 소프트웨어는 플러그인 시스템을 사용하여 타사 그룹이 자신들의 플러그인을 사용하여 특정 구성 요소를 구현할 수 있도록 한다. 프로젝트64는 닌텐도 64 롬 카트리지의 고정 기억 장치에서 덤프된 롬 이미지 또는 컴퓨터에서 홈브루로 직접 생성된 롬 이미지를 읽어 컴퓨터에서 닌텐도 64 게임을 플레이할 수 있다.
프로젝트64는 2013년에 최고의 성능을 내는 에뮬레이터 중 하나이자 가장 인기 있는 닌텐도 64 에뮬레이터로 여겨졌다. 이 프로그램은 GNU 일반 공중 사용 허가서 버전 2에 따라 라이선스가 부여된다.
호환성 및 기능.
프로젝트64는 바이오스 사용을 요구하지 않는 매우 호환성이 높은 에뮬레이터로 간주된다. 이 에뮬레이터는 기본 기능, 멀티플레이어 지원, 그리고 자르거나 품질 저하 없이 가로세로비를 변경할 수 있는 기능을 제공한다.
프로젝트64의 개발은 1998년 3월 질마르(Zilmar)와 다른 소수의 팀으로 시작되었다. 1999년 9월, 질마르는 자신만의 N64 에뮬레이터를 개발 중이던 자보(Jabo)를 소개받았다. 1999년 12월, 자보는 Project64 공동 작업에 참여하도록 질마르의 초청을 받았다. 자보는 원래 RDP/그래픽스 개발자가 될 의도는 없었고, 어셈블리어와 중앙 처리 장치 (CPU)에 더 큰 관심을 가지고 있었지만, 자주 그래픽스 작업에 몰두하는 자신을 발견했다.
저자들은 현재 지원되지 않는 버전 1.4의 소스 코드 일부를 공개했다. Project64k는 Project64 1.4의 수정 버전으로, 카일레라(Kaillera) 네트워킹 클라이언트를 통합하여 멀티플레이어 네트워크 플레이 기능을 제공한다. 플레이어는 여러 게임이 호스트될 수 있는 서버에 접속할 수 있으며, 다른 기능은 Project64 1.4와 동일하게 유지된다. 2011년 7월, 자보는 Project64 개발을 중단하기로 결정하고 일부 개선 사항이 포함된 1.6의 수정 버전을 출시했다. 그는 또한 더 이상 소스 코드를 출시하지 않을 것이라고 밝혔다. 그러나 2013년 4월, 질마르는 Project64 2.0과 공식 소스 코드 저장소를 Project64 웹사이트에 공개하여 소프트웨어를 완전히 오픈 소스로 만들고 모든 사람이 접근할 수 있도록 했다. 이 버전에서 코드의 상당 부분이 다시 작성되었다고 언급되었다. 약 한 달 후, Project64 2.1이 출시되었다. 2015년 4월, Project64 2.2는 깃허브 저장소에 소스 코드와 함께 출시되었다. 2015년 5월부터 Project64 2.2는 64DD 디스크 롬을 플레이할 수 있게 되었다. 2016년 8월 1일, Project64 버전 2.3이 출시되었고, 2017년 1월에는 2.3.2 버전으로 업데이트되었다. 2021년 5월 27일, Project64 버전 3.0.0이 20주년 기념으로 출시되었다.
2011년에 PC 월드는 닌텐도의 공식 닌텐도 64 에뮬레이션(버추얼 콘솔을 통해 제공)보다 더 많은 "고급 설정"을 제공하는 에뮬레이터를 칭찬했다. 예를 들어 게임의 가로세로비를 변경하는 기능 등이 있었다. 그러나 에뮬레이션이 완벽하지 않다고 비판하며 "거친 부분"이 있다고 묘사했다.
그러나 버전 2.2까지는 소셜 미디어 웹사이트에서 설치 프로그램에 멀웨어가 포함되어 있다는 수많은 보고가 있은 후 공식 설치 프로그램을 통해 프로젝트64를 설치하는 것에 대한 심각한 안전 문제가 있었다. 2016년 7월, 이 멀웨어 코드는 소스 코드와 설치 프로그램 모두에서 제거되었다. Project64 2.3 출시 후 내그웨어 화면이 나타나기 시작했다. 강제 대기 기간이 설치되면서 연속 실행될수록 내그웨어 화면은 더욱 끈질기게 나타났다. 에뮬레이션 커뮤니티는 이 문제를 해결하기 위한 해결책을 만들었다.
실질 조건문(material conditional) 또는 실질적 함의(material implication)는 논리학에서 흔히 사용되는 이항 연산이다. 조건 기호 formula_1가 실질적 함의로 해석될 때, formula_2라는 공식은 formula_3가 참이고 formula_4가 거짓인 경우를 제외하고는 참이다.
실질적 함의는 고전 논리의 모든 기본 시스템과 일부 비고전 논리에서 사용된다. 이는 수학 내에서 정확한 조건부 추론의 모델로 가정되며, 많은 프로그래밍 언어의 명령문에서 기본 역할을 한다. 그러나 많은 논리에서는 실질적 함의를 엄격한 조건문 및 가변적 엄격 조건문과 같은 다른 연산자로 대체한다. 실질적 함의의 역설 및 관련 문제로 인해, 실질적 함의는 일반적으로 자연어에서의 조건문에 대한 타당한 분석으로 간주되지 않는다.
논리학 및 관련 분야에서 실질 조건문은 일반적으로 중위 연산자 formula_1로 표기된다. 실질 조건문은 또한 중위 formula_6 및 formula_7를 사용하여 표기된다. 접두사 폴란드 표기법에서는 조건문이 formula_8로 표기된다. 조건문 공식 formula_9에서 하위 공식 formula_10는 전건이라고 불리고 formula_11는 조건문의 후건이라고 불린다. 조건문은 formula_12 공식에서처럼 전건이나 후건 자체가 조건문일 수 있도록 중첩될 수 있다.
Arithmetices Principia: Nova Methodo Exposita (1889)에서 페아노는 "만약 formula_13이면, formula_14이다"라는 명제를 C의 반대 기호인 Ɔ로 formula_13 Ɔ formula_14로 표현했다. 그는 또한 formula_17라는 명제를 formula_13 Ɔ formula_14로 표현했다. 힐베르트는 1918년에 "만약 A이면, B이다"라는 명제를 formula_20로 표현했다. 러셀은 그의 수학 원리 (1910–1913)에서 페아노를 따라 "만약 A이면, B이다"라는 명제를 formula_17로 표현했다. 러셀을 따라 겐첸은 "만약 A이면, B이다"라는 명제를 formula_17로 표현했다. 헤이팅은 처음에 "만약 A이면, B이다"라는 명제를 formula_17로 표현했지만, 나중에는 오른쪽을 가리키는 화살표인 formula_20로 표현하게 되었다. 부르바키는 1954년에 "만약 A이면, B이다"라는 명제를 formula_25로 표현했다.
고전 논리의 의미론적 관점에서 실질적 함의는 첫 번째 인수가 참이고 두 번째 인수가 거짓인 경우를 제외하고는 "참"을 반환하는 이항 진리 함수 연산자이다. 이 의미론은 다음 진리표에 그래픽으로 표시될 수 있다.
동치 formula_26를 고려할 수도 있다.
전건 formula_13가 거짓인 조건문 formula_28은 "공허한 참"이라고 불린다.
예시는 다음과 같다...
분석적 타블로.
연결사 집합 formula_31에 대한 공식은 f-함의적이라고 불린다. 고전 논리에서 formula_32 (부정), formula_33 (논리곱), formula_34 (논리합) 및 formula_35 (동치)와 같은 다른 연결사는 formula_1와 formula_37 (거짓)으로 정의될 수 있다.
f-함의 공식의 타당성은 분석적 타블로 방법에 의해 의미론적으로 확립될 수 있다. 논리 규칙은 다음과 같다.
힐베르트식 증명은 여기 또는 여기에서 찾을 수 있다.
힐베르트식 증명은 여기에서 찾을 수 있다.
구문론적 속성.
진리표에 의한 의미론적 정의는 다양한 논리 시스템에서 구조적으로 동일한 명제 형태를 조사하는 것을 허용하지 않으며, 여기서 다른 속성이 입증될 수 있다. 여기서 고려되는 언어는 f-함의 공식에 한정된다.
다음 (후보) 자연 연역 규칙을 고려해보자.
엄선된 정리 (고전 논리).
고전 논리에서 실질적 함의는 다음을 검증한다.
마찬가지로, 다른 연결사에 대한 고전적 해석에서 실질적 함의는 다음 귀결을 검증한다.
실질적 함의를 포함하는 항진식은 다음과 같다.
자연어와의 불일치.
실질적 함의는 자연어의 조건문 사용과 밀접하게 일치하지 않는다. 예를 들어, 거짓 전건을 가진 실질 조건문은 공허하게 참이지만, 자연어 문장 "8이 홀수라면, 3은 소수이다"는 일반적으로 거짓으로 판단된다. 마찬가지로, 참 후건을 가진 어떤 실질 조건문도 그 자체로 참이지만, 화자들은 일반적으로 "내 주머니에 1페니가 있다면, 파리는 프랑스에 있다"와 같은 문장을 거부한다. 이러한 고전적인 문제들은 실질적 함의의 역설이라고 불렸다. 역설 외에도, 실질적 함의 분석에 반대하는 다양한 다른 주장이 제기되었다. 예를 들어, 반사실적 조건문은 그러한 설명에서는 모두 공허하게 참이 될 것이지만, 실제로는 일부는 거짓이다.
20세기 중반, H. P. 그라이스와 프랭크 잭슨을 포함한 여러 연구자들은 화용론적 원리가 자연어 조건문과 실질 조건문 사이의 불일치를 설명할 수 있다고 제안했다. 그들의 설명에 따르면, 조건문은 실질적 함의를 지시하지만, 그라이스의 격률과 같은 대화적 규범과 상호작용할 때 추가 정보를 전달하게 된다. 형식 의미론 및 언어철학의 최근 연구는 일반적으로 자연어 조건문에 대한 분석으로서 실질적 함의를 피하고 있다. 특히, 이러한 연구는 자연어 조건문이 "P라면 Q"의 진리값이 오직 P와 Q의 진리값에 의해서만 결정된다는 의미에서 진리 함수적이라는 가정을 종종 거부했다. 따라서 조건문의 의미론적 분석은 일반적으로 양상 논리, 연관 논리, 확률론 및 인과 모델과 같은 기초 위에 구축된 대안적 해석을 제안한다.