Mydriasis iris sphincter, composed of circularly arranged muscle fibers, and the iris dilator, composed of radially arranged muscle fibers. The sphincter is innervated by (signaled by nerves of) the parasympathetic nervous system, and the dilator by the sympathetic nervous system. Sympathetic stimulation of the adrenergic receptors causes the contraction of the radial muscle and subsequent dilation of the pupil. Conversely, parasympathetic stimulation causes contraction of the circular muscle and constriction of the pupil. The mechanism of mydriasis depends on the agent being used. It usually involves either a disruption of the parasympathetic nerve supply to the eye (which normally constricts the
Widening (computer science) try to reason about abstract states, which correspond to many concrete states. Often, the abstract states are structured in such a way that by repeatedly following the effect of program steps or by coarsening the abstraction, one obtains a chain of abstractions that is proven to terminate. Widening techniques and the closely related "acceleration" techniques are used in the "forward analysis" of systems in the discipline of symbolic model checking. The techniques detect cycles, i.e. sequences of abstract state transitions that could be repeated. When such a sequence can be repeated over and over, yielding new states (e.g. a variable