摘要：To improve the inefficient prevention caused by customers unwillingness to adopt prevention strategies in health management,an incentive feedback mechanism that is based on game theory and contract design theory is *** conditions for making customers and health maintenance organizations(HMOs)willing to participate in the proposed mechanism are given.A dual nonlinear programming model is used to identify the optimal prevention effort of customers and the pricing strategy of *** show that to generate increased benefits,HMOs need to consider cost sharing when customers are not familiar with the proposed health *** health services are gradually accepted,the cost sharing factor can be gradually *** shows that under random circumstances in which the market reaches a certain size,the proposed method exhibits a positive network *** by network externality,HMOs only need to make their customers understand that the larger the number of participants,the greater the utility of each *** customers may then spontaneously invite others to purchase insurance.

摘要：动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

摘要：本文对Elite Software-FIRE软件的使用方法及计算原理进行了介绍,并使用该软件及国产软件对同一个消火栓系统和雨淋系统进行了计算,并做了简要对比,对国产软件的发展及国际化之路提出了建议。

摘要：针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的基于最大半环的函数式建模算法与Wimmer定义的递归函数结果进行等价性验证,从而保证了函数式建模算法的正确性;最后通过对lcs问题案例分析,验证了该方法的可行性和有效性.

摘要：大气压等离子体射流(APPJ)能产生富含活性粒子的等离子体羽,在众多领域具有广泛的应用前景.从应用角度考虑,如何产生大尺度弥散等离子体羽是APPJ研究的热点之一.目前,利用惰性气体APPJ已经能产生令人满意的大尺度等离子体羽,但从经济性上考虑,如何产生大尺度空气等离子体羽更具有应用价值.针对于此,本工作设计了一个具有辅助放电的APPJ,产生了大尺度刷形空气等离子体羽.结果表明,刷状空气等离子体羽可以在一定电压峰值(Vp)内产生,并且随着Vp增大等离子体羽的长度和发光强度都增大.电压和发光信号波形表明,每半个电压周期最多会有一次放电.每半个电压周期的放电概率和光脉冲的强度都随着Vp增大而增大,但放电起始时刻的电压值会随着Vp增大而降低.高速影像研究表明弥散刷形空气等离子体羽和小尺度空气等离子体羽的产生机制类似,均源于分叉正流光的时间叠加.此外,采集了刷形空气等离子体羽的发射光谱,并利用其对放电的电子温度、电子密度、分子振动温度和气体温度进行了研究.结果表明,等离子体羽的气体温度较低,且基本不随Vp变化.然而电子密度、电子温度和分子振动温度均随着Vp增大而升高.利用激光诱导荧光光谱技术研究了等离子体羽的OH浓度,发现OH分布较为均匀,且其浓度随着Vp增大而增大.最后,对这些变化规律进行定性分析.

摘要：针对国道108线过境改线工程主线项目路基大规模穿越软土及沿线较长质量管控难度大的特点,制订了公路软土地基处治的专项施工技术与施工质量控制体系,通过水泥碎石桩技术的引入,进行了软土段布桩方案与垫层厚度的重新设计工作,并应用控制图法对已完成的路基施工进行基于检测数值数学统计的质量控制,保证了公路路基分项工程质量达标水平的一致性。

摘要：管式旋流气液分离器因具有分离效率高、结构紧凑等优点而受到广泛关注,但能否适应入口气含率大范围变化是制约其实用性的关键。本工作考察了能够适应气含率大范围变化的管式旋流气液分离器,采用计算流体力学(CFD),结合空气-水介质体系下的实验测试,对其流场特性和分离性能进行研究。CFD数值模拟结果显示,入口气含率在10%~90%范围内变化时,气相分离效率均大于80%且变化幅值小于9.9%,液相分离效率均大于97%且变化幅值小于2.2%。实验测试结果显示,入口气含率在9.4%~89.2%范围内变化时,随入口气含率增加,气相出口的含液率逐渐减小而液相出口的气含率逐渐增加,气相出口的含液率均小于4%,除液体流量为12 m^(3)/h的工况外,其他工况下液相出口气含率始终小于10%。对比不同液体流量下的气相分离效率和液相分离效率,液体流量为8 m^(3)/h时分离性能最佳。CFD数值模拟结果与实验测试结果略有差异,但整体变化趋势一致,可作为结构放大设计的有效手段。研究结果表明,管式旋流气液分离器整体采用“强旋流+弱旋流+重力”的作用形式,具有较高的分离效率和良好的抗工况波动性能。

摘要：以非物质文化遗产——醋的酿制技艺搭建教学情境,让学生亲身体验酿醋并通过酸碱滴定法测定自酿米醋中的总酸含量,使用现代传感技术改进传统滴定实验装置获取滴定曲线。再引导学生设计电导滴定实验方案,最后从色香味等感官层面评估自酿米醋的优劣,学习气质联用技术定性分析化合物的方法。整个教学过程由浅入深,前后相互联系,实现了分析化学项目式实验教学。

摘要：这里主要研究了退火处理对电解质等离子体抛光304不锈钢表面粗糙度、材料去除率和残余应力的影响,从而为降低不锈钢工件表面粗糙度,提高表面性能提供依据。通过在不同温度下对304不锈钢样品进行真空退火处理,并在相同的实验条件下进行电解质等离子体抛光(电压、电流密度、电解液浓度、温度、加工时间),采用粗糙度测试仪、超景深光学显微镜、X射线应力分析仪、X射线衍射仪(XRD)对抛光前后样品的残余应力、粗糙度值、表面形貌、材料去除率、物相和组织变化进行了测试和表征,讨论了不同退火温度对电解质等离子体抛光304不锈钢样品表面粗糙度和残余应力的影响。结果表明电解质等离子体抛光不仅能有效降低304不锈钢样品的表面粗糙度和残余应力,且表现出了明显的晶粒取向分布。退火温度越高,电解质等离子体抛光后表面残余应力越小,材料去除率随着退火温度的升高而降低。电解质等离子体抛光过程中的热效应和组织转变是造成残余应力松弛的主要原因。

摘要：与常用气液鼓泡塔相比,管式气液接触器通过在管道空间内产生的均匀气泡状高分散体系强化气液传质过程,具有含气率高、能耗低和维护简单等优点。自主设计研制了带文丘里射流气泡发生器的微气泡型管式气液接触器;利用计算流体动力学(CFD)数值模拟和室内实验相结合的方法,对其所涉及的成泡机理、气泡粒径分布特性等进行了系统研究。结果表明,采用体积分数法(VOF)模型耦合RNG k-ε湍流模型可模拟分析微气泡型管式气液接触器内成泡机理和气泡形态;在文丘里射流气泡发生器的扩张段内可将大气泡剪切破碎成微气泡,且微气泡均匀稳定;气泡粒径随液体流量的增大而减小,在液体流量为14.0 L/min、气体流量为最大自然吸气量、柱体长度为800 mm时气泡粒径最小(76.5μm);气泡粒径随气体流量的增大而增大,在气体流量为1.5 L/min、液体流量为8.0 L/min、柱体长度为800 mm时气泡粒径最小(86.7μm);气泡粒径随柱体长度的增大呈现先降低后基本不变的趋势,当柱体长度大于800 mm时,其对气泡粒径的影响较小。