Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers

Author(s):  
Chengyu Zhang ◽  
Minquan Sun ◽  
Jianwen Li ◽  
Ting Su ◽  
Geguang Pu
Keyword(s):  
Minerals ◽  
2021 ◽  
Vol 11 (5) ◽  
pp. 459
Author(s):  
Seyed Hassan Amini ◽  
Aaron Noble

The design of cell-based flotation circuits is often completed in two distinct phases, namely circuit structure identification and equipment sizing selection. While recent literature studies have begun to address the implications of stochastic analysis, industrial practice in flotation circuit design still strongly favors the use of deterministic metallurgical modeling approaches. Due to the complexity of the available mathematical models, most flotation circuit design techniques are constructed based on deterministic models. Neglecting the impact of various sources of uncertainty may result in the identification of circuit solutions that are only optimal in a narrow region of specific operating scenarios. One promising strategy to address this shortcoming is through the Sample Average Approximation (SAA) methodology, a stochastic approach to handling uncertainty that has been widely applied in other disciplines such as supply chain and facility location management problems. In this study, a techno-economic optimization algorithm was formulated to select the optimal size and number of flotation cells for a fixed circuit structure while considering potential uncertainty in several input parameter including feed grade, kinetic coefficients, and metal price. Initially, a sensitivity analysis was conducted to screen the uncertain parameters. After simplifying the optimization problem, the SAA approach was implemented to determine the equipment configuration (i.e., cell size and number) that maximizes the plant’s net present value while considering the range of potential input values due to parameter uncertainty. The SAA methodology was found to be useful in analyzing uncertainty in flotation kinetics; however, the approach did not provide a useful means to assess the influence of uncertainties in ore grade and metal price, as these values are not significant in determining equipment size but rather influence the optimal circuit structure, which was not considered in this study. Results from an application example indicate that the SAA approach produces optimal solutions not initially identified in a deterministic optimization, and these SAA solutions tend to provide greater robustness to uncertainty and variation in the flotation kinetics.


Author(s):  
Nataliya Kropocheva

The Results of the information review of the materials of the Websites of the Libraries of German Universities are presented. A sample of eleven libraries was formed, the selection criteria for which were the following indicators: The Universality of the acquisition of the fund; the presence in the structure of information resources of collections of rare, handwritten and old printed publications; participation in the network of library institutions located on campuses (libraries), library funds are completed with documents of a narrow-specialized direction. The practical problems of creating Information and library resources on education and pedagogy are highlighted; the defining components of the content and composition of the sites of these libraries are described. The Directions of formation of resources of the researched segment of libraries of universities with single - circuit and double – circuit structure are revealed and generalized. In universities of the first type, libraries perform the functions of the central and peripheral library structure, as a rule, information and library resources on pedagogy and education are exported from OPAC (Online public access Catalog) and KVK (Karlsruher Virtuelle Katalog). In universities with a two-circuit structure of libraries, the site presents resources for educational and pedagogical purposes, in library departments, resources of specialized direction are reflected. The qualitative characteristics of the portals of educational and pedagogical issues, placed on the basis of the DBIS information System, are given. features of the formed information resources on the basis of various information sources, according to needs of users, minimizing information overload by optional («superfluous») information flows are revealed. The directions of content formation, prospects of development of the portal «Pädagogik» are covered.


Author(s):  
Owen Mackwood ◽  
Laura B. Naumann ◽  
Henning Sprekeler

AbstractIn sensory circuits with poor feature topography, stimulus-specific feedback inhibition necessitates carefully tuned synaptic circuitry. Recent experimental data from mouse primary visual cortex (V1) show that synapses between pyramidal neurons and parvalbumin-expressing (PV) inhibitory interneurons tend to be stronger for neurons that respond to similar stimulus features. The mechanism that underlies the formation of such excitatory-inhibitory (E/I) assemblies is unresolved. Here, we show that activity-dependent synaptic plasticity on input and output synapses of PV interneurons generates a circuit structure that is consistent with mouse V1. Using a computational model, we show that both forms of plasticity must act synergistically to form the observed E/I assemblies. Once established, these assemblies produce a stimulus-specific competition between pyramidal neurons. Our model suggests that activity-dependent plasticity can enable inhibitory circuits to actively shape cortical computations.


2007 ◽  
Vol 7 (3) ◽  
pp. 380-385 ◽  
Author(s):  
K.H. Chong ◽  
I.B. Aris ◽  
M.A. Sinan ◽  
B.M. Hamiruce

Electronics ◽  
2018 ◽  
Vol 7 (12) ◽  
pp. 366 ◽  
Author(s):  
Xin Lai ◽  
Chun Jiang ◽  
Yuejiu Zheng ◽  
Han Gao ◽  
Peng Huang ◽  
...  

Cell inconsistency can lead to poor performance and safety hazards. Therefore, cell equalizer is essentially required to prevent the series-connected cells from overcharging, undercharging, and overdischarging. Among current equalization schemes, passive equalizer has a continuously wasting energy with low equalization efficiency, and active equalizer has high cost with complex circuit structure. In this study, a novel composite equalizer based on an additional cell with low complexity is presented. This method combines a passive equalizer and an active equalizer. Firstly, the configuration and circuit of our proposed composite equalizer are introduced, and the equalization principle is analyzed. On this basis, the control strategy and algorithm of the composite equalizer are further proposed. Finally, the composite equalizer is verified through simulation and experiment in various cases. The study results show that this method improves both the consistency level and the available capacity of the battery pack. Moreover, our proposed equalizer can overcome the shortcomings of commonly used equalizer and combining the advantages of different equalizer to maximize the equalization efficiency with a simpler equalizer structure.


Sign in / Sign up

Export Citation Format

Share Document