Алгоритмы и устройства для управления температурами в литейных технологиях
The algorithm of operation of the universal device intended for registration of temperatures and for control of temperature regimes is described. The components with which the device can be created are described. The software developed by the authors is presented.
Software-hardware subsystem for IR temperature control and measurement has been developed for the different types of electronic components: semiconductor devices, chips, PCBs, units. IR measuring part includes: Flir ThermoVision A40 infrared camera with 17 mkm macro lens, Quantum Focus Instruments Corp InfraScope, precision positioning system and set of thermocouples. Software part for IR data processing includes two standard tools: ThermaCAM Researcher, NEC San-ei Image Processor and several original software tools for extension of the subsystem abilities. The examples of thermal management for semiconductor devices, chips, PCBs and units are presented.
Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a full-fledged implementation. This paper describes an ROLAP-based method of multidimensional event logs storage for process mining. The result of the analysis of the journal is visualized as directed graph representing the union of all possible event sequences, ranked by their occurrence probability. Our implementation allows the analyst to discover process models for sublogs defined by ad-hoc selection of criteria and value of occurrence probability
The Handbook of CO₂ in Power Systems' objective is to include the state-of-the-art developments that occurred in power systems taking CO₂ emission into account. The book includes power systems operation modeling with CO₂ emissions considerations, CO₂ market mechanism modeling, CO₂ regulation policy modeling, carbon price forecasting, and carbon capture modeling. For each of the subjects, at least one article authored by a world specialist on the specific domain is included.
Let G be a semisimple algebraic group whose decomposition into the product of simple components does not contain simple groups of type A, and P⊆G be a parabolic subgroup. Extending the results of Popov , we enumerate all triples (G, P, n) such that (a) there exists an open G-orbit on the multiple flag variety G/P × G/P × . . . × G/P (n factors), (b) the number of G-orbits on the multiple flag variety is finite.
I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables