不同气候下海峡两岸建筑抗风标准之基本风速比较

为明确闽台两地基本风速的合理取值,以台北市某气象站1961-2015年的实测风速数据为研究对象,基于两岸现行建筑结构抗风标准,分别选用年最大风速法和台风风速法取样,采用极值I型分布模型,对不同气候模式下的基本风速进行了比较研究.结果表明:对于相同的风速观测数据,根据台湾建筑抗风标准TB2015获得的极值风速略小于现行建筑抗风标准GB50009获得的极值风速(福建),而基本风速正好相反,但是两者之间的差别均很小;台风气候模式下的极值风速/基本风速预测值要大于混合气候模式下的对应值,且与实测极值/基本风速最为接近,误差均小于0.5％;对于受台风影响严重的海峡两岸地区,建议采用以台风风速法取样的台风气候模式下的基本风速.     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

集值映射向量优化的最优性和Lagrangian对偶

目的 研究拓扑向量空间中集值映射优化问题及Lagrangian型对偶问题。方法将单值映射的广义次类凸概念推广到集值映射，在拓朴向量空间中建立了择一定理，通过择一定理研究集值映射优化问题的最优性必要条件，并定义了Lagrangian型对偶问题。结果获得了集值映射优化问题的最优性必要条件和对偶定理。结论其结果深化和丰富了最优化理论的内容。     

用吸附聚集x-射线衍射法研究储层结垢情况

建立了一种新的测定垢晶体的实验方法—— 吸附聚集 Ｘ － 射线衍射法．原理是利用晶种物质在各种混合水样中的异相成核作用,加速形成垢晶体,同时利用晶种物质对垢晶体的吸附聚集作用,将垢物质吸附聚集在晶种物质上,通过过滤,将生成的无机垢浓缩聚集在一起,最后通过高精度大功率 Ｘ射线衍射仪分析、检测混合晶种物质的物相成分．该结垢实验方法可以准确地检测出各种混合水样中是否结垢及结垢物质的种类和结垢量的大致范围．     

进气歧管喷射式电控喷油器磁路结构改进研究

以某进气歧管喷射式电控喷油器样品结构为对象,以提高动态响应特性为目标,通过增设隔磁套对其磁路总体结构进行了改进.利用Ansys软件环境建立了电控喷油器磁路的有限元模型,以电磁场仿真结果为基础对其轭铁、滑动气隙等参数进行了优化.通过试验,对改进前后电控喷油器样品的动态响应特性及流量特性进行了对比.结果表明:改进后电控喷油器的开启滞后时间比改进前缩短了0.28ms,关闭滞后时间缩短了0.14ms,单位脉宽下动态流量平均增加了1.8mg左右,并且不同喷油脉冲下的喷油量均比改进前有了较大提升.     

运用广义网络流模型进行金融产品的套利定价

运用广义网络流模型和线性规划对偶理论，提出了一种金融产品的套利定价方法．与传统的套利定价方法不同，利用这种方法对某种金融产品定价时，可以把多品种多市场的套利因素同时予以考虑，得到一个无套利机会的定价区间．     

光栅图纸上典型图元的交互拾取

直接在光栅图纸上拾取图元是光栅／矢量混合编辑的核心技术．提出一种能准确拾取图元,并且可以有效保护其他图元矢量信息的拾取算法．首先从图元附近一点开始,经轮廓跟踪、参数拟合得到图元的初始参数;然后在初始参数引导下,对图元定向跟踪,跳过断点和交点,最大限度地拾取整个图元;最后在光栅图纸上删除该图元,并恢复与之相交的其他图元的交点信息．实验证明,该法简便、准确,可迅速修改局部工程图纸．     

汽车尾气对烟台市大气环境的影响研究

介绍了近年来烟台市区汽车保有量的增长,以数学统计方法计算了烟台市汽车尾气中SO2、NOx、PM10的排放量,并在此基础上分析了烟台市汽车尾气的时间、空间分布特征.结果表明:烟台市大气污染物浓度较低,空气质量较好,但比较2008年和2010年的大气监测数据显示,2010年比2008年SO2、NOx、PM10的浓度稍高.     

四会比较优势分析

如何在树立和落实科学发展观中做到加快发展、跨越发展,建设现代化新四会,是当前四会经济发展的主要任务.必须深刻理解和认识比较优势与区域经济发展的关系,立足四会实际,充分发现、发掘、发挥比较优势,加快发展四会经济.     

一种模糊Rough决策方法

利用模糊集理论和粗糙集理论在处理不确定性和不精确性问题方面侧重点的差异性，构造一种组合决策模型。该模型从问题领域内的部分不精确信息出发利用模糊聚类方法构造一个决策信息系统，利用粗糙集理论关于决策规则的约简方法从决策信息系统中提取（挖掘）决策规则，使之适用于问题的整个领域。