This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C...
详细信息
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions ...
详细信息
A bipolar fuzzy set is a generalization of a fuzzy set. In this paper, we apply the concept of bipolar fuzzy sets to multigraphs and planar graphs. We introduce the notions of bipolar fuzzy multigraphs, bipolar fuzzy ...
详细信息
Uncertainty is certain in the world of *** study revisits an economic production quantity(EPQ)model with shortages for stock-dependent demand of the items with reworking and disposing of the imperfect ones over a rand...
详细信息
Uncertainty is certain in the world of *** study revisits an economic production quantity(EPQ)model with shortages for stock-dependent demand of the items with reworking and disposing of the imperfect ones over a random planning horizon under the joint effect of inflation and time value of money,where the expected time length is imprecise in *** of learning effect has been incorporated to reduce the defective *** total expected profit over the random planning horizon is maximized subject to the imprecise space *** possibility,necessity and credibility measures have been introduced to defuzzify the *** simulation-based genetic algorithm is used to make decision for the above EPQ model in different measures of *** model is illustrated through an *** analysis shows the impacts of different parameters on the objective function in the model.
In this paper, it is shown that all programmes of all television channels can be modelled as an interval graph. The programme slots are taken as the vertices of the graph and if the time duration of two programme slot...
详细信息
In this paper, the notion of (α,β)-soft intersectional set is introduced and explained with some examples. Then, some properties of (α,β)-soft intersectional BCK/BCI-algebras and (α,β)-soft intersectional BCK/BC...
详细信息
In this paper combining the features of swap sequence and swap operation based Particle Swarm Optimization (PSO), Ant Colony Optimization (ACO) and K-Opt operation a hybrid algorithm is proposed to solve well known Tr...
详细信息
This paper introduces SPar, an internal C++ Domain-Specific Language (DSL) that supports the development of classic stream parallel applications. The DSL uses standard C++ attributes to introduce annotations tagging t...
详细信息
This paper deals with the Sudden Infant Death Syndrome (SIDS) problem. The main objective is to limit it by controlling the main reasons that may lead to it. Sudden infant death syndrome is the death without specific ...
详细信息
The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of ...
详细信息
The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of information of software requirements specification (SRS) for software quality assessment (by ISO 25010:2011). The first time proposed method of generating and filling the template of ontology for the quality of the concrete software leaves in the relevant ontology only measures, which are available in the SRS for the concrete software. It provides forming the ontology for the quality of the concrete software. The first time developed method of forming the logical conclusion about the sufficiency of the SRS information for software quality assessment provides the conclusion about the sufficiency or insufficiency of the SRS information for software quality assessment by ISO 25010:2011. If the SRS information is insufficient, this method: provides the conclusion for which characteristics and sub-characteristics the information is insufficient; creates the sorted list of missing measures as the recommended priority of their addition in the SRS; evaluates the veracity of software quality assessment based on the available in the SRS measures.
暂无评论