分布式地震数据处理系统研究

地震数据处理是一个非常复杂的系统工程，其过程涉及到大量的功能模块，这些功能模块构成了一个完整的地震数据处理系统，针对当前单个地震数据处理系统存在的突出问题，提出了一种基于网络技术的分布式地震数据处理系统，以适应愈来愈复杂的地震数据处理的需要，达到提高地震数据处理质量，减少地震数据处理周期的目的。分布式地震数据处理系统的地震数据采用局部地震数据库和全局地震数据库两种管理方式。功能模块设计为局部的，使用该处理系统进行管理，通过计算机网络功能，将多台计算机上的多个地震数据处理系统有机地结合起来，共同完成一次地震数据处理过程，其最大特点就是能够优化模块组合，进行数据共享，形成最佳处理流程，快速，高效地完成处理工作。     

基于VTK三维地震数据体绘制系统框架

针对地震数据信息量大的特点,文中提出了一种针对三维地震数据体绘制系统的框架。解决的方法是将数据处理、用户交互、渲染绘制分离成三个模块,并且设计了层次结构来保持模块之间的独立性,便于各个模块的修改、更换和扩展,提高了可视化绘制系统快速开发的灵活性。基于三维可视化开发工具包VTK,设计并编程实现了一个地震数据体绘制系统界面。通过实验结果证明,此体绘制方案是可行的、有效的。     

地震作业数据处理并行化的几个问题

我们知道，地震数据处理工作模块的工作是按如下步骤进行的。它们必须在地震数据作业子操作系统的控制下运行。一个处理过程往往要处理数以千记的记录道；另一方面，同一道记录又要用很多个工作模块做处理。这些工作模块构成一个作业。在同一个作业中有些工作模块的处理顺序是不能变动的。而有些则是可以变化的。工作模块一般由分析功能和执行功能组成。分析功能系指对于地震作业卡进行译码、分析，从而确定本模块的工作方式。在一个作业卡中，不管这个工作模块要做多少处理，而分析功能却只进行一次。执行功能系指工作方式确定之后对地震记…     

基于MPI＋OpenMP混合模型的并行地震数据处理支撑库的研究

计算机集群技术已经引起了石油地球物理界的广泛关注，如何将现有地震数据处理模块快速、高效地移植到集群上已成为地震数据处理需要解决的重大课题。本文将现有的基于消息传递（MPI）的并行地震处理模型与共享存储（OpenMP）模型相结合，实现了一个适合于SMP集群的并行地震数据支撑库，将涉及到消息传递的并行地震数据操作以直观的API的形式提供给开发人员。本文利用支撑库提供的API开发了一些测试模块。实验证明，支撑库可支持现有地震数据处理和显示模块的多种并行计算模型，并且能够获得较高的并行加速比和计算效率。     

地震信号处理软件系统

本文介绍了地震信号处理软件系统的设计和实现。该系统实现了地震数据的读入写出、地震数据的数据库管理，有功能丰富的地震信号处理算法和操作和方便的人机交互界面。     

宿舍灯光与预警智能控制系统设计

近年来地震预警技术、传感器技术和物联网技术的飞速发展。本文设计了一个节能、实用、适用于集体宿舍的灯光与预警智能控制系统，该系统的控制器为STM32单片机，以人体感应模块、语音识别模块、WiFi模块等作为外设来进行设计，实现了远程控制和地震预警信息的接收。该系统适用于人员密集的集体宿舍，可以智能调控灯光节能并实时火灾地震预警。     

基于GIS的长江三峡工程诱发地震预测信息管理与辅助决策系统

从系统需求分析出发,介绍了长江三峡工程水库诱发地震预测信息管理与辅助决策系统以地理信息系统(GIS)为基础平台的可视化设计思想及其相应结构体系,研制并开发了基础信息综合管理与分析模块、水库诱发地震概率预测与评估模块、按学科的水库诱发地震预测模块以及抗震救灾指挥辅助决策模块等多个主模块以及系统帮助模块等辅模块,并对各主要模块的功能分别进行了论述。     

LDM地震数据体的存储格式分析与应用

在油气勘探过程中,地震数据体是最重要的基础数据之一。地震数据体通常采用 SEGY 标准进行存储,随着油田信息的三维可视化技术的发展,为适应快速抽线和体渲染的需求,出现了Large Data Management(LDM)存储格式,但LDM格式的技术细节并不公开。本文通过定制LDM数据体,分析各个数据块的存储位置,并结合八叉树存储的基本原理,详细分析了 LDM 的数据存储格式并给出了算法实现。根据此算法实现的地震剖面抽取显示模块节省了存储空间,并提高了数据抽取效率。     

一种海量地震资料采集质量管理系统

针对野外地震数据分析与评价工作缺乏客观、完整、有效的质量控制的实际情况，设计了一个涵盖地震数据采集全过程的管理系统，提出了一个新型的数据评价模型，给出了模型框架和海量数据的处理策略。试验结果表明系统可以有效的控制地震数据采集的质量。     

基于VxWorks的CPCI多通道卡驱动设计与实现

为解决大规模海上拖缆地震勘探对控制系统的实时性和处理效率问题，提出了采用CPCI工控机箱为硬件平台，VxWorks实时操作系统为软件处理平台，设计和实现了一套CPCI多通道卡驱动程序。通过分析VxWorks驱动程序结构和CPCI总线设备特点，重点给出了从内存映射模块、中断注册初始化模块和中断处理模块等方面进行CPCI多通道卡驱动程序的设计方法、实现过程和关键代码。集成CPCI多通道卡驱动程序的“海燕”拖缆定位与控制系统具备12个通道数据处理能力，多次成功应用到海上生产作业中，其实时性和处理效率满足大规模海上拖缆地震勘探对控制系统的要求。CPCI多通道卡驱动程序设计合理，易于扩展到其他具有多通道、多任务、实时性要求高的嵌入式数据采集系统中。     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

How do children do mathematics with LOGO?

Abstract  This paper considers some results of a study designed to investigate the kinds of mathematical activity undertaken by children (aged between 8 and 11) as they learned to program in LOGO. A model of learning modes is proposed, which attempts to describe the ways in which children used and acquired understanding of the programming/mathematical concepts involved. The remainder of the paper is concerned with discussing the validity and limitations of the model, and its implications for further research and curriculum development.