利用OVM实现基于Class的高效仿真验证环境

中国计算机学会

Optimization of biodiesel production from trap grease via acid catalysis

As a kind of waste collected from restaurants, trap grease is a chemically challenging feedstock for biodiesel production for its high free fatty acid (FFA) content. A central composite design was used to evaluate the effect of methanol quantity, acid concentration and reaction time on the synthesis of biodiesel from the trap grease with 50% free fatty acid, while the reaction temperature was selected at 95 degrees C. Using response surface methodology, a quadratic polynomial equation was obtained for ester content by multiple regression analysis. Verification experiments confirmed the validity of the predicted model. To achieve the highest ester content of crude biodiesel (89.67%), the critical values of the three variables were 35.00 (methanol-to-oil molar ratio), 11.27 wt% (catalyst concentration based on trap grease) and 4.59 h (reaction time). The crude biodiesel could be purified by a second distillation to meet the requirement of biodiesel specification of Korea.

Reflection and transmission properties of double submerged rectangular blocks

An analytic method is used to study the reflection and transmission coefficients of the double submerged rectangular blocks (DSRBs) in oblique waves.. The scattering potentials are obtained by means of the eigenfunction expansion method, and expressions for the reflection and transmission coefficients are determined. The boundary element method is employed to verify the correctness of the present analytical method. The DSRBs have better performance than the single submerged rectangular block (SSRB) in certain cases. The reflection and transmission properties of the DSRBs are investigated for some specific cases, and the influences of the geometric parameters are also presented.

紫花苜蓿不同根系分布模式的土壤水分模拟和验证

根系分布影响着土壤水分养分吸收,实测根系分布费时费力,经验根系分布函数参数简单,应用方便。该研究在田间采用苜蓿栽培土柱试验,测定根系分布,并将其和不同经验根系分布函数分别应用于Hydrus-1D对土壤水分进行动态模拟,通过土壤水分实测值和模拟值比较,验证分析了经验根系分布函数的适用性以及对土壤水分动态变化的影响。结果表明:拟合的根系分布、Prasad分布、Hoffman和van Genuchten分布3种根系分布函数的根长密度模拟值与36cm以下的根长密度实测值较为吻合,Raats根系分布模拟值与实测值及其他分布函数则差别较大。不同根系分布下土壤水分模拟差别不大,平均相对均方根误差在3.5%以下。非胁迫生长条件下,Prasad根系分布、Hoffman和vanGenuchten根系分布都可描述紫花苜蓿实际根系分布状况。

黄土旱塬Hybrid-Maize模型适应性及春玉米生产潜力估算

通过对Hybrid-Maize玉米高产模型进行田间验证,应用该模型对黄土旱塬春玉米生产潜力进行初步估算。结果表明,Hybrid-Maize模型在黄土旱塬表现出较好模拟效果,总生物量、秸秆生物量和籽粒产量模拟值与实测值间具有极显著线性相关性,其决定系数分别为0.9469、0.8164和0.9650,回归系数分别为1.0198、0.9787和1.1844,接近于1。黄土旱塬区多年光温生产潜力和气候生产潜力因品种不同有所差别,对多年平均光温籽粒和总生物量生产潜力,紧凑型玉米品种分别为13.25和22.45t/hm2,平展型玉米品种分别为12.32和20.62t/hm2,年际变化小;对多年平均气候籽粒和总生物量生产潜力,紧凑型玉米品种分别为11.97和19.94t/hm2,平展型玉米品种分别为11.37和18.63t/hm2,年际波动大。在黄土旱塬区,玉米产量潜力挖掘的主要途径应集中在提高密度和水分限制条件下,Hybrid-Maize玉米模型在指导玉米高产栽培上具有较好应用。

基于UML和模型检测的安全模型验证方法

安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.

带敏感标签的SELinux安全策略信息流分析方法

针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策略的完整性与机密性进行验证.

一种基于指针逻辑的代码安全属性分析方法

在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理.