Convex combinations of strict t-norms

Alsina, Frank, and Schweizer posed a question whether a non-trivial convex combination of triangular norms can ever be a triangular norm. In this paper we deal with the class of strict t-norms with well-defined first partial derivatives along their zero borders. We show that the answer to the question is negative for certain couples of such t-norms and we state out possible further research.     

Automated GUI performance testing

A significant body of prior work has devised approaches for automating the functional testing of interactive applications. However, little work exists for automatically testing their performance. Performance testing imposes additional requirements upon GUI test automation tools: the tools have to be able to replay complex interactive sessions, and they have to avoid perturbing the application’s performance. We study the feasibility of using five Java GUI capture and replay tools for GUI performance test automation. Besides confirming the severity of the previously known GUI element identification problem, we also describe a related problem, the temporal synchronization problem, which is of increasing importance for GUI applications that use timer-driven activity. We find that most of the tools we study have severe limitations when used for recording and replaying realistic sessions of real-world Java applications and that all of them suffer from the temporal synchronization problem. However, we find that the most reliable tool, Pounder, causes only limited perturbation and thus can be used to automate performance testing. Based on an investigation of Pounder’s approach, we further improve its robustness and reduce its perturbation. Finally, we demonstrate in a set of case studies that the conclusions about perceptible performance drawn from manual tests still hold when using automated tests driven by Pounder. Besides the significance of our findings to GUI performance testing, the results are also relevant to capture and replay-based functional GUI test automation approaches.     

Semantic integration of enterprise information systems using meta-metadata ontology

This paper proposes a non-domain-specific metadata ontology as a core component in a semantic model-based document management system (DMS), a potential contender towards the enterprise information systems of the next generation. What we developed is the core semantic component of an ontology-driven DMS, providing a robust semantic base for describing documents’ metadata. We also enabled semantic services such as automated semantic translation of metadata from one domain to another. The core semantic base consists of three semantic layers, each one serving a different view of documents’ metadata. The core semantic component’s base layer represents a non-domain-specific metadata ontology founded on ebRIM specification. The main purpose of this ontology is to serve as a meta-metadata ontology for other domain-specific metadata ontologies. The base semantic layer provides a generic metadata view. For the sake of enabling domain-specific views of documents’ metadata, we implemented two domain-specific metadata ontologies, semantically layered on top of ebRIM, serving domain-specific views of the metadata. In order to enable semantic translation of metadata from one domain to another, we established model-to-model mappings between these semantic layers by introducing SWRL rules. Having the semantic translation of metadata automated not only allows for effortless switching between different metadata views, but also opens the door for automating the process of documents long-term archiving. For the case study, we chose judicial domain as a promising ground for improving the efficiency of the judiciary by introducing the semantics in this field.     

Designing fast LTL model checking algorithms for many-core GPUs

Recent technological developments made various many-core hardware platforms widely accessible. These massively parallel architectures have been used to significantly accelerate many computation demanding tasks. In this paper, we show how the algorithms for LTL model checking can be redesigned in order to accelerate LTL model checking on many-core GPU platforms. Our detailed experimental evaluation demonstrates that using the NVIDIA CUDA technology results in a significant speedup of the verification process. Together with state space generation based on shared hash-table and DFS exploration, our CUDA accelerated model checker is the fastest among state-of-the-art shared memory model checking tools.     

A novel split-and-merge algorithm for hierarchical clustering of Gaussian mixture models

The paper presents a novel split-and-merge algorithm for hierarchical clustering of Gaussian mixture models, which tends to improve on the local optimal solution determined by the initial constellation. It is initialized by local optimal parameters obtained by using a baseline approach similar to k-means, and it tends to approach more closely to the global optimum of the target clustering function, by iteratively splitting and merging the clusters of Gaussian components obtained as the output of the baseline algorithm. The algorithm is further improved by introducing model selection in order to obtain the best possible trade-off between recognition accuracy and computational load in a Gaussian selection task applied within an actual recognition system. The proposed method is tested both on artificial data and in the framework of Gaussian selection performed within a real continuous speech recognition system, and in both cases an improvement over the baseline method has been observed.     

Observation of a half-quantum-flux periodicity pattern in an rf SQUID with small critical currents

We have found experimentally that rf SQUID's working in a nonhysteretic mode with small critical currents give exactly at resonance and at very low rf bias a triangular pattern with a period equal to half of one elementary quantum of magnetic flux. We discuss a possible explanation of this peculiar result.     

Concerted utility review of VVER-440 safety research needs (VERSAFE)

There are twelve operating VVER-440/213 reactors in the Czech Republic, Hungary and Slovakia. The plant owners have carried out extensive safety enhancement programmes, which have included measures to improve prevention, mitigation and control of design basis accidents. Recently, there have been a number of projects to study the Severe Accident Management aspects of these plants. The plant owners have also initiated Plant Life Management programmes. The objective of the VERSAFE Concerted Action is to create a network of the VVER-440/213 plant owners and operators, which aims at definition of the further research needs of severe accidents and plant ageing from the utilities’ viewpoint. The starting point is to formulate a general approach to severe accident management and plant life management and then proceed to define the needs for the additional information expected from the safety research. The role of national research institutes and organisations of the partner countries is of crucial importance in performing such research and, thus, creating and maintaining the expertise on the national level. The successful completion of the project will assist in establishing well-defined research projects that are oriented to the needs of the end-users and provide information that can be used to facilitate and support the negotiations of the EU applicant countries operating VVER-440 reactors.