15,870 research outputs found
Set-based design of mechanical systems with design robustness integrated
This paper presents a method for parameter design of mechanical products based on a set-based approach. Set-based concurrent engineering emphasises on designing in a multi-stakeholder environment with concurrent involvement of the stakeholders in the design process. It also encourages flexibility in design through communication in terms of ranges instead of fixed point values and subsequent alternative solutions resulting from intersection of these ranges. These alternative solutions can then be refined and selected according to the designersâ preferences and clientsâ needs. This paper presents a model and tools for integrated flexible design that take into account the manufacturing variations as well as the design objectives for finding inherently robust solutions using QCSP transformation through interval analysis. In order to demonstrate the approach, an example of design of rigid flange coupling with a variable number of bolts and a choice of bolts from ISO M standard has been resolved and demonstrated
Proceedings of the Workshop on the lambda-Prolog Programming Language
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through a stronger emphasis on logical connectives and by admitting various forms of higher-order quantification. The logic of hereditary Harrop formulas and the notion of uniform proof have been developed to provide a foundation for more expressive logic programming languages. The λ-Prolog language is actively being developed on top of these foundational considerations. The rich logical foundations of λ-Prolog provides it with declarative approaches to modular programming, hypothetical reasoning, higher-order programming, polymorphic typing, and meta-programming. These aspects of λ-Prolog have made it valuable as a higher-level language for the specification and implementation of programs in numerous areas, including natural language, automated reasoning, program transformation, and databases
Compact F-theory GUTs with U(1)_PQ
We construct semi-local and global realizations of SU(5) GUTs in F-theory
that utilize a U(1)_PQ symmetry to protect against dimension four proton decay.
Symmetries of this type, which assign charges to H_u and H_d that forbid a tree
level \mu term, play an important role in scenarios for neutrino physics and
gauge mediation that have been proposed in local F-theory model building. As
demonstrated in arXiv:0906.4672, the presence of such a symmetry implies the
existence of non-GUT exotics in the spectrum, when hypercharge flux is used to
break the GUT group and to give rise to doublet-triplet splitting. These
exotics are of precisely the right type to solve the unification problem in
such F-theory models and might also comprise a non-standard messenger sector
for gauge mediation. We present a detailed description of models with U(1)_PQ
in the semi-local regime, which does not depend on details of any specific
Calabi-Yau four-fold, and then specialize to the geometry of arXiv:0904.3932 to
construct three-generation examples with the minimal allowed number of non-GUT
exotics. Among these, we find a handful of models in which the D3-tadpole
constraint can be satisfied without requiring the introduction of
anti-D3-branes. Finally, because SU(5) singlets that carry U(1)_PQ charge may
serve as candidate right-handed neutrinos or can be used to lift the exotics,
we study their origin in compact models and motivate a conjecture for how to
count their zero modes in a semi-local setting.Comment: 73 pages, 5 figures, v2: minor corrections to 4.3 and 6.3.1,
reference adde
- âŠ