We propose methods for solving the satisfiability and validity problems in many-sorted composition-nominative pure predicate logics (without functions and with equality). These logics are algebra-based logics of many-...
详细信息
Fuzzy competition graph as the generalization of competition graph is introduced here. A generalization of fuzzy competition graph known as fuzzy k-competition graph is also defined. These graphs are related to fuzzy ...
详细信息
Fuzzy graph is now a very important research area due to its wide application. Fuzzy multigraph and fuzzy planar graphs are two subclasses of fuzzy graph theory. In this paper, we define both of these graphs and studi...
详细信息
The optimal production and advertising policies for an inventory control system of multi-item multiobjective problem under a single management are formulated as an optimal control problem with resource constraints und...
The potential of heterogeneous multicores, like the Cell BE, can only be exploited if the host and the accelerator cores are used in parallel and if the specific features of the cores are considered. Parallel programm...
详细信息
Developing reusable and adaptable concurrent software are very difficult. Reusability and adaptability in concurrent software become minimal. These collaborations not only perimeter reusability, but also make modifica...
详细信息
Developing reusable and adaptable concurrent software are very difficult. Reusability and adaptability in concurrent software become minimal. These collaborations not only perimeter reusability, but also make modification invasive changes to meet new requirements in the design of the concurrent software. The concurrent system has to reengineer, in order to meet the future requirements. A misunderstanding, that a concurrent object-oriented programming generally endorses reusability and adaptability, as none of these problems is imposed. Software developers have to specifically deliberate software making reusability and adaptability. We present a concurrent aspect framework which better supporting reusability and adaptability. In the framework, functional components and system assets are relatively separated. This technique makes concurrent software developing better reusability and adaptability. A framework enables manageable reusability and adaptability for building of concurrent software. Our research focuses on decomposition of contact in concurrent software development and our goal is to demonstrate a better model of concurrent software design.
The failure issues of power insulated gate bipolar transistor (IGBT) modules are mainly related to thermal and ther mo-mechanical aging mechanism. This aging causes degradation of the device performance and faults whi...
详细信息
Developing reusable and adaptable concurrent software are very *** and adaptability in concurrent software become *** collaborations not only perimeter reusability,but also make modification invasive changes to meet n...
详细信息
Developing reusable and adaptable concurrent software are very *** and adaptability in concurrent software become *** collaborations not only perimeter reusability,but also make modification invasive changes to meet new requirements in the design of the concurrent *** concurrent system has to reengineer,in order to meet the future requirements.A misunderstanding,that a concurrent object-oriented programming generally endorses reusability and adaptability,as none of these problems is *** developers have to specifically deliberate software making reusability and *** present a concurrent aspect framework which better supporting reusability and *** the framework,functional components and system assets are relatively *** technique makes concurrent software developing better reusability and adaptability.A framework enables manageable reusability and adaptability for building of concurrent *** research focuses on decomposition of contact in concurrent software development and our goal is to demonstrate a better model of concurrent software design.
We present a systematic approach to the automatic generation of platform-independent benchmarks of tailored complexity for evaluating verification tools for reactive systems. Key to this approach is a tool chain that ...
详细信息
Text classification is an important task of assigning objects from a universe to two or more classes, especially classification is to classify the topic or the theme of a document. In this research, we have analyzed t...
详细信息
Text classification is an important task of assigning objects from a universe to two or more classes, especially classification is to classify the topic or the theme of a document. In this research, we have analyzed the result of an experiment on a text classification using Naive Bayesian method approaches for Mongolian language. We have training set of documents, each labeled with one of 10 classes. Since it is the first work in this field for Mongolian language no previous work results were available for comparison.
暂无评论