Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim

Author(s):  
Ying Jie Yan ◽  
Hideharu Amano ◽  
Masashi Aono ◽  
Kaori Ohkoda ◽  
Shingo Fukuda ◽  
...  
1991 ◽  
Vol 3 (2) ◽  
pp. 282-291 ◽  
Author(s):  
Gadi Pinkas

Connectionist networks with symmetric weights (like Hopfield networks and Boltzmann Machines) use gradient descent to find a minimum for quadratic energy functions. We show equivalence between the problem of satisfiability in propositional calculus and the problem of minimizing those energy functions. The equivalence is in the sense that for any satisfiable well-formed formula (WFF) we can find a quadratic function that describes it, such that the set of solutions that minimizes the function is equal to the set of truth assignments that satisfy the WFF. We also show that in the same sense every quadratic energy function describes some satisfiable WFF. Algorithms are given to transform any propositional WFF into an energy function that describes it and vice versa. High-order models that use sigma-pi units are shown to be equivalent to the standard quadratic models with additional hidden units. An algorithm to convert high-order networks to low-order ones is used to implement a satisfiability problem-solver on a connectionist network. The results give better understanding of the role of hidden units and of the limitations and capabilities of symmetric connectionist models. The techniques developed for the satisfiability problem may be applied to a wide range of other problems, such as associative memories, finding maximal consistent subsets, automatic deduction, and even nonmonotonic reasoning.


2003 ◽  
Vol 42 (03) ◽  
pp. 203-211 ◽  
Author(s):  
J. L. G. Dietz ◽  
A. Hasman ◽  
P. F. de Vries Robbé ◽  
H. J. Tange

Summary Objectives: Many shared-care projects feel the need for electronic patient-record (EPR) systems. In absence of practical experiences from paper record keeping, a theoretical model is the only reference for the design of these systems. In this article, we review existing models of individual clinical practice and integrate their useful elements. We then present a generic model of clinical practice that is applicable to both individual and collaborative clinical practice. Methods: We followed the principles of the conversation-for-action theory and the DEMO method. According to these principles, information can only be generated by a conversation between two actors. An actor is a role that can be played by one or more human subjects, so the model does not distinguish between inter-individual and intra-individual conversations. Results: Clinical practice has been divided into four actors: service provider, problem solver, coordinator, and worker. Each actor represents a level of clinical responsibility. Any information in the patient record is the result of a conversation between two of these actors. Connecting different conversations to one another can create a process view with meta-information about the rationale of clinical practice. Such process view can be implemented as an extension to the EPR. Conclusions: The model has the potential to cover all professional activities, but needs to be further validated. The model can serve as a theoretical basis for the design of EPR-systems for shared care, but a successful EPR-system needs more than just a theoretical model.


2013 ◽  
Vol 5 (1) ◽  
pp. 36-41
Author(s):  
R. Ganesh ◽  
◽  
Ch. Sandeep Reddy ◽  

Author(s):  
Jeniffer A ◽  
Haripasath S ◽  
Chinthamani S ◽  
Chitra G ◽  
Karthiga V

2003 ◽  
pp. 108-116
Author(s):  
A. Bykov

According to the legal norms of the Russian Federation in the ownership, usage and disposal of natural resources the author analyses interaction between natural resources users and local authorities. The interaction is based upon ecological and economic factors, which cause the peculiarities of requirements put before natural resource users in the Far North. The strategic directions of resource saving economic development of these regions are considered.


2015 ◽  
Vol 2 (1) ◽  
pp. 50-59
Author(s):  
V. Medvedev

Aim. To consider soil continuality and discreteness as features of heterogeneity manifestation in a soil cover, important for construction of agriculture systems. Methods. Geostatistical research of soil spatial heterogeneity, revealing the contours of a fi eld with various parameters of fertility. Results. The use of principles of precise agriculture and inspection of indicative properties of fi eld soils using a regular grid allowed to divide a fi eld into contours with three levels of fertility: the fi rst one is characterized by optimal or close to optimum properties which allows refusing from (or reducing substantially) tillage, introduction of fertilizers or chemical ameliorates; the second one has average parameters of fertility corresponding to zonal soils and demands the application of zonal technologies; the third one (with the worst parameters of fertility) presupposes regular use of the improved technologies. Conclusions. The introduction of precise agriculture will allow replacing a traditional zonal system with thenew which is soil-protecting and resource-saving one.


2014 ◽  
Vol 8 (1) ◽  
pp. 55-60
Author(s):  
V Buzylo ◽  
◽  
O Koshka ◽  
S Poimanov ◽  
D Malashkevych ◽  
...  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document