P2P系统中基于双信任信息的信誉度改进模型

针对P2P网络中诸如诋毁、合谋、欺骗等安全性问题，提出一种新的基于双信任信息的分布式信任模型。区别对待节点提供服务和发送评价的能力，对节点拥有的资源进行分类；通过迭代求解，为每个节点的每类资源分别计算全局服务信任值和回馈信任值；为了防止恶意节点反复实施恶意行为，引入了惩罚机制，激励节点诚信交易。仿真实验表明，该模型能够迅速降低恶意节点的全局信誉值和恶意交易概率，降低了对无过失节点的不公平性。     

粒子群优化算法在确定河流水质参数中的应用

将粒子群优化（PSO）算法应用于求解分析瞬时投放示踪剂情况下的一维河流水团示踪试验数据，以及确定河流水质参数的函数优化问题。分别就粒子数目和待估水质参数的初始取值范围对算法运算过程的影响进行了数值实验。结果表明：①PSO算法能够有效地应用于求解分析河流水质试验数据，确定水质参数的函数优化问题；②粒子数目的多少对迭代次数、运算时间和算法是否收敛有一定的影响，在粒子数目较大的情况下，可以保证运算过程收敛；③待估参数初始猜测值的选取范围对迭代次数也有一定的影响，选取范围越大，需要的迭代次数越多。最后，指出了需要进一步研究的问题。     

一种基于Bayes信任模型的可信动态级调度算法

提出了一种基于信任机制的任务调度模型，该模型通过借鉴社会学中的人际关系信任模型，建立网格节点间的信任关系，利用Bayes方法对节点的可信度进行评估，将节点的可信度并入DLS算法得到可信动态级调度（Trust-DLS）算法．仿真结果证实，提出的Trust—DLS算法能以较小的时间花费为代价，有效提高应用任务在可信方面的服务质量需求，保证网格环境中任务安全可信的执行。     

基于均匀设计法的有限元网格划分与精度提高

本文首次运用均匀设计法的理论到有限元网格划分与精度提高领域,借助MATLAB程序计算,可以得出网格划分的关键点。运用二次开发的理念,在有限元网格划分时进行二次优化。具体思路是在求解同一个工程问题时,分别用均匀设计的方法计算得出结果（应力最优点）,再与有限元方法计算得出结果（应力梯度）比较,应力变化图如果吻合,可以在有限元划分网格时使用MATLAB优化的关键点来加密网格。因为结果相等说明均匀设计得到的优化点等价于变化梯度大的点,加密梯度变化大的点当然精度更高。后面的计算结果证明均匀设计法相对自适应网格划分时的优越性,为全部单元都加密时带来结果失真的问题提供了一种有效的解决方法。     

多时间步长结冰数值模拟方法研究

时间步长是影响飞机结冰数值模批精度的重要参数之一。本文通过求解雷诺时均N-S方程,湍流模型采用k-ε两方程模型,获得空气流场,求解水滴运动轨迹方程获得水滴撞击特性,基于Messinger热力学模型求解能量和质量守恒方程计算冰形。并采用扇形分区法,更新机翼前缘结冰区网格,保持网格拓扑结构不变,实现多时间步长结冰数值计算。比较了采用单时间步长法争多时间步长法对翼型表面结冰增长数值模拟的计算结果,并与冰风洞试验数据及LEWICE预测数据进行对比。在此基础上,计算分析了不同时间步长对部件表面的结冰冰形的影响。结果表明,只有采用多时间步长法进行飞机结冰数值模拟方是有效的,并且存在一个合适的时间步长,既满足计算精度要求,又能提高计算效率。     

基于伴随方法的网格自适应DG方法

发展了一套基于伴随方法的Euler方程自适应网格DG求解方法,采用当地网格上的输出变量的误差估计作为离散误差指示器驱动网格自适应.在离散误差指示器的构造中,采用GMRES方法求解伴随方程获得伴随变量,将p阶流场变量和伴随变量映射到p+1阶函数空间,并进行有限次块对角Jacobi迭代得到近似p+1阶细网格解.壁面边界通量及输出变量计算仅依赖边界外侧值以保证伴随相容性.首先采用NACA0012翼型不同精度的阻力系数结果验证了误差估计的可靠性,然后对NACA0012翼型亚声速、跨声速流场和圆柱6马赫高超声速绕流进行了自适应加密计算研究.研究结果表明,基于伴随方法的网格自适应可有效提高阻力系数等输出变量的模拟准确性,在亚声速NACA0012翼型计算中使用约17%的全局加密自由度获得了与全局加密精度相当的阻力系数.     

充气膜结构零应力态求解

本文首次提出了一种从弹性平衡态到零应力态的逆解析数值分析方法：线性协调矩阵广义逆法．首先,用膜线单元模拟膜面,将膜结构转化成为网格结构;然后,基于杆系结构平衡矩阵理论和小变形假定,建立体系的协调方程．由弹性平衡态预张力和材料参数,计算膜线单元无应力长度和变形量．最后,由协调矩阵M—P广义逆求解协调方程得到节点位移,逆向叠加求出零应力态位形,释放应力．根据该算法,用MATLAB编制了计算程序．算例分析验证了该方法的正确性和高效性,得出一个弹性平衡态对应唯一零应力态的结论．本文对充气膜结构设计具有重要理论意义和实际指导价值．     

利用有限Fourier系数算法求解光学制造中误差校正输入数据

光学自由曲面是一类极难制造的异形曲面, 采取计算机控制光学表面成型技术制造时, 元件表面材料去除量由单位去除函数与输入参量(驻留时间)之间的卷积分决定. 求解加工驻留时间, 一般利用低通滤波器或迭代的方法借助于反卷积算法, 但是结果中存在的近似解将会影响加工稳定性. 本研究基于有限Fourier系数算法构建输入参量求解模型, 可以有效提高参量求解精度并保证加工过程的连续稳定. 通过对影响计算机控制光学表面成型工艺参数的仿真分析, 对求解模型实施评价, 实验结果验证这一方法可以指导高精度自由曲面光学元件的超精密制造.     

直接解N-S方程模拟高雷诺数过跌坎水流

首次在较粗网格下成功地由N-S方程直接数值求解了高雷诺数过跌坎水流.跌坎水流是典型的由大涡控制的紊流运动,作为一种近似可忽略小涡影响,网格尺度易满足描述大涡特征分辨率的要求,从而可在较粗网格实现直接数值求解N-S方程获得紊流流场.文中采用基于剖开算子法的欧拉-拉格朗日相结合的有限单元方法,对雷诺数Re=44000的二维跌坎水流进行了数值模拟.用16669个节点组成的三角形网格离散流场,在个人电脑上仅用150min即完成全部计算,不但给出了流场的时均特征,而且给出了它的紊动瞬时特征.数值试验表明,主要计算成果和试验甚吻合,由N-S方程直接数值求解工程中高雷诺数复杂紊流问题将成为现实.     

基于模拟有限差分的嵌入式离散裂缝数学模型

嵌入式离散裂缝模型划分网格时不需要考虑油藏内的裂缝形态,只需对基岩系统进行简单的网格剖分,可以大大降低网格划分的复杂度,从而能够提高计算效率.并且该模型可以将现有成熟的油藏数值模拟技术和离散裂缝网络模型有机地结合起来,能精细地模拟流体在裂缝性油藏中的流动.本文模型求解采用模拟有限差分方法,该方法基于单个网格的节点和面信息构造数值计算格式,理论上适用于任何复杂网格系统,且具有良好的局部守恒性,将其推广到嵌入式离散裂缝模型后,克服了该模型基于有限差分方法求解时不能有效处理全张量形式的渗透率以及不适用于复杂边界形状裂缝性油藏的局限性.最后通过实际算例验证了本文方法的正确性和优越性.     

快速Hermite径向基函数曲面重构

在这篇论文中,我们提出了一个使用局部支撑径向基函数对三维散乱点进行Hermite插值或逼近的快速曲面重构方法.通过构造给定数据点集的一个层次结构,采用逐层精化的方式实现了全局曲面重构的效果,解决了因使用局部支撑径向基函数导致的问题.另外,设计一个基于逼近误差导向的径向基函数中心点选择策略,减少每层进行插值的数据点,从而使Hermite径向基函数曲面重构方法能处理百万以上规模的点云数据.实验结果显示,我们的方法还适用于极度非均匀分布或带噪声的点云数据的曲面重构.     

自励异步发电机带载稳态的解析计算

从自励异步发电机的暂态等效电路出发,基于其在两相静止坐标系上的状态空间数学模型,对其带载建压暂稳态过程提出了应用Lyapunov稳定性理论的整体性分析方法.依据理论分析方法分析得到了带载自励建压达到稳态的过程之应用暂态数学模型表示的稳态条件.解极限环条件得出了定子频率和转子转速的解析计算式,以及确保自励建压的负载取值范围和电机磁路过度饱和稳态励磁电感的解析关系式;为求解稳态运行点条件,提出了一种基于物理背景的等价转化解析计算方法,解得了稳态运行点的解析计算式.算例分析检验了稳态条件的唯一组解析解.实测值与计算结果相互吻合,验证了稳态条件解析计算式的正确性、科学性和有效性,表明了通用性和工程参考价值,解决了长期以来对异步发电机暂稳态运行性能无法解析计算的难题.理论分析方法适用于具有动力学特性的其他类型电力系统运行分析.     

基于高斯法的自由衰减振动频率和阻尼比校正

提出一种对自由衰减振动信号的频率进行校正的方法。该方法先搜索信号频谱的峰值，利用峰值和其临近的极大的四个点来逼近由这四个点形成的谱线，求出拟合曲线的参教；再对拟合曲线求导，找出具体的峰值，同时利用两次拟合得到的曲线峰值计算阻尼比。仿真分析及工程试验结果都表明，该方法可以有效提高检测精度，而且计算量相对较小。     

Demonstration of lateral asymmetry in G-banded mouse embryo chromosomes

Summary Cells obtained from 10-day mouse embryos were cultured for 3 h in medium containing colcemid. Chromosome preparations were subjected to G-banding in either calcium-magnesium free Hank's solution or the ASG method. From one to several occurrences of lateral asymmetry (unequal banding of sister chromatids) were observed in the majority of karyotypes analyzed.Partial support for this study was provided by grant no. 2-PO1-ES00226-10, NIH, NIEHS and by a grant from the National Foundation-March of Dimes. We thank Don Driscoll for his capable assistance.     

大气折射的研究进展

介绍了近几年大气折射映射函数研究的进展、以及几个常用的映射函数。对如今广泛地应用在空间测量技术中的几种映射函数做出评述。讨论了目前在无线电波段中广泛使用的NMF模型的优点和不足之处,提出了改进方向。列出了近几年上海天文台发展的大气折射母函数方法,以及由此导出的大气折射解析解;并分析了大气折射母函数方法引出的大气延迟新连分式映射函数,以及天文大气折射的映射函数方法的优点;指出了光学波段测距精度改进的途径。结合探空气球资料,讨论了大气模式对大气折射计算的影响。     

三元体系Mg2+//Cl-,borate-H2O在308.15K时稳定相平衡研究

采用等温溶解法研究了三元体系Mg2+//C1-,borate-H20在308.15 K时的稳定相平衡;测定了上述体系液相中各组份的平衡溶解度及物化性质(密度和pH),根据实验数据绘制了相应相图和物化性质组成图.该体系在308.15 K时有1个共饱点(水氯镁石+镁硼酸盐)、2条饱和溶解度曲线和2个结晶相区,无复盐及固溶体...     

Exponential smoothing: Estimation by maximum likelihood

In this paper several forecasting methods based on exponential smoothing with an underlying seasonal autoregressive-moving average (SARIMA) model are considered. The relations between the smoothing constants and the coefficients of the autoregressive and moving average polynomials are used. On that basis, a maximum likelihood procedure for parameter estimation is described. The approach rules out the need for initial smoothed values. Prediction intervals are also obtained as a by-product of the approach and a fast algorithm for implementing the method is outlined.     

Synthesis of brookite-typed titania from titanium chloride solution

The brookite-phase TiO2 was prepared by a hydrothermal synthesis of titanium chloride solution.The thermolysis time and the pH value of the solution were controlled during the synthesis.X-ray diffraction experiments showed that TiO2 powders partially containing the brookite-phase were successfully obtained.A great amount of OH -in the reaction solution was found to be important to obtain the brookite phase because the intermediate complex leading to the brookite phase consumes more OH-than other phases like...     

Banach空间中时变广义分布参数系统的可解性

广义分布参数系统是比分布参数系统更常见的一类系统,二者有着本质的区别,如广义分布参数系统受到干扰时会引起脉冲行为等．广义分布参数系统的可解性问题是广义分布参数系统研究的重要问题之一．本文主要研究Banach空间中时变广义分布参数系统的可解性问题．首先,讨论Banach空间中由有界线性算子所引导的广义发展算子及其性质,定义了广义发展算子的生成元．证明了广义发展算子的存在性;然后,应用广义发展算子研究时变广义分布参数系统的可解性问题,证明了强解的存在性和唯一性,并应用广义发展算子给出了时变广义分布参数系统强解的构造性表达式．所得结果对于研究时变广义分布参数系统的稳定性问题、能控性问题及最优控制问题等都有重要的理论及应用价值．     

The Ehrenfest Classification of Phase Transitions: Introduction and Evolution

The first classification of general types of transition between phases of matter, introduced by Paul Ehrenfest in 1933, lies at a crossroads in the thermodynamical study of critical phenomena. It arose following the discovery in 1932 of a suprising new phase transition in liquid helium, the “lambda transition,” when W. H. Keesom and coworkers in Leiden, Holland observed a λhaped “jump” discontinuity in the curve giving the temperature dependence of the specific heat of helium at a critical value. This apparent jump led Ehrenfest to introduce a classification of phase transitions on the basis of jumps in derivatives of the free energy function. This classification was immediately applied by A.J. Rutgers to the study of the transition from the normal to superconducting state in metals. Eduard Justi and Max von Laue soon questioned the possibility of its class of “second-order phase transitions” -- of which the “lambda transition was believed to be the arche type -- but C.J. Gorter and H.B.G. Casimir used an “order parameter to demonstrate their existence in superconductors. As a crossroads of study, the Ehrenfest classification was forced to undergo a slow, adaptive evolution during subsequent decades. During the 1940s the classification was increasingly used in discussions of liquid-gas, order-disorder, paramagnetic-ferromagnetic and normal-super-conducting phase transitions. Already in 1944 however, Lars Onsagers solution of the Ising model for two-dimensional magnets was seen to possess a derivative with a logarithmic divergence rather than a jump as the critical point was approached. In the 1950s, experiments further revealed the lambda transition in helium to exhibit similar behavior. Rather than being a prime example of an Ehrenfest phase transition, the lambda transition was seen to lie outside the Ehrenfest classification. The Ehrenfest scheme was then extended to include such singularities, most notably by A. Brain Pippard in 1957, with widespread acceptance. During the 1960s these logarithmic infinities were the focus of the investigation of “scaling” by Leo Kadanoff, B. Widom and others. By the 1970s, a radically simplified binary classification of phase transitions into “first-order” and “continuous” transitions was increasingly adopted.