Web应用程序的动态测试生成方法

现有的网页验证方法和工具无法处理动态页面的Web脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法.该方法使用显式状态模型校验,自动生成测试,并运行测试来捕获输入的逻辑约束,最终输出一个故障报告集.通过一个校园BBS系统实例,验证了该方法在故障检测方面的有效性.     

供水水文地质勘查综合手段的应用

以遥感寺面测绘、地震、电法等综合勘查手段为主，并充分利用已有成果，在较短的时里获得大量地质信息。通过认真分析研究，取得必要的参数，以期达到了少投入多生产的效果。     

十点电动自动调平系统的设计与研究

本文介绍十点电动自动调平系统的设计理念、‘特点、技术指标及功能。具有调平精度高、调平速度快、抗倾覆性能高、安全防护措施周全、对运动信息进行实时的全面监控、智能化程度高、操作方便灵活、系统开放性好等优点。     

政府绩效评估的理念与方法

提出把公众当作政府绩效评估主体，把政府当作被评估对象，体现了“顾客至上”、“结果导向”和“责任导向”的三大政府绩效评估理念，对改进政府工作和创建服务型政府具有十分重要的意义。政府绩效评估应该把公众满意度作为重要的评估指标，把公众评价（即外部评价）作为重要的评估方法，尽管政府自评与公众评价各自打上了“自利性”的印记，但公众评价的“自利性”比起政府评价的“自利性”而言更符合当代政府行政的价值选择。并通过一则案例对这一问题进行了阐析。     

论提高图书馆员素质的途径

通过对提高图书馆员素质的必要性和紧迫性进行分析,提出了图书馆员应具备的素质以及提高图书馆员素质的具体途径。     

非对称富马酸二酯类的合成及对细菌的抗菌特性研究

以马来酸酐为原料先进行CnH2n+1OH（n=2～9）醇解合成马来酸单酯，然后催化转型生成富马酸单酯，再与甲醇酯化合成了一系列非对称富马酸酯类，产率85％以上．抗菌效果试验结果表明，非对称富马酸酯类可使微生物的生长适应期（t0）延长2～8倍，半对数生长期（t0.5）缩短1／3－2／3，相对生长量降低75％以上，生长势（t0．5／t0）仅为对照的1／28～1／6，并可显著地诱导和促进微生物菌群的自溶作用．     

油炸蚕豆工艺研究

本研究通过对蚕豆油炸加工工艺中蚕豆水分含量、糊化温度、油炸温度及时间、淀粉老化度等参数的探讨，为制作香脆可口的油炸蚕豆加工工艺提供依据．     

基于S3C2410型微处理器和UDA1341型立体声音频编解码器的嵌入式音频系统设计

S3C2410是Samsung公司一款基于ARM920T核的微处理器,通过IIS音频总线与UDA1341型CODEC构成一种嵌入式音频系统,实现音频的播放和采集.给出相关硬件电路的说明及Linux下音频驱动程序的设计要点.