scholarly journals Domain Engineering with Event-B: Some Lessons We Learned

2010 ◽  
Author(s):  
Atif Mashkoor ◽  
Jean-Pierre Jacquot
Keyword(s):  
Domain Engineering

Constraints

2012 ◽  
Vol 3 (2) ◽  
pp. 33-68 ◽  
Author(s):  
Raúl Mazo ◽  
Camille Salinesi ◽  
Daniel Diaz ◽  
Olfa Djebbi ◽  
Alberto Lora-Michiels
Keyword(s):  
Domain Engineering ◽  
Product Line ◽  
The Other ◽  
Feature Model ◽  
Product Configuration ◽  
Constraint Program ◽  
Engineering Strategy ◽  
Application Engineering ◽  
The One ◽  
Line Engineering

Drawing from an analogy between features based Product Line (PL) models and Constraint Programming (CP), this paper explores the use of CP in the Domain Engineering and Application Engineering activities that are put in motion in a Product Line Engineering strategy. Specifying a PL as a constraint program instead of a feature model carries out two important qualities of CP: expressiveness and direct automation. On the one hand, variables in CP can take values over boolean, integer, real or even complex domains and not only boolean values as in most PL languages such as the Feature-Oriented Domain Analysis (FODA). Specifying boolean, arithmetic, symbolic and reified constraint, provides a power of expression that spans beyond that provided by the boolean dependencies in FODA models. On the other hand, PL models expressed as constraint programs can directly be executed and analyzed by off-the-shelf solvers. This paper explores the issues of (a) how to specify a PL model using CP, including in the presence of multi-model representation, (b) how to verify PL specifications, (c) how to specify configuration requirements, and (d) how to support the product configuration activity. Tests performed on a benchmark of 50 PL models show that the approach is efficient and scales up easily to very large and complex PL specifications.

scholarly journals Photocontrolled Strain in Polycrystalline Ferroelectrics via Domain Engineering Strategy

2021 ◽  
Author(s):  
Fernando Rubio-Marcos ◽  
Adolfo Del Campo ◽  
Jonathan Ordoñez-Pimentel ◽  
Michel Venet ◽  
Rocío Estefanía Rojas-Hernandez ◽  
...  
Keyword(s):  
Domain Engineering ◽  
Engineering Strategy

Super-elastic ferroelectric single-crystal membrane with continuous electric dipole rotation

Science ◽  
2019 ◽  
Vol 366 (6464) ◽  
pp. 475-479 ◽  
Author(s):  
Guohua Dong ◽  
Suzhi Li ◽  
Mouteng Yao ◽  
Ziyao Zhou ◽  
Yong-Qiang Zhang ◽  
...  
Keyword(s):  
Energy Landscape ◽  
Domain Engineering ◽  
Bending Test ◽  
Dynamic Evolution ◽  
Brittle Deformation ◽  
Continuous Transition ◽  
Flexible Sensors ◽  
Mismatch Stress ◽  
Ferroelectric Single Crystal

Ferroelectrics are usually inflexible oxides that undergo brittle deformation. We synthesized freestanding single-crystalline ferroelectric barium titanate (BaTiO3) membranes with a damage-free lifting-off process. Our BaTiO3 membranes can undergo a ~180° folding during an in situ bending test, demonstrating a super-elasticity and ultraflexibility. We found that the origin of the super-elasticity was from the dynamic evolution of ferroelectric nanodomains. High stresses modulate the energy landscape markedly and allow the dipoles to rotate continuously between the a and c nanodomains. A continuous transition zone is formed to accommodate the variant strain and avoid high mismatch stress that usually causes fracture. The phenomenon should be possible in other ferroelectrics systems through domain engineering. The ultraflexible epitaxial ferroelectric membranes could enable many applications such as flexible sensors, memories, and electronic skins.

Light-mediated ferroelectric domain engineering and micro-structuring of lithium niobate crystals

2011 ◽  
Vol 6 (4) ◽  
pp. 526-548 ◽  
Author(s):  
C.Y.J. Ying ◽  
A.C. Muir ◽  
C.E. Valdivia ◽  
H. Steigerwald ◽  
C.L. Sones ◽  
...  
Keyword(s):  
Lithium Niobate ◽  
Ferroelectric Domain ◽  
Domain Engineering ◽  
Micro Structuring ◽  
Lithium Niobate Crystals

Objects and domain engineering (panel)

1995 ◽  
Vol 30 (10) ◽  
pp. 333-336
Author(s):  
Sanjiv Gossain ◽  
Don Batory ◽  
Hassan Gomaa ◽  
Mitch Lubars ◽  
Christopher Pidgeon ◽  
...  
Keyword(s):  
Domain Engineering

Micro-domain Engineering for Optics and Acoustics

2003 ◽  
pp. 158-183
Author(s):  
Shi-ning Zhu ◽  
Yong-yuan Zhu ◽  
Nai-ben Ming
Keyword(s):  
Domain Engineering
Sign in / Sign up

Export Citation Format

Share Document