千米桥东潜山天然气地球化学特征及成因探索

通过地化分析，结合地质条件等，对千米桥东潜山天然气地球化学特征进行了剖析，并对其气藏的形成进行了探索，结果认为：千米桥东潜山天然气为无机二氧化碳、偏腐殖型有机气，腐泥型有机气的复合气，主源为东部歧口凹陷沿岩带深层（偏）腐殖型气，烃类气体聚集时间晚，为更新世明化镇沉积时其，而无机二氧化碳聚集时间早于烃类气体；与千米桥凝析气藏不同的是该气藏CO2含量高。     

试论会计电算化系统的内部控制

阐述了会计电算化系统产生和发展对内产控制的影响，以及内部控制的实施方法。     

中国石油未来油气勘探重点领域分析

根据近几年来的研究认识与勘探成果分析,未来几年中国石油油气勘探主要集中于如下五大重点领域:大面积低渗透岩性油气藏、成熟区复杂隐蔽油气藏、前陆盆地复杂构造油气藏、海相碳酸盐岩油气藏和渤海湾滩海第三系油气藏。     

葛洲坝水力发电厂自动化技术应用概述

以葛洲坝水力发电厂主要自动化技术应用与设备改造为线索，重点回顾 了该厂实现计算机实时监控、全面提高综合自动化水平的历程；全面总结了该厂为实现“无 人值班”（少人值守）而进行的自动化设备换型改造情况和自动化新技术的应用情况；简要 阐述了自动化技术应用给该厂在运行和管理方面带来的深刻变化；展望了该厂未来自动化技 术应用的前景。     

太阳热水器:解决我国百姓生活热水的唯一有效途径

提起小康水平，人们往往想到人均收入、人均住房面积、人均受教育程度等，往往忽视了更能体现人们生活品质的另一项重要指标：人均生活热水消耗量。目前，发达国家家庭热水能源消耗占总能耗的比例为２５％～３０％。我国是一个能耗大国，人均常规能源占有量极低，２１世纪面临着经济的可持续发展与节能环保的双重课题。用可再生清洁能源解决全部或部分家用热水，节能环保意义重大，推广普及太阳热水器决不是无关紧要的，而是唯一有效途径。就现状而言，解决普通百姓生活热水的途径主要有使用电热水器、燃气热水器和太阳热水器三种。我们从能…     

Automatic conversion from lexical words to prosodic words for mandarin text-to-speech system

In real speech, not like lexical words (LWs), prosodic words (PWs) are basic rhythmic units. The naturalness of a Text-to-Speech (TTS) system is directly influenced by the segmentation of the PWs. Most of the PWs are the combination of several LWs. In this paper, three Lexical Combination Models are proposed to combine LWs into PWs, including a Directed Acyclic Graph Model, a Segmentation Model and a Markov Model (MM). To cope with the situation where some long LWs should be segmented into two or more PWs, a Lexical Split Model (LSM) is applied to the long LWs. Experimental results prove that relatively constant results with various training data can be obtained from a MM. The Transformation-Based Error Driven Learning (TBED) algorithm, for its high performance of individual property, is applied in combination with the MM to improve the precision of PW segmentation. Experiments show that among the three proposed models, the MM combined with TBED and LSM, leads to the best performance, in which a precision of 93.00% and a recall of 93.23% are achieved. The perception test indicates that by using PWs as the lowest prosodic units a speech sounds more natural and acceptable than by using LWs. This paper is supported by NSFC Project (60503071); 973 Natural Basic Research Program of China (2004CB318102); Postdoctor Science Foundation of P. R. China (20070420275).     

A Constraint-based Approach for Annotating Music Scores with Gestural Information

The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a model of music performance, paired with a model of sound synthesis where this information is applied. The highly constrained nature of performers gestures makes this task suitable to be modeled via a constraint-based approach, coupled with a strategy aimed at maximizing the gestural comfort of performers. We illustrate the problem representation, the search strategy and a validation of the model against human performance.     

Multibody simulation tool for the calculation of lashing loads on RoRo ships

Approximately 80% of the international transport of goods is carried on by means of ships. A large portion of the transport capacity is represented by Roll-on-Roll-off (RoRo) ships. Especially in Europe this is a relevant potential for the RoRo segment. Consequently, the design and construction of RoRo ships plays an increasing role for German shipyards and their suppliers. In order to make the loading and unloading procedure of trailer economically more competitive, ship owners would like to improve the lashing of trailers on the ship. On the basis of a multibody system formalism, a software tool has been developed which allows for an optimization of the loading of trailers on RoRo ships. Commemorative Contribution.     

Formulation for Reliable Analysis of Structural Frames

Structural engineers use design codes formulated to consider uncertainty for both reinforced concrete and structural steel design. For a simple one-bay structural steel frame, we survey typical uncertainties and compute an interval solution for displacements and forces. The naive solutions have large over-estimations, so we explore the Mullen-Muhanna assembly strategy, scaling, and constraint propagation to achieve tight enclosures of the true ranges for displacements and forces in a fraction of the CPU time typically used for simulations. That we compute tight enclosures, even for large parameter uncertainties used in practice, suggests the promise of interval methods for much larger structures.