A systematic review on the functional testing of semantic web services

Semantic web services are gaining more attention as an important element of the emerging semantic web. Therefore, testing semantic web services is becoming a key concern as an essential quality assurance measure. The objective of this systematic literature review is to summarize the current state of the art of functional testing of semantic web services by providing answers to a set of research questions. The review follows a predefined procedure that involves automatically searching 5 well-known digital libraries. After applying the selection criteria to the results, a total of 34 studies were identified as relevant. Required information was extracted from the studies and summarized. Our systematic literature review identified some approaches available for deriving test cases from the specifications of semantic web services. However, many of the approaches are either not validated or the validation done lacks credibility. We believe that a substantial amount of work remains to be done to improve the current state of research in the area of testing semantic web services.     

Using C/X-band SAR interferometry and GNSS measurements for the Assisi landslide analysis

This work presents an analysis of the applicability of synthetic aperture radar (SAR) interferometry to landslide monitoring. This analysis was carried out by using different interferometric approaches, different spaceborne SAR data (both in the C-band and in the X-band), and in situ global navigation satellite system (GNSS) measurements. In particular, we investigated both the reliability of displacement monitoring and the issues of the cross-comparison and validation of the interferometric synthetic aperture radar (InSAR) results. The work was focused on the slow-moving landslide that affects a relevant part of the urban area of the historical town of Assisi (Italy).

A C-band ENVISAT advanced synthetic aperture radar (ENVISAT ASAR) dataset acquired between 2003 and 2010 was processed by using two different interferometric techniques, to allow cross-comparison of the obtained displacement maps. Good correspondence between the results was found, and a deeper analysis of the movement field was possible. Results were further compared to a set of GNSS measurements with a 7 year overlap with SAR data. A comparison was made for each GNSS marker with the surrounding SAR scatterers, trying to take into account local topological effects, when possible.

Further, the high-resolution X-band acquired on both ascending and descending tracks by the COSMO-SkyMed (CSK) constellation was processed. The resultant displacement fields show good agreement with C-band and GNSS measurements and a sensible increase in the density of measurements.     

Game theory and time utility functions for a radio aware scheduling algorithm for WiMAX networks

In WiMAX systems the Base Station scheduler plays a key role as it controls the sharing of the radio resources among the users. The goal of the scheduler is multiple: achieve fair usage of the resources, satisfy the QoS requirements of the users, maximize goodput, and minimize power consumption, and at the same time ensuring feasible algorithm complexity and system scalability. Since most of these goals are contrasting, scheduler designers usually focus their attention on optimizing one aspect only. In this scenario, we propose a scheduling algorithm (called GTS_N\mathrm{GTS_N}) whose goal is to contemporaneously achieve efficiency and fairness, while also taking into account the QoS requirements and the channel state. GTS_N\mathrm{GTS_N} exploits the properties of Time Utility Functions (TUFs) and Game Theory. Simulations prove that the performance of GTS_N,\mathrm{GTS_N}, when compared to that of several well-known schedulers, is remarkable. GTS_N\mathrm{GTS_N} provides the best compromise between the two contrasting objectives of fairness and efficiency, while QoS requirements are in most cases guaranteed. However, the exponential complexity introduced by the game theory technique makes it rather impractical and not computationally scalable for a large number of users. Thus we developed a suboptimal version, named sub-GTS_N.\mathrm{GTS_N}. We show that this version retains most of the features and performance figures of its brother, but its complexity is linear with the number of users.     

社会团体的反击

认为web3.0和社交网络会让我们摆脱在公共空间中进行物理交流需求的想法需要再斟酌。事实上,当环境中的技术设施让我们能够用负担得起的可移动设备与世界相联系、让新的工作和社交模式能够在家里甚至喜爱的酒吧中产生的时候,很多在家工作的人和网友开始感受到一种需要重新建立起某些真正的社会团体的需求。因此很容易理解,在过去的几十年中,许多城市成为一种"合作"机制网络成长的摇篮。"合作"机制是一种实验,为喜欢与他人共享空间的人们提供廉价、灵活和非正规的生活和工作的解决方案。更准确地说,分享是这些措施中可持续性的关键,因为仅仅通过让一个     

Energy intensity of maritime trades: Evidences from the EX-TREMIS database

This paper describes the energy consumption performance of sea-going ships engaged in the EU27 seaborne trades based on data and parameters resulting from the EX-TREMIS (EXploring non road TRansport EMISsions in Europe) database. EX-TREMIS is a comprehensive database of fleet and transport activity data, specific energy consumption, emission factors and total emissions from rail, maritime and air transport in the European Union. The EX-TREMIS maritime model derives from a mixture of top–down and bottom–up approaches for estimating pollutant emissions from shipping activities. The model did not use direct observations of actual trips, but empirically derived the number of equivalent-ships. Cargo type shipments were linked to seven ship type categories for which a further segmentation by ship size (three length classes), type and age of the main engine and type of fuel was applied.     

Low-power high-speed rail-to-rail LCD output buffer with dual-path push–pull operation and quiescent current control

The present paper addresses a new compact low-power high-speed output buffer amplifier topology for large-size liquid crystal display applications. The suggested buffer achieves fast driving performance, draws a low quiescent current during static operation and offers a rail-to-rail common-mode input range. The circuit provides enhanced slewing capabilities with a limited power consumption by simultaneously exploiting the push–pull output sections of two basic complementary-type input amplifiers to realize a dual-path push–pull operation of the output stage. An auxiliary biasing network integrated in the input differential stage allows the quiescent bias conditions of the class-AB output stage to be inherently controlled without additional current dissipation. Post-layout simulation results confirm that the proposed amplifier can drive a 1-nF column line load within a 0.9-μs settling time under a 3-V full voltage swing, while drawing only 3.5-μA quiescent current. Monte Carlo simulations are finally carried out, showing a good degree of robustness of the proposed output buffer against process and mismatch variations.     

创新型高性能纤维——玄武岩纤维

运用玄武岩提取纤维的技术由来已久，但一些生产制造商们生产出的玄武岩纤维的质量和数量尚处于较低水平。奥地利Asamer玄武岩纤维公司付出了两年的时间致力于该领域的研究，纤维的品质有了很大的改进，且位于奥地利的一生产工厂于2009年初投入生产。预计其市场份额也将大幅增长。     

Edge degree-of-sharpness and free-stream turbulence scale effects on the aerodynamics of a bridge deck

This paper discusses the sensitivity of the aerodynamic behavior of a trapezoidal-shaped bridge deck cross-section to its lower corner degree-of-sharpness and to the incoming flow turbulence integral length scale in conjunction with low turbulence intensity. Since these features are hard to set and measure in experimental facilities, the aerodynamic behavior of the body has been investigated through the computational simulation of the flow around it. The results are given in term of force coefficients, Strouhal number, pressure distribution along its surface, and the mean and instantaneous flow patterns. Dramatic changes in the force coefficients and Strouhal number occur following small changes in the parameter values. These changes have been found to be due to significant modifications in the topological structure of the flow. Special emphasis has been given to the analysis of the separation and reattachment points, the recirculation bubble length, the vortex shedding mechanisms and the wake structures. On the basis of the results, four aerodynamic regimes have been pointed out in analogy with the well-known individual Re number regimes. Some of these regimes have also been recognized on the deck section with the considered sharpest and smoothest lower edge treatments, i.e. for the highest and lowest degrees-of-sharpness.