A Measurement-Driven Process Model For Managing Inconsistent Software Requirements

Inconsistency is a pervasive issue in software engineering. Both general rules of inconsistency management and special case-based approaches to handling inconsistency have recently been considered. In this paper, we present a process model for handling requirements inconsistency within the Viewpoints framework. In this process model, when an inconsistency among viewpoints is detected, a set of candidate proposals for handling inconsistency will be generated using techniques fromMulti-agent automated negotiations. The proposals are then prioritized using an integrated measurement of inconsistencies. The viewpoints involved in the inconsistency will then enter the negotiations by being presented with the candidate proposals and thus selecting an acceptable proposal based on the priorities associated with each candidate proposal. To facilitate usability, in our process, we assume that the natural language requirements statements are first translated into corresponding logical formulas using a translator software. Moreover, the candidate proposals for handling inconsistency are also translated back from formal logic into natural language before being presented for selection

Segmentation, Reconstruction, and Analysis of Blood Thrombus Formation in 3D 2-Photon Microscopy Images

We study the problem of segmenting, reconstructing, and analyzing the structure growth of thrombi (clots) in blood vessels in vivo based on 2-photon microscopic image data. First, we develop an algorithm for segmenting clots in 3D microscopic images based on density-based clustering and methods for dealing with imaging artifacts. Next, we apply the union-of-balls (or alpha-shape) algorithm to reconstruct the boundary of clots in 3D. Finally, we perform experimental studies and analysis on the reconstructed clots and obtain quantitative data of thrombus growth and structures. We conduct experiments on laser-induced injuries in vessels of two types of mice (the wild type and the type with low levels of coagulation factor VII) and analyze and compare the developing clot structures based on their reconstructed clots from image data. The results we obtain are of biomedical significance. Our quantitative analysis of the clot composition leads to better understanding of the thrombus development, and is valuable to the modeling and verification of computational simulation of thrombogenesis

Superconductivity in half-Heusler compound TbPdBi

We have studied the half-Heusler compound TbPdBi through resistivity, magnetization, Hall effect and heat capacity measurements. A semimetal behavior is observed in its normal state transport properties, which is characterized by a large negative magnetoresistance below 100 K. Notably, we find the coexistence of superconductivity and antiferromagnetism in this compound. The superconducting transition appears at 1.7 K, while the antiferromagnetic phase transition takes place at 5.5 K. The upper critical field $H_{c2}$ shows an unusual linear temperature dependence, implying unconventional superconductivity. Moreover, when the superconductivity is suppressed by magnetic field, its resistivity shows plateau behavior, a signature often seen in topological insulators/semimetals. These findings establish TbPdBi as a platform for study of the interplay between superconductivity, magnetism and non-trivial band topology.Comment: 5 pages, 4 figure

Structural study on hole-doped superconductors Pr1-xSrxFeAsO

The structural details in Pr1-xSrxFeAsO (1111) superconducting system are analyzed using data obtained from synchrotron X-ray diffraction and the structural parameters are carefully studied as the system is moving from non-superconducting to hole-doped superconducting with the Sr concentration. Superconductivity emerges when the Sr doping amount reaches 0.221. The linear increase of the lattice constants proves that Sr is successfully introduced into the system and its concentration can accurately be determined by the electron density analyses. The evolution of structural parameters with Sr concentration in Pr1-xSrxFeAsO and their comparison to other similar structural parameters of the related Fe-based superconductors suggest that the interlayer space between the conducting As-Fe-As layer and the insulating Pr-O-Pr layer is important for improving Tc in the hole-doped (1111) superconductors, which seems to be different from electron-doped systems.Comment: 17 pages, 7 figures, 1 tabl

Development of an expert system to assist in Resource Management

© 2014 IEEE. This paper aims to demonstrate an idea of utilizing Kohonen Maps as a tool to portray and study resource allocations when constructing an expert system to assist in Resource Management. The context of work encompasses resource allocation and management tasks related to design of courses, as well as, various teaching and learning projects. The key aspect is to show the design of an expert system for resource allocation with the use of Kohonen Maps as an alternative way to visualise the demand and availability of project resources

Angular dependence of resistivity in the superconducting state of NdFeAsO0.82_{0.82}F0.18_{0.18} single crystals

We report the results of angle dependent resistivity of NdFeAsO$_{0.82}$F$_{0.18}$ single crystals in the superconducting state. By doing the scaling of resistivity within the frame of the anisotropic Ginzburg-Landau theory, it is found that the angle dependent resistivity measured under different magnetic fields at a certain temperature can be collapsed onto one curve. As a scaling parameter, the anisotropy $\Gamma$ can be determined for different temperatures. It is found that $\Gamma(T)$ increases slowly with decreasing temperature, varying from $\Gamma \simeq$ 5.48 at T=50 K to $\Gamma \simeq$ 6.24 at T=44 K. This temperature dependence can be understood within the picture of multi-band superconductivity.Comment: 7 pages, 4 figure

Enhanced Orbital Degeneracy in Momentum Space for LaOFeAs

The Fermi surfaces (FS) of LaOFeAs (in $k_z$=0 plane) consist of two hole-type circles around $\Gamma$ point, which do not touch each other, and two electron-type co-centered ellipses around M point, which are degenerate along the M-X line. By first-principles calculations, here we show that additional degeneracy exists for the two electron-type FS, and the crucial role of F-doping and pressure is to enhance this orbital degeneracy. It is suggested that the inter-orbital fluctuation is the key point to understand the unconventional superconductivity in these materials.Comment: 4 pages, 5 figure

Metamorphic testing for web services: Framework and a case study

Service Oriented Architecture (SOA) has become a major application development paradigm. As a basic unit of SOA applications, Web services significantly affect the quality of the applications constructed from them. Since the development and consumption of Web services are completely separated under SOA environment, the consumers are normally provided with limited knowledge of the services and thus have little information about test oracles. The lack of source code and the restricted control of Web services limit the testability of Web services. To address the prominent oracle problem when testing Web services, we propose a metamorphic testing framework for Web services taking into account the unique features of SOA. We conduct a case study where the new metamorphic testing framework is employed to test a Web service that implements the electronic payment. The results of case study show the feasibility of the framework for web services, and also the efficiency of metamorphic testing. The work presented in the paper alleviates the test oracle problem when testing Web services under SOA

Combining Fine- and Coarse-Grained Classifiers for Diabetic Retinopathy Detection

Visual artefacts of early diabetic retinopathy in retinal fundus images are usually small in size, inconspicuous, and scattered all over retina. Detecting diabetic retinopathy requires physicians to look at the whole image and fixate on some specific regions to locate potential biomarkers of the disease. Therefore, getting inspiration from ophthalmologist, we propose to combine coarse-grained classifiers that detect discriminating features from the whole images, with a recent breed of fine-grained classifiers that discover and pay particular attention to pathologically significant regions. To evaluate the performance of this proposed ensemble, we used publicly available EyePACS and Messidor datasets. Extensive experimentation for binary, ternary and quaternary classification shows that this ensemble largely outperforms individual image classifiers as well as most of the published works in most training setups for diabetic retinopathy detection. Furthermore, the performance of fine-grained classifiers is found notably superior than coarse-grained image classifiers encouraging the development of task-oriented fine-grained classifiers modelled after specialist ophthalmologists.Comment: Pages 12, Figures