an integrity assurance mechanism for run-time programs

Chinese Assoc Cryptol Res, State Key Lab Informat Secur, Inst Software, Grad Univ Chinese Acad Sci, Natl Nat Sci Fdn China

practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

Changes in benthic algal communities following construction of a run-of-river dam

Ecological responses to dam construction are poorly understood, especially for downstream benthic algal communities. We examined the responses of benthic algal communities in downstream reaches of a tributary of the Xiangxi River, China, to the construction of a small run-of-river dam. From February 2003 to August 2006, benthic algae, chemical factors, and habitat characteristics were monitored upstream and downstream of the dam site. This period spanned 6 mo before dam construction and 37 mo after dam construction. Benthic algal sampling yielded 199 taxa in 59 genera that belonged to Bacillariophyta, Chlorophyta, and Cyanophyta. Some physical factors (flow velocity, water depth, and channel width) and 3 algal metrics (diatom species richness, Margalef diversity, and % erect individuals) were significantly affected by the dam construction, whereas chemical factors (e.g., NH4-N, total N, SiO2) were not. Nonmetric multidimensional scaling (NMS) ordinations showed that overall algal assemblage structure downstream of the dam sites was similar to that of upstream control sites before dam construction and for 1 year after dam construction (p > 0.05). However, sites belonging to upstream and downstream reaches were well separated on NMS axis 1 during the 2(nd) and 3(rd) years after dam construction. Our results suggest that impacts of dam construction on benthic algal communities took 2 to 3 y to emerge. Further development of a complete set of indicators is needed to address the impact of small-dam construction. Our observations underscore the need for additional studies that quantify ecological responses to dam construction over longer time spans.

A moored underwater energy conservation system for profiling measurement

There is a need to obtain the hydrologic data including ocean current, wave, temperature and so on in the South China Sea. A new profiling instrument which does not suffer from the damage due to nature forces or incidents caused by passing ships, is under development to acquire data from this area. This device is based on a taut single point mid-water mooring system. It incorporates a small, instrumented vertically profiling float attached via an electromechanical cable to a winch integral with the main subsurface flotation. On a pre-set schedule, the instrument float with sensors is winched up to the surface if there is no strip passing by, which is defined by an on-board miniature sonar. And it can be immediately winched down to a certain depth if the sonar sensor finds something is coming. Since, because Of logistics, the area can only be visited once for a long time and a minimum of 10 times per day profiles are desired, energy demands are severe. To respond to these concerns, the system has been designed to conserve a substantial portion of the potential energy lost during the ascent phase of each profile and subsequently use this energy to pull the instrument down. Compared with the previous single-point layered measuring mode, it is advanced and economical. At last the paper introduces the test in the South China Sea.