PAR分光光度法测定汽油中的痕量铅

研究了快速测定汽油中痕量铅的方法。测定经盐酸处理过的汽油与 PAR反应生成的络合物。该显色体系最大的优点是可在水相中直接用光度法测定样品中铅的含量。该配合物最大的吸收波长为 5 2 0 nm,ε52 0 =2 .2× 10 4 L· (m ol· cm ) - 1 ,Pb浓度在 0～ 2 5 .2μg· m L- 1 范围内线性关系良好 ,回归方程 A=0 .12 711C- 0 .0 6 2 93,相关系数为 0 .9992 ,检出限为 0 .4 1μg· m L- 1 。本方法显色迅速 ,稳定 ,操作简便 ,避免了使用氰化钾剧毒试剂 ,以及萃取等烦琐操作 ,可在 35 min内完成 1次测定     

基于辐热积模型的温室栽培生产规划决策支持系统磁

为实现定期上市目标下的温室栽培生产规划,以作物辐热积模型为依据,利用历史气象数据和市场价格信息,建立基于辐热积模型的温室黄瓜栽培生产规划决策模型。应用 Web 技术开发了温室作物栽培生产规划决策系统,系统能实现作物在确定种植时间条件下预计上市期及温室运行过程的逐日环境优化决策,并以温室栽培黄瓜为例,对决策模型进行了验证。结果表明,系统能根据用户所提出的决策目标和温室运行状况,实现温室栽培生产的规划决策。     

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。     

Relationship between the attenuation of downwelling irradiance at 490 nm with the attenuation of PAR (400 nm-700 nm) in the Baltic Sea

The vertical attenuation coefficient of diffuse downwelling irradiance at 490 nm (K_d 490) is a parameter that we routinely derive from SeaWiFS images of the Baltic Sea. Here, through model simulations, we examine the relationship between K_d(490), and the vertical attenuation coefficient of PAR (K_d PAR), as this later coefficient determines the light available for aquatic photosynthesis. A simple semi-analytical model is used to predict K_d(490) and K_d(PAR), as a function of the concentrations of chlorophyll, colored dissolved organic material (CDOM), suspended inorganic, and suspended organic particulate material. A series of model simulations based on variations in these optically significant constituents over a range realistic for the Baltic Sea, are used to define the relationship between the two attenuation coefficients.

Kd(PAR)=0.6677Kd^0.6763(490).     

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.     

Huffman算法程序的形式化推导

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行。     

PAR在数学算法中的应用

针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。     

形式化开发非递归Koch曲线算法

形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法作了较深入的实践和探讨。     

基于PAR 的排序算法自动生成研究

排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.     

应用小波分析进行短期负荷预测

小波分析是一种新兴的数学工具，它能任意地提取短期负荷序列的细节。通过使用小波分析，可以在任何水平上分析短期负荷序列，它对信息成分采取逐渐精细的时域与频域处理，尤其对突发与短时的信息分析具有明显的优势。本文将小波分析引入了短期负荷预测，针对电力系统本身具有的负荷以天，周，年为周期发生波动的特点，使用周期自回归模型有选择的对分解序列进行预测，并对直接使用周期自回归(PAR)模型的预测结果及先使用小波分析处理的预测结果进行了比较，实例显示这种方法提高了预测的精度。