固定网综合信息平台的建设

详细介绍了中兴ZXF118固定网综合业务信息平台的结构、建设方案及其组网方案。     

河间东营油藏微生物驱替现场试验

针对河间东营油藏的地质条件和开发特点,开展了微生物采油室内试验和评价,优选适合油藏特点的耐高温微生物菌种,优化驱替试验参数。在室内试验的基础上进行了微生物驱替现场实施方案论证和编制。通过5个注水井组微生物驱替现场试验,取得了较好的增油效果,进一步提高了油藏采收率。     

An implementation of storage management in capability environments

The exploitation of the salient features of capability-based addressing environments leads to a high number of small objects existing in memory at the same time. It is thus necessary to enhance the efficiency of the mechanisms for object relocation, and to avoid congestion of input/output devices due to swapping. In this paper, we present an approach to the management of a large virtual memory space aimed at solving these problems. We insert partial information concerning the physical allocation of each object into the virtual identifier of this object. Objects are grouped into large swapping units, called pages. The page size is independent of the average object size. This results in enhanced efficiency in managing the relocation information both with regard to memory requirements and access times. The allocation of objects into pages, and the movement of pages through the memory hierarchy, are controlled by user processes. This means that programs which have knowledge of their own use of virtual memory can increase their locality of reference, diminish the number of swap operations and reduce fragmentation.     

An Extended Replication of an Experiment for Assessing Methods for Software Requirements Inspections

We have performed an extended replication of the Porter-Votta-Basili experiment comparing the Scenario method and the Checklist method for inspecting requirements specifications using identical instruments. The experiment has been conducted in our educational context represented by a more general definition of a defect compared to the original defect list. Our study involving 24 undergraduate students manipulated three independent variables: detection method, requirements specification, and the order of the inspections. The dependent variable measured is the defect detection rate. We found the requirements specification inspected and not the detection method to be the most probable explanation for the variance in defect detection rate. This suggests that it is important to gather knowledge of how a requirements specification can convey an understandable view of the product and to adapt inspection methods accordingly. Contrary to the original experiment, we can not significantly support the superiority of the Scenario method. This is in accordance with a replication conducted by Fusaro, Lanubile and Visaggio, and might be explained by the lack of individual defect detection skill of our less experienced subjects.     

轻武器射击系统建模及计算结果分析

通过简化臣姿持枪射击系统，利用拉格朗日方程，建立了该射击系统的物理模型和数学模型，并通过数值模拟，论述了缓冲簧对系统动态特性的影响，最后通过实验，对无缓冲簧射击系统的动态特性参数进行验证。     

电导法测定乙酸解离常数实验数据处理软件设计

介绍了用电导法测定乙酸解离常数的实验原理和步骤,给出了用计算机对电导法测定乙酸解离常数的实验数据进行处理的软件设计方法,同时给出了用Visual FoxPro 6.0编写电导法测定乙酸解离常数的处理软件的基本结构和部分程序代码。     

RFID技术在电网资产全寿命周期管理应用模式探讨

为了配合电网企业建立RFID资产实物标识电子身份证系统,集成资产的实物流、信息流和价值流,实现账、卡、物相符一致,实现资产管理各阶段信息共享及开展资产全生命周期的跟踪管理,同时也为了提高电网设备的现代化管理水平,文章总结了多年来在电网设备RFID实物标识实施的切身体会,对RFID在国内外电力电网设备的应用方面进行了研究,重点对RFID技术在电网资产全寿命周期管理模式进行了探讨。     

P2P网络中的超级节点选取算法研究

P2P系统在构建覆盖网络时未考虑到与物理网络的结合,导致逻辑拓扑结构与物理拓扑结构严重不匹配问题,增加P2P相邻节点间的延迟。本文提出一种基于区域划分的超级节点选取机制,将P2P网络中的节点按照物理位置划分成若干区域,保证区域内节点在物理位置上是相近的。利用MATLAB进行仿真实验,仿真实验表明使用这种机制能降低半分布式P2P网络的信息检索延迟,有效地提高检索的效率,并且具有较好的可扩展性。     

The application of the methodology for secure cyber–physical systems design to improve the semi-natural model of the railway infrastructure

The paper suggests a new methodology for secure cyber–physical systems design. The proposed methodology consists of two main cycles. The main goal of the first cycle is in design of the system model, while the second one is about development of the system prototype. The key idea of the methodology is in providing of the most rational solutions that are improving the security of cyber–physical systems. Such solutions are called alternatives and built according to functional requirements and non-functional limitations to the system. Each cycle of the methodology consists of the verification process and seven stages that are associated with the used cyber–physical system model. The objective of the verification process is in checking of constructed models and prototypes in terms of their correctness and compatibility. The model represents cyber–physical systems as sets of building blocks with network between them, takes elements internal structure into account and allows direct and reverse transformations. The novelty of the suggested methodology is in the combination of design, development and verification techniques within a single approach. To provide an example of the design methodology application, in this paper it is used to improve the semi-natural model of the railway infrastructure.     

Ontological reasoning in the design space exploration of advanced cyber–physical systems

Cyber–physical systems are becoming increasingly complex. In these advanced systems, the different engineering domains involved in the design process become more and more intertwined. Therefore, a traditional (sequential) design process becomes inefficient in finding good design options. Instead, an integrated approach is needed where parameters in multiple different engineering domains can be chosen, evaluated, and optimized to achieve a good overall solution. However, in such an approach, the combined design space becomes vast. As such, methods are needed to mitigate this problem.In this paper, we show a method for systematically capturing and updating domain knowledge in the context of a co-design process involving different engineering domains, i.e. control and embedded. We rely on ontologies to reason about the relationships between parameters in the different domains. This allows us to derive a stepwise design space exploration workflow where this domain knowledge is used to quickly reduce the design space to a subset of likely good candidates. We illustrate our approach by applying it to the design space exploration process for an advanced electric motor control system and its deployment on embedded hardware.