Verification of Intelligent Interface Properties in the Tiles Logic
| Authors: Devyatkov V.V. | Published: 15.06.2016 |
| Published in issue: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-65-87 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: intelligent interface properties, tiles logic, modal logic, verification of properties, intelligent agents, logic programming language Visual Prolog | |
Quantum-Mechanical Model of the Relay and Pulse Control Dynamics
| Authors: Simonyants R.P. | Published: 15.06.2016 |
| Published in issue: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-88-101 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: quantum-mechanical model, relay and pulse control, bifurcation of the attractor | |
Generation of Random Signals in Control Units and Systems Research
| Authors: Lobusov Ye.S., Tuong Hoang Manh | Published: 15.06.2016 |
| Published in issue: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-102-113 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: random process, forming filter, approximation, spectral density | |
Automated Controllability Analysis of Technological Equipment Control Systems on Dangerous Production Facilities
| Authors: Ivanov D.E., Gromova T.V., Shvetsova-Shilovskaya T.N. | Published: 15.06.2016 |
| Published in issue: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-114-128 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Automation, Control of Technological Processes, and Industrial Control | |
| Keywords: controllability, complex technical system, processing equipment, dangerous production facilities, software system, completeness of control, depth of control, control devices | |
Functional Model of Unloaded Ethernet-Switches
| Authors: BoychenkoM.K., Ivanov I.P., Kondratiev A.Yu. | Published: 15.06.2016 |
| Published in issue: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-129-138 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Computing Systems and their Elements | |
| Keywords: Ethernet, switch, delay, interface, transport system, computer network | |
Enterprise Data Warehouse Design Method using SAP Net Weaver Business Warehouse
| Authors: Tonoyan S.A., Vysochanskiy V.A. | Published: 12.08.2016 |
| Published in issue: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-33-48 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Computing Systems and their Elements | |
| Keywords: data warehouse, SAP, multidimensional data model, star-schema, OLAP, OLTP, info-cube, aggregation, LSA | |
Synthetic Software Verification Method using SMT-Solvers
| Authors: Rudakov I.V., Gurin R.E. | Published: 12.08.2016 |
| Published in issue: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-49-64 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: verification, code analysis, static analysis, dynamic analysis, interpretation, symbolic execution, model checking | |
Output Control of Large Dynamic System Spectrum
| Authors: Zubov N.E., Mikrin E.A., Ryabchenko V.N. | Published: 12.08.2016 |
| Published in issue: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-65-73 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: decomposition, modal synthesis, ММО-system, output vector, spectrum, output control, large dynamic system | |
Regulating Loads of Network Interfaces using Ping Utility of ICMP Protocol
| Authors: BoychenkoM.K., Ivanov I.P., Kondratiev A.Yu., Lokhturov V.A. | Published: 12.08.2016 |
| Published in issue: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-74-84 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Computing Systems and their Elements | |
| Keywords: сomputer network, network interface, bandwidth, traffic, load, Ethernet, self-similarity | |
Optimization of energy allocation in an integrated energy storage system for electric vehicles
| Authors: Demenkov N.P., Xiaogang Wu | Published: 12.10.2016 |
| Published in issue: #5(110)/2016 | |
| DOI: 10.18698/0236-3933-2016-5-36-50 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: semi-active composite energy storage system, power allocation, convex optimization, energy efficiency analysis, power battery, supercapacitor | |