Approximately calculating integrals over spherical surfaces in R3 can be done by simple extensions of one dimensional quadrature rules. This, however, does not make use of the symmetry or structure of the integration domain and potentially better schemes can be devised by directly using the integration surface in R3. We investigate several quadrature schemes for integration over a spherical sur...

Molecular communication is an emerging paradigm for systems that rely on the release of molecules as information carriers. Communication via molecular diffusion is a popular strategy that is ubiquitous in nature and very fast over distances on the order of a micron or less. Existing closed-form analysis of the diffusion channel impulse response generally assumes that the transmitter is a point ...

Let l ≥ 3 be a prime, and let p = 2 − 1 be the corresponding Mersenne number. The Lucas-Lehmer test for the primality of p goes as follows. Define the sequence of integers xk by the recursion x0 = 4, xk = x 2 k−1 − 2. Then p is a prime if and only if each xk is relatively prime to p, for 0 ≤ k ≤ l − 3, and gcd(xl−2, p) > 1. We show, in the first section, that this test is based on the successiv...

Possibilities for dynamic psychophysical experimentation on the World-Wide Web are just beginning to be explored. We sought to develop a Web-based version of a contour integration test that is suitable for clinical studies, and to determine whether the previously described contour integration deficit in schizophrenia could be replicated using the new test. Fields of Gabor patches against a gray...

Problem statement: In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). Testing of MAS is a challenging task because these systems are often programmed to be autonomous and deliberative and they operate in ...

We present a method for automatically generating tests for reactive systems specified by concurrently executing extended finite state machines. The generated test suites satisfy the modified condition/decision coverage criterion at unit and integration levels. The generation of MC/DC suites for eager first-order functional programs is subsumed. An industrial chip card case study illustrates the...

The present paper presents a new approach for bridging the gap between design and test of mixed signal cores. The proposed methodology allows the direct application of the testbench input stimuli and output results used during the design validation to perform the automatic configuration of the test equipment and Device Under Test interconnections, to control data acquisition and to convert test...

The full-scale Sector Model Project, which was initiated in 1995 as one of the Large Seven ITER R&D Projects, completed all R&D activities planned in the ITER-EDA period with the joint effort of the ITER Joint Central Team (JCT), the Japanese, the Russian Federation (RF) and the United States (US) Home Teams. The fabrication of a full-scale 18 toroidal sector, which is composed of two 9 sectors...

In this research work, design an Integration based testing tool (IBTT) based on their properties and it behavior (test cases for Integration based testing) for software development. A requirement specification for an IBT is established that would involve studying the feature set offered by existing software testing tools, along with their limitations. The requirement set thus developed will be ...

Research has shown that finding software faults early in the development cycle not only improves software assurance, but also reduces software development expense and time. The root causes of the majority of embedded system software defects discovered during hardware integration test have been attributed to errors in understanding and implementing requirements. The independence that typically e...