검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- ...있는 논리 체계를 이르는 말이다. 특히 '''시제 논리'''(時制論里, tense logic)라 하면 [[양상 논리]]를 기반으로 한 시간 논리를 가리키는 말로, [[선형 시제 논리]]와 [[계산 트리 논리]] 등이 알려져 있으며 [[컴퓨터 과학]] 분야에서 중요하게 응용되 * [[시간]] ...1 KB (47 단어) - 2022년 2월 5일 (토) 10:29
- ...간)은 도플러 확산의 시간 대역에서의 특성을 나타낸다. 즉, 채널에서 주파수의 흩어짐(frequency disperdiveness)의 시간 변위 위상을 말한다. ...실제적으로 가간섭성 주파수와 유사하게 가간섭성 시간은 채널응답이 바뀌지 않고 시간영역의 통계적인 측정을 통해 구한다. 만약 가간섭성 시간 보다 더 멀리 떨어진 두 신호는 채널에서 각각 다르게 영향을 받는다. ...985 바이트 (17 단어) - 2022년 2월 21일 (월) 07:04
- {{다른 뜻 넘어옴|러닝 타임|매체의 재생·상영 시간|러닝 타임 (매체)}} [[계산 복잡도 이론]]에서 '''시간 복잡도'''는 문제를 해결하는데 걸리는 시간과 입력의 함수 관계를 가리킨다. ...32 KB (1,049 단어) - 2025년 1월 11일 (토) 12:45
- ...[[평형]] 상태로 변화하는 것을 '''완화'''(緩和, relaxation)이라고 부른다. 이 때, 완화에 걸리는 시간을 '''완화 시간'''(緩和時間, relaxation time)이라고 부른다. == 완화 시간 == ...6 KB (605 단어) - 2025년 3월 7일 (금) 06:30
- [[물리학]]에서 '''시간 변화'''(時間變化, {{lang|en|time evolution}})는 [[시간]]의 흐름에 따라 [[계 (물리학)|계]]의 상태가 바뀌는 과정이다. == 양자역학에서의 시간 변화 == ...2 KB (153 단어) - 2024년 6월 4일 (화) 06:12
- '''시간 여행'''(時間旅行, {{llang|en|time travel}})은 일반적으로 [[타임 머신]] 등을 이용하여 시간을 넘나드는 것을 == 빠른 속도에서의 시간 여행 == ...7 KB (71 단어) - 2025년 2월 17일 (월) 00:05
- ...n|proper time}}) 또는 '''참시간'''이란 [[상대성 이론]]에서 어떤 경로를 통해 움직이는 관찰자 스스로가 느끼는 [[시간]]이다. 항상 [[관성계]]에 있는 외부 관찰자가 측정하는 시간보다 짧다. 관성계 외부 관찰자가 측정한 시간과 달리, 고유 시간은 [[ 고유 물리량: 좌표계 내에서 물체와 함께 운동하는 관찰자가 측정한 길이, 시간, 질량을 고유 길이, 고유 시간, 고유 질량이라고 한다. ...2 KB (70 단어) - 2024년 1월 27일 (토) 04:23
- |이름=플랑크 시간 <math>t_P</math> |단위=[[초 (시간)|s]] ...2 KB (101 단어) - 2022년 12월 31일 (토) 13:11
- ...뒷받침하는 예로 뮤온 입자, [[원자시계]] 실험 등을 제시하고 있는데 다른 이유로 설명이 가능하다. 시간 팽창 외에도 시간 지연, 시간 늘어남으로 불린다. == 특수상대성이론의 시간 팽창 == ...19 KB (195 단어) - 2025년 1월 9일 (목) 00:11
- ...서부터 [[일진학|일진]], [[초신성]]폭발에 이르기까지 중력이 중요한 역할을 수행하는 천체물리학적 과정에 있어 근본적 역할을 하는 시간 척도이다. 기호는 <math>t_{ff}</math>이다. ...부분과 대칭이므로, 전체 궤도 주기를 그냥 2로 나누기만 하면 자유낙하 시간(내부로 떨어지는 방향의 궤도 부분을 주행하는 데 걸리는 시간)을 구할 수 있다. ...5 KB (182 단어) - 2025년 1월 7일 (화) 12:10
- '''선형 시간'''(線型時間, Linear time)이란, [[계산 복잡도 이론]]에서, 입력의 길이 <math>n</math>에 대하여, 어떤 [[ ...math>bn</math>의 범위 안에 들 경우 (<math>a</math>와 <math>b</math>는 양의 정수), 이를 '선형 시간'이라고 부를 수 있다. 자세한 이론은 [[점근 표기법]]을 참조할 것. ...3 KB (64 단어) - 2024년 3월 6일 (수) 11:01
- '''시간 상수''', '''시상수,''' 또는 '''시정수'''는 시간이 지남에 따라 진폭이 점근적으로 증가하거나 감소하는 함수의 진폭 증가 또 [[물리학]]과 [[공학]]에서 '''시간 상수'''는 대개 [[그리스|그리스어]] 문자 τ (타우)로 표시하며, 1차 선형 시불변([[:en:linear time-invaria ...5 KB (231 단어) - 2024년 6월 3일 (월) 06:05
- ...(‘시각’)의 값을 갖는 [[확률 변수]]이다. 대략, 정지 시간이 ‘지났는지’ 여부는 ([[여과 확률 공간]]에 의하여 주어진) 이 시간 이전에 알려진 정보만으로 확인할 수 있어야 한다. 이 데이터의 '''정지 시간'''은 다음 조건을 만족시키는 [[함수]] ...3 KB (287 단어) - 2022년 3월 3일 (목) 06:06
- '''실행 시간'''은 [[알고리즘 설계|알고리즘 분야]]나 [[계산 복잡도 이론]]에서 어떤 프로그램이 시작하여 종료되기까지 걸리는 시간 길이를 뜻한다. ...법이다. 기호 'O'는 점근적 [[상한]]을 나타내기 위해 쓰인다. 즉, 충분히 큰 자료가 주어졌을 때 해당 알고리즘이 소요하는 실행 시간 및 메모리 자원 등이 어떤 함수의 형태로 증가하는지 <math>O(f(x))</math>의 형태로 나타낸다. ...796 바이트 (12 단어) - 2024년 10월 13일 (일) 03:22
- ...위반이 존재할 것이라고 생각된다 ([[CP 위반]]). 여러 물리학적 계는 미시적으로 시간역전 대칭성을 갖추지만, 거시적으로는 계의 시간 역전이 대개 [[열역학 제2법칙]]을 위배하므로 거시적으로 관찰하기 어렵다. == 양자역학에서의 시간 역전 대칭 == ...5 KB (270 단어) - 2025년 3월 3일 (월) 02:41
- '''평균 무고장 시간'''(MTBF, mean time between failures)는 시스템의 고장 발생 [[평균 (통계학)|평균]] 시간을 나타내는 것 {{토막글|시간}} ...693 바이트 (46 단어) - 2022년 3월 5일 (토) 04:50
- '''시간 기반 일회용 비밀번호'''({{lang|en|Time-based one-time password}}, '''TOTP''')는 현재 시간 * ''T''{{sub|0}}, 시간 간격 카운트가 시작될 [[유닉스 시간]] (기본값은 0), ...6 KB (395 단어) - 2025년 3월 14일 (금) 03:54
- '''다항 시간 근사 해법'''(polynomial-time approximation scheme, '''PTAS''')은 [[최적화 문제]]에 대한 ...ximation scheme)는 PTAS 알고리즘 중에서 시간 복잡도가 <math>f(\epsilon)g(n)</math> 꼴인, 즉 시간 복잡도를 [[대문자 O 표기법]]으로 표시했을 때 <math>\epsilon</math>에 독립적인 <math>O(n^c)</math> ...2 KB (145 단어) - 2024년 5월 6일 (월) 05:30
문서 내용 일치
- ...간)은 도플러 확산의 시간 대역에서의 특성을 나타낸다. 즉, 채널에서 주파수의 흩어짐(frequency disperdiveness)의 시간 변위 위상을 말한다. ...실제적으로 가간섭성 주파수와 유사하게 가간섭성 시간은 채널응답이 바뀌지 않고 시간영역의 통계적인 측정을 통해 구한다. 만약 가간섭성 시간 보다 더 멀리 떨어진 두 신호는 채널에서 각각 다르게 영향을 받는다. ...985 바이트 (17 단어) - 2022년 2월 21일 (월) 07:04
- ...대상 물질의 변형을 일으키는 외부변화의 진행 속도를 규정하는 특성시간(<math>t_p</math>)에 대한 물질이 갖는 고유 특성 시간(<math>t_c</math>)의 비이다. == 시간-온도 중첩 == ...863 바이트 (25 단어) - 2024년 7월 19일 (금) 23:44
- {{크기 정도 (시간)}} {{토막글|시간}} ...675 바이트 (39 단어) - 2024년 5월 19일 (일) 08:01
- '''실행 시간'''은 [[알고리즘 설계|알고리즘 분야]]나 [[계산 복잡도 이론]]에서 어떤 프로그램이 시작하여 종료되기까지 걸리는 시간 길이를 뜻한다. ...법이다. 기호 'O'는 점근적 [[상한]]을 나타내기 위해 쓰인다. 즉, 충분히 큰 자료가 주어졌을 때 해당 알고리즘이 소요하는 실행 시간 및 메모리 자원 등이 어떤 함수의 형태로 증가하는지 <math>O(f(x))</math>의 형태로 나타낸다. ...796 바이트 (12 단어) - 2024년 10월 13일 (일) 03:22
- [[물리학]]에서 '''시간 변화'''(時間變化, {{lang|en|time evolution}})는 [[시간]]의 흐름에 따라 [[계 (물리학)|계]]의 상태가 바뀌는 과정이다. == 양자역학에서의 시간 변화 == ...2 KB (153 단어) - 2024년 6월 4일 (화) 06:12
- (waiting time: 대기 시간, estimated run time: 처리 시간) * [[최소 잔류 시간 우선 스케줄링]] ...881 바이트 (31 단어) - 2024년 5월 16일 (목) 06:44
- == 시간 변화시킬 방법의 선택 == 시간 ''t''<sub>0</sub>에서의 어떤 상태 |''ψ''〉를 생각해 보자. 물리량 ''A''의 시간 ''t'' 에서의 기댓값 〈''A''〉<sub>''t''</sub>은 다음과 같이 주어진다. ...2 KB (103 단어) - 2024년 5월 3일 (금) 05:58
- ...-align:-15%">O \left(n \log n\ \cdot 2^{O(\log^* n)} \right)</math>[[시간복잡도|시간]]에 곱할 수 있다. 여기서 {{nowrap|{{log-star}}''n''}}은 [[반복 로그]]이다. ...고, 2019년 3월에는 이 알고리즘보다 더 개선된 곱셈 알고리즘이 등장해 아주 큰 두 수를 <math>O(n\log n)</math>시간 안에 곱할 수 있게 되었다. ...1 KB (47 단어) - 2022년 2월 6일 (일) 04:10
- ...n|proper time}}) 또는 '''참시간'''이란 [[상대성 이론]]에서 어떤 경로를 통해 움직이는 관찰자 스스로가 느끼는 [[시간]]이다. 항상 [[관성계]]에 있는 외부 관찰자가 측정하는 시간보다 짧다. 관성계 외부 관찰자가 측정한 시간과 달리, 고유 시간은 [[ 고유 물리량: 좌표계 내에서 물체와 함께 운동하는 관찰자가 측정한 길이, 시간, 질량을 고유 길이, 고유 시간, 고유 질량이라고 한다. ...2 KB (70 단어) - 2024년 1월 27일 (토) 04:23
- |이름=플랑크 시간 <math>t_P</math> |단위=[[초 (시간)|s]] ...2 KB (101 단어) - 2022년 12월 31일 (토) 13:11
- '''평균 무고장 시간'''(MTBF, mean time between failures)는 시스템의 고장 발생 [[평균 (통계학)|평균]] 시간을 나타내는 것 {{토막글|시간}} ...693 바이트 (46 단어) - 2022년 3월 5일 (토) 04:50
- '''크로논'''({{lang|en|Chronon}})은 [[물리학]]에서 사용하는 [[시간]]의 단위이다. {{시간 관련 주제}} ...690 바이트 (39 단어) - 2025년 3월 3일 (월) 05:19
- ...있는 논리 체계를 이르는 말이다. 특히 '''시제 논리'''(時制論里, tense logic)라 하면 [[양상 논리]]를 기반으로 한 시간 논리를 가리키는 말로, [[선형 시제 논리]]와 [[계산 트리 논리]] 등이 알려져 있으며 [[컴퓨터 과학]] 분야에서 중요하게 응용되 * [[시간]] ...1 KB (47 단어) - 2022년 2월 5일 (토) 10:29
- == 비트 오류율 측정 시간 == 테스트 시간 t는 가우시안 에러 분포를 이용하여 다음과 같은 식을 써서 구하면 된다. ...1 KB (62 단어) - 2024년 5월 6일 (월) 06:46
- ...비슷한 의미이다. 가용성을 수식으로 표현할 경우, 가용성(Availability)이란 정상적인 사용 시간(Uptime)을 전체 사용 시간(Uptime+Downtime)으로 나눈 값을 말한다. 이 값이 높을수록 "가용성이 높다"고 표현한다. 가용성이 높은 것을 '''[[고가 ...952 바이트 (40 단어) - 2023년 6월 25일 (일) 05:20
- [[파일:유달 시간 설명.jpg|섬네일|유달 시간 = 유입 시간 + 유하 시간. 그림에 보이는 파이프에 대한 우수량 산정 시 유달시간은 유하시간이 없으므로 유입시간과 같다. 만일 그림의 "유출"부에 또다른 유역과 [[강우 강도]] <math>I</math> 계산 시 강우지속시간은 유달 시간(T)로 본다. ...2 KB (75 단어) - 2024년 6월 2일 (일) 23:37
- == 시간 변화시킬 방법의 선택 == 시간 ''t''<sub>0</sub>에서의 어떤 상태 |''ψ''〉를 생각해 보자. 물리량 ''A''의 시간 ''t'' 에서의 기댓값 〈''A''〉<sub>''t''</sub>은 다음과 같이 주어진다. ...3 KB (139 단어) - 2024년 10월 23일 (수) 05:55
- <math>t_p = (\hbar G/c^5)^ \frac{1}{2} </math>는 [[플랑크 시간]]이다. 플랑크 전류는 [[도체]]가 플랑크 시간 동안 플랑크 전하을 운반할 때의 전류이다. ...2 KB (71 단어) - 2022년 3월 7일 (월) 08:51
- ...각 노드에 매핑되는 라벨 함수(labelling function)이 있어, 어떤 상태에 대해 어떤 속성값들의 집합을 대응시킨다. [[시간 논리]]의 주요 논리 구조들은 크립키 구조로 기술되고 있다. * [[시간 논리]] ...1 KB (68 단어) - 2024년 5월 16일 (목) 06:47
- '''다항 시간 근사 해법'''(polynomial-time approximation scheme, '''PTAS''')은 [[최적화 문제]]에 대한 ...ximation scheme)는 PTAS 알고리즘 중에서 시간 복잡도가 <math>f(\epsilon)g(n)</math> 꼴인, 즉 시간 복잡도를 [[대문자 O 표기법]]으로 표시했을 때 <math>\epsilon</math>에 독립적인 <math>O(n^c)</math> ...2 KB (145 단어) - 2024년 5월 6일 (월) 05:30