in this paper, multi-microgrids (mmg) are considered as future smart distribution grids, in which small scale energy resources (sser) are main power generation units with small scales. optimal operation of microgrids in defined intervals is carried out to achieve economic conditions in distribution systems. the defined operating problem is optimized using a heuristic algorithm considering uncer...

In this paper, Multi-Microgrids (MMG) are considered as future smart distribution grids, in which small scale energy resources (SSER) are main power generation units with small scales. Optimal operation of microgrids in defined intervals is carried out to achieve economic conditions in distribution systems. The defined operating problem is optimized using a heuristic algorithm considering uncer...

The conceptual gulf between constructive analysis (in the sense of Bishop [1]) and nonstandard analysis (in the sense of Robinson [7]) is vast, despite the historical genesis of both methodologies from foundational considerations. Those who use nonstandard arguments often say of their proofs that they are “constructive modulo an ultrafilter”; implicit in this statement is the suggestion that su...

We present a detailed description of a theory solver for Linear Integer Arithmetic (LA(Z)) in a lazy SMT context. Rather than focusing on a single technique that guarantees theoretical completeness, the solver makes extensive use of layering and heuristics for combining different techniques in order to achieve good performance in practice. The viability of our approach is demonstrated by an emp...

anisocoria during anesthesia is very rare, but may indicate life-threatening neurologic injuries and create tremendous condition. a 23-year-old male patient was anesthetized with fentanyl and propofol. thirty minutes after inducing anesthesia, unilateral mydriasis was detected. the duration of surgery was shortened for prompt evaluation of the pupils. at the end of the operation neither vision ...