A survey of support for structured communication in concurrency control models

The two standard models used for communication in concurrent programs, shared memory and message passing, have been the focus of much debate for a long time. Still, we believe the main issue at stake should not be the choice between these models, but rather how to ensure that communication is structured, i.e., it occurs only in syntactically restricted code regions. In this survey, we explore concurrency control models and evaluate how their characteristics contribute positively or negatively to the support for structured communication. We focus the evaluation on three properties: reasonability, which is the main property we are interested in and determines how easily programmers can reason about a concurrent program’s execution; performance, which determines whether there are any distinct features which can prevent or facilitate efficient implementations; and composability, which determines whether a model offers constructs that can be used as building blocks for coarser-grained, or higher-level, concurrency abstractions.     

Advancements in the design and validation of an air pollution integrated assessment model for Spain

This paper describes the design and application of the Atmospheric Evaluation and Research Integrated model for Spain (AERIS). Currently, AERIS can provide concentration profiles of NO₂, O₃, SO₂, NH₃, PM, as a response to emission variations of relevant sectors in Spain. Results are calculated using transfer matrices based on an air quality modelling system (AQMS) composed by the WRF (meteorology), SMOKE (emissions) and CMAQ (atmospheric-chemical processes) models. The AERIS outputs were statistically tested against the conventional AQMS and observations, revealing a good agreement in both cases. At the moment, integrated assessment in AERIS focuses only on the link between emissions and concentrations. The quantification of deposition, impacts (health, ecosystems) and costs will be introduced in the future. In conclusion, the main asset of AERIS is its accuracy in predicting air quality outcomes for different scenarios through a simple yet robust modelling framework, avoiding complex programming and long computing times.     

A comprehensive approach to evaluating watershed models for predicting river flow regimes critical to downstream ecosystem services

Selection of strategies that help reduce riverine inputs requires numerical models that accurately quantify hydrologic processes. While numerous models exist, information on how to evaluate and select the most robust models is limited. Toward this end, we developed a comprehensive approach that helps evaluate watershed models in their ability to simulate flow regimes critical to downstream ecosystem services. We demonstrated the method using the Soil and Water Assessment Tool (SWAT), the Hydrological Simulation Program–FORTRAN (HSPF) model, and Distributed Large Basin Runoff Model (DLBRM) applied to the Maumee River Basin (USA). The approach helped in identifying that each model simulated flows within acceptable ranges. However, each was limited in its ability to simulate flows triggered by extreme weather events, owing to algorithms not being optimized for such events and mismatched physiographic watershed conditions. Ultimately, we found HSPF to best predict river flow, whereas SWAT offered the most flexibility for evaluating agricultural management practices.     

高职计算机应用技术专业就业需求调查分析

调查分析了高职院校计算机应用技术专业的就业需求现状,调查对象为随机选取的用人单位,调查内容主要包括就业岗位、需求人数、薪资待遇和就业岗位素质等。调查结果发现高职计算机应用技术专业就业需求状况处于供不应求的状态,据此提出了可行性建议。     

Capturing “cool”: Measures for assessing coolness of technological products

These days, when we float an idea for an interface or demo a prototype, the compliment that we crave for is “This is Cool!” Coolness has become a major design goal for HCI professionals. If we are serious about building Cool into our products, we should also be serious about measuring it. With this in mind, we performed a scientific explication of the concept in order to capture the psychological essence of “coolness,” covering a number of characteristics such as trendiness, uniqueness, rebelliousness, genuineness and utility. Based on the discourse in the literature, we arrived at a series of questionnaire measures, which we subjected to an exploratory factor analysis in Study 1 (N=315). The factor structure that emerged was tested through a confirmatory factor analysis in Study 2 (N=835), in which American and Korean respondents rated their perceptions of a variety of old and new technologies. Converging evidence suggests that in order for an interface to be rated as cool, it should not only be attractive and original, but also help the user assert his/her uniqueness or subcultural identity. Study 3 (N=317) tested the content validity of our factors by comparing them with a holistic evaluation of coolness and arrived at a parsimonious three-factor solution for conceptualizing it in terms of originality, attractiveness and subcultural appeal. Together, these constitute tangible user criteria that designers can strategically address and researchers can systematically measure.     

预防接种现状调查及信息化提高预防接种工作效率的研究

预防接种是预防和控制传染病发生和流行最经济最有效最可靠的措施,实行儿童预防接种信息化管理将全面提高各级各部门的工作效率和信息利用的及时性、可靠性。虽然我国已经建立了较为完备的预防接种体制,但在农村等偏远地区仍然存在接种认知率不足,接种率偏低的情况。通过对丰城市实施儿童预防接种信息管理系统实践情况的调查,探讨实行计算机和网络技术的科学管理,以提高基层儿童计划免疫工作质量和整体效益,实现现代化管理。     

高分辨力地震是提高中国南方碳酸盐岩地震勘探效能的基础——一个由失败到成功的史例

南方碳酸盐岩复杂地区的地震工作经历了长期艰难曲折的道路,其中异常判别的经验教训极为深刻。本文从地震异常分析入手,揭示其实质,寻求问题的关键,探讨解决的办法,介绍高分辨率地震方法技术,展示高分辨率地震新成果,以得出有意义的结论和建议。     

动态法桥梁损伤检测与识别技术面临的挑战

动态法桥梁损伤检测与识别技术是近年来国际土木工程界研究的热点之一。在系统调研的基础上,分析和总结了该项技术在研究与应用过程中所面临的主要问题,同时对其下一步的研究工作提出了相关建议。     

光纤声发射传感技术的进展

介绍光纤声发射传感技术的研究现状和最新进展。综述和评价了基于强度调制、相位调制、波长调制、偏振调制和一些新型调制原理的光纤声发射传感技术，介绍了应用实例，最后提出了目前光纤声发射传感技术研究中急需解决的问题和发展趋势。