INFORMATION LITERACY IN A RESEARCHER'S LEARNING LIFE: THE SEVEN AGES OF RESEARCH

This article uses data from research conducted in the course of writing a book on the needs, wants and characteristics of researchers to examine how researchers view themselves and the research process. As a result of this, the Seven Ages of Research model was developed which categorises a researcher's learning life into a series of discrete stages. The article explores learning needs relevant to each age in the learning life and links them to the development of information literacy. The authors explore the polarisation that exists between what researchers think research is about and what they believe the library can offer them, and suggest that information literacy needs to be seen as involving a change in understanding of, and attitude to, the world of information, as well as the nature of those information needs. Finally, they explore the librarian's role in an e-environment which has changed the way researchers work and identify some of the challenges facing library and information services professionals in the future in supporting researchers throughout their learning lives.     

Property preserving abstractions for the verification of concurrent systems

We study property preserving transformations for reactive systems. The main idea is the use of simulations parameterized by Galois connections (, ), relating the lattices of properties of two systems. We propose and study a notion of preservation of properties expressed by formulas of a logic, by a function mapping sets of states of a systemS into sets of states of a systemS'. We give results on the preservation of properties expressed in sublanguages of the branching time -calculus when two systemsS andS' are related via (, )-simulations. They can be used to verify a property for a system by verifying the same property on a simpler system which is an abstraction of it. We show also under which conditions abstraction of concurrent systems can be computed from the abstraction of their components. This allows a compositional application of the proposed verification method.This is a revised version of the papers [2] and [16]; the results are fully developed in [28].This work was partially supported by ESPRIT Basic Research Action REACT.Verimag is a joint laboratory of CNRS, Institut National Polytechnique de Grenoble, Université J. Fourier and Verilog SA associated with IMAG.     

生鲜水产品保鲜膜和保鲜衬垫的应用及研究进展

目的 阐明提高生鲜水产品贮藏保鲜性能的适用方法,指出现有水产品保鲜技术和保鲜材料存在的问题及不足,对未来生鲜水产品保鲜材料的发展作出展望性分析。方法 介绍生鲜水产品保鲜常用的物理、化学和生物保鲜技术的优势和不足。从分类、应用范围及抗菌、抗氧化等性能多角度出发分析保鲜膜、保鲜衬垫的研究现状。结果 传统的保鲜技术虽对生鲜水产品有一定的保鲜作用,但其保鲜性能有限,保鲜膜、保鲜衬垫辅以抗菌、抗氧化等性能的生物保鲜剂,可延长生鲜水产品的货架期。结论 保鲜膜、保鲜衬垫同生物保鲜剂联合使用,以获得具有高效、长效保鲜性能的新型保鲜材料,提高了生鲜水产品的鲜度品质。新型保鲜材料具有广阔的发展前景。     

微波杀菌及包装材料的微波穿透性对湿豆皮保鲜品质的影响

目的 探究不同包装材料结合微波杀菌对湿豆皮保鲜效果的影响,为湿豆皮提供新的保鲜方案。方法 将湿豆皮分别装入OPP/PE和PET/PE/CPP材料的包装袋中,经密封后进行微波杀菌处理,测定其贮藏期间的指标。结果 经微波处理后,湿豆皮在OPP/PE中的表面温度比在PET/PE/CPP中高8 ℃,菌落总数少0.66 lg(CFU/g),说明微波更易穿透OPP/PE材料,更能有效延缓长期贮藏中因微生物活动造成的氧气含量下降和二氧化碳上升,延缓湿豆皮的pH值、水分含量和拉伸性的下降,抑制其TVB-N含量的上升,从而抑制组织结构的破坏,减缓脂质酸败的速率,还可减小色差的变化幅度,维持更高的感官评价得分。结论 采用微波处理能够有效延长湿豆皮的保鲜期,OPP/PE和PET/PE/CPP材料组湿豆皮的保鲜期分别延长了15、12 d左右,且对不同材料包装的湿豆皮品质的影响差异显著。采用微波穿透性更好的包装材料,其微波作用强度更大,杀菌效果更明显,保鲜效果更好。     

太阳能全玻璃真空集热管参数方程及测算

论述了太阳能全玻璃真空集热管的热损系数ＵＬ、保温率ηＢ、时间常数τＣ的参数方程并给出了测算方法。     

历史街区的保护

城市发展更新的加快,使我国历史文化名城遭受不同程度的破坏。通过比较国内外有关的实践经验,作者认为应将历史街区作为保护的重点。并力图探索一条如何在传统与现代,整治与保护以及资金短缺等矛盾中实施保护的切实可行之路。     

石油钻井企业设备管理数据仓库多重粒度模型的研究

数据仓库在决策支持系统fDSS）中起着核心作用,而要创建一个好的数据仓库,如何划分数据粒度是要解决的一个重要问题。该文通过在石油运输企业数据仓库建立多重粒度模型,以便更好地满足不同层次用户的决策分析需要。从而提高效率,为企业创造更大利润。     

Model order reduction methods for coupled systems in the time domain using Laguerre polynomials

In this paper, based on Laguerre polynomials, we present new methods for model reduction of coupled systems in the time domain. By appropriately selected projection matrices, a reduced order system is produced to retain the topology structure of the original system. Meanwhile, it preserves a desired number of Laguerre coefficients of the system’s output, thereby providing good approximation accuracy. We also study the two-sided projection method in the time domain, as well as the stability of reduced order systems. Two numerical examples are used to illustrate the efficiency of the proposed methods.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

面向移动自组网的分布式认知MAC协议改进设计

针对移动自组网MAC协议未考虑节点移动性、缺乏功率控制机制、算法开销较大等问题,改进设计基于信道可维持时间的分布式认知MAC协议。新协议建立了节点存储信息结构,根据节点功率与移动速度的关系,构建信道可维持时间模型,并改进信道感知和数据传输算法,增加移动性和信道增益考虑,降低速度和功率对信道感知的影响,提高协议对移动性的适应能力。结果表明,对于中低速网络而言,该协议在不增加控制开销的基础上,丢包率、时延和频谱利用率等性能得到较大改善。