基于模型检验的软件安全静态分析研究

软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上，将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中，给出了一种基于自动机理论的检测软件安全的模型检验方法，阐述了其原理和工作流程，并用实例进行了验证说明。     

FTU技术在张掖市农网建议中的应用分析

在对张掖市农村电网改造和农电负荷变化情况调查的基础上,基于柔性输电理论,为提高农网供电质量和供电可靠性,分析了在张掖市农网中适时采用FTU技术的必要性及可行性.采用FTU技术建立配电设备与馈线主站之间的通信,获取配电系统运行控制及管理所需数据,执行主站给出的对配电设备的控制调节指令,实现提高供电质量和供电可靠性,降低电...     

基于能耗统计的青岛公共建筑能耗现状分析

以青岛市国家机关办公建筑及大型公共建筑作为能耗统计的对象,基于供能公司提供的能耗数据及从青岛市能耗监测平台上得到的数据进行分析研究。确定195栋、总建筑面积达663万m~2的办公建筑及大型公共建筑为研究对象,得到样本的总体能耗现状。将其按功能分为不同类型进行分类分析。将单位面积电耗和总能耗作为主要的分析指标进行研究,得到不同类型建筑的总能耗分布情况和能耗结构。     

矿区农地重金属污染风险农户认知状况———基于 FCM 法的案例研究

农户是矿区重金属污染农地的直接使用者,农户对农地重金属污染风险的认知关系到农地安全利用行为的采用以及农户的身体健康。将矿区农地重金属污染风险农户认知划分为原因认知、事实认知、损失认知和响应认知4个层次,通过半结构访谈法对大冶市典型矿区重金属污染风险农户认知情况进行了调查,建立了矿区农地重金属污染风险农户模糊认知图,形成了以图论指数分析、认知程度分析、仿真模拟分析为一体的矿区农地重金属污染风险农户认知分析方法。研究表明：① 农户对重金属污染的认知主要还是基于感性认识,由于农地收入不再是农户的主要经济来源,农户较为关注的是生活环境和身体健康,面对风险最容易想到的是抛荒弃耕和改变种植结构等被动适应措施,而对土壤污染、农产品价格降低、地租减少的关注相对较低,对翻耕改土、修复治理等主动缓解和治理措施的关注不足;② 农户的总体风险认知程度不高,对风险原因、风险事实、风险损失和风险响应的认知程度呈逐级递减趋势,农户对风险来源的认知相对清晰,但对风险事实、风险损失和风险响应的认知程度均较低,特别是农户对土壤污染认知程度很低,会严重影响到农地的安全利用和农户自身健康。     

储能用管式胶体蓄电池的设计

采用添加了石墨、红丹、中等硫酸量的正极铅膏、管式正极板、涂膏式负极板、PVC-SiO₂隔板、气相SiO₂的质量分数为4.0%的胶体电解液、挤膏工艺技术，制备储能用管式胶体蓄电池。经试验表明，样品性能达到了GB/T 22473—2008的要求。其中，循环耐久能力达到了13个周期，荷电保持能力达到了98.6%。由此说明，该样品设计过程中所采取的技术手段，提高了储能用铅酸蓄电池的性能，延长了使用寿命，满足了风、光发电系统储能的要求。     

基于变频器和PLC技术的西北地区农村提灌系统节能改造

为解决西北山区农村提灌系统的能耗与工作可靠性问题,针对当前西北山区农村提灌系统现状,提出了一种基于变频器和可编程逻辑控制器(PLC)技术的西北山区农村提灌系统节能改造方案.该方案具有明显的节电效益和良好的工作可靠性,其改造成本低,非常适合西北山区农村.