排序方式: 共有34条查询结果,搜索用时 15 毫秒
11.
We present a new computational approach to the problem of detection of potential inconsistencies in knowledge bases. For such inconsistencies, we characterize the sets of possible input facts that will allow the knowledge based system to derive the contradiction. the state-of-the-art approach to a solution of this problem is represented by the COVADIS system which checks simple rule bases. the COVADIS approach relies on forward chaining and is strongly related to the way ATMS computes labels for deducible facts. Here, we present an alternative computation method that employs backward chaining in a kind of abductive reasoning. This approach gives a more focused reasoning, thus requiring much less computation and memory than COVADIS. Further, since our method is very similar to SLD-resolution, it is suitable for handling the more powerful knowledge base form represented by Horn claause bases. Finally, our method is easily extended to uncertain knowledge bases, assuming that the uncertainty calculus is modeled by possibilistic logic. This extension allows us to model the effect of user defined belief thresholds for inference chains. 相似文献
12.
The theme of this paper is on transactional support for cooperative work environments, focusing on data sharing – i.e., providing suitable mechanisms to manage concurrent access to shared resources. The subject is not new per se. In fact, in terms of transaction models and frameworks, several solutions already exist. Still, there are some problems that are not solved. Among these are the problems that result from the dynamic and heterogeneous nature of cooperative work. Our solution is to provide transactional support that not only can be tailored to suit different situations, but can also be modified following changes in the actual environment while the work is being performed – i.e., adaptable transactional support. As part of this, we have identified and extracted the beneficial features from existing models and attempted to extend these to form a transactional framework, called CAGISTrans. This is a framework for the specification of transaction models suiting specific applications. To handle dynamic environments we propose a new way of organizing the elements of a transaction model to allow runtime refinement. In addition, we have developed a transaction management system, built on the middleware principle, to allow interoperability and database independence. Thus this addresses the problems induced by the heterogeneous nature of cooperative environments. 相似文献
13.
Framework-based development is currently regarded as one of the most promising software development approaches, boasting increases in lead time, productivity and quality. However, many frameworks and framework-related projects still fail, which indicates that frameworks still have unsolved problems. In this article, we will identify and investigate the major framework characteristics and individual differences that impact the most important users’ perceptions about frameworks. To test the causal relationships between these factors, we performed an online survey and analyzed the results using structural equation modeling. The results support the technology acceptance model (TAM), which was used as an underlying theory. In addition, we found that framework characteristics and individual differences have a significant impact on users’ perceptions, especially in the case of voluntary framework use. Beside TAM constructs, the results also suggest an additional determinant for the acceptance of frameworks: “confidence”. Despite the limits of our research, we foresee future research activities as well as theoretical and practical implications. Our results might be used to develop acceptable frameworks and for the evaluation of existing frameworks, their constituent parts and framework-related guidelines. 相似文献
14.
Kous Katja Kuhar Saša Pavlinek Miha Heričko Marjan Pušnik Maja 《Universal Access in the Information Society》2021,20(3):595-615
Universal Access in the Information Society - Digitalization and technological innovations provide many benefits for citizens worldwide, increasing the quality of life in several ways, including by... 相似文献
15.
Takatsugu Endo Mai Tatsumi Kosuke Kuroda Heri Satria Yumiko Shimada Kazuaki Ninomiya 《分离科学与技术》2017,52(7):1240-1245
Electrodialysis (ED) has been recently known as a highly effective technique to remove and recover ionic liquids from aqueous solution. When a conventional electrolyte solution for the ED process containing Na2SO4 was used, a recovery ratio of an acidic IL, 1-butyl-3-methylimidazolium hydrogen sulfate ([Bmim][HSO4]), was 90%. On the other hand, the value clearly increased to 96% when we employed [Bmim][HSO4] as the electrolyte solution. In an acid hydrolysis of bagasse using the IL under microwave irradiation, the recovery ratio maintains 96%, irrespective of reaction time. This demonstrates the applicability of the proposed ED system in biomass processing. 相似文献
16.
Multimedia Tools and Applications - This paper reports the effect of hyperchaos permutation on the False-Positive-Free (FPF) Singular Value Decomposition (SVD)-based image watermarking scheme. To... 相似文献
17.
Marjorie Valix Diyana Zamri Hiro Mineyama Wai Hung Cheung Jeffrey Shi Heri Bustamante 《中国化学工程学报》2012,20(3):433-438
Microbiologically induced corrosion of concrete(MICC) and its protective coatings has a high economic impact on sewer maintenance and rehabilitation.A better understanding of the micro-organisms and the biogenic acids that are generated in the sewer is essential in controlling the corrosion of concrete pipes and protective coatings.The role of succession of micro-organisms growth in the corrosion of concrete and protective coatings was evaluated in this study.Examination of various sewer pipe materials exhibiting various extents of degradation,including concrete,cement based and epoxy based coating revealed the presence of both organic and biogenic sulphuric acids.This reflects the activity of fungi and the thiobacilli strains.Organism growth and metabolism were strongly related to the substrate pH.Fungi were found to grow and metabolise organic acids at pH from 2.0-8.0.Whilst the thiobacilli strains grew and generated sulphuric acids at pH below 3.0.The successive growth of the organisms provides an important bearing in developing improved strategies to better manage sewers. 相似文献
18.
Hairul Abral M. Fitra Gafar Heri Andriyanto Ilhamdi S. M. Sapuan M. R. Ishak 《Polymer-Plastics Technology and Engineering》2013,52(1):12-18
Characteristics of Screw Pine fiber of species Pandanus Odoratissimus (PO fibers) and short PO fibers reinforced composite were studied. The results show that various alkali concentrations changed ability of PO fibers in absorptions of moisture, chemical compositions and cross-sectional area. The untreated and treated PO fibers were compounded with unsaturated polyester to evaluate their mechanical properties. The treated PO fiber composites exhibit high mechanical properties in comparison with untreated ones. SEM photographs revealed a different fracture surface between untreated PO fiber-reinforced composites and treated ones. 相似文献
19.
This paper addresses the important problem of discerning hateful content in social media. We propose a detection scheme that is an ensemble of Recurrent Neural Network (RNN) classifiers, and it incorporates various features associated with user-related information, such as the users’ tendency towards racism or sexism. This data is fed as input to the above classifiers along with the word frequency vectors derived from the textual content. We evaluate our approach on a publicly available corpus of 16k tweets, and the results demonstrate its effectiveness in comparison to existing state-of-the-art solutions. More specifically, our scheme can successfully distinguish racism and sexism messages from normal text, and achieve higher classification quality than current state-of-the-art algorithms. 相似文献
20.