형식 검증 oor Engels

형식 검증

Vertalings in die woordeboek Koreaans - Engels

formal verification

act of proving or disproving the correctness of intended algorithms

voorbeelde

나일스 엘드리지의 웨일스-잉글랜드 경계 지역 고생대 삼엽충에 대한 연구는 단속평형설을 진화의 한 기작으로 형식화하고 검증하는데 중심적인 역할을 했다.
The study of Paleozoic trilobites in the Welsh-English borders by Niles Eldredge was fundamental in formulating and testing punctuated equilibrium as a mechanism of evolution.

흔히 NP를 이렇게 다시 형식화한다: 어떤 언어가 NP라는 것과 답이 주어질 때 결정론적 기계로 다항시간에 검증할 수 있다는 것은 동치이다.
A common reformulation of NP states that a language is in NP if and only if a given answer can be verified by a deterministic machine in polynomial time.

서술형 텍스트 필드 검증 응답자가 특정 형식으로 답변을 입력하도록 일부 서술형 질문 유형을 검증할 수 있습니다.
Validating Open-Ended Text Fields You can validate some open-ended question types to require respondents to enter their answer in a specific format.

이 서비스는 현지 우편 표준에 따라 주소를 구문 분석, 분석, 검증, 수정 및 형식 지정하여 올바른 요소가 적절한 계층 구조로 표시되도록 합니다.
It's able to parse, analyze, verify, correct, and format addresses according to local postal standards—ensuring that correct elements appear in the appropriate hierarchical alignment.

단일 입력란 또는 복수 입력란 질문 유형을 검증하여 특정 형식으로 되어 있는 답변만 허용하도록 할 수 있습니다.
Validating the Answer Format You can validate the Single Textbox or Multiple Textboxes question type to only allow answers that are formatted in a specific way.

이전 버전의 제품에서 인기 있었던 기능들은 참조 카탈로그 형식으로 시스템에 저장되어 있어, 검증된 안전 표준을 지속적으로 유지할 수 있다"고 설명했습니다.
Popular features from previous products are stored in the system as a reference catalog, and this helps us consistently meet tried-and-true safety standards."

엔지니어들의 임무: 에어버스의 신형 항공기의 형식 인증을 위해 필요한 FEM 계산 결과를 검증합니다.
Their task: validating the FEM calculation results required for type certification of the new Airbus model.

업계에서 검증된 MDF3 측정 데이터 형식은 자동차 시스템 개발 목적을 위해 측정 데이터를 저장하고, 교환하며, 분석하기 위해 수 년 동안 광범위하게 사용되어 왔습니다.
The industry proven MDF3 measure data format has been widely used for many years to store, exchange and analyze measure data for automotive system development purposes.

유럽항공안전청(EASA)과 미 연방항공청(FAA)으로부터 형식승인 취득을 위해 Marenco사는 안전을 검증할 정확한 테스트 장비가 필요했습니다.
The company needed accurate test equipment to verify safety so it could receive a type certificate from the European Aviation Safety Agency (EASA) and the American counterpart, the Federal Aviation Administration (FAA).

특정 형식으로 된 날짜만 수집하도록 날짜/시간 질문을 검증하려면:
To validate a Date/Time question to only collect dates in a specific format:

테스트 카드 또는 테스트 스틱은 터널 금속 검출기 성능을 테스트 및 검증하는 데 사용되는 테스트 샘플의 가장 일반적인 형식입니다.
Test cards or test sticks are the most common format for test samples used to test and verify tunnel metal detector performance.

제 22 조 (담보) 1 회사에서 제공하는 각종 정보, 회사의 비즈니스 파트너 및 제휴사들로부터 제공되는 정보 또는 특정전문가가 제공하는 정보(질문 및 대답 등의 형식으로 이루어지는 것 포함)는 과학적 실험절차와 검증절차를 거치지 않은 것일 수 있습니다.
Article 22 (collateral) 1 The company provides a variety of information, the company's business partners and affiliates or the information provided from the information provided by certain professionals (such as in the form of questions and answers will be made including) the scientific procedures have not been validated with experimental procedures may be be.

참고: 응답자가 유효한 이메일 주소를 입력했는지 검증할 수 있는 방법은 없으며, 응답자의 답변이 이메일 주소 형식인지 아닌지 여부를 감지할 뿐입니다.
NOTE: There is no way to validate that respondents have entered a valid email address. It will only detect whether or not their answer is in the format of an email address.

단계 5: Preview 검증을 위해 포맷 된 Mac에서 파일을 복구하고 Save 원하는 위치로 이동하십시오 (단, 동일한 형식의 볼륨 / 드라이브 /는 아님).
Step 5: Preview recovered files from formatted Mac for the verification and Save them to your desired location (but, not on the same formatted volume/drive/).

Signal Studio 소프트웨어를 이용하여 검증 및 성능 최적화를 거친 애질런트 LTE-A MIMO와 캐리어 어그리게이션 참조 형식을 생성합니다.
Create Keysight validated and performance optimized LTE-A MIMO, beamforming and carrier aggregation reference signals with Signal Studio software.