形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

海洋石油平台水下夹桩器本体结构分析

水下夹桩器是一种广泛应用于海洋石油平台建设的液压夹具。水下夹桩器本体焊接在导管架上，支撑夹桩器液压缸。在水下夹桩器本体设计中，采用有限元法完成了对本体强度和刚度的结构分析；建立了有限元分析模型，用ANSYS软件进行结构分析，得到了分析结果，并将该结果与理论计算结果进行了比较，验证了有限元分析技术的有效性。设计结果满足工程要求，为改进和优化结构提供了理论依据，节省了分析计算时间。     

Interweaving genetic programming and genetic algorithm for structural and parametric optimization in adaptive platform product customization

An adaptive product platform offers high customizability for generating feasible product variants for customer requirements. Customization takes place not only to product platform structure but also to its relevant parameters. Structural and parametric optimization processes are interwoven with each other to achieve the total optimality. This paper presents an evolutionary method dealing with interwoven structural and parametric optimization of adaptive platform product customization. The method combines genetic programming and genetic algorithm for handling structural and parametric optimization, respectively. Efficient genetic representation and operation schemes are carefully adapted. While designing these schemes, features specific to structural and parameter customization are considered for the simplification of platform product management. The experimental results show that the performance of the proposed algorithm outperforms that of the tandem evolutionary algorithm in which a genetic algorithm for parametric optimization is totally nested in a genetic programming for structural optimization.     

我国海洋石油钻井平台现状与技术发展分析

海洋油气开发装备产业是直接关系到海洋油气资源开发、影响国家能源稳定和经济安全的战略产业。海洋石油钻井平台是海洋油气开发的关键装备,我国海洋石油装备产业在海洋油气产业持续快速发展的带动下,正处于高速发展的新时期。对我国海洋石油钻井装备产业发展现状及市场需求进行了深入研究,并对海洋石油钻井平台技术特点做了介绍,重点分析了该项技术的发展状况,从钻井平台类型和技术含量等方面指出我国与世界先进海洋石油钻井平台的主要差距,并提出了若干发展建议。     

海洋平台损伤检测的发展现状与展望

针对海洋平台损伤检测技术进行了分析，总结了国内外海洋平台损伤检测技术的最新进展。对各种检测方法进行了分类与比较，分析了不同检测方法的基本原理及其适用范围，提出了海洋工程结构损伤检测的二步法，可以综合利用不同的损伤检测方法，更准确、有效地对平台进行损伤检测。     

试论建立移动式钻井平台法律体系的必要性

对移动式钻井平台与船舶进行了对比，分析了移动式钻井平台的法律特点。认为移动式钻井平台是一种较为特殊、且区别于船舶的法律客体．建立专门的法律体系，使移动式钻井平台成为其主要的法律客体是必要的。     

Research and Design of Network Management Construction Based on Mobile AGENT

The technical characters of mobile agent （MA） originated in the distributional artificial intelligence domain is introduced. A network management construction based on agent （NMCA） is then proposed. The NMCA structure features are elaborated in detail. A prototype design of NMCA is given by using the jKQML programming. The establishment of NMCA platform will be helpful to reduce the correspondence load of network management and improves the efficiency and the expansion ability of network management systems.     

Minimum-Energy Translational Trajectory Generation for Differential-Driven Wheeled Mobile Robots

Mobile robots can be used in many applications, such as exploration, search and rescue, reconnaissance, security, and cleaning. Mobile robots usually carry batteries as their energy source and their operational time is restricted by the finite energy available from the batteries. Therefore, energy constraints are critical to the service time of mobile robots. This paper investigates the minimum-energy control problem for translational trajectory generation, which minimizes the energy drawn from the batteries. Optimal control theory is used to find the optimal velocity trajectory in analytic form. To demonstrate energy efficiency obtainable, we performed simulations of minimum-energy velocity control and compared the results with loss-minimization control and energy-optimal trapezoidal velocity profiles. Simulation results showed that significant energy savings can be achieved, of up to 9% compared with loss-minimization control and up to 10% compared with energy-optimal trapezoidal velocity profile. We also performed an actual robot experiment using Pioneer 3-AT platform to show the validity of the proposed minimum-energy velocity control. The experimental results revealed that the proposed minimum-energy velocity control can save the battery energy up to 10% compared with loss-minimization control. Categories (3): Robot control, (5): RobotMotion Planning     

数字移动电视的现状与发展前景

随着数字电视的普及推广,数字移动电视应运而生,并得到迅速发展。数字移动电视通常安装在交通工具上,兼具移动性和数字化的特点。它突破了传统电视固定收视的局限,带来了电视传播的新概念。同时,数字移动电视根据自身传播特性,不断探索新的运营模式,并带来一系列的产业链效应,蕴含着无限商机     

Mixed formulation of nonlinear beam on foundation elements

This paper presents an inelastic element for the analysis of beams on foundations. The element is derived from a two-field mixed formulation with independent approximation of forces and displacements. The state determination algorithm for the implementation of the element in a general purpose nonlinear finite element analysis program is presented and its stability characteristics are discussed. Numerical studies are performed to compare the model with the classical displacement formulation. The studies confirm the superiority of the proposed model in describing the inelastic behavior of beams on foundations.