extending the boundary of spreadsheet programming: lessons learned from chinese governmental projects

ICSE

Effects of Abnormal Early Rearing Environments on Fear Memory in Adult Rats

为了探讨早期饲养环境对成年后大鼠条件化恐惧的影响,实验采用巴氏恐惧条件化的方法对不同饲养环境下的大鼠进行了行为检测.具体操作为:把断奶后的大鼠饲养在3个不同的人工控制的环境中(丰富环境、社群环境和贫瘠环境);8周后进行恐惧条件化训练和测试(指标为僵直百分比),以及检测不同饲养环境下的大鼠的体重、自发活动和足部电击敏感性.结果显示:与社群组相比,丰富组的大鼠条件化僵直水平明显增加,而贫瘠组的明显减少;丰富和贫瘠环境明显的影响了大鼠的体重;不同环境对自发活动和足部电击敏感性没有影响.这些结果说明幼年期的丰富环境能提高成年后大鼠的由声音诱发的条件化恐惧反应,而贫瘠环境则削弱了这种反应.

THE RESPONSES OF Microcystis TO SEDIMENT ENVIRONMENTS AND THE ASSESSMENT FOR ITS OVERWINTERING - A SIMULATION STUDY IN A NOVEL DEVICE

A novel multi-cell device made of organic glass was designed to study morphological and physiological characteristics of Microcystis population trapped in simulated sediment conditions. Changes of colonial morphology and antioxidant activities of the population were observed and measured over the range of 31-day incubation. During the incubation, the antioxidant enzyme activities fluctuated significantly in sediment environments. The activities of catalase (CAT), glutathione peroxidase (GPx) and malondialdehyde (NIDA) reached the highest on the 11(th) day, 6(th) day and 6(th) day. respectively, and then dropped down remarkably in the following days. The ratios of Fv/Fm and the maximal electron transfer rate (ETRm) declined during the initial days (1 similar to 11(th) day), but rebounded on the 16(th) day, which were consistent with the variations of total protein. In the end of incubation. gas vacuoles were hard]), observed and the gelatinous sheath was partly disappeared in the population of Microcystis. Nevertheless, the remaining populations. upon transferred to culture medium, were able to grow though experiencing a longer lag phase of nine days. The results indicated that the sediment environments were able to cause negative effects on M. aeruginosa cells. The cells, however, responded to against the possible damage afterwards. It is thus proposed the acute responses in the population during the early stage of sedimentation could be of importance in aiding the long-term survivor of Microcystis and recruitment in lake sediments. The present study also demonstrated the utility of the device in simulating the sediment environments for further investigation.

Packing LUT clusters with network flow programming

This paper describes a two-step packing algorithm for LUT clusters of which the LUT input multipliers are depopulated. In the first step, a greedy algorithm is used to search for BLE locations and cluster inputs. If the greedy algorithm fails, the second step with network flow programming algorithm is employed. Numerical results illustrate that our two-step packing algorithm obtains better packing density than one-step greedy packing algorithm.

Design and Verification of the Programming Circuit in an Application-Specific FPGA

In this paper we present a methodology and its implementation for the design and verification of programming circuit used in a family of application-specific FPGAs that share a common architecture. Each member of the family is different either in the types of functional blocks contained or in the number of blocks of each type. The parametrized design methodology is presented here to achieve this goal. Even though our focus is on the programming circuitry that provides the interface between the FPGA core circuit and the external programming hardware, the parametrized design method can be generalized to the design of entire chip for all members in the FPGA family. The method presented here covers the generation of the design RTL files and the support files for synthesis, place-and-route layout and simulations. The proposed method is proven to work smoothly within the complete chip design methodology. We will describe the implementation of this method to the design of the programming circuit in details including the design flow from the behavioral-level design to the final layout as well as the verification. Different package options and different programming modes are included in the description of the design. The circuit design implementation is based on SMIC 0.13-micron CMOS technology.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.