OVERCOMING THE CHRISTMAS TREE SYNDROME

2000 ◽  
Vol 09 (01) ◽  
pp. 97-111 ◽  
Author(s):  
E. GRÉGOIRE ◽  
D. ANSART

We propose a new computational approach to logic-based systems that should reason in a fast but logically sound and complete manner about large-scale complex critical devices and systems that can exhibit unexpected faulty behaviors. The approach is original from at least two points of view. First, it makes use of local search techniques while preserving logical deductive completeness. Second, it proves experimentally efficient for very large knowledge bases thanks to new heuristics in the use of local search techniques.

2018 ◽  
Vol 52 (2) ◽  
pp. 577-594
Author(s):  
Keisuke Murakami

The covering tour problem (CTP) is defined on a graph, where there exist two types of vertices. One is called visited vertex, which can be visited. The other is called covered vertex, which must be covered but cannot be visited. Each visited vertex covers a subset of covered vertices, and the costs of edges between visited vertices are given. The objective of the CTP is to obtain a minimum cost tour on a subset of visited vertices while covering all covered vertices. In this paper, we deal with the large-scale CTPs, which are composed of tens of thousands of vertices; in the previous studies, the scales of the instances in the experiments are at most a few hundred vertices. We propose a heuristic algorithm using local search techniques for the large-scale CTP. With computational experiments, we show that our algorithm outperforms the existing methods.


2021 ◽  
Vol 22 (15) ◽  
pp. 7773
Author(s):  
Neann Mathai ◽  
Conrad Stork ◽  
Johannes Kirchmair

Experimental screening of large sets of compounds against macromolecular targets is a key strategy to identify novel bioactivities. However, large-scale screening requires substantial experimental resources and is time-consuming and challenging. Therefore, small to medium-sized compound libraries with a high chance of producing genuine hits on an arbitrary protein of interest would be of great value to fields related to early drug discovery, in particular biochemical and cell research. Here, we present a computational approach that incorporates drug-likeness, predicted bioactivities, biological space coverage, and target novelty, to generate optimized compound libraries with maximized chances of producing genuine hits for a wide range of proteins. The computational approach evaluates drug-likeness with a set of established rules, predicts bioactivities with a validated, similarity-based approach, and optimizes the composition of small sets of compounds towards maximum target coverage and novelty. We found that, in comparison to the random selection of compounds for a library, our approach generates substantially improved compound sets. Quantified as the “fitness” of compound libraries, the calculated improvements ranged from +60% (for a library of 15,000 compounds) to +184% (for a library of 1000 compounds). The best of the optimized compound libraries prepared in this work are available for download as a dataset bundle (“BonMOLière”).


2021 ◽  
Vol 16 (2) ◽  
pp. 1-34
Author(s):  
Rediet Abebe ◽  
T.-H. HUBERT Chan ◽  
Jon Kleinberg ◽  
Zhibin Liang ◽  
David Parkes ◽  
...  

A long line of work in social psychology has studied variations in people’s susceptibility to persuasion—the extent to which they are willing to modify their opinions on a topic. This body of literature suggests an interesting perspective on theoretical models of opinion formation by interacting parties in a network: in addition to considering interventions that directly modify people’s intrinsic opinions, it is also natural to consider interventions that modify people’s susceptibility to persuasion. In this work, motivated by this fact, we propose an influence optimization problem. Specifically, we adopt a popular model for social opinion dynamics, where each agent has some fixed innate opinion, and a resistance that measures the importance it places on its innate opinion; agents influence one another’s opinions through an iterative process. Under certain conditions, this iterative process converges to some equilibrium opinion vector. For the unbudgeted variant of the problem, the goal is to modify the resistance of any number of agents (within some given range) such that the sum of the equilibrium opinions is minimized; for the budgeted variant, in addition the algorithm is given upfront a restriction on the number of agents whose resistance may be modified. We prove that the objective function is in general non-convex. Hence, formulating the problem as a convex program as in an early version of this work (Abebe et al., KDD’18) might have potential correctness issues. We instead analyze the structure of the objective function, and show that any local optimum is also a global optimum, which is somehow surprising as the objective function might not be convex. Furthermore, we combine the iterative process and the local search paradigm to design very efficient algorithms that can solve the unbudgeted variant of the problem optimally on large-scale graphs containing millions of nodes. Finally, we propose and evaluate experimentally a family of heuristics for the budgeted variant of the problem.


Algorithms ◽  
2021 ◽  
Vol 14 (2) ◽  
pp. 45
Author(s):  
Rafael D. Tordecilla ◽  
Pedro J. Copado-Méndez ◽  
Javier Panadero ◽  
Carlos L. Quintero-Araujo ◽  
Jairo R. Montoya-Torres ◽  
...  

The location routing problem integrates both a facility location and a vehicle routing problem. Each of these problems are NP-hard in nature, which justifies the use of heuristic-based algorithms when dealing with large-scale instances that need to be solved in reasonable computing times. This paper discusses a realistic variant of the problem that considers facilities of different sizes and two types of uncertainty conditions. In particular, we assume that some customers’ demands are stochastic, while others follow a fuzzy pattern. An iterated local search metaheuristic is integrated with simulation and fuzzy logic to solve the aforementioned problem, and a series of computational experiments are run to illustrate the potential of the proposed algorithm.


2016 ◽  
Vol 2016 ◽  
pp. 1-7 ◽  
Author(s):  
Carolina Lagos ◽  
Guillermo Guerrero ◽  
Enrique Cabrera ◽  
Stefanie Niklander ◽  
Franklin Johnson ◽  
...  

A novel matheuristic approach is presented and tested on a well-known optimisation problem, namely, capacitated facility location problem (CFLP). The algorithm combines local search and mathematical programming. While the local search algorithm is used to select a subset of promising facilities, mathematical programming strategies are used to solve the subproblem to optimality. Proposed local search is influenced by instance-specific information such as installation cost and the distance between customers and facilities. The algorithm is tested on large instances of the CFLP, where neither local search nor mathematical programming is able to find good quality solutions within acceptable computational times. Our approach is shown to be a very competitive alternative to solve large-scale instances for the CFLP.


2013 ◽  
Vol 2013 ◽  
pp. 1-9 ◽  
Author(s):  
Kefaya Qaddoum ◽  
E. L. Hines ◽  
D. D. Iliescu

In the area of greenhouse operation, yield prediction still relies heavily on human expertise. This paper proposes an automatic tomato yield predictor to assist the human operators in anticipating more effectively weekly fluctuations and avoid problems of both overdemand and overproduction if the yield cannot be predicted accurately. The parameters used by the predictor consist of environmental variables inside the greenhouse, namely, temperature, CO2, vapour pressure deficit (VPD), and radiation, as well as past yield. Greenhouse environment data and crop records from a large scale commercial operation, Wight Salads Group (WSG) in the Isle of Wight, United Kingdom, collected during the period 2004 to 2008, were used to model tomato yield using an Intelligent System called “Evolving Fuzzy Neural Network” (EFuNN). Our results show that the EFuNN model predicted weekly fluctuations of the yield with an average accuracy of 90%. The contribution suggests that the multiple EFUNNs can be mapped to respective task-oriented rule-sets giving rise to adaptive knowledge bases that could assist growers in the control of tomato supplies and more generally could inform the decision making concerning overall crop management practices.


2017 ◽  
Vol 59 ◽  
pp. 463-494 ◽  
Author(s):  
Shaowei Cai ◽  
Jinkun Lin ◽  
Chuan Luo

The problem of finding a minimum vertex cover (MinVC) in a graph is a well known NP-hard combinatorial optimization problem of great importance in theory and practice. Due to its NP-hardness, there has been much interest in developing heuristic algorithms for finding a small vertex cover in reasonable time. Previously, heuristic algorithms for MinVC have focused on solving graphs of relatively small size, and they are not suitable for solving massive graphs as they usually have high-complexity heuristics. This paper explores techniques for solving MinVC in very large scale real-world graphs, including a construction algorithm, a local search algorithm and a preprocessing algorithm. Both the construction and search algorithms are based on low-complexity heuristics, and we combine them to develop a heuristic algorithm for MinVC called FastVC. Experimental results on a broad range of real-world massive graphs show that, our algorithms are very fast and have better performance than previous heuristic algorithms for MinVC. We also develop a preprocessing algorithm to simplify graphs for MinVC algorithms. By applying the preprocessing algorithm to local search algorithms, we obtain two efficient MinVC solvers called NuMVC2+p and FastVC2+p, which show further improvement on the massive graphs.


2020 ◽  
Vol 23 (4) ◽  
pp. 67-73
Author(s):  
Marina A. Droga ◽  
◽  
Nataliya V. Yurchenko ◽  
Svetlana V. Funikova ◽  
◽  
...  

The problem of onomatopoeias as a special lexical group has existed in the language for many decades. Onomatopoeias imitate the sounds of nature, the language of animals, objects of the surrounding world. In the text, onomatopoeia can perform various functions: emotional influence, imitation, as well as the function of language economy. But one of its main functions remains sound imaging. In Russia and China, different language pictures, specific cultural elements and linguistic features are noted. All this confirms the large-scale differences in the sound imitations of both languages, and in various aspects: in the composition of the components, in the functional role, in the meanings. Despite the fact that the differences in the phonetic system of Russian and Chinese are quite large, the onomatopoeias and their functions in the languages under consideration have the same features. Onomatopes are an expression of the same emotions, feelings, sounds both in oral speech and in writing. Chinese onomatopes are a graphic copy that attributes us to the actual sounding. This fact makes onomatopoeias in Chinese similar to onomatopes in Russian. The connection of sound and meaning is especially important: linguists study the nature of this connection from different points of view. It is also important to note the difference between sound imitations and similar interjections. Onomatopes are not only part of the system of the Russian and Chinese languages, but are also a progressive link that develops the resources of the language, its word-forming capabilities, as well as the expressive sphere of expression.


Constraints ◽  
2014 ◽  
Vol 20 (1) ◽  
pp. 30-56 ◽  
Author(s):  
Yves Caniou ◽  
Philippe Codognet ◽  
Florian Richoux ◽  
Daniel Diaz ◽  
Salvador Abreu
Keyword(s):  

2021 ◽  
Vol 54 (2) ◽  
pp. 35-47
Author(s):  
Svetlana N. Dvoryatkina ◽  
◽  
Arseny M. Lopukhin ◽  

The study actualized the complex and large-scale problem of adapting the theory of risk man-agement for the education system. A comprehensive analysis of domestic and international stud-ies revealed the lack of a theoretical framework, a general methodological vision of the problem of riskiness and risk-taking in the educational sphere. While effective management of education-al activities, ensuring the development of the competitiveness of the individual in the labor mar-ket and its potential for active participation in the life of society is possible on the basis of the modern paradigm of risk management, integrating achievements in pedagogical, economic, mathematical and computer sciences. A new methodology in the study is the fractal approach, which defines the idea of quantitative and qualitative analysis and assessment of the risk of non-formation of professional competencies, complex educational and cognitive constructs of subject activity. The fractal model of assessing the formation of knowledge and competencies, its risk landscape, taking into account the subject and cognitive divergence, will ensure the effective-ness of the structure of knowledge storage in the educational process, minimizing the time for building space and engineering knowledge bases, and the depth of solving the problem of pre-dicting educational risks. New methods of risk modeling based on machine learning algorithms and factor analysis, methods for constructing neural integrators, quantitative methods with and without taking into account the probability distribution will ensure the accuracy and speed of risk assessment and prediction, will allow one to identify new patterns of risk activity and further ways to develop the theory of risk. The presented effective strategies and innovative tools will solve the problem of minimizing unplanned chaos, the cascade of negative consequences of risky situations, including the COVID-19 epidemic.


Sign in / Sign up

Export Citation Format

Share Document