GVim的TLA+语言插件设计与实现

GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件.TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言.本文描述了为GVim编写TLA+语言插件的详细步骤.这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率.     

网络环境下大学英语听说课程教学的思考

用计算机网络技术辅助大学英语教学后，听说课程作出了相应的改革，建立了个性化、互动性的外语学习环境，提高了学生的学习兴趣和自主学习能力，尤其是增强了学生的外语交际能力。新的英语教学方式对大学英语教师也提出了更高的要求，促使他们不断改进教学方法。     

非自治Birkhoff系统的一般Poisson理论

研究非自治Birkhoff系统的Poisson理论.建立了系统的Poisson条件,证明了在一定条件下可由已知第一积分得到新的第一积分.由于条件比以往同类结果更宽松,因此,结果更具普遍性.文末举例予以说明.     

虾青素的化学合成法概述

虾青素是萜类化合物β-胡萝卜素的一种，广泛存在于自然界中，具有较强的抗氧化活性和多种生理活性，应用于诸多领域.综述了虾青素的几种化学合成方法，再展望了虾青素的发展前景.     

品牌专卖三级供应链收益共享契约协调优化模型

研究了市场需求不确定且与零售价格相关条件下,品牌专卖三级供应链中的收益共享契约协调模型,并以使供应链达到利润最大化为目标对模型进行了优化,给出了最优解组合。通过分析得出要使得供应链达到协调,批发价格和收益共享比例需满足特定的线性关系式,制造商和分销商要保证货源充足。数值计算和仿真分析证明,契约参数变化对供应链及其成员利润是有影响的。     

氧化硅基底负载TiO2薄膜的制备及其光催化应用研究

以钛酸丁酯为钛源，乙酰丙酮和冰醋酸为水解抑制剂，聚乙二醇为致孔剂，制备了一种稳定的TiO₂水溶胶。采用浸渍提拉法将TiO₂溶胶负载到活化的载玻片上，再经180℃水热或500℃煅烧得到TiO₂薄膜催化剂。采用扫描电子显微镜（SEM）、原子力显微镜（AFM）、透射电子显微镜（TEM）、X射线晶体衍射（XRD）和Raman光谱等分析手段对样品进行了表征，结果表明：TiO₂薄膜是由粒径为8~12 nm的球形颗粒组成的多孔结构，其晶型为结晶度良好的锐钛矿。以甲基橙为光降解物，在紫外灯下测试薄膜的光催化性能，结果显示煅烧处理的TiO₂薄膜催化剂的光催化活性优于水热处理，对低浓度甲基橙的降解效率达90%以上，并且多次重复使用后光催化活性基本保持不变。     

Hardy-Hilbert不等式一个新的改进

给出如下形式的权系数估计式■,得到了Hardy-Hilbert不等式的一个新的改进形式,所得结果改进和推广了一些相应结果.     

用King-Werner法求解高阶奇异问题

近年来,有许多实际问题的解决都可归结为高阶奇异非线性方程组的求解,因而引起了人们的兴趣.本文考虑用King-Werner法yn+1=yn-F′((xn+yn)/(2))-1F(yn),xn+1=yn+1-F′((xn+yn)/(2))-1F(yn+1).(1)求解高阶奇异问题.     

英语教学中语用语言失误及对策

分析了英语教学中语用语言失误的主要类型及其产生的深层原因,并就消除语用语言失误提出了相应的对策。     

需求与交货日期均不确定的供应链协调

研究供应链相对出清优势情形下，需求与交货日期均不确定的供应链协调问题．分析退货契约和滞销补贴契约的适用条件，设计出有效的退货契约和滞销补贴契约以协调成员的决策，使供应链整体期望利润趋于最优．