hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
알고리즘 효율성
Section: 개요

시간 또는 공간 문제에 영향을 미칠 수 있지만 프로그래머의 통제 범위를 벗어날 수 있는 다른 요인들도 있다. 여기에는 데이터 정렬, 데이터 세분성, 캐시 국부성, 캐시 일관성, 쓰레기 수집, 명령어 수준 병렬성, 멀티스레딩 (하드웨어 또는 소프트웨어 수준에서), 동시 멀티스레딩, 서브루틴 호출 등이 포함된다.

구현 문제 또한 효율성에 영향을 미칠 수 있는데, 예를 들어 프로그래밍 언어의 선택, 알고리즘이 실제로 코드화되는 방식, 특정 언어를 위한 컴파일러의 선택, 사용된 컴파일러 옵션, 심지어 사용 중인 운영체제 등이다. 많은 경우 인터프리터로 구현된 언어는 컴파일러로 구현된 언어보다 훨씬 느릴 수 있다. JIT 컴파일과 인터프리트 언어에 대한 문서를 참조하라.
알고리즘 효율성
Section: 자원 사용 측정

덜 일반적인 계산 효율성 측정값도 일부 경우에 관련될 수 있다.

전송 크기: 대역폭이 제한 요인이 될 수 있다. 데이터 압축을 사용하여 전송할 데이터 양을 줄일 수 있다. 그림이나 이미지(예: Google 로고)를 표시하면 "Google"이라는 텍스트 6바이트 전송과 비교하여 수만 바이트(이 경우 48K)가 전송될 수 있다. 이는 I/O 바운드 컴퓨팅 작업에 중요하다.

외부 공간: 디스크 또는 기타 외부 메모리 장치에 필요한 공간. 이는 알고리즘이 실행되는 동안 임시 저장 공간일 수도 있고, 나중에 참조하기 위해 장기 저장 공간일 수도 있다.

응답 시간(레이턴시): 실시간 응용 프로그램에서 컴퓨터 시스템이 외부 이벤트에 빠르게 응답해야 할 때 특히 관련이 있다.
알고리즘 효율성
Section: 배경

초기 전자 컴퓨터는 속도와 랜덤 액세스 메모리가 모두 제한적이었다. 따라서 시공간 트레이드오프가 발생했다. 태스크는 많은 메모리를 사용하는 빠른 알고리즘을 사용하거나, 적은 메모리를 사용하는 느린 알고리즘을 사용할 수 있었다. 따라서 엔지니어링 트레이드오프는 사용 가능한 메모리에 맞는 가장 빠른 알고리즘을 사용하는 것이었다.

시간에 대한 효율성의 중요성은 에이다 러브레이스가 1843년에 찰스 배비지의 기계식 해석 기관에 적용하면서 강조했다.

"거의 모든 계산에서 프로세스 연속을 위한 다양한 배열이 가능하며, 계산 엔진의 목적에 따라 그 중에서 선택에 영향을 미치는 다양한 고려 사항이 있어야 한다. 필수적인 목표 중 하나는 계산 완료에 필요한 시간을 최소화하는 경향이 있는 배열을 선택하는 것이다."
프로그래밍 언어 이론
Section: 학술지, 출판물 및 학회

학회는 프로그래밍 언어 연구를 발표하는 주요 장소이다. 가장 잘 알려진 학회로는 프로그래밍 언어 원리 심포지엄(POPL), 프로그래밍 언어 설계 및 구현(PLDI), 국제 함수형 프로그래밍 학회(ICFP), 객체 지향 프로그래밍, 시스템, 언어 및 응용에 대한 국제 학회(OOPSLA) 및 ASPLOS가 있다.

PLT 연구를 게재하는 주목할 만한 학술지로는 ACM Transactions on Programming Languages and Systems(TOPLAS), Journal of Functional Programming(JFP), Journal of Functional and Logic Programming 및 Higher-Order and Symbolic Computation이 있다.
프로그래밍 언어 이론
Section: 추가 자료

군터, 칼 및 미첼, 존 C. (편집). Theoretical Aspects of Object Oriented Programming Languages: Types, Semantics, and Language Design. MIT Press.

아바디, 마르틴 및 카르델리, 루카. A Theory of Objects. Springer-Verlag.

마이클 J. C. 고든. Programming Language Theory and Its Implementation. Prentice Hall.
프로그래밍 언어 이론
Section: 역사

1969년, 윌리엄 앨빈 하워드는 자연 연역이라고 불리는 "고수준" 증명 시스템이 그 직관주의적 버전에서 람다 대수로 알려진 계산 모델의 타입이 있는 변형으로 직접 해석될 수 있음을 관찰했다. 이는 커리-하워드 대응으로 알려지게 되었다.

1970년대

1970년, 데이나 스콧은 표시적 의미론에 대한 그의 연구를 처음 발표했다.

1972년, 논리형 프로그래밍과 프롤로그가 개발되어 컴퓨터 프로그램을 수학적 논리로 표현할 수 있게 되었다.
기업 정보 시스템

'기업(enterprise)'이라는 단어는 다양한 의미를 가질 수 있다. 종종 이 용어는 다국적 기업이나 공공 부문 조직과 같은 매우 큰 조직을 지칭할 때만 사용된다. 그러나 이 용어는 기업의 버즈워드가 됨으로써 사실상 어떤 것을 의미하는 데 사용될 수도 있다.

기업 정보 시스템, 전사적 정보 시스템(Enterprise information system, EIS)은 통합을 통해 기업 비즈니스 프로세스의 기능을 향상시키는 모든 종류의 정보 시스템이다. 이는 일반적으로 고품질 서비스를 제공하고, 대량의 자료를 처리하며, 크고 복잡할 수 있는 조직이나 기업을 지원할 수 있음을 의미한다. EIS는 기업의 모든 부서와 모든 계층에서 사용될 수 있어야 한다.
인간 중심 컴퓨팅
Section: 프로젝트

인간 중심 컴퓨팅의 원리를 기반으로 하는 애리조나 주립 대학교의 인지 유비쿼터스 컴퓨팅 센터(CUbiC)는 보조, 재활 및 건강 관리 응용 프로그램을 개발한다. 2001년 세투라만 판차나탄이 설립한 CUbiC 연구는 멀티미디어 컴퓨팅의 세 가지 주요 영역인 감지 및 처리, 인식 및 학습, 상호 작용 및 전달에 걸쳐 있다. CUbiC는 다학제적 연구를 강조하고 기술 설계 및 개발의 중심에 개인을 둔다. 이러한 기술의 예로는 시각 장애가 있는 학생들이 교실 수업을 따라가고 필기하는 데 도움이 되도록 설계된 장치인 노트 테이커(Note-Taker)와 시각 장애인에게 햅틱 피드백을 통해 표정을 전달하는 비브로글러브(VibroGlove)가 있다.

인간 우주 탐사의 민족지학—HCC 연구소는 과학자의 현장 생활의 모든 측면을 다루는 과학 현장 작업에 대한 민족지학 연구를 수행하고 있다. 이 연구에는 하우턴의 참가자로서 관찰하고 HCC 연구소의 경험에 대해 쓰는 것이 포함된다. 그런 다음 HCC 연구소는 사람들이 시간, 공간 및 물체를 조직하는 방식과 목표를 달성하기 위해 서로 관련되는 방식에서 패턴을 찾는다. 이 연구에서 HCC 연구소는 학습 및 개념 변화에 중점을 둔다.
인간 중심 컴퓨팅
Section: 멀티미디어에서의 인간 중심 활동

멀티미디어 상호 작용은 HCM의 상호 작용 활동 영역으로 간주될 수 있다. 사람들이 서로 어떻게, 왜 상호 작용하는지 이해하는 것이 매우 중요하다. 그래야 그러한 커뮤니케이션을 촉진하고 사람들이 자연스러운 방식으로 컴퓨터와 상호 작용할 수 있는 시스템을 구축할 수 있다. 자연스러운 상호 작용을 달성하려면 잠재적인 문화적 배경 차이 때문에 문화적 차이와 사회적 맥락이 고려해야 할 주요 요인이다. 예를 들어, 상호 작용이 물리적으로 위치하고 실시간으로 이루어지는 대면 커뮤니케이션; 상호 작용이 물리적으로 원격이지만 실시간으로 유지되는 라이브-컴퓨터 매개 커뮤니케이션; 인스턴트 SMS, 이메일 등과 같은 비실시간 컴퓨터 매개 커뮤니케이션이 있다.

멀티미디어 분석은 인간 활동과 사회적 행동 전반에 대한 자동 분석인 HCM 애플리케이션의 한 유형으로 간주될 수 있다. 인간 커뮤니케이션을 촉진하고 향상시키는 것부터 전문, 엔터테인먼트 및 개인 영역에서 정보 접근 및 검색을 개선하는 것까지 잠재적인 관련 사용 영역이 광범위하다. 인간 중심 멀티미디어(HCM)의 멀티미디어 분석 분야는 인간 활동 및 사회적 행동을 자동으로 분석하는 것을 포함한다. 이 응용 분야는 개인 간의 의사소통을 개선하고 전문, 엔터테인먼트 및 개인 환경에서 정보 접근성을 향상시키는 것을 포함하여 광범위한 영역을 포괄한다. 멀티미디어 분석 활용 가능성은 광범위하며, 단순한 분류를 넘어 인간 행동에 대한 미묘한 이해를 달성한다. 이를 통해 시스템 기능을 향상시키고 사용자에게 개선된 경험을 제공할 수 있다.
인간 중심 컴퓨팅
Section: 인간 중심 시스템

또한 클링 외 연구진은 시스템을 분류할 때 고려해야 할 인간 중심성의 네 가지 차원을 정의한다. 인간 중심 시스템은 대상 사회 조직의 복잡성과 작업 및 정보를 구조화하는 다양한 사회 단위들을 분석해야 한다. 인간 중심성은 시스템의 속성이 아니라 특정 시스템의 이해 관계자 그룹이 시스템의 이점을 평가하는 과정이다. 시스템의 기본 아키텍처는 인간과 기계 간의 현실적인 관계를 반영해야 한다. 시스템이 설계된 목적과 대상은 시스템의 설계, 평가 및 사용의 명시적인 부분이 되어야 한다.

인간 중심 시스템(HCS)은 인간 중심 컴퓨팅을 위해 설계된 시스템이다. 이 접근 방식은 마이크 쿨리가 그의 저서 Architect or Bee?에서 루카스 플랜과의 작업 경험을 바탕으로 개발했다. HCS는 인간 활동과 관련된 대화형 시스템의 설계에 중점을 둔다. 클링(Kling) 외 연구진에 따르면, 미국 과학기술위원회의 컴퓨팅, 정보 및 통신 위원회는 인간 중심 시스템, 즉 HCS를 고성능 컴퓨팅 프로그램의 다섯 가지 구성 요소 중 하나로 식별했다. 인간 중심 시스템은 인간 중심 자동화라는 용어로 지칭될 수 있다. 클링 외 연구진에 따르면 HCS는 "다음과 같은 시스템"을 의미한다.
보안 서비스

보안 서비스 또는 시큐리티 서비스(security service)는 ITU-T X.800 권고에 정의된 대로 통신 개방형 시스템 계층에서 제공하는 서비스로, 시스템 또는 데이터 전송의 적절한 보안을 보장한다. 
X.800과 ISO 7498-2(정보 처리 시스템 – 개방형 시스템 상호 연결 – 기본 참조 모델 – 2부: 보안 아키텍처)는 기술적으로 일치한다. 이 모델은 널리 인정받고 있다.

다른 권위 있는 정의는 NIST SP 800-95에서 채택한 W3C 웹 서비스 용어집에 있다.

시스템이 리소스에 특정 종류의 보호를 제공하기 위해 제공하는 처리 또는 통신 서비스이며, 해당 리소스는 해당 시스템에 있거나 다른 시스템에 있을 수 있다. 예를 들어, 인증 서비스 또는 PKI 기반 문서 속성 및 인증 서비스가 있다. 보안 서비스는 AAA 서비스의 상위 집합이다. 보안 서비스는 일반적으로 보안 정책의 일부를 구현하며 보안 메커니즘을 통해 구현된다.
보안 서비스
Section: 기본 OSI 용어

X.800 권고는

참조 모델이 제공할 수 있는 보안 서비스 및 관련 메커니즘에 대한 일반적인 설명을 제공하고

참조 모델 내에서 서비스와 메커니즘이 제공될 수 있는 위치를 정의한다.

이 권고는 개방형 시스템 간의 보안 통신을 다루기 위해 권고 X.200의 적용 분야를 확장한다.

X.200 권고에 따르면, 소위 OSI 참조 모델에는 7개의 계층이 있으며, 각 계층은 일반적으로 N 계층이라고 불린다. N+1 엔티티는 N 엔티티에 전송 서비스를 요청한다.
보안 서비스
Section: OSI 보안 서비스 설명

인증

이 서비스는 아래에 설명된 대로 통신하는 피어 엔티티 및 데이터 출처의 인증을 제공한다.
피어 엔티티 인증
이 서비스는 (N)-계층에 의해 제공될 때, 피어 엔티티가 주장하는 (N + 1)-엔티티임을 (N + 1)-엔티티에게 입증한다.
데이터 출처 인증
이 서비스는 (N)-계층에 의해 제공될 때, 데이터의 출처가 주장하는 피어 (N + 1)-엔티티임을 (N + 1)-엔티티에게 입증한다.

접근 제어

이 서비스는 OSI를 통해 접근 가능한 리소스의 무단 사용으로부터 보호를 제공한다. 이는 OSI 프로토콜을 통해 접근하는 OSI 또는 비 OSI 리소스일 수 있다. 이 보호 서비스는 리소스에 대한 다양한 유형의 접근(예: 통신 리소스 사용; 정보 리소스 읽기, 쓰기 또는 삭제; 처리 리소스 실행) 또는 리소스에 대한 모든 접근에 적용될 수 있다.
보안 해커
Section: 주요 보안 해커

메러디스 L. 패터슨(Meredith L. Patterson)은 댄 카민스키와 렌 새서먼과 함께 많은 국제 보안 및 해커 컨퍼런스에서 연구를 발표한 유명한 기술자이자 바이오해커이다.

케빈 미트닉은 컴퓨터 보안 컨설턴트이자 작가로, 이전에는 미국 역사상 가장 많이 수배된 컴퓨터 범죄자였다.

렌 새서먼은 벨기에의 컴퓨터 프로그래머이자 기술자였으며 개인정보 보호 옹호자였다.
보안 해커
Section: 악의적 해킹에 대한 결과

금융 기관 또는 미국 정부 전용 컴퓨터, 또는 그러한 용도로만 사용되지 않는 컴퓨터의 경우, 금융 기관 또는 미국 정부에 의해 또는 이를 위해 사용되며, 범죄를 구성하는 행위가 금융 기관 또는 정부에 의한 또는 이를 위한 사용에 영향을 미치는 경우.

미국 외부의 컴퓨터를 포함하여 주간 또는 국제 상거래 또는 통신에 사용되거나 영향을 미치는 컴퓨터, 미국 내 주간 또는 국제 상거래 또는 통신에 영향을 미치는 방식으로 사용되는 컴퓨터.
보안 해커

"해커"라는 용어의 의미를 둘러싼 오랜 논란이 있다. 이 논란에서 컴퓨터 프로그래머들은 해커라는 용어가 단순히 컴퓨터와 컴퓨터 네트워크에 대한 고급 이해를 가진 사람을 의미한다고 주장하며, 컴퓨터 범죄자(블랙햇)이든 컴퓨터 보안 전문가(화이트햇)이든 컴퓨터에 침입하는 사람에게는 크래커가 더 적절한 용어라고 주장한다. 2014년 한 기사는 "블랙햇의 의미가 여전히 일반 대중들 사이에서 우세하다"고 지적했다. 해커를 중심으로 발전한 하위문화는 종종 "컴퓨터 지하 세계"로 불린다.

보안 해커, 시큐리티 해커(security hacker) 또는 보안 연구원(security researcher)은 컴퓨터 시스템이나 네트워크의 방어 체계를 뚫거나 우회하여 약점을 이용하는 방법을 탐색하는 사람이다. 해커는 이익, 시위, 사보타주, 정보 수집, 도전, 여가 또는 잠재적 해커에 대한 방어책을 수립하는 데 도움이 되는 시스템 약점 평가 등 다양한 동기를 가질 수 있다.
하드웨어 보안

하드웨어 보안(hardware security)은 암호공학에서 유래한 학문으로, 하드웨어 설계, 접근 제어, 다자간 보안 컴퓨팅, 보안 키 저장, 코드 인증 보장, 제품을 만든 공급망의 보안 보장 등의 요소를 포함한다.

하드웨어 보안 모듈(HSM)은 강력한 인증을 위한 디지털 키를 보호하고 관리하며 암호화 처리를 제공하는 물리적 컴퓨팅 장치이다. 이 모듈은 전통적으로 플러그인 카드 형태 또는 컴퓨터나 서버에 직접 연결되는 외부 장치 형태로 제공된다.
자동화된 계획 및 스케줄링
Section: 계획 알고리즘

환경이 센서를 통해 관찰 가능하지만 센서가 오작동할 수 있는 경우를 "우발 계획"이라고 한다. 따라서 이는 계획 에이전트가 불완전한 정보 하에서 행동하는 상황이다. 우발 계획 문제의 경우, 계획은 더 이상 일련의 행동이 아니라 결정 트리이다. 왜냐하면 계획의 각 단계는 고전적 계획의 경우처럼 단일의 완벽하게 관찰 가능한 상태가 아닌 일련의 상태로 표현되기 때문이다. 선택된 행동은 시스템의 상태에 따라 달라진다. 예를 들어, 비가 오면 에이전트는 우산을 가져가기로 선택하고, 비가 오지 않으면 우산을 가져가지 않기로 선택할 수 있다.

마이클 L. 리트만(Michael L. Littman)은 1998년에 분기 행동을 사용하면 계획 문제가 EXPTIME-완전해진다는 것을 보여주었다. 우발 계획의 특정 사례는 FOND 문제(완전 관찰 가능 및 비결정론적)로 표현된다. 목표가 LTLf(유한 추적에 대한 선형 시간 논리)로 지정되면 문제는 항상 EXPTIME-완전하며, LDLf로 목표가 지정되면 2EXPTIME-완전이다.
자동화된 계획 및 스케줄링
Section: 개요

에이전트가 한 명인가 아니면 여러 명인가? 에이전트는 협력적인가 이기적인가? 모든 에이전트가 각자 자신의 계획을 구성하는가, 아니면 모든 에이전트에 대해 중앙에서 계획을 구성하는가?

행동에 지속 시간이 있는가?

여러 행동을 동시에 수행할 수 있는가, 아니면 한 번에 하나의 행동만 가능한가?

계획의 목표가 지정된 목표 상태에 도달하는 것인가, 아니면 보상 함수를 최대화하는 것인가?
자동화된 계획 및 스케줄링

자동화된 계획 및 스케줄링(automated planning and scheduling) 또는 간단히 AI 계획(AI planning)이라고도 불리며,은 일반적으로 지능형 에이전트, 자율 로봇 및 무인 항공기가 실행할 전략 또는 행동 시퀀스의 실현과 관련된 인공지능의 한 분야이다. 고전적인 제어 시스템 및 통계적 분류 문제와 달리, 해결책은 복잡하며 다차원 공간에서 발견되고 최적화되어야 한다. 계획은 또한 결정 이론과도 관련이 있다.

사용 가능한 모델이 있는 알려진 환경에서는 계획을 오프라인으로 수행할 수 있다. 실행 전에 해결책을 찾고 평가할 수 있다. 동적으로 알려지지 않은 환경에서는 전략을 온라인으로 수정해야 하는 경우가 많다. 모델과 정책을 조정해야 한다. 해결책은 일반적으로 인공지능에서 흔히 볼 수 있는 반복적인 시행착오 과정에 의존한다. 여기에는 동적 계획법, 강화 학습 및 조합 최적화가 포함된다. 계획 및 스케줄링을 설명하는 데 사용되는 언어를 종종 행위 언어라고 부른다.
계산공학
Section: 방법

데이터 분석 및 시각화

수학적 기초: 수치 및 응용 선형대수학, 초기 및 경계값 문제, 푸리에 분석, 최적화

대규모 과학 데이터에서 지식을 처리하고 추출하기 위한 방법 및 알고리즘을 개발하는 데이터 사이언스

계산공학 방법 및 프레임워크는 다음과 같다:

고성능 컴퓨팅 및 효율성을 얻기 위한 기술 (컴퓨터 아키텍처, 병렬 알고리즘 등 변경을 통해)

모델링 및 시뮬레이션

이산 및 연속 문제를 해결하기 위한 알고리즘
계산공학
Section: 오픈 소스

계산공학을 지원하는 여러 자유-오픈 소스 소프트웨어 도구가 있다.

오픈SCAD는 2010년에 출시되었으며 CAD 모델의 스크립트 생성을 허용하며, 이는 계산공학 모델의 기초를 형성할 수 있다.

CadQuery는 파이썬을 사용하여 CAD 모델을 생성하며 OpenCascade 프레임워크를 기반으로 한다. 아파치 라이선스로 출시되었다.

PicoGK는 아파치 라이선스로 출시된 계산공학을 위한 오픈 소스 프레임워크이다.
계산공학
Section: 응용

화학: 화학 화합물/분자 및 고체의 구조 및 특성 계산, 계산화학/화학 정보학, 분자 역학 시뮬레이션, 고체물리학의 계산 화학 방법, 화학 오염 물질 운송

토목공학: 유한요소해석, 임의 하중을 받는 구조물, 건설 공학, 상수도 시스템, 운송/차량 모델링

컴퓨터 공학, 전기공학 및 전기 통신: VLSI, 수치 전자기학, 반도체 모델링, 마이크로 일렉트로닉스 시뮬레이션, 에너지 인프라, RF 시뮬레이션, 네트워크

역학: 인플루엔자 확산
계산수학
Section: 계산수학 분야

계산 군론

계산기하학

계산수론

계산 위상수학

계산 통계학

알고리즘 정보 이론

알고리즘 게임 이론

수리경제학, 경제학, 금융 및 어느 정도 회계학에서 수학의 사용.

실험수학

암호학 및 컴퓨터 보안, 특히 소수성 테스트, 인수분해, 타원곡선 및 블록체인의 수학에 대한 연구를 포함한다.

전산언어학, 자연어에서 수학적 및 컴퓨터 기술의 사용

계산 대수 기하학
프란체스코 아예츠
Section: 갤러리

71세의 자화상, 피렌체 우피치 미술관

누워있는 오달리스크 (1839)

잔 자코모 폴디 페촐리의 초상화

예루살렘 성전 파괴 (1867)

예루살렘 근처에서 목마른 십자군 (1836–1850)

아리스토텔레스, 1811년

바이런의 드라마 "두 포스카리"의 한 장면

시칠리아의 만종 장면 1 (1821–22)

시칠리아의 만종 장면 3 (1821–22)

야곱과 에서의 만남
프란체스코 아예츠
Section: 생애

아예츠가 밀라노의 5일 사건에 적극적으로 참여한 후, 그의 그림은 급진적으로 변화하였다. 그는 위대한 역사적 주제를 거의 완전히 포기하고 <라 메디타치오네>(1850)와 같은 강한 정치적 의미를 지닌 알레고리를 그리는 데 전념했다.  그는 <비밀 고발>(1848), <복수 맹세>(1851), <경쟁자의 복수>(1853)로 구성된 "복수 삼부작"으로 큰 인기를 얻었다. 또한 <마틸데 유바 브란카의 초상화>(1851)에서 볼 수 있듯이 뛰어난 심리적 통찰력과 놀라운 형식 배치 기술을 보여주는 특별한 초상화도 그렸다. 아예츠는 1855년의 파리 만국 박람회에 출품한 작품들로는 큰 성공을 거두지 못했지만, 1858년 두 번째 뮌헨 여행에서는 좋은 평가를 받았다. 그는 이탈리아의 사회운동인 리소르지멘토를 암시하는 키스 (밀라노, 브레라, 1859년 전시)으로 제작하였는데, 이 그림은 현재 그의 가장 잘 알려진 작품이다. 키스를 나누는 커플의 자연스러운 몸짓은 신화나 문학에 대한 지식 없이도 해석할 수 있으며, 현대적인 시선을 사로잡는다.

1838년 페르디난트 1세 (오스트리아)는 대관식을 위해 밀라노를 방문하여 밀라노 왕궁에 걸린 아예츠의 프레스코화 <오스트리아 페르디난트 1세의 정치 질서 우화>(1943년 파괴)를 공개하고 브레라 전시회에 전시된 아예츠의 두 점의 새 그림을 감상했다. 아예츠는 황제로부터 새로운 의뢰를 받았으며, 황제는 아름다운 <두 포스카리> (밀라노, 개인 소장)를 구입했다. 한편, 그의 작품의 정치적 함의는 정치인 주세페 마치니에게 인정을 받았는데, 그는 1841년 발표된 기사에서 아예츠를 위대한 애국 화가로 칭송했다. 그동안 아예츠의 그림은 구성과 기법 모두에서 점점 더 정교하고 세련되어졌다. 이는 <자화상> (1848)과 같은 좀 더 친밀한 작품뿐만 아니라, 나폴리 왕자 루포 디 산탄티모가 의뢰하여 1844년 시칠리아에서 그리기 시작한 시칠리아의 만종(1846 완성)과 같은 그의 역사화에도 나타난다.
프란체스코 아예츠
Section: 평가

아예츠의 작품에 서명이나 날짜를 기입하지 않는 경향 때문에 그의 경력에 대한 과학적인 평가는 복잡해졌다. 종종 그의 그림에 있는 날짜는 작품이 제작된 시기가 아니라 작품이 취득되거나 판매된 시기를 나타낸다. 더욱이 그는 종종 동일한 구도를 거의 또는 전혀 변형 없이 여러 번 그렸다.

아예츠가 가장 좋아했던 주제 중 하나는 동양적인 분위기를 자아내는 반나체의 오달리스크였다. 이는 낭만주의 화가들이 특히 선호했던 주제였다. 하렘과 그 여성들의 묘사는 예술가들이 사회에서 일반적으로 용납되지 않는 장면을 그릴 수 있도록 허용했다. 심지어 아예츠의 <마리아 막달레나>는 종교화임에도 관능미가 넘쳐흐른다.
패덤
Section: 형태

오르기아(고대 그리스어: ὀργυιά, orgyiá, lit. "벌린")로 알려진 고대 그리스 단위계는 보통 "패덤"으로 번역된다. 동로마 제국 시대에는 이 단위가 두 가지 형태로 나타났다. 하나는 구 그리스 패덤(6 동로마 피트,  1.87c. m)과 거의 동일한 "단순 오르기아" (ἁπλὴ ὀργυιά, haplē orguiá)와 8분의 1 더 긴 "제국" (βασιλικὴ, basilikē) 또는 "기하학적 오르기아" (γεωμετρικὴ ὀργυιά, geōmetrikē orguiá)(6 피트와 스팬,  2.10c. m)이다.

1 국제 패덤은 다음 값과 같다.

정확히 1.8288 미터 (패덤의 공식 국제 정의)

영국 해군성은 패덤을 제국 해리 (6,080 피트)의 천분의 일 또는 6.08 피트 (1.85 m)로 정의했다. 실제로는 정확히 6 피트 (1.8 m)인 "전함 패덤"이 영국과 미국에서 사용되었다. 실제로는 정의 간에 충돌이 없었는데, 제국 해상 차트의 수심은 30 피트 (9.1 m) 미만일 경우 피트로, 그 이상일 경우 패덤으로 표시되었기 때문이다. 19세기까지 영국에서 패덤의 길이는 더 가변적이었다: 상선에서는 5+1⁄2 피트에서 어선에서는 5 or 7 피트 (1.5 or 2.1 m) (1.7 to 1.5 or 2.1 m).
패덤

패덤(Fathom)은 제국 및 미국 단위계에서 길이의 단위로 6 피트 (1.8288 m)와 같으며, 특히 수심 측정에 사용된다. 패덤은 국제 표준(SI) 단위도 아니고 국제적으로 인정되는 비SI 단위도 아니다. 역사적으로 영어권 국가에서 해상 수심을 측정하는 단위였지만, 미국을 제외하고는 현재 차트에서 미터를 사용한다.

제국 1패덤은 2 야드 (6 피트)다. 원래는 사람의 벌린 팔의 길이를 기준으로 했으며, 패덤의 크기는 해리(영국 해군)의 천분의 일로 정의되었는지 아니면 제국 야드의 배수로 정의되었는지에 따라 약간 달라졌다. 이전에는 5–5 1⁄2 피트 (1.5–1.7 m) 주변에서 변하는 여러 길이 단위 중 하나로 사용되었다.
패덤
Section: 패덤의 사용

핀란드 패덤(syli)은 가끔 사용된다: 1⁄1000 해리 또는 1⁄100 케이블 길이.

해상장 (몸에 무게를 달아 바닥으로 가라앉힘)은 최소 6패덤의 수심이 필요하다. 이것이 영어에서 "to deep six"라는 문구가 폐기하거나 처분하는 것을 의미하는 유래이다.

쇠사슬을 연결하여 앵커 케이블을 형성하는 단조 사슬 길이 중 하나인 '샷'은 보통 15 패덤 (90 ft; 27 m)이었다.

'샤클'은 12 1⁄2 패덤 (75 ft; 22.9 m)과 같은 케이블 또는 사슬의 길이다. 1949년, 영국 해군은 샤클을 15 패덤 (90 ft; 27 m)으로 재정의했다.
케이블 길이
Section: 정의

미국 관습 (미국 해군): 120 패덤 (720 ft; 220 m)

2008년 영국 왕립 해군은 핸드북에서 다음과 같이 정의했다:

케이블은 1해리의 10분의 1, 즉 608피트와 같다. 선박의 삼 닻줄 길이는 예전에 101패덤이었다. 100패덤 = 1케이블 10케이블 = 1해리 (거의 동일)

정의는 다양하다.

국제: 185.2 m, 해리…의 1⁄10에 해당

영국 관습: 100 패덤 (600 ft; 180 m), 그러나 영국 해군본부는 1해리의 1⁄10, 즉 현지 위도 1분을 사용했다.
여운봉
Section: 귀국 이후의 활동

미래에셋생명 재직 당시에는 강남에서 가장 높은 임대료가 책정된 강남파이낸스빌딩(GFC빌딩)에 지점 개설을 제안하여 승인을 받았다. 여운봉은 2~3년 안에 이 지점을 전국 1위로 만들겠다고 자신 있게 약속했고, 실제로 3년 만에 영업실적 기준 전국 1위 지점으로 성장시켰다. 초기 10명에 불과했던 지점 인력은 파이낸셜 컨설턴트 약 100명으로 늘어났다.

이후 여운봉은 KDB생명(구 금호생명) 조재홍 대표의 스카웃으로 <파이낸셜 아트 연구소> 신설과 함께 초대 소장으로 임명되어 대중 금융교육과 미래 자산관리 전략 개발, 후진 양성에 힘썼다. 당시 연구소 이름도 여운봉이 직접 정했다 한다. 당시 조재홍 대표는 삼성생명 임원 출신으로 미국에서 여운봉을 직접 스카웃한 인물이었기에 그의 재능을 높게 평가하고 있었다.
여운봉
Section: 미국 활동과 금융 연구

이 기간 동안 그는 MBC TV의 아침 뉴스 프로그램인 'MBC 모닝뉴스'에서 뉴욕 증시 브리핑을 고정으로 맡았다. 매일 생방송을 통해 뉴욕 증시의 주요 흐름을 전달하는 역할을 수행하였는데, 이는 국내 투자자들이 미국 금융시장의 변화를 실시간으로 접할 수 있었던 매우 드문 기회였다. 당시에는 인터넷 기반의 실시간 중계 서비스가 널리 보급되지 않은 시절이었기 때문에, 위성 연결을 통해 방송되던 MBC TV의 뉴욕 증시 중계는 독보적인 방송으로 자리매김했다. 이와 같은 활동을 통해 여운봉은 한국 투자자들 사이에서 이름을 알리는 계기를 마련하였다.

미국 유학을 마친 후, 여운봉은 뉴욕 맨해튼에 위치한 글로벌 종합금융사인 AXA Advisors, LLC 뉴욕 메트로 지점에 입사하였다. 당시 미국 경제가 활발히 성장하고 있었으며, 금융 인력이 부족한 상황이어서 유학생 비자만으로도 미국 내 금융기관의 후원을 받으면 취업이 가능한 운 좋은 환경이었다. 여운봉은 파이낸셜 컨설턴트로 경력을 시작했으며, 불과 1년 반 만에 부지점장(Regional Vice President)으로 승진하는 성과를 이뤄냈다. 이는 미국 현지에서 금융 관련 자격증과 현업 경험을 동시에 갖춰야만 얻을 수 있는 자리였다.
여운봉
Section: 경력

현) 신안산대학교 부동산학과 교수

현) (유)보스톤경영컨설팅 대표이사

현) ㈜부성리츠 대표이사

2016년 KDB생명 파이낸셜 아트 연구소 소장

2013년 에이플러스에셋 본부장/상무

2010년 미래에셋생명 스타타워지점장

2006년 삼성생명 파이낸셜플래닝센터 팀장

2002년 미,종합금융투자사 AXA Advisors,LLC New York Metro지점 부지점장
이감 (기업)

이감은 설립 초기부터 자체 제작한 수능 국어 모의고사를 기반으로 B2B(학원) 및 B2C(학생/온라인) 사업을 영위했으며, 주력 상품은 이감 모의고사이다. ㈜이감의 매출액은 2015년 31억 원에서 2023년 302억 원으로 증가했으며, 영업이익률은 30% 이상을 유지하고 있다고 분석되었다.

이감은 대한민국의 입시 국어 교육 콘텐츠 기업이다. 최초의 이름인 이감국어교육연구소는 '이성(理性)과 감성(感性)'의 앞 글자를 딴 ‘이감’을 사명으로 삼아, 2012년 미래창조과학부의 공인을 받아 설립되었다.
이감 (기업)
Section: 사업

학원 대상 프로그램으로 연간 6개 시즌 커리큘럼을 운영

시즌별로 모의고사·간쓸개(주간학습지)를 구성하여, 개념–EBS–모의고사–파이널로 이어지는 구조

2015년 스카이에듀를 통한「월간 김봉소」 판매에서 시작

2018년 봉모닷컴(B2C 자사몰)을 공식 개설하여 자체 판매를 시작

2018년 말 대성마이맥을 통한 판매 병행, 2021년부터는 메가스터디에도 상품 입점

단행본의 경우, 순차적으로 예스24, 교보문고, 알라딘에도 입점
이감 (기업)
Section: 이감 모의고사

성적 향상: 꾸준히 이감 모의고사를 풀면서 실력이 올랐다는 긍정적 후기가 다수 있다.

평가원 스타일 적합: 사설 모의고사와 달리 평가원 스타일에 가까워 수능 대비에 신뢰도가 높다는 평가가 많다.

수능 적응력 강화: 반복적으로 실전 모의고사를 풀며, 처음     접하는 지문도 침착하게 풀어낼 수 있는 능력을 기를 수 있다.

학습 설계 및 위치 파악: 모의고사 결과를 바탕으로 남은 수험 생활의 학습 방향을 세우고, 수시 지원 기준을 잡는 데 활용할 수 있다.
인터그레이티드 디바이스 테크놀로지
Section: 합병 및 인수

IDT는 2005년에 두 건의 인수를 했다. 6월에 IDT는 Integrated Circuit Systems(ICS)를 현금 및 주식으로 약 17억 달러에 인수했다. 이 인수는 통신, 컴퓨팅 및 소비자 시장 내에서 성장을 위한 플랫폼을 제공했다. 10월에 IDT는 프리스케일 세미컨덕터의 타이밍 제품 사업부를 3,500만 달러에 인수했다. 이 거래는 원래 Integrated Circuit System Inc.가 IDT에 인수되기 전에 시작되었다.

2006년 7월 IDT는 오스틴 기반 회사 SigmaTel의 PC 오디오 사업부를 8천만 달러에 인수했다. 여기에는 SigmaTel의 제품 및 소프트웨어 드라이버에 대한 설계, 마케팅 및 제조 권리가 포함되었다. IDT는 구매 계약의 일환으로 기존 SigmaTel 제품의 생산 흐름을 유지할 계획이었다. 이 사업부는 나중에 IDT에서 분사되어 2013년에 Tempo Semiconductor, Inc.가 되었다.
인터그레이티드 디바이스 테크놀로지
Section: 사업 부문

통신 부문은 통신 클럭, 무선 기지국 인프라 애플리케이션을 위한 직렬 RapidIO 제품, 무선 주파수 제품, 디지털 논리 제품, 선입 선출(FIFO) 메모리, 통합 통신 프로세서, 정적 램(SRAM) 제품 및 통신 반도체 제품을 생산한다. 이 부문은 엔터프라이즈, 데이터 센터 및 무선 시장에 제품을 판매한다.

컴퓨팅 부문은 타이밍 제품, PCI 익스프레스 스위칭 및 브리징 제품, 고성능 서버 메모리 인터페이스, 멀티 포트 제품, 신호 무결성 제품, PC 오디오 및 비디오 제품을 제공한다. 이 부문의 컴퓨팅 제품은 데스크톱, 노트북, 서브노트북, 스토리지 및 서버 애플리케이션용으로 설계되었다.
인터그레이티드 디바이스 테크놀로지
Section: 역사

2009년 7월, IDT와 마이크론 테크놀로지는 서버, 스토리지 및 임베디드 시장을 위한 PCI 익스프레스 SSD 기술을 개발하기 위해 제휴를 맺었다. 이 제휴 기간 동안 IDT와 마이크론은 마이크론의 플래시 장치 및 차세대 RealSSD 솔리드 스테이트 드라이브에 최적화된 PCIe 호스트 인터페이스를 갖춘 엔터프라이즈 플래시 컨트롤러를 공동 개발했다.

2000년대 중반까지 IDT는 Intel Centrino 플랫폼을 활용하는 노트북용 단일 칩 클럭킹 장치, PCI 익스프레스 애플리케이션용 지터 감쇠기, 고밀도 블레이드 시스템의 모든 통신을 관리하는 PCI 익스프레스 인터커넥터를 개발했다.
POWER6
Section: 설명

POWER6의 열 특성은 POWER5와 유사하다. IBM 수석 과학자 프랭크 솔티스 박사는 IBM이 POWER6 설계에 90 nm와 65 nm 부품의 조합을 사용하여 고주파수와 관련된 전력 누설 문제를 해결했다고 말했다.

약간 향상된 POWER6+는 2009년 4월에 출시되었지만, 2008년 10월부터 Power 560 및 570 시스템에 탑재되어 출하되고 있었다. 이는 IBM의 메인프레임 프로세서에서 가져온 기능인 보안 메모리 파티션을 위한 더 많은 메모리 키를 추가했다.
POWER6
Section: 제품

IBM은 또한 4개의 POWER6 기반 블레이드 서버를 제공한다. 사양은 아래 표에 나와 있다.

모든 블레이드는 AIX, IBM i, 리눅스를 지원한다. BladeCenter S 및 H 섀시는 AIX, i 및 리눅스를 실행하는 블레이드를 지원한다. BladeCenter E, HT 및 T 섀시는 AIX 및 리눅스를 실행하는 블레이드를 지원하지만 i는 지원하지 않는다.

2007년 레노에서 열린 슈퍼컴퓨팅 컨퍼런스(SC07)에서 새로운 수랭식 Power 575가 공개되었다. 575는 2U "노드"로 구성되며, 각 노드에는 4.7 GHz의 POWER6 코어 32개와 최대 256GB의 RAM이 장착되어 있다. 단일 프레임에 최대 448개의 코어를 설치할 수 있다.
해밍 가중치
Section: 프로세서 지원

컴팩의 Alpha 21264A는 1999년에 출시되었으며, 카운트 확장(CIX)을 가진 최초의 Alpha 시리즈 CPU 설계였다.

아날로그 디바이스의 블랙핀 프로세서는 32비트 개체수 개수를 수행하는 ONES 명령을 특징으로 한다.

AMD의 바르셀로나 아키텍처는 2007년에 SSE4a 확장 기능의 일부로 POPCNT 명령어를 도입하는 고급 비트 조작(ABM) ISA를 도입했다.

인텔 코어 프로세서는 SSE4.2 명령어 집합 확장을 통해 POPCNT 명령어를 도입했으며, 2008년 11월에 출시된 네할렘 기반 코어 i7 프로세서에서 처음 사용 가능했다.
해밍 가중치
Section: 최소 가중치

선형 블록 코드에서 최소 가중치는 최소 해밍 거리 (dmin)이기도 하며 코드의 오류 수정 능력을 정의한다. 만약 wmin = n이면, dmin = n이고 코드는 최대 dmin/2개의 오류를 수정한다.

오류 정정 부호에서 코드의 최소 해밍 가중치(일반적으로 코드의 최소 가중치 wmin이라고 함)는 가장 낮은 가중치를 가진 비영 코드 워드의 가중치이다. 코드 워드의 가중치 w는 워드에 있는 1의 개수이다. 예를 들어, 워드 11001010의 가중치는 4이다.
해밍 가중치
Section: 언어 지원

포트란 2008은 정수(또는 정수 배열) 내의 0이 아닌 비트 수를 반환하는 표준, 내장, 요소 함수 popcnt를 가지고 있다.

일부 프로그래밍 가능한 과학용 포켓 계산기에는 설정된 비트 수를 계산하는 특별한 명령이 있다. 예를 들어, HP-16C에는 #B가 있다.

GHC 7.4부터 하스켈 기본 패키지에는 Bits 클래스의 인스턴스인 모든 타입에 대해 사용 가능한 popCount 함수가 있다. (Data.Bits 모듈에서 사용 가능)

SQL 언어의 MySQL 버전은 BIT_COUNT()를 표준 함수로 제공한다.
트랜스퓨터
Section: 소프트웨어

트랜스퓨터는 커뮤니케이팅 시퀜셜 프로세스(CSP) 프로세스 계산에 기반한 프로그래밍 언어인 Occam을 사용하여 프로그래밍하도록 설계되었다. 트랜스퓨터는 파스칼이나 C와 같은 언어를 실행하도록 만들어진 현대의 CISC 설계보다 Occam을 실행하도록 특별히 만들어졌다. Occam은 병행성과 채널 기반의 프로세스 간 또는 프로세서 간 통신을 언어의 기본적인 부분으로 지원했다. 칩과 언어가 직접 상호 작용하는 병렬 처리 및 통신이 내장되어 있었기 때문에 장치 컨트롤러와 같은 코드를 작성하는 것이 사소한 일이 되었다. 가장 기본적인 코드조차도 I/O를 위해 직렬 포트를 감시할 수 있었고, 데이터가 없을 때는 자동으로 절전 모드로 전환되었다.

트랜스퓨터를 위한 초기 Occam 개발 환경은 인모스 D700 트랜스퓨터 개발 시스템(TDS)이었다. 이는 편집기, 컴파일러, 링커 및 (사후) 디버거를 통합한 비정통적인 통합 개발 환경이었다. TDS는 Occam으로 작성된 트랜스퓨터 애플리케이션이었다. TDS 텍스트 편집기는 코드 블록을 숨기거나 보이게 하여 코드의 구조를 더 명확하게 만들 수 있는 폴딩 편집기라는 점이 특징이었다. 불행히도, 낯선 프로그래밍 언어와 마찬가지로 낯선 개발 환경의 조합은 트랜스퓨터의 초기 인기에 아무런 도움이 되지 않았다. 나중에 인모스는 보다 전통적인 Occam 크로스 컴파일러인 Occam 2 툴셋을 출시했다.
트랜스퓨터
Section: 유산

그럼에도 불구하고 협력하는 동시 프로세서 모델은 21세기 슈퍼컴퓨터 설계를 지배하는 클러스터 컴퓨팅 시스템에서 여전히 찾아볼 수 있다. 트랜스퓨터 아키텍처와 달리, 이러한 시스템의 처리 장치는 일반적으로 상당한 양의 메모리 및 디스크 저장 장치에 접근할 수 있는 슈퍼스칼라 CPU를 사용하며, 기존 운영 체제 및 네트워크 인터페이스를 실행한다. 더 복잡한 노드로 인해 이러한 시스템에서 병렬 처리를 조정하는 데 사용되는 소프트웨어 아키텍처는 일반적으로 트랜스퓨터 아키텍처보다 훨씬 더 무겁다.

근본적인 트랜스퓨터의 동기는 남아 있었지만, 트랜지스터 수가 반복적으로 두 배로 늘어나면서 20년 이상 가려져 있었다. 필연적으로 마이크로프로세서 설계자들은 결국 더 많은 물리적 자원을 사용할 방법을 다 소진했고, 거의 동시에 기술 스케일링이 한계에 부딪히기 시작했다. 전력 소비, 즉 열 방출 요구 사항으로 인해 추가적인 클럭 속도 증가는 불가능해졌다. 이러한 요인들은 산업을 인모스가 제안한 것과 본질적으로 크게 다르지 않은 해결책으로 이끌었다.
트랜스퓨터
Section: 채택

트랜스퓨터는 지멘스/텍트로닉스 K1103과 같은 프로토콜 분석기와 군사 애플리케이션에서도 사용되었다. 군사 애플리케이션에서는 어레이 아키텍처가 레이더와 같은 애플리케이션에 적합했으며, (1980년대에 고속이었던) 직렬 링크는 하위 시스템 통신에서 비용과 무게를 절약하는 데 큰 도움이 되었다.

트랜스퓨터는 또한 가상 현실 관련 제품에서도 등장했다. 브리스틀의 Division Limited에서 만든 ProVision 100 시스템이 그 예인데, 인텔 i860, 80486/33, 도시바 HSP 프로세서와 함께 T805 또는 T425 트랜스퓨터를 사용하여 렌더링 엔진을 구현했고, 이 엔진은 PC, 선 SPARC스테이션 또는 VAX 시스템에서 서버로 접근할 수 있었다.
몽고메리 곱셈
Section: 몽고메리 형식

몽고메리 형식에서의 덧셈과 뺄셈은 분배 법칙 때문에 일반적인 모듈러 덧셈 및 뺄셈과 동일하다.

몽고메리 형식으로 연산을 수행하는 것이 몫환 Z/NZ에서 연산을 수행하는 것에 비해 정보를 잃지 않는다는 점에 유의해야 한다. 이는 gcd(R, N) = 1이므로, R을 곱하는 것이 덧셈군 Z/NZ에 대한 동형 사상이기 때문이다. 예를 들어, (7 + 15) mod 17 = 5는 몽고메리 형식으로 (3 + 4) mod 17 = 7이 된다.

보조 모듈러스 R은 gcd(R, N) = 1인 양의 정수여야 한다. 계산상의 목적으로 R에 대한 나눗셈과 축소가 저렴해야 하며, R > N이 아니면 모듈러스는 모듈러 곱셈에 유용하지 않다. R에 대한 잉여류 a의 몽고메리 형식은 aR mod N이다. 즉, 잉여류 aR의 대표원이다. 예를 들어, N = 17이고 R = 100이라고 가정하자. 3, 5, 7, 15의 몽고메리 형식은 각각 300 mod 17 = 11, 500 mod 17 = 7, 700 mod 17 = 3, 1500 mod 17 = 4이다.
몽고메리 곱셈

a와 b를 몽고메리 형식으로 변환하고, 그 결과를 몽고메리 형식에서 벗어나게 변환하는 과정이 필요하므로, 몽고메리 곱셈으로 단일 곱셈을 계산하는 것은 기존의 배럿 축소 알고리즘보다 느리다. 그러나 모듈러 지수화와 같이 많은 곱셈을 연속해서 수행할 때는 중간 결과를 몽고메리 형식으로 유지할 수 있다. 그러면 초기 및 최종 변환이 전체 계산에서 무시할 수 있는 부분이 된다. RSA 및 디피-헬먼 키 교환과 같은 많은 중요한 암호 시스템은 큰 홀수에 대한 모듈러 산술 연산을 기반으로 하며, 이러한 암호 시스템의 경우 R을 2의 거듭제곱으로 하는 몽고메리 곱셈을 사용하는 계산이 사용 가능한 대안보다 빠르다.

몽고메리 모듈러 곱셈은 몽고메리 형식이라고 불리는 특별한 숫자 표현에 의존한다. 이 알고리즘은 a와 b의 몽고메리 형식을 사용하여 ab mod N의 몽고메리 형식을 효율적으로 계산한다. 효율성은 값비싼 나눗셈 연산을 피하는 데서 비롯된다. 고전적인 모듈러 곱셈은 이중 폭의 곱 ab를 N으로 나누어 나머지만을 취함으로써 축소한다. 이 나눗셈은 몫 자릿수 추정과 보정을 필요로 한다. 이와 대조적으로, 몽고메리 형식은 N과 서로소인 상수 R > N에 의존하며, 몽고메리 곱셈에 필요한 유일한 나눗셈은 R로 나누는 것이다. 상수 R은 R로 나누는 것이 쉽게 되도록 선택할 수 있어, 알고리즘의 속도를 크게 향상시킨다. 이진 컴퓨터에서 R은 항상 2의 거듭제곱이며, 2의 거듭제곱으로 나누는 것은 비트 시프팅으로 구현할 수 있다.
몽고메리 곱셈
Section: 중국인의 나머지 정리를 통한 해석

출처:

몽고메리 환원에서 사용된 계수 N과 몽고메리 기수 R이 주어졌을 때, 잉여류환

을 고려하면, 중국인의 나머지 정리 (CRT)에서 비롯되는 동형 사상이다.

인 정수  (두 잉여류를 곱하여 가 발생하는 일반적인 경우)에 대해, 그 환원들을 취하면 다음과 같다.

CRT는 명시적인 재구성 공식을 제공한다.

우변이 이미 을 법으로 취해졌기 때문에, 이것은 다음과 같이도 쓸 수 있다.

두 합산항은 모두 반개방 구간 에 놓인다.

따라서, 정수 방정식(단순한 합동이 아님)으로 다음과 같이 쓸 수 있다.
에이수스 ROG 얼라이
Section: 역사

에이수스는 2023년 6월 11일 ROG Ally의 출시일, 기술 사양 및 가격을 공개했다. 두 가지 모델이 발표되었는데, 하나는 $599에 판매되는 라이젠 Z1 프로세서 탑재 모델이고, 다른 하나는 $699에 판매되는 라이젠 Z1 익스트림 프로세서 탑재 모델이다. 후자는 2023년 6월 13일에 출시되었고, 전자는 2023년 3분기에 출시되었다.

컴퓨텍스 2024에서 에이수스는 Z1 익스트림 모델의 고성능 업데이트 버전인 ROG Ally X를 발표했다. 이 모델은 1TB의 NVMe 저장 공간, M.2 2230 대신 M.2 2280 슬롯, 24GB LPDDR5X-7500 RAM, 더 큰 배터리 및 기타 개선 사항을 갖추고 있으며, 가격은 $799이다.
에이수스 ROG 얼라이
Section: 평가

여러 리뷰에서 강조된 비판점은 배터리 수명이다. 홀리스터는 25W TDP 프로파일로 더 라스트 오브 어스 파트 I을 플레이했을 때 53분의 배터리 수명을 보고했으며, 아르스 테크니카의 케빈 퍼디(Kevin Purdy)는 15W 프로파일로 더 위쳐 3: 와일드  헌트를 플레이했을 때 88분으로 측정했다. 윈도우 센트럴의 리베카 스피어(Rebecca Spear)는 배터리 수명을 "꽤 형편없다"고 묘사했으며, 테크 어드바이저의 애니론 코프먼(Anyron Copeman)은 이 장치의 빠른 65W 충전 기능이 부족한 배터리 수명을 보완한다고 언급했다.

ROG Ally에 대한 초기 반응은 엇갈렸다. 톰스 가이드의 토니 폴란코(Tony Polanco)는 이 장치를 "견고하지만 완벽하지 않다"고 평하며, 디스플레이와 인체공학적 디자인을 칭찬했지만 성능과 배터리 수명을 비판했다. 폴란코의 리뷰와는 대조적으로, 더 버지의 션 홀리스터(Sean Hollister)는 이 장치의 성능을 칭찬했지만 에이수스가 윈도우 11을 운영체제로 선택한 것을 비판하며, 윈도우를 휴대용 폼팩터에서는 "거의 이질적"이라고 불렀다. 유로게이머의 리처드 리드베터(Richard Leadbetter)는 "다양한 문제들이 ROG Ally가 아직 완전히 완성되지 않았다는 인상을 주며, 윈도우 기반이 결코 극복할 수 없는 제한 요인이 될 수 있다"고 썼다.
포컬 플레인 셔터
Section: 특징

수평 라이카형 FP 셔터의 경우, 물체가 셔터 막과 같은 방향으로 움직이면 이미지가 늘어나고, 반대 방향으로 움직이면 압축된다. 아래로 움직이는 수직 스퀘어형 FP 셔터의 경우, 이미지의 상단이 앞으로 기울어진다. 삽화에서 속도감을 주기 위해 기울어짐을 사용하는 것은 20세기 전반의 대형 카메라의 느리게 닦이는 수직 FP 셔터로 인해 발생하는 왜곡의 캐리커처이다.

35mm 카메라에서 가장 빠른 X-sync 속도는 전통적으로 수평 라이카형 FP 셔터의 경우 1/60초이고 수직 스퀘어형 FP 셔터의 경우 1/125초이다.

포컬 플레인 셔터는 롤링 셔터 문서에 설명된 것처럼 매우 빠르게 움직이는 물체나 빠르게 패닝할 때 이미지 왜곡을 일으킬 수도 있다. 느린 와이프 속도와 좁은 커튼 슬릿 사이의 큰 상대적 차이는 프레임의 한쪽이 다른 쪽보다 현저히 나중에 노출되고 물체의 중간 움직임이 이미지화되기 때문에 왜곡을 초래한다.
포컬 플레인 셔터
Section: 역사 및 기술 개발

처음에는 아날로그 저항/콘덴서 타이머로 제어되는 전자석이 두 번째 셔터 막의 해제(여전히 스프링 동력으로 작동하지만)를 제어하는 데 사용되었다. 1979년, 야시카 콘탁스 139 쿼츠 (일본)는 디지털 석영 압전 발진기 회로(궁극적으로 디지털 마이크로프로세서 제어)를 도입하여 수직 FP 셔터를 포함한 전체 노출 주기를 시간 조정하고 순서를 정했다. 1980년대 후반에는 거의 순간적인 온/오프 기능과 크기에 비해 비교적 높은 전력을 가진 전기 "코어리스" 마이크로모터가 스프링을 대체하여 두 개의 막과 다른 카메라 시스템을 구동하게 되었다. 기계적 움직이는 부품을 최소화하는 것도 관성 충격 진동 문제를 방지하는 데 도움이 되었다.

스프링 와인드 시계 장치 이스케이프먼트는 꽤 빨리 완전히 풀려야 하며 가장 긴 속도(일반적으로 1초)를 제한한다. 하지만 Kine Exakta (독일)는 1936년에 12초를 제공했다. 올림푸스 OM-2의 전자 제어 수평 FP 셔터는 1975년에 60초에 도달할 수 있었고 올림푸스 OM-4 (둘 다 일본)는 1983년에 240초에 도달했다. 펜탁스 LX (일본, 1980)와 캐논 뉴 F-1 (일본, 1981)은 패스트 속도를 기계적으로 제어하지만 슬로우 속도 범위만 확장하기 위해 전자 장치를 사용하는 하이브리드 전기 기계 FP 셔터를 가졌다. LX는 125초, F-1N은 8초까지였다.
포컬 플레인 셔터
Section: 두 개의 막 셔터

이는 그래픽적인 표현일 뿐이며 실제 메커니즘은 훨씬 더 복잡하다. 예를 들어, 셔터 막은 실제로 프레임 조리개 양쪽의 스풀에 감기고 풀려 공간을 최대한 적게 사용한다.

더 빠른 셔터 속도는 첫 번째 막이 완전히 열리기 전에 두 번째 막이 닫히면서 달성된다. 이로 인해 수평으로 필름을 가로지르는 수직 슬릿이 생성된다. 셔터 막의 이동 속도는 일반적으로 달라지지 않으므로 더 빠른 셔터 속도는 단순히 더 좁은 슬릿을 필요로 한다.

그림 2: 첫 번째 셔터 막이 완전히 왼쪽으로 이동하여 노출이 이루어진다. 이 시점에서 플래시가 부착되어 있고 발광할 준비가 되었다면 플래시가 발광한다.

그림 3: 필요한 노출량이 지나면 두 번째 셔터 막이 왼쪽으로 이동하여 프레임 조리개를 덮는다. 셔터가 다시 장전되면 셔터 막은 다음 노출을 위해 오른쪽으로 되감긴다.