Christopher (2020). A review of fuzzy AHP methods for decision-making with subjective judgements. Expert Systems With Applications, 161, article no. 113738. For guidance on citations see FAQs.

No abstract

In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders of magnitude. This work illuminates and conquers the theoretical challenges that stand in the way of combining the power of these techniques. The challenge in marrying these techniques is not subtle: computing the reachable control states of a pushdown system relies on limiting access during transition to the top of the stack; abstract garbage collection, on the other hand, needs full access to the entire stack to compute a root set, just as concrete collection does. Introspective pushdown systems resolve this conflict. Introspective pushdown systems provide enough access to the stack to allow abstract garbage collection, but they remain restricted enough to compute control-state reachability, thereby enabling the sound and precise product of pushdown analysis and abstract garbage collection. Experiments reveal synergistic interplay between the techniques, and the fusion demonstrates "better-than-both-worlds" precision.

No abstract

In complex products the values of parameters are rarely exactly the required values, rather they often have a margin that might be designed in deliberately or be the incidental results of other design decisions. These margins play a critical role in design processes in managing engineering change and iteration. While engineers often talk about margins informally, designers and researchers also use other terms for specific margin concepts. This paper reviews the existing literature on related concepts and defines margins formally. It discusses the role margins play in handling uncertainty by distinguishing between buffer and excess. Buffer deals with uncertainty and excess with the remaining overcapacity of the design. Buffer can transition into excess of the design solution if the uncertainty can be reduced. The concepts are applied to the temperature margins of several candidate materials for a non-rotary jet engine component. This shows that a clear understanding of margins can help a company to select design alternatives.