Íàö³îíàëüíèé
àåðîêîñì³÷íèé óí³âåðñèòåò ³ì. Ì.ª. Æóêîâñüêîãî “Õàðê³âñüêèé àâ³àö³éíèé
³íñòèòóò”
ÑÒÀÒÒ² (articleS)
Àâòîðè |
Íàçâà ñòàòò³ (article title) |
Ñòîð³íêè (pages) |
||
English |
Óêðà¿íñüêà ìîâà |
Ðóññêèé ÿçûê |
||
Ãàðàíòîçäàòí³còü òà ñèñòåìè ³ êîìóí³êàö³¿ âèñîêî¿ ãîòîâíîñò³ |
||||
Ôóðñåíêî À.Â. |
PARAMETRIC
CONTROL OF THE STOCHASTIC SWITCHING DISCIPLINE OF MULTISERVICE SYSTEM CHANNELS FOR
IMPROVING THE QUALITY OF SERVICE |
ÏÀÐÀÌÅÒÐÈ×ÍÅ ÊÅÐÓÂÀÍÍß ÄÈÑÖÈÏ˲ÍÎÞ
ÑÒÎÕÀÑÒÈ×Íί ÊÎÌÓÒÀÖ²¯ ÊÀÍÀ˲ ÌÓËÜÒÈÑÅвÑÍί ÑÈÑÒÅÌÈ ÄËß Ï²ÄÂÈÙÅÍÍß ßÊÎÑÒ²
ÎÁÑËÓÃÎÂÓÂÀÍÍß |
11–14 |
|
Æóêîâ È.À., |
OPTIMIZATION OF
SPECTRAL EFFICIENCY AT WORK WITH WIRELESS BROADBAND
NETWORKS |
ÎÏÒÈ̲ÇÀÖ²ß ÑÏÅÊÒÐÀËÜÍί ÅÔÅÊÒÈÂÍÎÑÒ²
ÏÐÈ ÐÎÁÎÒ² Ç ÁÅÇÄÐÎÒÎÂÈÌÈ ØÈÐÎÊÎÑÌÓÃÎÂÈÌÈ ÌÅÐÅÆÀÌÈ |
ÎÏÒÈÌÈÇÀÖÈß
ÑÏÅÊÒÐÀËÜÍÎÉ ÝÔÔÅÊÒÈÂÍÎÑÒÈ ÏÐÈ ÐÀÁÎÒÅ Ñ ÁÅÑÏÐÎÂÎÄÍÛÌÈ ØÈÐÎÏÎËÎÑÍÛÌÈ ÑÅÒßÌÈ |
15–19 |
Åôèìîâ Ñ.Í., |
GRID SYSTEMS RELIABILITY ESTIMATION |
ÎÖ²ÍÊÀ ÍÀIJÉÍÎÑÒ² ÃвÄ-ÑÈÑÒÅÌ |
20–22 |
|
Öóêàíîâ À.Â., |
DYNAMIC LOCATION TABLES OF
DATA IN INFORMATION SERVICE IN CRITICAL SYSTEMS |
ÄÈÍÀ̲×ÍÅ
ÐÎÇ̲ÙÅÍÍß ÒÀÁËÈÖÜ ÄÀÍÈÕ ÏÐÈ ²ÍÔÎÐÌÀÖ²ÉÍÎÌÓ ÎÁÑËÓÃÎÂÓÂÀÍͲ  ÊÐÈÒÈ×ÍÈÕ
ÑÈÑÒÅÌÀÕ |
ÄÈÍÀÌÈ×ÅÑÊÎÅ
ÐÀÇÌÅÙÅÍÈÅ ÒÀÁËÈÖ ÄÀÍÍÛÕ ÏÐÈ ÈÍÔÎÐÌÀÖÈÎÍÍÎÌ ÎÁÑËÓÆÈÂÀÍÈÈ Â ÊÐÈÒÈ×ÅÑÊÈÕ
ÑÈÑÒÅÌÀÕ |
23–27 |
²íôîðìàö³éíà áåçïåêà òà áåçïå÷íèé êîìï’þòèíã |
||||
Êëÿò÷åíêî ß.Ì., |
ANALYSIS OF PARALLEL PROCESSES for ALGORITHM
of HIERARCHICAL ADAPTIVE
COMPARISON of INFORMATION OBJECTS |
ÀÍÀË²Ç ÏÀÐÀËÅ˲ÇÌÓ Â ÀËÃÎÐÈÒÌÀÕ ²ªÐÀÐÕ²×ÍÎÃÎ ÀÄÀÏÒÈÂÍÎÃÎ ÏÎвÂÍßÍÍß ²ÍÔÎÐÌÀÖ²ÉÍÈÕ ÎÁ’ªÊҲ |
ÀÍÀËÈÇ ÏÀÐÀËËÅËèçìà  àëãîðèòìå Èåðàðõè÷åñêîãî ÀÄÀÏÒÈÂÍÎÃÎ ÑÐÀÂÍÅÍÈß ÈÍÔÎÐÌÀÖÈÎÍÍÛÕ ÎÁÚÅÊÒΠ|
28–32 |
Íàä³éí³ñòü àïàðàòíèõ çàñîá³â òà ñèñòåì íà ïðîãðàìîâàíèõ êðèñòàëàõ |
||||
Òþðèí Ñ.Ô., |
DNP-CONFIGURABLE LOGIC BLOCK FPGA USING A FUNCTIONAL – FULL CELL TOLERANCE |
ÄÍÔ-ÊÎÍÔ²ÃÓÐÎÂÀÍÈÉ
ËÎò×ÍÈÉ ÁËÎÊ ÏË²Ñ Ç ÂÈÊÎÐÈÑÒÀÍÍßÌ
ÔÓÍÊÖ²ÎÍÀËÜÍÎ - ÏÎÂÍÈÕ ÒÎËÅÐÀÍÒÍÈÕ ÅËÅÌÅÍҲ |
33–37 |
|
Milad Moravej Seyed, |
THE PROBABILITY OF MULTIPROCESSOR SYSTEM FALLING INTO
DANGEROUS STATE ESTIMATION |
ÎÖ²ÍÊÀ
ÉÌβÐÍÎÑÒ² ÏÎÏÀÄÀÍÍß ÁÀÃÀÒÎÏÐÎÖÅÑÎÐÍί ÑÈÑÒÅÌÈ ÊÅÐÓÂÀÍÍß Â ÍÅÁÅÇÏÅ×ÍÈÉ ÑÒÀÍ |
ÎÖÅÍÊÀ ÂÅÐÎßÒÍÎÑÒÈ ÏÎÏÀÄÀÍÈß ÌÍÎÃÎÏÐÎÖÅÑÑÎÐÍÎÉ ÑÈÑÒÅÌÛ ÓÏÐÀÂËÅÍÈß
 ÎÏÀÑÍÎÅ ÑÎÑÒÎßÍÈÅ |
38–41 |
Òóðêèí È.Á., |
EXPERIMENTAL
RESEARCH OF PLANNING COMPUTING IN THE
REAL-TIME SYSTEMS BASED ON MULTI-CORE PROCESSORS |
ÅÊÑÏÅÐÈÌÅÍÒÀËÜÍÅ ÄÎÑ˲ÄÆÅÍÍß ÌÅÒÎIJÂ
ÏËÀÍÓÂÀÍÍß ÎÁ×ÈÑËÅÍÜ Â ÑÈÑÒÅÌÀÕ
ÐÅÀËÜÍÎÃÎ ×ÀÑÓ ÍÀ ÎÑÍβ ÁÀÃÀÒÎßÄÅÐÍÈÕ ÏÐÎÖÅÑÎв |
42–46 |
|
Õàõàíîâ Â.È., |
QUANTUM DATA
AND COMPUTING MODELS |
ÊÂÀÍÒβ ÌÎÄÅ˲ ÄÀÍÈÕ ² ÎÁ×ÈÑËÞÂÀËÜÍÈÕ
ÏÐÎÖÅѲ |
47–52 |
|
Àíäðèåíêî Â.À., |
BUILT-IN SELF
TEST ARCHITECTURE MULTI-VERSION MEMORY CHIPS |
ÀÐÕ²ÒÅÊÒÓÐÀ ÂÁÓÄÎÂÀÍÎÃÎ
ÁÀÃÀÒÎÂÅÐѲÉÍÎÃÎ ÑÀÌÎÒÅÑÒÓÂÀÍÍß Ì²ÊÐÎÑÕÅÌ ÏÀÌ’ßÒ² |
ÀÐÕÈÒÅÊÒÓÐÀ
ÂÑÒÐÎÅÍÍÎÃÎ ÌÍÎÃÎÂÅÐÑÈÎÍÍÎÃÎ ÑÀÌÎÒÅÑÒÈÐÎÂÀÍÈß ÌÈÊÐÎÑÕÅÌ ÏÀÌßÒÈ |
53–57 |
Îñîòîâ È.À., |
INVESTIGATION
OF EFFICIENCY OF LOCAL-PARALLEL CALCULATIONS BASED ON MULTIKERNEL PROCESSORS |
ÄÎÑ˲ÄÆÅÍÍß ÅÔÅÊÒÈÂÍÎÑÒ²
ËÎÊÀËÜÍÎ-ÏÀÐÀËÅËÜÍÈÕ ÎÁ×ÈÑËÅÍÜ ÍÀ
ÁÀÃÀÒÎßÄÅÐÍÈÕ ÏÐÎÖÅÑÎÐÀÕ |
ÈÑÑËÅÄÎÂÀÍÈÅ
ÝÔÔÅÊÒÈÂÍÎÑÒÈ ËÎÊÀËÜÍÎ-ÏÀÐÀËËÅËÜÍÛÕ ÂÛ×ÈÑËÅÍÈÉ ÍÀ ÌÍÎÃÎßÄÅÐÍÛÕ ÏÐÎÖÅÑÑÎÐÀÕ |
58–63 |
Òîëñòîëóæñêàÿ Å.Ã., |
SYNTHESIS OF
TIME PARAMETER MODELS PARALLEL
COMPUTATIONAL PROCESS FOR
CYCLIC TASKS |
ÑÈÍÒÅÇ
×ÀÑÎÏÀÐÀÌÅÒвÇÎÂÀÍÍÈÕ ÌÎÄÅËÅÉ ÓÏÐÀÂ˲ÍÍß ÏÀÐÀËÅËÜÍÈÕ ÎÁ×ÈÑËÞÂÀËÜÍÈÕ ÏÐÎÖÅѲ ÖÈÊ˲×ÍÈÕ
ÇÀÄÀ× |
64–69 |
|
Áàðêàëîâ À.À., |
HARDWARE
REALIZATION OF ALGORITHM FOR THE INTERPIXEL INTERPOLATION |
ÀÏÀÐÀÒÓÐÍÀ ÐÅÀ˲ÇÀÖ²ß ÀËÃÎÐÈÒÌÓ
ÏÎÐßÄÍί ̲ÆϲÊÑÅËÜÍί ²ÍÒÅÐÏÎËßÖ²¯ |
ÀÏÏÀÐÀÒÓÐÍÀß
ÐÅÀËÈÇÀÖÈß ÀËÃÎÐÈÒÌÀ ÑÒÐÎ×ÍÎÉ ÌÅÆÏÈÊÑÅËÜÍÎÉ ÈÍÒÅÐÏÎËßÖÈÈ |
70–74 |
Ñòîëÿðåíêî Þ.À. |
METHOD OF POINT
ALLOCATIONS |
ÌÅÒÎÄ ÒÎ×ÊÎÂÈÕ
ÐÎÇÏÎIJ˲ |
75–77 |
|
Êðàìàðü Â.À. |
DEPENDABILITY
OF AEROSPACE SYSTEMS UNDER ELASTIC
VIBRATIONS |
ÃÀÐÀÍÒÎÇÄÀÒͲÑÒÜ ÀÅÐÎÊÎÑ̲×ÍÈÕ ÑÈÑÒÅÌ Â ÓÌÎÂÀÕ ÏÐÓÆÍÈÕ ÊÎËÈÂÀÍÜ |
ÃÀÐÀÍÒÎÑÏÎÑÎÁÍÎÑÒÜ
ÀÝÐÎÊÎÑÌÈ×ÅÑÊÈÕ ÑÈÑÒÅÌ Â ÓÑËÎÂÈßÕ ÓÏÐÓÃÈÕ ÊÎËÅÁÀÍÈÉ |
78–83 |
Ãðèãà Â.Ì. |
SPACE-TIME
TRANSFORMATION ALGORITHM FOR SORTING
NUMBERS BY BATCHER |
ÏÐÎÑÒÎÐÎÂÎ-×ÀÑÎÂÅ
ÏÅÐÅÒÂÎÐÅÍÍß ÀËÃÎÐÈÒÌÓ ÑÎÐÒÓÂÀÍÍß ×ÈÑÅË ÌÅÒÎÄÎÌ ÁÅÒ×ÅÐÀ |
ÏÐÎÑÒÐÀÍÑÒÂÅÍÍÎ-ÂÐÅÌÅÍÍÎÅ ÏÐÅÂÐÀÙÅÍÈÅ ÀËÃÎÐÈÒÌÀ ÑÎÐÒÈÐÎÂÊÈ ×ÈÑÅË ÌÅÒÎÄÎÌ ÁÅÒ×ÅÐÀ |
84–88 |
Àðñèðèé Å.À., |
DATA MINING FOR
COMPLEX SIMULATION TO IMPROVE RELIABILITY OF POWER
EQUIPMENT |
²ÍÒÅËÅÊÒÓÀËÜÍÈÉ ÀÍÀË²Ç ÏÐÈ ÊÎÌÏËÅÊÑÍÎÌÓ
ÌÎÄÅËÞÂÀÍͲ ÄËß Ï²ÄÂÈÙÅÍÍß ÍÀIJÉÍÎÑÒ²
ÐÎÁÎÒÈ ÅÍÅÐÃÅÒÈ×ÍÎÃÎ ÎÁËÀÄÍÀÍÍß |
89–94 |
|
Zaitseva E., |
ÁÀÃÀÒÎвÂÍŲ IJÀÃÐÀÌÈ Ð²ØÅÍÜ Ó ÀÍÀ˲Dz ÇÍÀ×ÓÙÎÑÒ² |
ÌÍÎÃÎÓÐÎÂÍÅÂÛÅ
ÄÈÀÐÀÌÌÛ ÐÅØÅÍÈÉ ÏÐÈ ÀÍÀËÈÇÅ ÇÍÀ×ÈÌÎÑÒÈ |
95–124 |
|
ijàãíîñòèêà òà â³äìîâîñò³éê³ñòü |
||||
Äìèòðèåâà Î.À. |
PARALLEL
MODELLING OF DYNAMIC OBJECTS WITH
THE AUTOMATIC CHOICE OF THE STEP ON THE BASIS OF EXTRAPOLATION
METHODS |
ÏÀÐÀËÅËÜÍÅ ÌÎÄÅËÞÂÀÍÍß ÄÈÍÀ̲×ÍÈÕ
ÎÁ'ªÊÒ²Â Ç ÀÂÒÎÌÀÒÈ×ÍÈÌ ÂÈÁÎÐÎÌ ÊÐÎÊÓ ÍÀ ÎÑÍβ ÅÊÑÒÐÀÏÎËßÖ²ÉÍÈÕ ÌÅÒÎIJ |
103–108 |
|
Àçàðÿí À.Â. |
GUARANTEED PROCESS
CONTROL OF ORE CONCENTRATION BASED ON
FUZZY-SYSTEM |
ÃÀÐÀÍÒÎÂÀÍÅ ÊÅÐÓÂÀÍÍß ÒÅÕÍÎËÎò×ÍÈÌ
ÏÐÎÖÅÑÎÌ ÇÁÀÃÀ×ÅÍÍß ÐÓÄÈ ÍÀ ÎÑÍβ FUZZY-ÑÈÑÒÅÌÈ |
ÃÀÐÀÍÒÈÐÎÂÀÍÍÎÅ
ÓÏÐÀÂËÅÍÈÅ ÒÅÕÍÎËÎÃÈ×ÅÑÊÈÌ ÏÐÎÖÅÑÑÎÌ ÎÁÎÃÀÙÅÍÈß ÐÓÄÛ ÍÀ ÎÑÍÎÂÅ FUZZY-ÑÈÑÒÅÌÛ |
109–113 |
Êîíäðàòåíêî Þ.Ï., |
HARDWARE
AND SOFTWARE TOOLS FOR INDIRECT DETERMINATION AND CONTROL OF ELECTROACOUSTIC SIGNALS PARAMETERS BASED ON
THE TWO-POINT METHOD |
ÏÐÎÃÐÀÌÌÍÎ-ÀÏÏÀÐÀÒÍÛÅ
ÑÐÅÄÑÒÂÀ ÄËß ÊÎÑÂÅÍÍÎÃÎ ÎÏÐÅÄÅËÅÍÈß È ÊÎÍÒÐÎËß ÏÀÐÀÌÅÒÐΠÝËÅÊÒÐÎÀÊÓÑÒÈ×ÅÑÊÈÕ
ÑÈÃÍÀËΠÍÀ ÎÑÍÎÂÅ ÄÂÓÕÒÎ×Å×ÍÎÃÎ ÌÅÒÎÄÀ |
114–118 |
|
Äîëãîâ À.Þ. |
INCREASE OF
ACCURACY OF ESTIMATIONS OF PARAMETERSCONTROL SAMPLE OF SMALL VOLUME |
ϲÄÂÈÙÅÍÍß ÒÎ×ÍÎÑÒ² ÎÖ²ÍÎÊ ÏÀÐÀÌÅÒвÂÊÎÍÒÐÎËÜÍί
ÂÈÁ²ÐÊÈ ÌÀËÎÃÎ ÎÁ'ªÌÓ |
ÏÎÂÛØÅÍÈÅ ÒÎ×ÍÎÑÒÈ
ÎÖÅÍÎÊ ÏÀÐÀÌÅÒÐÎÂ ÊÎÍÒÐÎËÜÍÎÉ ÂÛÁÎÐÊÈ ÌÀËÎÃÎ ÎÁÚÅÌÀ |
119–123 |
Õìåëåâîé Ñ.Â. |
UsING GPU for SPEED-calculations of gazo-liquid SYSTEMS by means of PIV method |
ÂÈÊÎÐÈÑÒÀÍÍß GPU äëÿ ÐÎÇÐÀõÓÍÊÓ ØÂÈÄÊÎÑÒÅÉ ãàçî-æèäê²ñíÈõ ÑÅÐÅÄÎÂÈÙ
ÇÀ ÄÎÏÎÌÎÃÎÞ ìåòîäà PIV |
ÈÑÏÎËÜÇÎÂÀÍÈÅ GPU ÄËß ÐÀÑ×ÅÒΠÑÊÎÐÎÑÒÅÉ
ÃÀÇÎ-ÆÈÄÊÎÑÒÍÛÕ ÑÐÅÄ Ñ ÏÎÌÎÙÜÞ ÌÅÒÎÄÀ PIV |
124–129 |
Òâåðäîõëåáîâ Â.À. |
BINARY RELATIONS IN DIAGNOSING OF COMPLEX MAN-MACHINE SYSTEMS |
Á²ÍÀÐͲ
²ÄÍÎØÅÍÍß Â Ä²ÀÃÍÎÑÒÓÂÀÍͲ ÑÊËÀÄÍÈÕ
ËÞÄÈÍÎ-ÌÀØÈÍÍÈÕ ÑÈÑÒÅÌ |
ÁÈÍÀÐÍÛÅ
ÎÒÍÎØÅÍÈß Â ÄÈÀÃÍÎÑÒÈÐÎÂÀÍÈÈ ÑËÎÆÍÛÕ ×ÅËÎÂÅÊÎ-ÌÀØÈÍÍÛÕ ÑÈÑÒÅÌ |
130–134 |
Èâàíîâ Þ.À. |
OPTIMIZATION
ALGORITHM FOR REAL-TIME PROCESS FOR DYNAMIC
SYSTEMS SIMULATION |
ÀËÃÎÐÈÒÌ ÎÏÒÈ̲ÇÀÖ²¯ ÖÈÊËÓ ÐÅÀËÜÍÎÃÎ
×ÀÑÓ ÏÐÈ ÌÎÄÅËÞÂÀÍͲ ÄÈÍÀ̲×ÍÈÕ ÑÈÑÒÅÌ |
ÀËÃÎÐÈÒÌ
ÎÏÒÈÌÈÇÀÖÈÈ ÖÈÊËÀ ÐÅÀËÜÍÎÃÎ ÂÐÅÌÅÍÈ ÏÐÈ ÌÎÄÅËÈÐÎÂÀÍÈÈ ÄÈÍÀÌÈ×ÅÑÊÈÕ ÑÈÑÒÅÌ |
135–138 |
Áîðîäàâêà Í.Ï., |
Distributed
architecture as means to reliability growth of onboard informational and control systems |
ÐÎÇÏÎIJËÅÍÀ ÀÐÕ²ÒÅÊÒÓÐÀ ßÊ ÇÀѲÁ
ϲÄÂÈÙÅÍÍß ÍÀIJÉÍÎÑÒ² ² ÆÈÂÓ×ÎÑÒ² ÁÎÐÒÎÂÈÕ ²ÍÔÎÐÌÀÖ²ÉÍÎ-ÊÅÐÓÞ×ÈÕ ÑÈÑÒÅÌ |
139–147 |
|
Ñàâêîâ À.À., |
AUTHENTICATION
BASED ON THE ANALYSIS OF INFORMATION IN QUITE ZONE OF 2D BARCODE |
²ÄÅÍÒÈÔ²ÊÀÖ²ß ÄÎÑÒβÐÍÎÑÒ² ÍÀ ÎÑÍβ
ÀÍÀ˲ÇÓ²ÍÔÎÐÌÀÖ²¯ Ó QUITE ZONE 2D ÁÀÐÊÎIJ |
ÈÄÅÍÒÈÔÈÊÀÖÈß
ÏÎÄËÈÍÍÎÑÒÈ ÍÀ ÎÑÍÎÂÅ ÀÍÀËÈÇÀ ÈÍÔÎÐÌÀÖÈÈ Â QUITE ZONE 2D ÁÀÐÊÎÄÎÂ |
148–152 |
Ñêîáöîâ Þ.À., |
ÑHECK TEST GENERATION FOR
DELAY CROSSTALK FAULTS |
ÏÎÁÓÄÎÂÀ
ÏÅÐŲÐßËÜÍ²Õ ÒÅÑҲ ÄËß ²ÍÄÓÊÎÂÀÍÈÕ
ÇÀÒÐÈÌÎÊ |
153–157 |
|
Ôîðìàëüí³ ìåòîäè òà Case òåõíîëî㳿 âåðèô³êàö³¿ |
||||
Øàìîâ Ñ.Î. |
USE OF QUALITY CONTROL OF ActivitY PROCESSES DESCRIPTIONS TO THE
INITIAL DOCUMENTS OF RE-ENGINEERING PROJECT |
ÏÐÈÌÅÍÅÍÈÅ ÊÎÍÒÐÎËß ÊÀ×ÅÑÒÂÀ ÎÏÈÑÀÍÈÉ ÎÐÃÀÍÈÇÀÖÈÎÍÍ²Õ ÏÐÎÖÅÑÑÎÂ Ê ÈÑÕÎÄÍÛÌ
ÄÎÊÓÌÅÍÒÀÌ ÐÅÈÍÆÈÍÈÐÈÍÃÎÂÎÃÎ ÏÐÎÅÊÒÀ |
158–163 |
|
Êóçíåöîâà Þ.À. |
THE REAL-TIME CONTROL ALGORITHM VISUALIZATION
METHOD |
ÌÅÒÎÄ Â²ÇÓÀ˲ÇÀÖ²¯
ÊÅÐÓÞ×ÈÕ ÀËÃÎÐÈÒ̲ ÐÅÀËÜÍÎÃÎ ×ÀÑÓ |
164–170 |
|
×óõðàé À.Ã., |
KNOWLEDGE
REPRESENTATION MODELS IN INTELLECTUAL COMPUTER PROGRAMS FOR CIRCUIT ENGINEERING SOLUTIONS TUTORING |
ÌÎÄÅ˲ ÏÐÅÄÑÒÀÂËÅÍÍß ÇÍÀÍÜ Â
²ÍÒÅËÅÊÒÓÀËÜÍÈÕ ÊÎÌÏ’ÞÒÅÐÍÈÕ ÏÐÎÃÐÀÌÀÕ, ÙÎ ÍÀÂ×ÀÞÒÜ ÑÕÅÌÎÒÅÕͲ×ÍÈÌ Ð²ØÅÍÍßÌ |
171–177 |
|
Íåñòåðåíêî Ñ.À., |
DEVELOPMENT
FORMAL LANGUAGE FOR DIAGNOSTIC STATES BASED ON DESCRIPTION LOGIC |
ÐÎÇÐÎÁÊÀ ÔÎÐÌÀ˲ÇÎÂÀÍί ÌÎÂÈ
IJÀÃÍÎÑÒÈÊÈ ÑÒÀͲ ÍÀ ÎÑÍβ ÄÅÑÊÐÈÏÖ²ÉÍί ËÎòÊÈ |
ÐÀÇÐÀÁÎÒÊÀ
ÔÎÐÌÀËÈÇÎÂÀÍÍÎÃÎ ßÇÛÊÀ ÄÈÀÃÍÎÑÒÈÊÈ ÑÎÑÒÎßÍÈÉ ÍÀ ÎÑÍÎÂÅ ÄÅÑÊÐÈÏÖÈÎÍÍÎÉ ËÎÃÈÊÈ |
178–183 |
Áåçïåêà êðèòè÷íèõ ³íôðàñòðóêòóð |
||||
Äðîçä À.Â., |
ASSESSMENT IN
CHECKABILITY OF SAFETY-CRITICAL EMBEDDED
SYSTEMS COMPONENTS |
ÎÖ²ÍÊÀ ÊÎÍÒÐÎËÅÏÐÈÄÀÒÍÎÑÒ² ÖÈÔÐÎÂÈÕ
ÊÎÌÏÎÍÅÍҲ ÂÁÓÄÎÂÀÍÈÕ ÑÈÑÒÅÌ ÊÐÈÒÈ×ÍÎÃÎ
ÇÀÑÒÎÑÓÂÀÍÍß |
ÎÖÅÍÊÀ
ÊÎÍÒÐÎËÅÏÐÈÃÎÄÍÎÑÒÈ ÖÈÔÐÎÂÛÕ ÊÎÌÏÎÍÅÍÒΠÂÑÒÐÎÅÍÍÛÕ ÑÈÑÒÅÌ ÊÐÈÒÈ×ÅÑÊÎÃÎ
ÏÐÈÌÅÍÅÍÈß |
184–190 |
Tagarev T.D., |
ÒÀÊÑÎÍÎÌ²ß ÎÑÍÎÂÍÈÕ ÑÅвѲ |
ÒÀÊÑÎÍÎÌÈß ÎÑÍÎÂÍÛÕ ÑÅÐÂÈÑÎÂ |
191–196 |
|
Êî÷êàðü Ä.À., |
INFRASTRUCTURE DESIGN GROUND MONITORING OF FOREST FIRES |
ÏÐÎÅÊÒÓÂÀÍÍß ²ÍÔÐÀÑÒÐÓÊÒÓÐÈ ÍÀÇÅÌÍί
ÑÈÑÒÅÌÈ ÌÎͲÒÎÐÈÍÃÓ˲ÑÎÂÈÕ ÏÎÆÅÆ |
ÏÐÎÅÊÒÈÐÎÂÀÍÈÅ
ÈÍÔÐÀÑÒÐÓÊÒÓÐÛ ÍÀÇÅÌÍÎÉ ÑÈÑÒÅÌÛ ÌÎÍÈÒÎÐÈÍÃÀ ËÅÑÍÛÕ ÏÎÆÀÐÎÂ |
197–201 |
Ëàâðóò Î.Î. |
DYNAMIC METHOD OF MANAGEMENT BY STREAMS OF INFORMATION IN
FRAGMENT OF MOBILE COMPONENTS OF PERSPECTIVE COMMUNICATION NETWORK IN CRITICAL TERMS |
ÄÈÍÀÌÈ×ÅÑÊÈÉ
ÌÅÒÎÄ ÓÏÐÀÂËÅÍÈß ÏÎÒÎÊÀÌÈ ÈÍÔÎÐÌÀÖÈÈ ÂÎ ÔÐÀÃÌÅÍÒÅ ÌÎÁÈËÜÍÎÉ ÊÎÌÏÎÍÅÍÒÛ ÏÅÐÑÏÅÊÒÈÂÍÎÉ ÑÈÑÒÅÌÛ ÑÂßÇÈ Â ÊÐÈÒÈ×ÅÑÊÈÕ
ÓÑËÎÂÈßÕ |
202–207 |
|
Davies J.N., |
OPTIMIZATION PRINCIPLES FOR ELIMINATING ACCESS CONTROL
LISTS WITHIN A DOMAIN |
ÏÐÈÍÖÈÏÈ ÎÏÒÈ̲ÇÀÖ²¯ ÑÏÈÑʲ ÊÎÍÒÐÎËÞ
ÄÎÑÒÓÏÓ Â ÌÅÆÀÕ ÄÎÌÅÍÓ |
ÏÐÈÍÖÈÏÛ ÎÏÒÈÌÈÇÀÖÈÈ ÑÏÈÑÊÎÂ ÊÎÍÒÐÎËß
ÄÎÑÒÓÏÀ Â ÏÐÅÄÅËÀÕ ÄÎÌÅÍÀ |
208–213 |
Ñêàòêîâ À.Â., |
MANAGEMENT OF
CRITICAL INFRASTRUCTURES BASED ON
PROCEDURES OF THE COMPLEMENTARY SCHEDULING |
ÊÅÐÓÂÀÍÍß ÊÐÈÒÈ×ÍÈÌÈ ²ÍÔÐÀÑÒÐÓÊÒÓÐÀÌÈ
ÍÀ ÎÑÍβ ÏÐÎÖÅÄÓÐ ÊÎÌÏËÅÌÅÍÒÀÐÍί ÄÈÑÏÅÒ×ÅÐÈÇÀÖ²¯ |
ÓÏÐÀÂËÅÍÈÅ
ÊÐÈÒÈ×ÅÑÊÈÌÈ ÈÍÔÐÀÑÒÐÓÊÒÓÐÀÌÈ ÍÀ ÎÑÍÎÂÅ ÏÐÎÖÅÄÓÐ ÊÎÌÏËÅÌÅÍÒÀÐÍÎÉ
ÄÈÑÏÅÒ×ÅÐÈÇÀÖÈÈ |
214–218 |
Áàêàåâ Î.Â. |
METHODS AND
MODELS FOR MONITORING GEODYNAMICS PROCESSES
IN COAL-BEARING SERIES OF A COAL MINE |
ÌÅÒÎÄÈ ÒÀ ÌÎÄÅ˲ ÌÎͲÒÎÐÈÍÃÓ ÃÅÎÄÈÍÀ̲×ÍÈÕ ÏÐÎÖÅÑ²Â Ó ÂÓÃËÅÏÎÐÎÄÍÎÌÓ ÌÀÑȲ ÂÓòËÜÍÈÕ ØÀÕÒ |
ÌÅÒÎÄÛ È ÌÎÄÅËÈ
ÌÎÍÈÒÎÐÈÍÃÀ ÃÅÎÄÈÍÀÌÈ×ÅÑÊÈÕ ÏÐÎÖÅÑÑΠ ÓÃËÅÏÎÐÎÄÍÎÌ ÌÀÑÑÈÂÅ ÓÃÎËÜÍÛÕ ØÀÕÒ |
219–223 |
Ôåäîñååâà À.À. |
The model of production of drugs by using Timed petri nets and
set-theoretical description |
ÌÎÄÅËÜ âèðîáíèöòâà ë³êàðñüêèõ ïðåïàðàò³â ç âèêîðèñòàííÿì òåîðåòèêî-ìíîæèíîãî îïèñó òà ÷àñîâèõ ìåðåæ
Ïåòð³ |
224–228 |
|
Íàä³éí³ñòü òà åâîëþö³éí³ñòü ïðîãðàìíèõ ñèñòåì |
||||
Ìàåâñêèé Ä.À., |
EXPERIMENTAL
ANALYSIS OF SOFTWARE RELIABILITY MODELS
ACCURACY |
ÅÊÑÏÅÐÈÌÅÍÒÀËÜÍÈÉ ÀÍÀË²Ç ÒÎ×ÍÎÑÒ²
ÌÎÄÅËÅÉ ÍÀIJÉÍÎÑÒ² ÏÐÎÃÐÀÌÍÎÃÎ ÇÀÁÅÇÏÅ×ÅÍÍß |
ÝÊÑÏÅÐÈÌÅÍÒÀËÜÍÛÉ
ÀÍÀËÈÇ ÒÎ×ÍÎÑÒÈ ÌÎÄÅËÅÉ ÍÀÄÅÆÍÎÑÒÈ ÏÐÎÃÐÀÌÌÍÎÃÎ ÎÁÅÑÏÅ×ÅÍÈß |
229–233 |
Åëåíåâè÷ Ì.À., |
RESULTS OF EXPERIMENTAL INVESTIGATION OF
THE DBMS ACCESS PRODUCTIVITY IN TASK OF SPACECRAFT’S
TELEMETRY INFORMATION PROCESSING |
ÐÅÇÓËÜÒÀÒÈ ÅÊÑÏÅÐÈÌÅÍÒÀËÜÍÎÃÎ
ÄÎÑ˲ÄÆÅÍÍß ÏÐÎÄÓÊÒÈÂÍÎÑÒ² ÑÊÁÄ ACCESS
 ÇÀÄÀ×ÀÕ ÎÁÐÎÁÊÈ ÒÅËÅÌÅÒÐÈ×Íί ²ÍÔÎÐÌÀÖ²¯ ÊÎÑ̲×ÍÈÕ ÀÏÀÐÀҲ |
234–239 |
|
Ïðèãîæåâ À.Ñ. |
resource networks use for testing software |
ÂÈÊÎÐÈÑÒÀÍÍß
ÐÅÑÓÐÑÍÈÕ ÌÅÐÅÆ ÄËß ÒÅÑÒÓÂÀÍÍß ÏÐÎÃÐÀÌÍÎÃÎ
ÇÀÁÅÇÏÅ×ÅÍÍß |
ÈÑÏÎËÜÇÎÂÀÍÈÅ
ÐÅÑÓÐÑÍÛÕ ÑÅÒÅÉ ÄËß ÒÅÑÒÈÐÎÂÀÍÈß ÏÐÎÃÐÀÌÌÍÎÃÎ ÎÁÅÑÏÅ×ÅÍÈß |
240–245 |
Ïîìîðîâà Î.Â., |
COMPARATIVE ANALYSIS OF C
+ + SOURCE code Static
analyzers EFFECTIVENESS |
ÏÎвÂÍßËÜÍÈÉ ÀÍÀ˲Ç
ÅÔÅÊÒÈÂÍÎÑÒ² ÂÈÊÎÐÈÑÒÀÍÍß ÑÒÀÒÈ×ÍÈÕ ÀÍÀ˲ÇÀÒÎв Ñ++ ÂÈÕ²ÄÍÎÃÎ ÊÎÄÓ |
ÑÐÀÂÍÈÒÅËÜÍÛÉ ÀÍÀËÈÇ ÝÔÔÅÊÒÈÂÍÎÑÒÈ ÈÑÏÎËÜÇÎÂÀÍÈß
ÑÒÀÒÈ×ÅÑÊÈÕ ÀÍÀËÈÇÀÒÎÐÎÂ Ñ + + ÊÎÄÀ |
246–251 |
Biscoglio I., |
CAN SAFETY BE OBTAINED THROUGH GOOD PRACTICES FOR
REQUIREMENT WRITING? |
×È
ÌÎÆÅ ÁÅÇÏÅÊÀ ÁÓÒÈ ÇÀÁÅÇÏÅ×ÅÍÀ ÇÀ ÄÎÏÎÌÎÃÎÞ ²ÍÑÒÐÓÊÖ²É Ç ÍÀÏÈÑÀÍÍß ÂÈÌÎÃ? |
ÌÎÆÅÒ
ËÈ ÁÅÇÎÏÀÑÍÎÑÒÜ ÁÛÒÜ ÎÁÅÑÏÅ×ÅÍÀ Ñ ÏÎÌÎÙÜÞ ÐÓÊÎÂÎÄÑÒ ÏÎ ÍÀÏÈÑÀÍÈÞ ÒÐÅÁÎÂÀÍÈÉ? |
252–257 |
Òåõíîëî㳿 Ada òà áàãàòîâåðñ³éíèé êîìï’þòèíã |
||||
Êèðêîðîâà Ë.Ñ., |
IMPROVING OF
LOCALITY OF THE COMPOSITION OF
PARALLEL ALGORITHMS OF LANGUAGE ADA |
ÏÎ˲ÏØÅÍÍß ËÎÊÀËÜÍί ÊÎÌÏÎÇÈÖ²¯ ÏÀÐÀËÅËÜÍÈÕ ÀËÃÎÐÈÒ̲ ÌÎÂÈ ADA |
ÓËÓ×ØÅÍÈÅ
ËÎÊÀËÜÍÎÑÒÈ ÊÎÌÏÎÇÈÖÈÈ ÏÀÐÀËËÅËÜÍÛÕ ÀËÃÎÐÈÒÌΠßÇÛÊÀ ADA |
258–264 |
Ôóíêö³îíàëüíà áåçïåêà ³íôîðìàö³éíî-êåðóþ÷èõ ñèñòåì |
||||
Ìàùåíêî Å.Í., |
DEPENDABILITY INVESTIGATION OF
MAN-MACHINE SYSTEM WITH
INHOMOGENEOUS COMPOSITION, BASED ON SEMI-MARKOV MODEL |
ÄÎÑ˲ÄÆÅÍÍß ÃÀÐÀÍÒÎÇÄÀÒÍÎÑÒI ËÞÄÈÍÎ-ÌÀØÈÍÍί ÑÈÑÒÅÌÈ ÍÅÎÄÍÎвÄÍÎÃÎ ÑÎÑÒÀÂÀ ÍÀ ÎÑÍβ ÍÀϲÂÌÀÐÊÎÂÑÜÊί
ÌÎÄÅ˲ |
265–270 |
|
Ñêàòêîâ À.Â., |
ANALYSIS OF
NONPARAMETRIC TESTS POWER WHILE ASSESSMENT OF STATE CRITICAL USING OBJECTS |
ÀÍÀË²Ç ÏÎÒÓÆÍÎÑÒ² ÍÅÏÀÐÀÌÅÒÐÈ×ÍÈÕ
ÊÐÈÒÅв¯Â ÏÐÈ ÎÖ²ÍÞÂÀÍͲ ÑÒÀÍÓ
ÎÁ'ªÊҲ ÊÐÈÒÈ×ÍÎÃÎ ÇÀÑÒÎÑÓÂÀÍÍß |
271–275 |
|
Ðóâèíñêàÿ Â.Ì., |
METHOD OF
CONSTRUCTION OF EXPERT SYSTEMS FOR MONITORING |
ÌÅÒÎÄÈÊÀ
ÏÎÁÓÄÎÂÈ åêñïåðòíèõ ñèñòåì ÄËß ÌÎͲÒÎÐÈÍÃÓ |
276–280 |
|
Ïîõèë Â.Ñ., |
METHODS OF THE AIRCRAFTS ON-BOARD
INSTRUMENTATION & CONTROL SYSTEMS FUNCTIONAL SAFETY ANALYSIS, ASSESSMENT
AND SUPPORT BASED ON THE
FUNCTIONAL-ARCHITECTURAL MODELING |
ÌÅÒÎÄÈ ÀÍÀ˲ÇÓ, ÎÖ²ÍÞÂÀÍÍß ÒÀ
ÇÀÁÅÇÏÅ×ÅÍÍß ÔÓÍÊÖ²ÎÍÀËÜÍί ÁÅÇÏÅÊÈ ÁÎÐÒÎÂÈÕ ²ÍÔÎÐÌÀÖ²ÉÍÎ-ÊÅÐÓÞ×ÈÕ ÑÈÑÒÅÌ
˲ÒÀËÜÍÈÕ ÀÏÀÐÀҲ ÍÀ ÎÑÍβ
ÔÓÍÊÖ²ÎÍÀËÜÍÎ-ÀÐÕ²ÒÅÊÒÓÐÍÎÃÎ ÌÎÄÅËÞÂÀÍÍß |
281–285 |
Øàíîâí³
÷èòà÷³!
Íàóêîâî-òåõí³÷íèé æóðíàë “ÐÀIJÎÅËÅÊÒÐÎÍͲ
² ÊÎÌÏ'ÞÒÅÐͲ ÑÈÑÒÅÌÈ“
âêëþ÷åíèé äî ïåðåë³êó íàóêîâèõ âèäàíü, â ÿêèõ ìîæóòü äðóêóâàòèñÿ îñíîâí³
ðåçóëüòàòè äèñåðòàö³éíèõ ðîá³ò
(äèâ. ïîñòàíîâó ïðåçè䳿 ÂÀÊ Óêðà¿íè ¹1-05/3 â³ä 8.07.2009)
– ó çàãàëüíîäåðæàâí³é
ðåôåðàòèâí³é áàç³ äàíèõ «Óêðà¿í³êà
íàóêîâà» òà ïóáë³êóºòüñÿ ó â³äïîâ³äíèõ òåìàòè÷íèõ ñåð³ÿõ ÓÐÆ «Äæåðåëî» (â³ëüíèé îí-ëàéíîâèé äîñòóï äî
ðåñóðñ³â íà Web-ñåðâåð³ http://www.nbuv.gov.ua);
– ó
ðåôåðàòèâí³é áàç³ äàíèõ Âñåðîñ³éñüêîãî ³íñòèòóòó
íàóêîâî¿ ³ òåõí³÷íî¿ ³íôîðìàö³¿ (²ͲҲ) Ðîñ³éñüêî¿ àêàäå쳿 íàóê ³
ïóáë³êóºòüñÿ ó â³äïîâ³äíèõ òåìàòè÷íèõ ñåð³ÿõ ÐÆ (â³ëüíèé îí-ëàéíîâèé äîñòóï äî
ðåñóðñ³â íà Web-ñåðâåð³ http://www.viniti.ru).