用于稳定计算的水轮机调速系统原动机模型

水轮机调速系统模型中,水轮机原动机（包括水轮机和过水系统）的强非线性对稳定计算结果有着重要影响。水轮机原动机的主要特点是强非线性以及水击,尤其在导叶开度大于50%的区间,在该区间范围内增大相同的导叶开度导致增加的功率小。通过水轮机原动机理论建模研究,并以现场试验修正理论模型,建立了适用于电力系统稳定计算的水轮机调速系统原动机模型,即“机组导叶开度与出力关系曲线加理想水轮机”的非线性模型;根据水轮机真机与模型机组的相似性,进一步提出了利用水轮机模型综合特性曲线和现场试验得出最大水头和最小水头下该曲线的方法,以满足电力系统稳定计算的不同需要。     

从基于迁移的扩展Büchi自动机到Büchi自动机

目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受语言之间的包含关系.有一类LTL公式转化为Büchi自动机的算法是:在计算过程中,首先得到一个标注在迁移上的扩展Büchi自动机(transition-based generalized Büchi automaton,简称TGBA),然后把这种扩展Büchi自动机转换成非扩展的Büchi自动机.针对这类转换算法,根据Büchi自动机接受语言的特点,重新定义了基于迁移的扩展Büchi自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势.     

平面阴影算法研究与实现

阴影对提升图形的真实感具有重要意义。探讨了平面阴影生成算法，针对平面阴影算法在实际应用中的缺点，利用OpenGL的模板缓冲技术实现阴影裁剪，利用基于截锥体的裁剪矩阵消除假影和反影现象，并利用OpenGL累积缓冲技术实现软阴影。较好解决了平面阴影算法的缺点，程序计算量小、效率高，图形的真实感和场景的可视化效果得以提升，达到良好的效果。     

部分酸化磷肥及其肥效

介绍部分酸化磷肥的特点、制造工艺、在土壤中的释放机理以及农化效果。     

煤气净化用多功能电捕试验研究

经过试验发现在常压、放电条件下，煤气中ＣＯ和Ｈ２的化学反应、Ｈ２Ｓ分解脱除反应可以同时进行，并且产品气中ＣＯ含量、Ｈ２Ｓ浓度均达到国家城市煤气质量要求，研制开发多功能电捕在技术上是可行的，是一项有开发前景的煤气净化技术。     

高压电缆附件设计环节中几个关键问题探讨

高压电缆附件的设计是一项涉及电气、机械、材料和热力学四方面的复杂过程,只有经过周密、精确的电、力、热的复合场设计,才能将因生产环节导致的故障率降至最低。因此针对高压电缆附件用预制或冷缩型附件设计环节中的几个关键问题,从电学性能、力学性能、松弛特性、扩张形变和电场优化等几个方面出发,提出橡胶材料弹性模量越高,界面压力越大,附件所需扩张率越低;温度越高,伸长率越大,橡胶材料的应力松弛速度越快;电缆附件撑开时,从内侧到外侧发生非线性位移,内侧大而外侧小,根据弹塑性力学理论,建立电缆附件的厚壁圆筒力学形变方程,可将电缆附件扩展后的电场优化尺寸成功恢复到厂家生产尺寸;最后给出合理设计电缆附件生产结构的方法和思路。该研究方法有望用于指导我国高压交、直流预制/冷缩型电缆附件的材料选型和结构优化设计。     

钢铁件常温发黑前处理

从各类化学除油、酸洗方法特点分析入手，探讨了常温发黑的前处理。指出要达到电镀前处理工艺效果，黑膜的附着力才有保证。