Clause-Learning for Modular Systems

2015 ◽  
pp. 446-452 ◽  
Author(s):  
David Mitchell ◽  
Eugenia Ternovska
Keyword(s):  
Modular Systems ◽  
Clause Learning

scholarly journals SUPPORT FOR MANAGING PARTLY CONFIGURABLE MODULAR SYSTEMS

2021 ◽  
Vol 1 ◽  
pp. 2791-2800
Author(s):  
Jarkko Pakkanen ◽  
Teuvo Heikkinen ◽  
Nillo Adlin ◽  
Timo Lehtonen ◽  
Janne Mämmelä ◽  
...  
Keyword(s):  
Portfolio Management ◽  
Product Variety ◽  
Added Value ◽  
Modular System ◽  
Product Management ◽  
Design Decision ◽  
Product Portfolio ◽  
Modular Systems ◽  
Engineer To Order ◽  
The Impact

AbstractThe paper studies what kind of support could be applied to the management of partly configurable modular systems. The main tasks of product management, product portfolio management and product variety management are defined. In addition, a partly configurable product structure and modular system are defined. Because the limited support in the literature for managing partly configurable modular systems, the article reviews previous product development cases in which authors have been involved on lessons learnt basis, i.e., if the methods and tools used in the cases could provide support for the research objective. As a result, the existing definition of the modular system should be extended by the concepts of non-module and design decision sequence description when dealing with partly configurable modular systems. This is because engineer-to-order should be made possible in cases where it brings clear added value to the customer compared to completely pre-defined solutions that may limit the customer's interest in the offering. Tools to assess the impact of changes to the product offering are required. These should be taken into account in frameworks that are used in method and tool development.

Conflict driven clause learning approach for satisfiability modulo theory

2021 ◽  
Author(s):  
Vie’an Huzair Majalawa ◽  
Putranto Hadi Utomo ◽  
Tri Atmojo Kusmayadi ◽  
Diari Indriati
Keyword(s):  
Learning Approach ◽  
Satisfiability Modulo Theory ◽  
Clause Learning

scholarly journals Inflammasome-activating nanoparticles as modular systems for optimizing vaccine efficacy

Vaccine ◽  
2009 ◽  
Vol 27 (23) ◽  
pp. 3013-3021 ◽  
Author(s):  
Stacey L. Demento ◽  
Stephanie C. Eisenbarth ◽  
Harald G. Foellmer ◽  
Craig Platt ◽  
Michael J. Caplan ◽  
...  
Keyword(s):  
Vaccine Efficacy ◽  
Modular Systems

On the number of special feedback configurations in linear modular systems

2014 ◽  
Vol 66 ◽  
pp. 28-34
Author(s):  
Srinivasan Krishnaswamy ◽  
Harish K. Pillai
Keyword(s):  
Modular Systems

Analysis of the Waste Volume and CO2-Equivalent Caused by the Use of Selected Patch Pumps

2021 ◽  
pp. 193229682199152
Author(s):  
Jana Winkelkötter ◽  
Thore Reitz
Keyword(s):  
Modular Design ◽  
Insulin Pump ◽  
Raw Materials ◽  
Modular System ◽  
Mass Determination ◽  
Modular Systems ◽  
Use Of Resources ◽  
Manual Sorting ◽  
Free Insulin ◽  
Incineration Residues

Background: The use of tube-free insulin pumps is increasing. To protect the environment, the use of resources and the amount of emissions into the environment should be kept as low as possible when designing these systems. In addition to basic waste avoidance, the composition of the waste produced must be considered. Methods: To compare current tube-free pumps from an ecological standpoint, a tube-free insulin pump with a modular design and two non-modular tube-free pumps were subjected to manual separation, manual sorting, characterization, and mass determination. The annual waste volume of a user was measured, and the recyclability was assessed. The global warming potential (GWP) resulting from extraction of raw materials, energetic utilization of waste, and landfill of the incineration residues was balanced. Results: For the modular tube-free pump, a total waste volume of 5.5 kg/a (recycling percentage 44.3%) was determined. The non-modular systems generated 4.9 kg/a (recycling percentage 14.6%) and 5.1 kg/a (recycling percentage 16.0%) waste. The product-specific GWP of the modular system was approximately 50% lower than that of the non-modular systems; the packaging-specific GWP was 2.5 times higher. In total, a GWP of 13.6 kg CO2-equivalent per year could be determined for the modular system and a GWP of 15.5 kg CO2-equivalent per year for the non-modular systems. Conclusions: Although the modular micropump has a higher total waste volume, a greater ecological potential can be attributed to it. This is based on the recyclability of the system due to its modularity and the possible reduction of packaging waste.

Boosting branch-and-bound MaxSAT solvers with clause learning

2021 ◽  
pp. 1-21
Author(s):  
Chu-Min Li ◽  
Zhenxing Xu ◽  
Jordi Coll ◽  
Felip Manyà ◽  
Djamal Habet ◽  
...  
Keyword(s):  
Experimental Investigation ◽  
Combinatorial Optimization ◽  
Problem Solving ◽  
Branch And Bound ◽  
Real World ◽  
Optimization Problems ◽  
Satisfiability Problem ◽  
Maximum Satisfiability ◽  
Combinatorial Optimization Problems ◽  
Clause Learning

The Maximum Satisfiability Problem, or MaxSAT, offers a suitable problem solving formalism for combinatorial optimization problems. Nevertheless, MaxSAT solvers implementing the Branch-and-Bound (BnB) scheme have not succeeded in solving challenging real-world optimization problems. It is widely believed that BnB MaxSAT solvers are only superior on random and some specific crafted instances. At the same time, SAT-based MaxSAT solvers perform particularly well on real-world instances. To overcome this shortcoming of BnB MaxSAT solvers, this paper proposes a new BnB MaxSAT solver called MaxCDCL. The main feature of MaxCDCL is the combination of clause learning of soft conflicts and an efficient bounding procedure. Moreover, the paper reports on an experimental investigation showing that MaxCDCL is competitive when compared with the best performing solvers of the 2020 MaxSAT Evaluation. MaxCDCL performs very well on real-world instances, and solves a number of instances that other solvers cannot solve. Furthermore, MaxCDCL, when combined with the best performing MaxSAT solvers, solves the highest number of instances of a collection from all the MaxSAT evaluations held so far.

scholarly journals Design and Development of Weatherproof Seals for Prefabricated Construction: A Methodological Approach

Buildings ◽  
2018 ◽  
Vol 8 (9) ◽  
pp. 117 ◽  
Author(s):  
Kristopher Orlowski ◽  
Kasun Shanaka ◽  
Priyan Mendis
Keyword(s):  
Development Process ◽  
Methodological Approach ◽  
Building Industry ◽  
Practical Application ◽  
Design And Development ◽  
Modular Systems ◽  
Design Life ◽  
Flow Charts ◽  
And Performance ◽  
Careful Design

Satisfactory weatherproofing of buildings is vital to maximise their design life and performance which requires the careful design of external sealing technologies. Systems commonly available have served well in conventional construction however with many prefabricated systems emerging in the building industry new and novel means of weatherproofing between panels and modules need to be developed purpose specific to this application. This paper presents a holistic and fundamental methodological approach to Design and Development of waterproof seals and has been applied specific for prefabricated panelised and modular systems. Two purpose specific weatherproof seals are finally presented. Flow charts of the overview of the suggested methodological approach and the processes within which include DfMA that have been incorporated into understanding and developing seals for this practical application. These strategies have enabled a resourceful and holistic set of processes that can be adapted and used for similar forms of product research in new and developing areas of construction such as prefabrication. The design and development process is thoroughly investigated and has resulted in an exploration of the technical challenges and potential solutions which take into consideration factors from installation limitations to building tolerances.

scholarly journals Effectiveness of lumbar orthoses in low back pain: Review of the literature and our results

2018 ◽  
Vol 10 (4) ◽  
Author(s):  
Cordelia Schott ◽  
Sonja Zirke ◽  
Jillian Marie Schmelzle ◽  
Christel Kaiser ◽  
Lluis Aguilar I Fernández
Keyword(s):  
Low Back Pain ◽  
Back Pain ◽  
Randomized Study ◽  
Cost Of Care ◽  
Modular System ◽  
Low Back ◽  
Modular Systems ◽  
Frequency Of Use ◽  
Modular Groups ◽  
The Cost

Back pain and diseases of the spine are today a health disorder of outstanding epidemiological, medical, and health economic importance. The cost of care for patients with lumbosciatic complaints are steadily increasing. Accordingly, the guidelines and treatments are constantly renewed. One concept is the orthotic care. In the following we want to give an overview of the literature and the effectiveness of lumbar orthoses in low back pain supplemented by our own data. A prospective randomized study with 230 patients, divided into three groups, each with two subgroups. Three Orthoses by the TIGGES-Zours GmbH were prescribed; a demountable two-step lumbar orthosis, three-step bridging orthosis and a four-step flexion orthosis modular system. Each were compared to the nonmodular equivalent. All six groups showed improvement in pain intensity and functional capacity at 6 and 12 weeks. The modular groups were found to have improvement in the frequency of use. The subjective effectiveness and sensitivity for the modular and non-modular groups was assessed as being good. In the literature, there are no clear guidelines for an orthotic supply. The studies do not seem to be meaningful and universal due to the difficult ascertainability of pain. There is a need for further research here. Nevertheless, the authors of this review are of the opinion that the implementation of trunk orthoses is void of side effects and beneficial to patients. The modular systems seem to have an advantage as well as higher patient satisfaction.

Modeling a Particular Decision Process by Using a Modulatory Activation Function

2003 ◽  
Vol 13 (02) ◽  
pp. 111-118
Author(s):  
Jairo Diniz Filho ◽  
Teresa B. Ludermir
Keyword(s):  
Decision Process ◽  
Activation Function ◽  
The Other ◽  
Modular Systems ◽  
Brain Functions ◽  
Mood Changes ◽  
Other Hand ◽  
Neuronal Groups ◽  
The Brain ◽  
Modular Nature

Neuronal groups projecting widely in the brain are being experimentally associated to attention and mood changes. Those groups are known to exert a modulatory effect over other larger groups. On the other hand, some people think of the brain functions as being performed by specialized modular systems. In this work, we propose an architecture of modular nature to explore a particular decision process. We show the importance of the modulatory effect of a special evaluation segment in that process.

Sign in / Sign up

Export Citation Format

Share Document