一类三阶奇摄动Robin边值问题解的唯一性

利用常微分方程微分不等式理论研究三阶奇摄动Ｒｏｂｉｎ边值问题，＝Ｃ，在适当的条件下，通过上下解的构造得到了其解的唯一性．     

谈船舶企业承接订单的法律风险防范

文章针对船舶企业在承接订单过程中出现的各种问题,从防范法律风险的角度出发,具体提出了五种切实可行的解决方案,力求从根本上避免和防范法律风险,保障企业经营安全。     

基于拟牛顿迭代的分数阶Fourier变换最佳阶次的搜索方法研究

针对如何快速确定分数阶Fourier变换最佳阶次的问题,在分析拟牛顿迭代法基本原理的基础上,研究了其在这一实际应用中的具体实现步骤.通过仿真实验展现了拟牛顿迭代法搜索分数阶Fourier变换最佳变换阶次的收敛过程,分析讨论了其在实际应用中存在的利弊.     

独立分量分析在含有多种噪声的图像去噪中的应用

提出一种基于负熵的分数低阶独立分量分析(ICA)算法,为使算法更好的适用于实际环境,结合当下较为新颖的Volterra滤波方法——VLMS算法,该算法对高斯噪声有良好的去除效果.仿真结果表明,算法对于含有两种噪声的混合图像具有良好的分离特性及实际意义.     

多拱肋蝶形拱桥的施工索力优化研究

多拱肋蝶形拱桥由于各拱肋的异化导致结构的受力异常复杂且空间效应明显,针对该桥型索力优化问题的特点,并考虑施工过程中混凝土的收缩徐变和结构的几何非线性等因素的影响,采用割线迭代法进行施工索力的调值计算,并对4种不同的调索方案从钢管内核心混凝土的拉应力、索力的不均匀程度、拱顶位移等方面进行对比分析.结果表明:割线法迭代速度...     

电子海图中航线设计与监视的实时仿真方法

提出了基于国际标准格式(S-57)电子海图平台的航行安全实时仿真方法,主要研究了航线设计和航路监视方法.将指示克里格法应用于航线设计的研究,对海底地形曲面进行拟合并求取任意位置水深值,对离散的条件分布函数进行顺序矫正,保证了阈值区间的合理性.采用人机交互的方式根据船舶的航行信息和海图信息对计划航线进行修正,实现了计划航线可行性的自动判别,改进了航路监视的判定算法,并采用船舶形成碰撞紧迫局面时间(TCQA)和船舶形成碰撞紧迫局面距离模型来判断本船与目标船之间的紧迫局面及碰撞风险,从而有效地监控并提示避碰危险.经航海模拟器验证,该方法准确可靠.     

基于AMSAA-OCM方法的鱼雷实航可靠性评估

本文提出了基于AMSAA模型和顺序约束模型的鱼雷实航工作可靠性AMSAA-OCM评估方法,从而能够综合利用鱼雷组件的陆上试验信息和全雷湖海试验信息对实航工作可靠性进行评估,以提高实航可靠性的评估精度。     

RSM-FORM 的改进与环肋圆柱壳结构的可靠性计算(英文)

文章在用有限元法对结构进行强度计算和分析的基础上,应用RSM确定了环肋圆柱壳结构强度失效的功能函数;在对相关可靠度理论进行研究的基础上,将RSM与FORM相结合,对FORM进行了改进,解决了当量正态化和参数独立化问题,保留了功能函数的二次项,使计算精度满足实际工程的需要;最后用RSM-FORM对环肋圆柱壳结构强度的可靠性进行了计算分析,计算结果表明,RSM-FORM具有较好的计算精度。     

二阶波浪漂移力的回归分析

二阶波浪载荷的预报对动力定位能力评估具有重要意义。对二阶波浪载荷的预报,通常可采用模型试验和数值模拟的方法。模型试验费用昂贵,数值模拟时面元划分的合理性对计算结果的影响很大,且模型试验和数值模拟周期都相对较长。采用压力直接积分法进行系列船型的二阶波浪漂移力计算,在此基础上,采用模长界限控制的正交化方法的多元多项式回归分析,给出二阶波浪漂移力的回归公式,并进行了验证分析。验证分析表明回归公式置信区间为0.95。     

Process passing calculus, revisited

In the context of process calculi,higher orderπcalculus(A calculus) is prominent and popular due to its ability to transfer processes.Motivated by the attempt to study the process theory in an integrated way,we give a system study of A calculus with respect to the model independent framework.We show the coincidence of the context bisimulation to the absolute equality.We also build a subbisimilarity relation from A calculus to the n calculus.