Preliminary Feasibility Study on Application of Very Large Scale-Photovoltaic Power Generation in China

Solar energy photovoltaic power generation is hopeful to be applied in a large amount and possesses a certain proportion in the structure of energy in the future. In this paper, based on the forecasting of electric load demand and energy structure of power generation in the middle of 21 century, the pictures of VLS-PV power generation is composed, the operation characteristic of VLS-PV power generation and the adaptability of electric power grid for it is analyzed, the ways for transmitting large amount of PV power and the economic and technical bottlenecks for applying VLS-PV power generation are discussed. Finally, the steps and suggestions for developing VLS-PV power generation and its electric power system in China are proposed.     

基于输出误差模型优化的甲板运动预报算法研究

本文提出了一种适用于多种复杂海况的大型舰船甲板运动预报方法,目的在于提高算法对不同海域复杂海况的适用性,以及对甲板运动模型的辨识精度与预报精度。该方法通过将量测数据的时间滞后处理引入输出误差模型来描述甲板运动的动力学模型,引入定阶准则确定了模型最优阶数数对。在此基础上应用了辅助模型递推最小二乘算法进行系统参数辨识并估计输出误差模型中的状态变量。实验结果表明,本文所提出的预报方法在系统参数辨识阶段可以将递推最小二乘算法的辨识精度提高5.13%,并且在预报阶段可以有效地将甲板运动的幅值与相位预测精度提高3.17%。该方法在复杂海况下具备良好的预测性能,适用于大型舰船甲板运动预报。     

基于高性能集群平台的VLBI处理系统设计

角位置是深空探测航天器导航定位的重要观测量信息,相对于获取航天器距离、速度信息的统一载波测量体制,甚长基线干涉测量(Very Long Baseline Interferometry,VLBI)技术的原始数据量呈几何式增长,海量数据的实时、准实时处理对航天器高精度导航定位提出了新的挑战。依托中国深空网干涉测量中心,论述了基于高性能集群平台环境的航天器干涉测角数据相关处理系统的设计实现,并利用探月工程的实测数据进行了验证分析。分析结论对推进我国深空网干涉测量信号处理中心建设、优化相关处理系统资源配置具有一定的参考价值。     

Program Constructionby Verifying Specification

A program construction method based on Gamma language is proposed.The problem to be solved is specified by first-order predicate logic and a semantic verification program is constructed directly from the specification.Ways for improving efficiency of the program are also studied.The method differs from the one proposed by Manna and Waldinger,where a program is extracted from the proof of the existence of an object meeting the given specification.On the other hand,it also differs from the classical one used for deriving Gamma programs of Banatre and Le metayes,which consists in decomposing the specification into an invariant and a termination conditon.     

计算机计算滴定法测定极弱酸电离常数和含量

本文对Ingman公式计算作了新的改进，即无须知道电离常数，仅用4～6组V-pH数据，便能同时测出其电离常数Ka和等当点体积V0。用本法计算了六种弱酸(Ka≥10^-8)和四种极弱酸(Ka＜10^-8)的风值和含量。所得Ka值基本上与文献相符。测定结果相对误差和相对标准偏差约0．2%，符合化学分析要求。     

一种能实现超前偏置的比例导引律

文中提出了一种能实现超前偏置的比例导引律,运动学分析和动力学仿真的结果表明:采用此种比例导引律后,能提高红外寻的导弹的命中精度.与根据最优理论获得的导引律相比,实施比较方便,只需在导弹的发射架(简)上安装一陀螺即可,无需计算导弹的剩余飞行时间.     

Calculation of all-time apparent resistivity of large loop transient electromagnetic method with very fast simulated annealing

In large loop transient electromagnetic method(TEM),the late time apparent resistivity formula cannot truly reflect the geoelectric model,thus it needs to define the all-time apparent resistivity with the position information of measuring point.Utilizing very fast simulated annealing(VFSA) to fit the theoretical electromagnetic force(EMF) and measured EMF could obtain the all-time apparent resistivity of the measuring points in rectangular transmitting loop.The selective cope of initial model of VFSA could ...     

Computer technology in process systems engineering

This paper looks at the future of computer aided process systems engineering. Productivity issues are discussed with respect to software, computer design technology, engineering relational data base management systems, and data independent programming. Very large systems integration technology will have a major impact on the structure of process systems engineering software. Standards are proposed for host languages and host operating system. Expert systems will find an increasing role.     

超宽频带测向解模糊方法研究

针对实际测向系统中对工作频带及天线盘可利用体积等限制条件．对现有的三种典型测向解模糊方法进行了简单地说明，并提出了适于任意阵列的立体基线测向法。通过仿真分析比较了各种测向解模糊方法的性能及特点；并选取虚拟基线法和立体基线法在实际测向系统上进行了测试，测试验证了立体基线测向法在实际系统中的可行性。结合仿真结果可以看出立体基线测向法可灵活排列天线并实现超宽频带无模糊测向。