197,190 research outputs found
ProTest: An Automatic Test Environment for B Specifications
No full textWe present ProTest, an automatic test environment for B specifications. B is a model-oriented notation where systems are specified in terms of abstract states and operations on abstract states. ProTest first generates a state coverage graph of a B specification through exhaustive model checking, and the coverage graph is traversed to generate a set of test cases, each being a sequence of B operations. For the model checking to be exhaustive, some transformations are applied to the sets used in the B machine. The approach also works if it is not exhaustive; one can stop at any point in time during the state space exploration and generate test cases from the coverage graph obtained so far. ProTest then simultaneously performs animation of the B machine and the execution of the corresponding implementation in Java, and assign verdicts on the test results. With some restrictions imposed on the B operations, the whole of the testing process is performed mechanically. We demonstrate the efficacy of our test environment by performing a small case study from industry. Furthermore, we present a solution to the problem of handling non-determinism in B operations
A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka
No full textMishra, S. S., Biswas, Sudeepta, Russell, Barry C., Satpathy, K. K., Selvanayagam, M. (2013): A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka. Zootaxa 3609 (4): 443-449, DOI: 10.11646/zootaxa.3609.4.
Percolative metal-insulator transition in LaMnO3
No full textWe show that the pressure-induced metal-insulator transition (MIT) in LaMnO3 is fundamentally different from the Mott-Hubbard transition and is percolative in nature, with the measured resistivity obeying the percolation scaling laws. Using the Gutzwiller method to treat correlation effects in a model Hamiltonian that includes both Coulomb and Jahn-Teller interactions, we show, one, that the MIT is driven by a competition between electronic correlation and the electron-lattice interaction, an issue that has been long debated, and two, that with compressed volume, the system has a tendency towards phase separation into insulating and metallic regions, consisting, respectively, of Jahn-Teller distorted and undistorted octahedra. This tendency manifests itself in a mixed phase of intermixed insulating and metallic regions in the experiment. Conduction in the mixed phase occurs by percolation and the MIT occurs when the metallic volume fraction, steadily increasing with pressure, exceeds the percolation threshold v(c) approximate to 0.29. Measured high-pressure resistivity follows the percolation scaling laws quite well, and the temperature dependence follows the Efros-Shklovskii variable-range hopping behavior for granular materials
FIGURE 4 in A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka
No full textFIGURE 4. Scolopsis leucotaenia as figured in Day (1875).Published as part of Mishra, S. S., Biswas, Sudeepta, Russell, Barry C., Satpathy, K. K. & Selvanayagam, M., 2013, A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka, pp. 443-449 in Zootaxa 3609 (4) on page 447, DOI: 10.11646/zootaxa.3609.4.7, http://zenodo.org/record/21646
FIGURE 3 in A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka
No full textFIGURE 3. Scolopsis vosmeri (Bloch), 159 mm SL, Sri Lanka, Hikkaduwa. (photo: J.E. Randall)Published as part of Mishra, S. S., Biswas, Sudeepta, Russell, Barry C., Satpathy, K. K. & Selvanayagam, M., 2013, A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka, pp. 443-449 in Zootaxa 3609 (4) on page 447, DOI: 10.11646/zootaxa.3609.4.7, http://zenodo.org/record/21646
FIGURE 5 in A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka
No full textFIGURE 5. Scolopsis leucotaenia (Bleeker 1853), juvenile of Scolopsis margaritifer (Cuvier 1830), from Bleeker (1875–76).Published as part of Mishra, S. S., Biswas, Sudeepta, Russell, Barry C., Satpathy, K. K. & Selvanayagam, M., 2013, A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka, pp. 443-449 in Zootaxa 3609 (4) on page 448, DOI: 10.11646/zootaxa.3609.4.7, http://zenodo.org/record/21646
FIGURE 2 in A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka
No full textFIGURE 2. Scolopsis igcarensis sp. nov., BPBM 18765, paratype, 74.0 mm SL, Negombo Reef, Sri Lanka. (photo: J.E. Randall)Published as part of Mishra, S. S., Biswas, Sudeepta, Russell, Barry C., Satpathy, K. K. & Selvanayagam, M., 2013, A new species of the genus Scolopsis Cuvier, 1830 (Perciformes: Nemipteridae) from southern India and Sri Lanka, pp. 443-449 in Zootaxa 3609 (4) on page 446, DOI: 10.11646/zootaxa.3609.4.7, http://zenodo.org/record/21646
- …
