Искать
Отображаемые элементы 1-10 из 1344
ОБЗОР СПОСОБОВ РАСШИРЕНИЯ РАБОЧЕЙ ЗОНЫ ПЕРСПЕКТИВНОЙ РАДИОНАВИГАЦИОННОЙ СИСТЕМЫ
(Сибирский федеральный университет, 2011)
РНС до 70 дБ. К
недостаткам этого способа следует отнести потери в скорости передачи информации в
2 раза. На рисунке 3 представлены некоторые из возможных вариантов реализации
режима кодо-временного разделения сигналов опорных станций.
( ) 1=tD...
( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( )0D t ( )0D t ( )0D t ( ) 1=tD ( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( ) 1=tD ( ) 1±=tD ( ) 1=tD ( ) 1±=tD ( ) 1=tD ( ) 1±=tD...
( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( )0D t ( )0D t ( )0D t ( ) 1=tD ( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( ) 1=tD ( ) 1±=tD( ) 1=tD( ) 1±=tD ( ) 1=tD ( ) 1±=tD ( ) 1=tD ( ) 1±=tD ( ) 1=tD ( ) 1±=tD...
Методы эффективного управления технологическим процессом электролитического получения алюминия
(Сибирский федеральный университет. Siberian Federal University., 2010-06)
IlnmI �������������
�d�h�j�W�J�=M�W�G�W�Z�g
�W
�W�W
QQQQQQQ
td
Td
�Fc
������
������������� ��
1
ˆ
,
�dM�G�F�F�W
�F
�F�F
QQQ
td
Td
�Fc
������
����� ��
ˆ
,
�Z�l�=�=�d�h�j
�=
�=�=
QQ
td
Td
�Fc
����
��� ��
ˆ
, (2)
�=�d�h�j�d�h�j�W
�d�h�j
�d�h�j�d�h�j
QQ
td
Td
�Fc...
���� ��� �� ˆ , �Z�l�[�h�j�l�d�dq�^�g�d�d�F �d �d�d QQQQ td Td �Fc �������� ������� �� ˆ , �Z�l�[�h�j�l�^�g�Z�l�^�g�^�g�d �^�g �^�g�^�g QQQ td Td �Fc �������� ����� �� ˆ . i T ˆ ) ˆ ( �W �e�b�d�W�g�W�g�W�g�W TTSQ ����� ������ �D �W �e�b�d T ) ˆˆ ( �F...
���� ��� �� ˆ , �Z�l�[�h�j�l�d�dq�^�g�d�d�F �d �d�d QQQQ td Td �Fc �������� ������� �� ˆ , �Z�l�[�h�j�l�^�g�Z�l�^�g�^�g�d �^�g �^�g�^�g QQQ td Td �Fc �������� ����� �� ˆ . i T ˆ ) ˆ ( �W �e�b�d�W�g�W�g�W�g�W TTSQ ����� ������ �D �W �e�b�d T ) ˆˆ ( �F...
Разработка информационной системы аттестационного тестирования медицинских работников
(Сибирский федеральный университет; Хакасский технический институт — филиал СФУ, 2017)
Объектом исследования является процесс аттестационного тестирования медицинских работников.
Целью ВКР является разработка и внедрение системы аттестационного тестирования медицинских работников в республике Хакасия.
Основными ...
Разработка информационной системы клиент-серверной архитектуры «Реестр договоров» для ГАУ РХ «ЦИНТ Хакасии»
(Сибирский федеральный университет; Хакасский технический институт — филиал СФУ, 2019)
Объект ВКР: методы автоматизации процессов электронного документооборота.
Предмет: автоматизированная информационная система (АИС) клиент-серверной архитектуры «Реестр договоров».
Целью ВКР является повышение удобства ...
Разработка web-платформы для учебного курса по допечатной подготовке
(Сибирский федеральный университет, 2018)
Автоматизация учета видеоматериалов для ООО "Видеоканал-Абакан"
(ХТИ - филиал СФУ, 2016)
Система мониторинга VPN сервера
(Сибирский федеральный университет, 2021)
Разработка электронного календаря видеоконференций Министерства здравоохранения Республики Хакасия
(Сибирский федеральный университет; Хакасский технический институт — филиал СФУ, 2017)
Объект исследования: процесс планирования видеоконференций Министерства здравоохранения Республики Хакасия.
Цель работы: автоматизация планирования и оповещения участников видеоконференций Министерства здравоохранения ...
Разрешимость многомодальной линейной логики знания и времени LTK
(Сибирский федеральный университет. Siberian Federal University., 2013-04)
(LLTK). Modal time degree td(A) of A is defined as fol-
lows: td(p) = td(T) = td(⊥) = 0; td(¬α) = td(α); td(α → β) = td(α ∨ β) = td(α ∧ β) =
max(td(α),td(β)); td(a50∼α) = td(a50iα) = td(α); td(a50Tα) = td(α) + 1.
Definition 1.11. Let A ∈ Fma(LLTK). Modal time...
.1. The logic LTKr has the effective finite model property. Proof. Take a formula A such that A negationslash∈ LTKr and let td(A) = n. Then there are an LTKr-frame F = 〈{uniontextl∈J Cl},RT,R∼,R1,...,Rk〉 (J = [0,L],L ∈ N or J = N), valuation V and a world x ∈ Cr...
.1. The logic LTKr has the effective finite model property. Proof. Take a formula A such that A negationslash∈ LTKr and let td(A) = n. Then there are an LTKr-frame F = 〈{uniontextl∈J Cl},RT,R∼,R1,...,Rk〉 (J = [0,L],L ∈ N or J = N), valuation V and a world x ∈ Cr...