简介：一元二次函数根的判别式小于等于零等价于该二次函数的函数值大于等于零,利用这一关系可使某些命题的证明得以简化.

简介：根据Logistic模型基本原理建立事故概率预测模型，并对事故概率进行预测。通过模型预测结果与实际值对比，得出利用广义线性预测模型对事故概率进行预测具有一定可信度。

简介：船体极限强度是关系到船体生命力和安全的重要指标之一，各国规范都对其提出明确要求。以某双壳油船为研究对象，采用非线性有限元法计算其极限承载能力。通过采用不同的网格尺寸、边界条件、加载方式及施加或不施加侧向载荷，对同一对象进行有限元计算。对计算结果进行对比分析，提出合适的网格尺寸、边界条件设置方式和加载方式，同时得出施加侧向载荷及不施加侧向载荷的优缺点。该研究可为采用非线性有限元法计算船体结构极限强度提供参考。

简介：船舶推进轴系校中计算是船舶轴系设计和安装过程中十分重要的环节。文章详细介绍了应用有限元模型进行轴系校中计算所涉及的几何模型和数学模型，从数理的角度对计算公式和方法进行分析；通过计算实例验证了有限元计算模型的有效性和准确性。

简介：板底脱空是水泥混凝土路面的常见病害之一,但进行有效的评定相对困难。提出采用有限元分析软件ANSYS10.0建立评价水泥混凝土面板脱空的计算验证模型,并结合FWD弯沉实测数据与模型计算出的弯沉值的关系,来判定某处是否发生了脱空。最后结合黑龙江某高速公路的实测数据,验证了该模型的正确性。

简介：基于“一带一路”战略对航海类人才的定位和培养新要求，以素质结构理论为依托，通过行为事件问卷、访谈、传记分析法等方式归纳出新时期航海类人才素质要素29项，并从基础要素类、发展要素类、优势要素类三个维度构建航海类人才素质结构模型。

简介：现有的Web服务缺少明显的形式语义支撑,而Web服务发现又因缺乏对服务质量（QoS）的描述而难以为用户选择最佳服务,为此,本文提出了一种基于QoS的Web服务发现本体模型,采用分类和反馈机制,在服务发现过程中添加服务质量本体信息,并针对票务服务领域进行了实例设计和语义描述。

简介：一季度以来，嘉陵集团深入践行科学发展观．紧紧围绕全年4500万降成本指标．不断解放思想探索降本增利新办法．努力降低产品成本费用，采取多种措施从源头控制成本．取得了显著成效．一季度完成降成本项目31项，实现降本增利1089万元。

简介：米切尔提出的＂元图画＂,实际是一种＂理论化＂的图画,按照米切尔的说法,是一种＂知识理论＂。将元图画看作一种＂知识理论＂,这是米切尔消解语言与形象、语言艺术与视觉艺术之间差异的一次努力,是他所谓＂超越比较＂的一种尝试。在米切尔看来,元图画的＂理论能力＂可以使图画取得与语言平等的地位。米切尔的＂元图画＂概念为我们提供了一种重新审视图画与语言关系的新思路。

简介：今年10月13日，停泊在加拿大温哥华CoalHarbour一个小船坞的三艘豪华游艇被大火烧毁，三艘游艇的总价值据估计大约为200万加元。

简介：船冰碰撞是船舶碰撞研究领域的热点之一,对冰材料的模拟是船冰碰撞的研究重点。提出一种利用理想弹塑性模型模拟的冰材料本构模型,利用半隐式图形算法计算单元塑性阶段的应力,利用Tsai-Wu屈服准则和经验失效公式用来描述冰的力学行为。利用二次开发功能,将冰材料模型嵌入LS_DYNA程序,并验证该模型的准确性和适用性。研究中针对不同局部形状的冰块与船侧碰撞场景,通过比较分析碰撞力、能量耗散等,探讨冰块的局部形状对碰撞场景的影响。研究结果表明：冰材料模型在大接触面的条件下压力与已有标准吻合较好;在不同的冰块局部形状条件下,船冰碰撞的相互作用过程不同;较钝形状的冰块表现近乎刚体,较尖锐形状的冰块较易破碎。

简介：以湛江海湾大桥为工程背景,在综合考虑静风荷载非线性和结构几何非线性因素影响的基础上,计及风速沿桥梁结构高度的变化,编制了相应的静风非线性有限元计算程序,对其进行静风非线性稳定分析.并探讨了静风荷载非线性程度、风速空间分布非均匀性等因素对大跨度斜拉桥静风失稳临界速度的影响.

简介：在基于数字图像处理技术的视频监控系统中，车辆信息和道路信息是最为重要的参数，但由于摄像机内外参数的不同将导致图像不同程度的非线性失真，影响正确的交通参数的获得和交通现象的正确判断。基于图像网格的非线性校正算法对此能进行有效的校正，为交通视频监控提供较为准确的信息参数。实验结果表明该算法有较高的精度，并在视频监控系统中有较好的应用。

简介：物理模型方法作为科学思维方法的一种基本形式,在物理科研、教学和学习过程中有着不可或缺的作用。本文阐述了物理模型的分类和特点,使物理教学在关注知识的同时,注重物理思维、方法的学习和培养。

简介：对既有总体变化趋势又有波动性的数据序列，先用GM（1，1）模型筛选出趋势成份，然后对实际值与拟合值的差值构成的残差序列作Fourier变换，提取出周期波动成份，最后将二者叠加，进行修正。将该方法应用于实际，效果比较理想。

简介：Thescaleeffectleadstolargediscrepanciesbetweenthewakefieldsofmodel-scaleandactualships,andcausesdifferencesincavitationperformanceandexcitingforcestestsinpredictingtheperformanceofactualships.Therefore,whentestdatafromshipmodelsaredirectlyappliedtopredicttheperformanceofactualships,testresultsmustbesubjectedtoempiricalcorrections.Thisstudyproposesamethodforthereversedesignofthehullmodel.Comparedtoageometricallysimilarhullmodel,thewakefieldgeneratedbythemodifiedmodelisclosertothatofanactualship.Anon-geometricallysimilarmodelofaKoreanResearchInstituteofShipandOceanEngineering(KRISO)’scontainership(KCS)wasdesigned.Numericalsimulationswereperformedusingthismodel,anditsresultswerecomparedwithfull-scalecalculationresults.Thedeformationmethodofgettingthewakefieldoffull-scaleshipsbythenon-geometricallysimilarmodelisappliedtotheKCSsuccessfully.

简介：桩侧负摩阻力对桩基产生下拽力，对桩基的承载力和沉降均不利，对受负摩阻力桩基进行设计时，需要正确估计桩基负摩阻力的大小及中性点的位置。开发颗粒流程序来模拟单桩负摩阻力的工作性状，验证中性点的位置并对桩侧土体细观特性进行分析。

简介：本文介绍一种船舶号灯识别模型，通过控制模型灯光的变化，模拟显示《国际海上避碰规则》要求的各类船舶显示的号灯

简介：根据2013年全国大学生数学建模比赛C题中某古塔4年的观测数据，给出了确定古塔各层中心位置的通用方法，建立了最优化模型，用Lingo软件求得4次测量的古塔的各层中心坐标。以斜率、曲率、投影、均方差、拟合等知识为基础，对倾斜度、弯曲度、扭曲度三个指标进行定义，结合使用Excel和Matlab软件对古塔变形情况进行量化分析，最后根据得到的数据对古塔的变形趋势进行预测。

简介：采用一种新的方法预估导管螺旋桨的水动力性能；导管和螺旋桨均采用基于速度势的面元法，它们间的影响通过相互的诱导速度势数值迭代来体现．与诱导速度体现相互影响的方法相比，本文方法可节省编程及计算时间；对JD系列导管螺旋桨的计算与实验结果的比较表明，该方法可以有效地预估导管螺旋桨的水动力性能．