Management gaps analysis: a case study of groundwater resource management in New Zealand

The primary objective of this project is to identify gaps, whether real or perceived, that hinder effective groundwater management in New Zealand. These gaps show as gaps in information, gaps in implementation, gaps in technological and management tools, and gaps in understanding of fundamental processes. The secondary objective is to propose a management strategy to close the identified gaps. Several methods are used to meet these objectives: surveys distributed to selected staff in each regional council; the review of various written reports; the analysis of land-use databases; and private consultation within each regional council. Results show that groundwater management in New Zealand is generally reactionary with the main gaps being in strategic planning and national guidelines. Most gaps appear to be predominantly information and implementation issues. In some cases there are gaps in the understanding of fundamental processes within an aquifer system, including the long-term effects of land-use on groundwater quality. An adaptive management approach is suggested as a means of closing these gaps.     

DYRE: a DYnamic REconfigurable solution to increase GPGPU’s reliability

The Journal of Supercomputing - General-purpose graphics processing units (GPGPUs) are extensively used in high-performance computing. However, it is well known that these devices’...     

Aberrant protein expression in plasma and kidney tissue during experimental obstructive nephropathy

Kidney failure is a major health problem worldwide. Patients with end-stage renal disease require intensive medical support by dialysis or kidney transplantation. Current methods for diagnosis of kidney disease are either invasive or insensitive, and renal function may decline by as much as 50% before it can be detected using current techniques. The goal of this study was, therefore, to identify biomarkers of kidney disease (associated with renal fibrosis) that can be used for the development of a non-invasive clinical test for early disease detection. We utilized two protein-profiling technologies (SELDI-TOF MS and 2-D) to screen the plasma and kidney proteome for aberrantly expressed proteins in an experimental mouse model of unilateral uretric obstruction, which mimics the pathology of human renal disease. Several differentially regulated proteins were detected at the plasma level of day-3-obstructed animals, which included serum amyloid A1, fibrinogen α, haptoglobin precursor protein, haptoglobin and major urinary proteins 11 and 8. Differentially expressed proteins detected at the tissue level included ras-like activator protein 2, haptoglobin precursor protein, malate dehydrogenase, α enolase and murine urinary protein (all p<0.05 versus controls). Immunohistochemistry was used to confirm the up-regulation of fibrinogen. Interestingly, these proteins are largely separated into four major classes: (i) acute-phase reactants (ii) cell-signaling molecules (iii) molecules involved in cell growth and metabolism and (iv) urinary proteins. These results provide new insights into the pathology of obstructive nephropathy and may facilitate the development of specific assay(s) to detect and monitor renal fibrosis.     

Human Chorionic Gonadotropin and Early Embryogenesis: Review

Human chorionic gonadotropin (hCG) has four major isoforms: classical hCG, hyperglycosylated hCG, free β subunit, and sulphated hCG. Classical hCG is the first molecule synthesized by the embryo. Its RNA is transcribed as early as the eight-cell stage and the blastocyst produces the protein before its implantation. This review synthetizes everything currently known on this multi-effect hormone: hCG levels, angiogenetic activity, immunological actions, and effects on miscarriages and thyroid function.     

Efficiency and degradation of a copper indium diselenide photovoltaic module and yearly output at a sunny site in Jordan

The present work mainly deals with the testing and modeling of a commercially-available copper indium diselenide (CIS) ST40 module from the former Siemens Solar Industries (SSI). For this purpose, a large quantity of current/voltage characteristics were measured in the Paul Scherrer Institute (PSI)’s photovoltaic test-facility under different cell temperatures, solar irradiation and air mass, AM, conditions. They were used to develop a semi-empirical efficiency model to correlate all measured data sets. The goal was to make available a model, allowing quick and accurate calculation of the performance of the CIS module under all relevant operating conditions.

For the undegraded state of the module, the efficiency model allowed us to deduce the efficiency at Standard Test Conditions, STC, and its temperature coefficient at STC, which were 11.58% and minus 0.050%/°C, respectively. The output of the undegraded module under STC was found to be 42.4 W, i.e., 6% higher than specified by the manufacturer (40 W). Furthermore, the efficiency does not decrease with increasing air mass. At a cell temperature of 25 °C and a relative air mass of 1.5, the module has a maximum in efficiency of 12.0% at an irradiance of about 650 W/m². This indicates that the series-resistance losses become significant at higher irradiances. Hence, improving the transparent conducting oxide (TCO) electrode on the front side of the cells might lead to a higher output at high irradiances.

Identical testing and modeling were repeated after having exposed the module to real weather conditions for one year. We found that the STC efficiency was reduced by 9.0%, from 11.58 down to 10.54%. The temperature coefficient of the efficiency had changed from minus 0.050 %/°C to minus 0.039%/°C. These results indicate possible chemical changes in the semiconductor film. The output of the module at STC was reduced by 9.0% from 42.4 W down to 38.6 W.

Using meteorological data from a sunny site in the South of Jordan (Al Qauwairah) and the efficiency model presented here allows us to predict the yearly electricity yield of the CIS module in that area. Prior to degradation, the yield was found to be 362 kWh/m² for the Sun-tracked module; and 265 kWh/m² for the fix-installed module (South-oriented, at an inclination angle of 30°). After degradation the corresponding yields were found to be 334 and 241 kWh/m²; meaning losses of 8.4% and 9.5%, respectively. (Note: all units of energy, kWh, are referred to the active cell area.) Having available efficiency models for other module types, similar predictions of the yield can be made, facilitating the comparisons of the yearly yields of different module types at the same site. This in turn allows selecting the best module type for a particular site.     

How verified (or tested) is my code? Falsification-driven verification and testing

Formal verification has advanced to the point that developers can verify the correctness of small, critical modules. Unfortunately, despite considerable efforts, determining if a “verification” verifies what the author intends is still difficult. Previous approaches are difficult to understand and often limited in applicability. Developers need verification coverage in terms of the software they are verifying, not model checking diagnostics. We propose a methodology to allow developers to determine (and correct) what it is that they have verified, and tools to support that methodology. Our basic approach is based on a novel variation of mutation analysis and the idea of verification driven by falsification. We use the CBMC model checker to show that this approach is applicable not only to simple data structures and sorting routines, and verification of a routine in Mozilla’s JavaScript engine, but to understanding an ongoing effort to verify the Linux kernel read-copy-update mechanism. Moreover, we show that despite the probabilistic nature of random testing and the tendency to incompleteness of testing as opposed to verification, the same techniques, with suitable modifications, apply to automated test generation as well as to formal verification. In essence, it is the number of surviving mutants that drives the scalability of our methods, not the underlying method for detecting faults in a program. From the point of view of a Popperian analysis where an unkilled mutant is a weakness (in terms of its falsifiability) in a “scientific theory” of program behavior, it is only the number of weaknesses to be examined by a user that is important.     

TSTL: the template scripting testing language

International Journal on Software Tools for Technology Transfer - A test harness, in automated test generation, defines the set of valid tests for a system, as well as their correctness properties....     

An analysis of students’ spontaneous computer-mediated help seeking: A step toward the design of ecologically valid supporting tools

This study analyzes middle school students’ spontaneous mathematics-related help-seeking behavior, in view of making ecologically valid recommendations for the design of supporting tools or “help systems”. Our aim was to investigate the content of students’ help-seeking messages – Are there different forms of help-seeking messages and do they evolve with age? We used the archives of a French forum that provides students with free individualized help in mathematics. The data consisted of 206 messages sent by French middle school students over a period of 42 months. The constituent categories of the messages were identified. The results showed that not all middle school students use the same help-seeking “format”. Compared to sixth graders, ninth graders wrote messages containing more constituent categories, i.e., they provided the online expert with more kinds of information. A detailed analysis of the categories further showed that older students’ messages more often contained explicit help requests and contextual information than did younger students’ messages. Thus, the messages of the oldest students (age 15) were both cognitively more understandable and socially more acceptable than those of the youngest students (age 11). The interpretation of these findings and their implications for designing help systems are discussed.     

省略DVI 低价液晶到底值不值得购买

还是在液晶显示器最初普及的阶段,省略了DVI接口的产品曾经是霸占整个低端液晶市场的绝对主流。不过到了2007年,液晶显示器的发展开始快速变化,具备DVI＋VGA接口的液晶显示器已经成为了市场主流。而正是在这个时候,市场上还存留着一批省略了DVI接口的低价液晶。在这样的市场环境下,省略DVI的低价液晶到底值不值得购买？也就成为了人们争论的焦点。[编者按]