Дискретное управление функционально-дифференциальной непрерывно-дискретной системой
Dynamic models under consideration cover a wide class of models in mathematical Economics and Ecology taking into account some aftereffects and including equations with both continuous and discrete times. Control problems are considered in a general case when the aimes of control are given by a system of linear functionals with an arbitrary number of functionals. Complete description of all control actions that solve the control problem is given for the case when only discrete control is applied.
For a functional differential system with continuous and discrete times, the problem of control with respect to an on-target vector-functional is considered. Conditions for the solvability of the problem are obtained.
For a functional differential system with continuous and discrete times, the general linear boundary value problem and the problem of control with respect to an on-target vector-functional are considered. Conditions for the solvability of the problems are obtained. Questions of computer-aided techniques for studying these problems are discussed.
For degenerate Hybrid Stochastic Systems with full Dependence of all components exponential convergence to the stationary regime has been established.
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Smoking is a problem, bringing signifi cant social and economic costs to Russiansociety. However, ratifi cation of the World health organization Framework conventionon tobacco control makes it possible to improve Russian legislation accordingto the international standards. So, I describe some measures that should be taken bythe Russian authorities in the nearest future, and I examine their effi ciency. By studyingthe international evidence I analyze the impact of the smoke-free areas, advertisementand sponsorship bans, tax increases, etc. on the prevalence of smoking, cigaretteconsumption and some other indicators. I also investigate the obstacles confrontingthe Russian authorities when they introduce new policy measures and the public attitudetowards these measures. I conclude that there is a number of easy-to-implementanti-smoking activities that need no fi nancial resources but only a political will.
One of the most important indicators of company's success is the increase of its value. The article investigates traditional methods of company's value assessment and the evidence that the application of these methods is incorrect in the new stage of economy. So it is necessary to create a new method of valuation based on the new main sources of company's success that is its intellectual capital.