integerprogramming (IP), as the name suggests is an integer-variable-based approach commonly used to formulate real-world optimization problems with constraints. Currently, quantum algorithms reformulate the IP into ...
详细信息
The v-function of a graded filtration I = {I[k]}k≥0 is introduced. Under the assumption that I is Noetherian, we prove that the v-function v(I[k]) is an eventually quasi-linear function. This result applies to severa...
详细信息
This paper presents a novel integerprogramming (IP) approach for discovering the Markov Equivalent Class (MEC) of Bayesian Networks (BNs) through observational data. The MEC-IP algorithm utilizes a unique clique-focu...
详细信息
In multidimensional geriatric assessment, elderly patients are evaluated from different points of view to decide whether to accept or reject their requests for special benefits. The decision is taken in several stages...
详细信息
ISBN:
(纸本)9783031782374;9783031782381
In multidimensional geriatric assessment, elderly patients are evaluated from different points of view to decide whether to accept or reject their requests for special benefits. The decision is taken in several stages and it does not currently rely on any decision support system. The need to make it more equitable and consistent gave rise to this case study, based on data relating to a retrospective cohort of patients over 67 years of age, who underwent a geriatric examination and geriatric multi-dimensional assessment. To avoid selection and evaluation bias, it was deemed appropriate to consider only patients evaluated with the same methodology and measurement scales. In a preliminary step some inconsistencies were identified in the available data-set. Then, a subset of patients in need for a re-evaluation was defined by a suitable combination of different methods: namely, threshold values related to single indicators, dominance analysis and search for inconsistent pairs. This subset of patients was re-evaluated and a tentative classification model was developed. Therefore, the outcome of the case study was a critical review of the data, the model and the decision-making process.
We study the question whether copies of S-1 in SU(3) can be amalgamated in a compact group. This is the simplest instance of a fundamental open problem in the theory of compact groups raised by George Bergman in 1987....
详细信息
We study the question whether copies of S-1 in SU(3) can be amalgamated in a compact group. This is the simplest instance of a fundamental open problem in the theory of compact groups raised by George Bergman in 1987. Considerable computational experiments suggest that the answer is positive in this case. We obtain a positive answer for a relaxed problem using theoretical considerations.
This paper presents a feed forward artificial neural network that identifies the order of the dynamics of a unit step response. The main contribution of this paper is demonstrating that a system trained on only intege...
详细信息
ISBN:
(纸本)9798350373981;9798350373974
This paper presents a feed forward artificial neural network that identifies the order of the dynamics of a unit step response. The main contribution of this paper is demonstrating that a system trained on only integer order (first and second order) systems can identify fractional order responses with a high degree of accuracy. The details of the design of structure of the neural network, the training method and the training sets, as well as statistics describing the accuracy of the fractional predictions are presented. Also using the neural network to identify fractional dynamics for a large scale networked system from the authors' prior work is presented as further validation and a demonstration of the applicability of the results. This demonstrates the potential for practicing engineers to use similar machine learning tools trained on "standard" systems with the ability to distinguish when features such as fractional order dynamics are significant and warrant deeper consideration for the design or control of such a system.
The rapid expansion of computing needs from emerging applications pushes a large amount of deployment of computing infrastructures and corresponding energy cost and greenhouse gas emissions of computing generate great...
详细信息
ISBN:
(纸本)9781728190549
The rapid expansion of computing needs from emerging applications pushes a large amount of deployment of computing infrastructures and corresponding energy cost and greenhouse gas emissions of computing generate great concern. In this paper, we study how to maximize the platform profit by optimizing task scheduling in the Space-Air-Ground integrated Computing Power Network supplied by green energy while considering both the user requirements and dynamics of green energy. First, we formalize the problem as a binary integer linear programming problem that is NP-hard. The problem is then further modeled as a Markov decision process. Considering the dual dynamics of user requests and the generation of green energy, we propose a task scheduling strategy based on deep reinforcement learning, which can predict power generation based on the current operating status of each hydroelectric power station and also provide a scheduling strategy. Extensive experiments demonstrate that the proposed algorithm performs better than the baseline algorithms.
Opacity is an important information flow property that is concerned with the secret leakage of a system to a malicious observer called an "intruder". Usually, opacity analyses are made under static or dynami...
详细信息
ISBN:
(纸本)9783031497360;9783031497377
Opacity is an important information flow property that is concerned with the secret leakage of a system to a malicious observer called an "intruder". Usually, opacity analyses are made under static or dynamic observation, i.e., the observability of events in a system is fixed or changeable over time by a mask. In this paper, we address the verification of language-based opacity in the context of discrete-event systems under Orwellian observation. We consider an Orwellian partial observability model, where some unobservable events, not visible when occurring, may become noticeable in the future. Specifically, we propose a set of unobservable events that are no longer unobservable once an event in another particular disjoint event subset is triggered. First, we define and solve an integer linear programming problem to verify language-based opacity in discrete event systems using labeled Petri nets. We then propose a new Orwellian projection function that is event-based, i.e., the system is allowed to re-interpret the observation of the already triggered events when a particular observable event occurs. Finally, the verification of language-based opacity in discrete event systems under Orwellian projection is addressed.
This paper proposes a scalable filterless horseshoe-and-spur architecture optimized using a novel and exact integer linear programming (ILP) framework. The proposed solution allows network expansion with minimal disru...
详细信息
ISBN:
(纸本)9798350377330;9798350377323
This paper proposes a scalable filterless horseshoe-and-spur architecture optimized using a novel and exact integer linear programming (ILP) framework. The proposed solution allows network expansion with minimal disruptions and less cost compared to simple horseshoes.
In this article, we address the time-critical work of emergency services in the field of disaster and emergency response. Aiming at saving valuable human and time resources during emergency operations, we present one ...
详细信息
In this article, we address the time-critical work of emergency services in the field of disaster and emergency response. Aiming at saving valuable human and time resources during emergency operations, we present one exact and one heuristic approach for the automatic placement of tactical symbols in situation maps. Such maps are used to establish situational awareness and to convey mission-relevant information to emergency personnel. Usually, the information is communicated through the visualization of descriptive symbols which are predominantly placed in a manual process. We automate this process based on an established map layout used by emergency services in Germany that distributes the symbols to the map boundaries. Following general principles and observations from existing literature, we formalize the symbol placement as an optimization problem. We take into account the relevance of tactical symbols as well as short and crossing-free leaders and allow the grouped representation of symbols of similar semantics and spatially close map locations. In experiments with real-world data, we determine a balance between the optimization criteria and show that our heuristic generates high-quality results in less than a second. In an assessment by an expert, we get confirmation that our maps are suitable for use in emergency scenarios.
暂无评论