UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

A technique for modular logic program refinement

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we introduce modules into a logic programming refinement calculus. Modules allow data types to be grouped together with sets of procedures that manipulate the data types. By placing restrictions on the way a program uses a module, we develop a technique for refining the module so that it uses a more efficient representation of the data type.

Physical and MAC layer techniques for next generation satellite communications

In this thesis, we consider four different scenarios of interest in modern satellite communications. For each scenario, we will propose the use of advanced solutions aimed at increasing the spectral efficiency of the communication links. First, we will investigate the optimization of the current standard for digital video broadcasting. We will increase the symbol rate of the signal and determine the optimal signal bandwidth. We will apply the time packing technique and propose a specifically design constellation. We will then compare some receiver architectures with different performance and complexity. The second scenario still addresses broadcast transmissions, but in a network composed of two satellites. We will compare three alternative transceiver strategies, namely, signals completely overlapped in frequency, frequency division multiplexing, and the Alamouti space-time block code, and, for each technique, we will derive theoretical results on the achievable rates. We will also evaluate the performance of said techniques in three different channel models. The third scenario deals with the application of multiuser detection in multibeam satellite systems. We will analyze a case in which the users are near the edge of the coverage area and, hence, they experience a high level of interference from adjacent cells. Also in this case, three different approaches will be compared. A classical approach in which each beam carries information for a user, a cooperative solution based on time division multiplexing, and the Alamouti scheme. The information theoretical analysis will be followed by the study of practical coded schemes. We will show that the theoretical bounds can be approached by a properly designed code or bit mapping. Finally, we will consider an Earth observation scenario, in which data is generated on the satellite and then transmitted to the ground. We will study two channel models, taking into account one or two transmit antennas, and apply techniques such as time and frequency packing, signal predistortion, multiuser detection and the Alamouti scheme.

Advanced receivers for next generation wireless communication systems

Despite extensive progress on the theoretical aspects of spectral efficient communication systems, hardware impairments, such as phase noise, are the key bottlenecks in next generation wireless communication systems. The presence of non-ideal oscillators at the transceiver introduces time varying phase noise and degrades the performance of the communication system. Significant research literature focuses on joint synchronization and decoding based on joint posterior distribution, which incorporate both the channel and code graph. These joint synchronization and decoding approaches operate on well designed sum-product algorithms, which involves calculating probabilistic messages iteratively passed between the channel statistical information and decoding information. Channel statistical information, generally entails a high computational complexity because its probabilistic model may involve continuous random variables. The detailed knowledge about the channel statistics for these algorithms make them an inadequate choice for real world applications due to power and computational limitations. In this thesis, novel phase estimation strategies are proposed, in which soft decision-directed iterative receivers for a separate A Posteriori Probability (APP)-based synchronization and decoding are proposed. These algorithms do not require any a priori statistical characterization of the phase noise process. The proposed approach relies on a Maximum A Posteriori (MAP)-based algorithm to perform phase noise estimation and does not depend on the considered modulation/coding scheme as it only exploits the APPs of the transmitted symbols. Different variants of APP-based phase estimation are considered. The proposed algorithm has significantly lower computational complexity with respect to joint synchronization/decoding approaches at the cost of slight performance degradation. With the aim to improve the robustness of the iterative receiver, we derive a new system model for an oversampled (more than one sample per symbol interval) phase noise channel. We extend the separate APP-based synchronization and decoding algorithm to a multi-sample receiver, which exploits the received information from the channel by exchanging the information in an iterative fashion to achieve robust convergence. Two algorithms based on sliding block-wise processing with soft ISI cancellation and detection are proposed, based on the use of reliable information from the channel decoder. Dually polarized systems provide a cost-and spatial-effective solution to increase spectral efficiency and are competitive candidates for next generation wireless communication systems. A novel soft decision-directed iterative receiver, for separate APP-based synchronization and decoding, is proposed. This algorithm relies on an Minimum Mean Square Error (MMSE)-based cancellation of the cross polarization interference (XPI) followed by phase estimation on the polarization of interest. This iterative receiver structure is motivated from Master/Slave Phase Estimation (M/S-PE), where M-PE corresponds to the polarization of interest. The operational principle of a M/S-PE block is to improve the phase tracking performance of both polarization branches: more precisely, the M-PE block tracks the co-polar phase and the S-PE block reduces the residual phase error on the cross-polar branch. Two variants of MMSE-based phase estimation are considered; BW and PLP.

Extracting Business Rules through Static Analysis of the Source Code

Красимир Манев, Нели Манева, Хараламби Хараламбиев - Подходът с използване на бизнес правила (БП) беше въведен в края на миналия век, за да се улесни специфицирането на фирмен софтуер и да може той да задоволи по-добре нуждите на съответния бизнес. Днес повечето от целите на подхода са постигнати. Но усилията, в научно-изследователски и практически аспект, за постигане на „’формална основа за обратно извличане на БП от съществуващи системи “продължават. В статията е представен подход за извличане на БП от програмен код, базиран на методи за статичен анализ на кода. Посочени са някои предимства и недостатъци на такъв подход.

The impact of the New University Code on the physical education curriculum of four-year colleges and universities in Taiwan, Republic of China

With the establishment of The New University Code in 1994, Taiwan's colleges and universities were mandated to shift physical education from a required course to an elective. The four-year colleges and universities are now responsible for either developing new physical education programs or removing existing programs from their curriculum. Planned change and curriculum leadership are considered in light of policy changes regarding required physical education programs enacted by the Ministry of Education. ^ This study compared the organizational structure and the curriculum of physical education at accredited colleges and universities in Taiwan. Chairpersons of physical education departments from 60 four-year colleges and universities were surveyed using a modified version of the Hensley's Basic Instruction Program (BIP) Questionnaire. Results were analyzed using analysis of variance (ANOVA) and crosstabs. The findings confirmed that physical education programs were effected by declining enrollment and administrative decisions to eliminate them. However, at the same time, chairpersons expressed strong support for the maintenance of the traditional physical education curriculum. ^

Realization of Differentiated Quality of Service for Wideband Code Division Multiple Access Core Network

The development of 3G (the 3rd generation telecommunication) value-added services brings higher requirements of Quality of Service (QoS). Wideband Code Division Multiple Access (WCDMA) is one of three 3G standards, and enhancement of QoS for WCDMA Core Network (CN) becomes more and more important for users and carriers. The dissertation focuses on enhancement of QoS for WCDMA CN. The purpose is to realize the DiffServ (Differentiated Services) model of QoS for WCDMA CN. Based on the parallelism characteristic of Network Processors (NPs), the NP programming model is classified as Pool of Threads (POTs) and Hyper Task Chaining (HTC). In this study, an integrated programming model that combines both of the two models was designed. This model has highly efficient and flexible features, and also solves the problems of sharing conflicts and packet ordering. We used this model as the programming model to realize DiffServ QoS for WCDMA CN. ^ The realization mechanism of the DiffServ model mainly consists of buffer management, packet scheduling and packet classification algorithms based on NPs. First, we proposed an adaptive buffer management algorithm called Packet Adaptive Fair Dropping (PAFD), which takes into consideration of both fairness and throughput, and has smooth service curves. Then, an improved packet scheduling algorithm called Priority-based Weighted Fair Queuing (PWFQ) was introduced to ensure the fairness of packet scheduling and reduce queue time of data packets. At the same time, the delay and jitter are also maintained in a small range. Thirdly, a multi-dimensional packet classification algorithm called Classification Based on Network Processors (CBNPs) was designed. It effectively reduces the memory access and storage space, and provides less time and space complexity. ^ Lastly, an integrated hardware and software system of the DiffServ model of QoS for WCDMA CN was proposed. It was implemented on the NP IXP2400. According to the corresponding experiment results, the proposed system significantly enhanced QoS for WCDMA CN. It extensively improves consistent response time, display distortion and sound image synchronization, and thus increases network efficiency and saves network resource.^

Design and analysis of a folded meander dipole antenna using the MININEC program

The Mini-Numerical Electromagnetic Code (MININEC) program, a PC-Compatible version of the powerful NEC program, is used to design a new type of reduced-size antenna. The validity of the program to model simple well-known antennas, such as dipoles and monopoles, is first shown. More complex geometries such as folded dipoles, and meander dipole antennas are also analysed using the program. The final design geometry of a meander folded dipole is characterized with MININEC, yielding results that serve as the basis for the practical construction of the antenna. Finally, the laboratory work with a prototype antenna is described, and practical results are presented.

Hourly values of X, Y and Z geomagnetic components recorded at Coimbra Station (IAGA code: COI) and local geomagnetic K indices for 2007 to 2014

This study examines the performance of series of two geomagnetic indices and series synthesized from a semi-empirical model of magnetospheric currents, in explaining the geomagnetic activity observed at Northern Hemipshere's mid-latitude ground-based stations. We analyse data, for the 2007 to 2014 period, from four magnetic observatories (Coimbra, Portugal; Panagyurishte, Bulgary; Novosibirsk, Russia and Boulder, USA), at geomagnetic latitudes between 40° and 50° N. The quiet daily (QD) variation is firstly removed from the time series of the geomagnetic horizontal component (H) using natural orthogonal components (NOC) tools. We compare the resulting series with series of storm-time disturbance (Dst) and ring current (RC) indices and with H series synthesized from the Tsyganenko and Sitnov (2005, doi:10.1029/2004JA010798) (TS05) semi-empirical model of storm-time geomagnetic field. In the analysis, we separate days with low and high local K-index values. Our results show that NOC models are as efficient as standard models of QD variation in preparing raw data to be compared with proxies, but with much less complexity. For the two stations in Europe, we obtain indication that NOC models could be able to separate ionospheric and magnetospheric contributions. Dst and RC series explain the four observatory H-series successfully, with values for the mean of significant correlation coefficients, from 0.5 to 0.6 during low geomagnetic activity (K less than 4) and from 0.6 to 0.7 for geomagnetic active days (K greater than or equal to 4). With regard to the performance of TS05, our results show that the four observatories separate into two groups: Coimbra and Panagyurishte, in one group, for which the magnetospheric/ionospheric ratio in QD variation is smaller, a dominantly QD ionospheric contribution can be removed and TS05 simulations are the best proxy; Boulder and Novosibirsk,in the other group, for which the ionospheric and magnetospheric contributions in QD variation can not be differentiated and correlations with TS05 series can not be made to improve. The main contributor to magnetospheric QD signal are Birkeland currents. The relatively good success of TS05 model in explaining ground-based irregular geomagnetic activity at mid-latitudes makes it an effective tool to classify storms according to their main sources. For Coimbra and Panagyurishte in particular, where ionospheric and magnetospheric daily contributions seem easier to separate, we can aspire to use the TS05 model for ensemble generation in space weather (SW) forecasting and interpretation of past SW events.

Natural Language Generation and Fuzzy Sets : An Exploratory Study on Geographical Referring Expression Generation

This work was supported by the Spanish Ministry for Economy and Competitiveness (grant TIN2014-56633-C3-1-R) and by the European Regional Development Fund (ERDF/FEDER) and the Galician Ministry of Education (grants GRC2014/030 and CN2012/151). Alejandro Ramos-Soto is supported by the Spanish Ministry for Economy and Competitiveness (FPI Fellowship Program) under grant BES-2012-051878.

(Appendix) Stable carbon and oxygen isotopes, and Mg/Ca ratios of foraminifera from ODP Hole 154-925A

To better understand the links between the carbon cycle and changes in past climate over tectonic timescales we need new geochemical proxy records of secular change in silicate weathering rates. A number of proxies are under development, but some of the most promising (e.g. palaeoseawater records of Li and Nd isotope change) can only be employed on such large samples of mono-specific foraminifera that application to the deep sea sediment core archive becomes highly problematic. "Dentoglobigerina" venezuelana presents a potentially attractive target for circumventing this problem because it is a typically large (> 355 ?m diameter), abundant and cosmopolitan planktic foraminifer that ranges from the early Oligocene to early Pliocene. Yet considerable taxonomic and ecological uncertainties associated with this taxon must first be addressed. Here, we assess the taxonomy, palaeoecology, and ontogeny of "D." venezuelana using stable isotope (oxygen and carbon) and Mg/Ca data measured in tests of late Oligocene to early Miocene age from Ocean Drilling Program (ODP) Site 925, on Ceara Rise, in the western equatorial Atlantic. To help constrain the depth habitat of "D." venezuelana relative to other species we report the stable isotope composition of selected planktic foraminifera species within Globigerina, Globigerinoides, Paragloborotalia and Catapsydrax. We define three morphotypes of "D." venezuelana based on the morphology of the final chamber and aperture architecture. We determine the trace element and stable isotope composition of each morphotype for different size fractions, to test the validity of pooling these morphotypes for the purposes of generating geochemical proxy datasets and to assess any ontogenetic variations in depth habitat. Our data indicate that "D." venezuelana maintains a lower thermocline depth habitat at Ceara Rise between 24 and 21 Ma. Comparing our results to published datasets we conclude that this lower thermocline depth ecology for the Oligo-Miocene is part of an Eocene-to-Pliocene evolution of depth habitat from surface to sub-thermocline for "D." venezuelana. Our size fraction data advocate the absence of photosymbionts in "D." venezuelana and suggest that juveniles calcify higher in the water column, descending into slightly deeper water during the later stages of its life cycle. Our morphotype data show that d18O and d13C variation between morphotypes is no greater than within-morphotype variability. This finding will permit future pooling of morphotypes in the generation of the "sample hungry" palaeoceanographic records.

Geochemistry of ODP Leg 135 igneous rock samples

Ocean Drilling Program Leg 135 provided igneous rock cores from six sites drilled on a transect across the Lau Basin between the Lau Ridge remnant arc and the modem spreading ridges of the Central and Eastern Lau Spreading Centers. The drill cores sampled crust from the earliest stage of backarc extension (latest Miocene time, about 6 Ma), and younger crust (late Pliocene, about 3.8-2 Ma, and middle Pleistocene, about 0.64-0.8 Ma). Nearly all of the igneous samples are from tholeiitic basalt flows; many of them are interbedded with arc-composition volcaniclastic sediments. Rock compositions range from olivine-plagioclase-clinopyroxene basalt, with up to 8% MgO, to oceanic andesites with less than 3.2% MgO and silica contents as high as 56%. The oldest rocks recovered are close in composition to rocks formed at the modern Central and Eastern Lau Spreading Centers and have MORB-like characteristics. Generation of the oldest units was coeval with arc-tholeiitic volcanism on the Lau Ridge less than 100 km to the west. The arc and backarc melts came from different mantle sources. At three sites near the center of the basin, the crust is arc-tholeiitic basalt, two-pyroxene basaltic-andesite, and two-pyroxene andesite. These rocks have many similarities to modem Tofua Arc lavas yet they were drilled within 70 km of the MORB-like Eastern Lau Spreading Center. Estimates of the minimum age for these arc-like rocks indicate that they are late Pliocene (about 2 Ma). These ages overlap the age of the nearby Eastern Lau Spreading Center. The heterogeneous crust of the Lau Basin carries many of the signatures of supra-subduction zone (SSZ) melts but also has a distinct MORB-like component. Mixing between SSZ and MORB mantle sources may explain the variations and the spatial distribution of magma types.

Chemical and isotopic composition of carbonate veins from ODP Leg 209

Carbonate veins hosted in ultramafic basement drilled at two sites in the Mid Atlantic Ridge 15°N area record two different stages of fluid-basement interaction. A first generation of carbonate veins consists of calcite and dolomite that formed syn- to postkinematically in tremolite-chlorite schists and serpentine schists that represent gently dipping large-offset faults. These veins formed at temperatures between 90 and 170 °C (oxygen isotope thermometry) and from fluids that show intense exchange of Sr and Li with the basement (87Sr/86Sr = 0.70387 to 0.70641, d7Li L-SVEC = + 3.3 to + 8.6 per mil). Carbon isotopic compositions range to high d13C PDB values (+ 8.7 per mil), indicating that methanogenesis took place at depth. The Sr-Li-C isotopic composition suggests temperatures of fluid-rock interaction that are much higher (T > 350-400 °C) than the temperatures of vein mineral precipitation inferred from oxygen isotopes. A possible explanation for this discrepancy is that fluids cooled conductively during upflow within the presumed detachment fault. Aragonite veins were formed during the last 130 kyrs at low-temperatures within the uplifted serpentinized peridotites. Chemical and isotopic data suggest that the aragonites precipitated from cold seawater, which underwent overall little exchange with the basement. Oxygen isotope compositions indicate an increase in formation temperature of the veins by 8-12 °C within the uppermost ~ 80 m of the subseafloor. This increase corresponds to a high regional geothermal gradient of 100-150 °C/km, characteristic of young lithosphere undergoing rapid uplift.

(Table T1) Carbon contents, alkenone concentrations, alkenone unsaturation index, and SST in sediments of ODP Leg 190 sites

We have preliminarily generated the downcore records of total organic carbon (TOC) content, total alkenone concentration, alkenone unsaturation index, and the estimated sea-surface temperature (SST) in the northern three sites (Sites 1175, 1176, and 1178) of the Muroto Transect, Nankai Trough. The TOC content will be used for the evaluation of the burial of organic matter, which plays a role in the generation of natural gas and the formation of gas hydrate in this region. The downcore records of alkenone SST will benefit studies for the paleoceanography of the northwestern Pacific. Because those sites are located in the main path of the Kuroshio Current, the records provide the temperature change of the Kuroshio water, which is an end-member water mass in the northwestern Pacific.

(Table T1) Abundance of radiolarian skeletons in scrape samples of ODP Hole 178-1098B

Palmer Deep is a series of three glacially overdeepened basins on the Antarctic Peninsula shelf, ~20 km southwest of Anvers Island. Site 1098 (64°51.72'S, 64°12.48'W) was drilled in the shallowest basin, Basin I, at 1012 m water depth. The sediment recovered was primarily laminated, siliceous, biogenic, pelagic muds alternating with siliciclastic hemipelagic sediments (Barker, Camerlenghi, Acton, et al., 1999). Sedimentation rates of 0.1725 cm/yr in the upper 25 m and 0.7-0.80 cm/yr in the lower 25 m of the core have been estimated from 14C (Domack et al., 2001). The oldest datable sediments have an age of ~13 ka and were underlain by diamicton sediments of the last glacial maximum (Domack et al., 2001). The large-scale water-mass distribution and circulation in the vicinity of Palmer Deep is dominated by Circumpolar Deep Water (CDW) below 200 m (Hofmann et al., 1996). Palmer Deep is too far from the coast to be influenced by glacial meltwater and cold-tongue generation associated with it (Domack and Williams, 1990; Dixon and Domack, 1991). Circulation patterns in the Palmer Deep area are not well understood, but evidence suggests southward flow across Palmer Deep from Anvers Island to Renaud Island (Kock and Stein, 1978). The water south of Anvers Island is nearly open with loose pack ice from February through May. The area is covered with sea ice beginning in June (Gloersen et al., 1992; Leventer et al., 1996). Micropaleontologic data from the work of Leventer et al. (1996) on a 9-m piston core has revealed circulation and climate patterns for the past 3700 yr in the Palmer Deep. The benthic foraminifer assemblage is dominated by two taxa, Bulimina aculeata and Bolivina pseudopunctata, which are inversely related. High relative abundances of B. aculeata occur cyclically over a period of ~230 yr. The assemblage associated with high abundance of B. aculeata in Palmer Deep resembles that from the Bellingshausen shelf, which is associated with CDW. In addition to the faunal evidence, hydrographic data indicate incursions of CDW into Palmer Deep (Leventer et al., 1996). A distinctive diatom assemblage dominated by a single genus was associated with peaks in B. aculeata, whereas a few different assemblages were associated with lows in B. aculeata. Leventer et al. (1996) interpreted the variability in diatom assemblages as an indication of changes in productivity associated with changes in water column stability. Abelmann and Gowing (1997) studied the horizontal and vertical distributions of radiolarians in the Atlantic sector of the Southern Ocean. They show that the spatial distribution of radiolarian assemblages reflects hydrographic boundaries. In a transect from the subtropical Atlantic to polar Antarctic zones, radiolarians in the upper 1000 m of the water column occurred in distinct surface and deep-living assemblages related to water depth, temperature, salinity, and nutrient content. Living assemblages resembled those preserved in underlying surface sediments (Abelmann and Gowing, 1997). Circumantarctic coastal sediments from neritic environments contained a distinctive assemblage dominated by the Phormacantha hystrix/Plectacantha oikiskos group and Rhizoplegma boreale (Nishimura et al., 1997). Low diversity and species compositions distinguished the coastal sediments from the typical pelagic Antarctic assemblages. Factors that controlled the assemblages were water depth, proximity to the coast, occurrence of sea ice, and steepness of topography, rather than temperature and salinity. Nishimura et al. (1997) found a gradient of sorts from deep-water sites containing diverse assemblages typical of pelagic environments to coastal sites with low diversity assemblages dominated by P. hystrix/P. oikiskos group and R. boreale. In general, sites between these two extremes had increased proportions of the coastal assemblage with decreasing water depth (Nishimura et al., 1997). At a site near Hole 1098 (GC905), they showed that the relative abundance of the coastal assemblage increased downcore (Nishimura et al., 1997). The purpose of the research presented here was to make a cursory investigation into the radiolarian assemblages as possible paleoenvironmental indicators.