三维精细积分法地震正演及边界条件

 将任意差分精细积分法用于三维波动方程地震正演，关键在于如何消除数值计算中有限波场区域边界引起的边界反射。文中采用Berenger给出的电磁波完全匹配层吸收边界条件，推导出三维波动方程任意差分精细积分法地震正演的完全匹配层吸收边界条件计算公式，并给出了完全匹配层吸收边界条件算例。计算结果表明，此方法压制边界反射效果明显。三维波动方程地震正演模拟实例表明，完全匹配层吸收边界条件的任意差分精细积分法为复杂区地震波传播规律研究提供了一种实用的正演模拟工具     

Multi-Reservoir System Optimization using Chlorophyll-<Emphasis Type="Italic">a</Emphasis> Trophic Indexes

The problem of managing water scarcity by resorting to complex interconnected multi-source water systems needs to utilize management optimization techniques analyzing aspects of water quantity and quality in a common strategy. In the southern regions of Mediterranean Europe, the greater part of water resources for supply systems are derived from artificial reservoirs and water systems can become quite complex since they interconnect several sources and demand centers, as indeed occurs in the Region of Sardinia (Italy). A simplified approach to the requirement to insert water quality aspects in the mathematical optimization model can be achieved by examining the trophic conditions of reservoirs. Trophic State Indexes (TSI) based on Carlson’s (1977) make it possible to insert quality constraints in the water management optimization model also considering complex multi-reservoir and multi-user systems. Model formalization and implementation by the optimization toolkit WARGI (Water Resource system optimization aided by Graphical Interface) (Sechi and Zuddas 2000; Manca et al. 2004; Salis et al. 2005) is illustrated in this paper. The usefulness of a mixed quantity–quality optimization approach has been confirmed by WARGI application to a real multi-reservoir water resources system in southern Sardinia. The optimization model remains computationally efficient dealing with this complex multi-reservoir system and the obtained results can be seen as a reference target in a subsequent simulation phase.     

网络环境下高校图书馆期刊资源建设与发展

本文根据电子期刊的定义、特点及图书馆期刊工作所需要面对的问题，就高校图书馆网络环境下期刊工作的设施规划、资料收集、信息开发及读者培训等多方面内容进行了简单探讨，并就如何应对网络环境下图书馆期刊工作的变化提出建议。     

Strategic appraisal of energy models for Mozambique

The needs that an energy supply system must meet are constantly changing, due to technological, social and political reasons. Effective energy planning is a dynamic process that is repeated periodically and adjusts to changing conditions. Energy decision makers and planners are no longer able to rely on inductive decision making since they have to investigate the effect of various decision parameters and possible future changes. To help in this process, models have been developed where estimates of future load growth, candidate power plants, fuels and other key factors can be introduced, from which the planners can evaluate decision parameters and the available alternatives. The paper presents the different methodologies and practices that are used by 11 energy models for energy demand forecasting, supply side management and generation expansion planning, demand side management and integrated resource planning. The paper concludes to the presentation of a strategic appraisal of the examined energy models appropriate for energy planning in Mozambique. Three models are proposed for conducting demand forecasting, generation expansion planning and demand side management. Copyright © 2002 John Wiley & Sons, Ltd.     

Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures

We present two proactive resource allocation algorithms, RBA^*-FT and OBA-FT, for fault-tolerant asynchronous real-time distributed systems. The algorithms consider an application model where task timeliness is specified by Jensen's benefit functions and the anticipated application workload during future time intervals is described by adaptation functions. In addition, we assume that reliability functions of processors are available a priori. Given these models, our objective is to maximize aggregate task benefit and minimize aggregate missed deadline ratio in the presence of processor failures. Since determining the optimal solution is computationally intractable, the algorithms heuristically compute sub-optimal resource allocations, but in polynomial time. Experimental results reveal that RBA^*-FT and OBA-FT outperform their non-fault-tolerant counterparts in the presence of processor failures. Furthermore, RBA^*-FT performs better than OBA-FT, although OBA-FT incurs better worst-case and amortized computational costs. Finally, we observe that both algorithms robustly withstand errors in the estimation of anticipated failures.     

铁通资源管理系统的设计和实现

在分析铁路通信资源结构的基础上,利用地理信息系统技术、数据库技术和客户/服务器(C/S)模式,为铁通(ChinaTietong)各级分公司和运营部门提供一套较为完善的资源管理信息系统。文中分析了铁通资源的结构与资源之间的关联,介绍了系统功能、物理结构及体系结构,详细分析了数据库设计、地理信息系统和系统安全性所采用的关键技术。这套系统的应用对铁通网络管理的现代化将起到重要的推动作用。     

Targeting optimum resource allocation using reverse problem formulations and property clustering techniques

Decoupling the constitutive equations from the balance and constraint equations allows for reformulating a conventional forward problem into two reverse problems. The first reverse problem is the reverse of a simulation problem, where the process model is solved in terms of the constitutive (synthesis/design) variables instead of the process variables, thus providing the synthesis/design targets. The second reverse problem (reverse property prediction) solves the constitutive equations to identify unit operations, operating conditions and/or products by matching the synthesis/design targets. Visualization of the problem is achieved by employing recently developed property clustering techniques, which allows a high-dimensional problem to be visualized in two or three dimensions. The clusters by definition satisfy intra-stream and inter-stream conservation through linear “mixing” rules, which allows for the development of consistent additive rules along with their ternary representation.     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

关于我国资源保障能力的若干思考

资源保障能力是一国综合国力判断的重要指标之一。本文首先界定了资源保障能力的涵义，然后分析了五个对资源保障能力比较重要的影响因素，即资源禀赋、经济发展水平、科学技术因素、政治因素和人们的资源观，最后得出几点我国提高资源保障能力的建议以供参考。