粉末碳与污泥回流强化混凝低温低浊水及残余铝

研究了粉末活性碳与聚铝混合污泥回流强化混凝对浊度、UV254和DOC去除效能;同时考察了回流对各种形态铝质量浓度的影响.结果表明,当聚合氯化铝和粉末炭的投加量分别为10、20 mg/L,粉末活性炭-聚铝混合污泥回流量为60 mL/L(回流比6%),pH值为8时,浊度去除率最大为78.5%;pH值为6.5～7.0时,DOC和UV254的最大去除率分别达29.6%和53.3%.回流工艺能强化去除浊度和有机物主要是由于回流污泥中不溶性金属氢氧化物的架桥和卷扫作用,以及回流污泥中和预投加PAC最大限度的吸附作用.回流污泥中的Al主要以颗粒形式粘附于絮体上,回流沉后水总余铝质量浓度高于常规工艺,但溶解态铝质量浓度均满足GB2006-2597生活饮用水卫生标准(<0.2mg/L).     

关于形式化方法与软件可靠性的研究

形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.     

PAS高级软件在西宁电网中的应用

随着电力系统的迅速发展,作为EMS系统核心的PAS高级应用软件功能已逐步成为电网安全、稳定、优质和经济运行的科学计算分析工具。基于西宁电网实际,本文综述了PAS软件的结构、功能,介绍了各应用软件模块的选用及主要功能,并描述了该软件在西宁电网的实际应用情况。     

《软件开发技术》课程教学内容与教学方法改革研究与实践

《软件开发技术》是基于工作过程导向的课程开发,以来自企业的实际项目为载体设计教学内容,课程总体设计体现＂做中学＂的理念。以学生毕业后将要从事的程序员或软件设计师职业岗位能力为培养目标,与软件公司合作,按照基于软件系统开发的工作过程来开发和设计课程,既保证职业岗位所需技能、相关知识、职业素质的需要,又保持原有软件开发知识体系的相对完整性,培养学生的职业能力,养成学生的职业习惯,同时也为学生的可持续发展奠定基础。     

软件构件技术研究

指出软件复用与构件的基本概念,重点分析了当前构件技术主要研究的各项内容与现状,在此基础上,提出了构件研究过程中存在的主要问题,并对今后构件技术的发展进行了展望.     

基于扇区差值的60GHz毫米波的空间复用方法研究

对60 GHz无线个域网中空间复用技术进行了研究。提出了一种基于扇区差值的空间复用的新方法。利用PCP/AP收集到的STA用于在服务期中使用的扇区ID信息,建立波束形成信息表。PCP/AP通过查找已分配服务期与候选服务期的链路STA及其对应在链路中使用的扇区ID信息,计算出两个服务期中链路STA的最小扇区差值。根据最小扇区差值来判断所选SP中的链路是否能够进行空间复用;进而实现根据最小扇区差值找出与当前候选服务期进行最佳空间复用的已分配服务期。仿真表明,基于扇区差值的空间复用方法能够获得更高的空间复用增益。     

武器装备仿真训练软件元模型设计研究

针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型整体的各部分及其相互关系,构建了描述武器装备仿真训练软件建模语言(WSML,Weapons and Equipments Training Simulation SoftwareModeling Language)的元模型。提出了基于元模型的WETS开发流程。通过大量工程应用,表明该方法是支持模型重用的,可显著提高仿真训练软件的开发效率及其运行可靠性的开发方法。     

基于DEVS的防空作战模型可重用性研究

仿真模型重用是当前仿真领域的热点问题,其在工程领域的实现能够极大提高开发效益。鉴于各类现代防空作战行动中的相似性,采用DEVS方法为其建立分层耦合的离散事件模型(DEM),在事件驱动层面对各类应用情景中的模型状态转移做了统一的、规范的描述,并针对不同的应用情景引入行为模型(BM)建模,在行为表示层面上描述模型状态转移的具体算法,最后设计了BM和DEM结合的动态链接方式,给出仿真程序组成示例,实现了从事件驱动层到行为表示层的模型重用。     

基于知识组件的夹具元件快速设计研究

针对夹具元件知识不能在设计过程中快速重用的问题,引入知识组件的概念,提出一种夹具元件知识组件建模方法. 对集参数、规则、实体模型和装配等信息于一体的知识组件模型进行定义,通过XML对模型进行表示和存储.基于知识组件模型,以松耦合的方式为夹具元件规格的确定、实体模型的语义建模和夹具元件装配等设计过程提供知识支持.实现设计知识无缝、快速地应用于夹具元件的设计过程.通过某飞机零件的夹具元件设计实例验证了所提模型和算法的有效性.      

R统计软件在统计教学中的应用

在讲授统计基本思想方法的同时利用统计软件进行辅助教学,以提高学生利用专业知识解决实际问题的能力已成为现代统计教学的重点;以回归模型为例介绍了R统计软件在统计教学中的应用。