浅谈高校无机化学实验教学的绿色化

针对在化学实验教学中因大量污染物的排放可能对师生健康和环境造成严重危害的实际,就如何进行绿色化学实验教学这一问题,文章提出了学生开展无机化学实验废液的处理实验、进行实验微型化教学以及实验应多采用仪器法等方法,在高校化学实验教学中渗透绿色化学教学思想是必要的,也是可行的。化学教师应该用绿色化学的理念指导化学实验教学,培养具有绿色意识的化学人才,实现化学实验教学的绿色化。     

Steady-state analysis of load balancing with Coxian-2 distributed service times

This paper studies load balancing for many-server (N servers) systems. Each server has a buffer of size b ? 1, and can have at most one job in service and b ? 1 jobs in the buffer. The service time of a job follows the Coxian-2 distribution. We focus on steady-state performance of load balancing policies in the heavy traffic regime such that the normalized load of system is λ = 1 ? N^?α for 0 < α < 0.5. We identify a set of policies that achieve asymptotic zero waiting. The set of policies include several classical policies such as join-the-shortest-queue (JSQ), join-the-idle-queue (JIQ), idle-one-first (I1F) and power-of-d-choices (Po d) with d = O(N^α log N). The proof of the main result is based on Stein's method and state space collapse. A key technical contribution of this paper is the iterative state space collapse approach that leads to a simple generator approximation when applying Stein's method.     

均衡聚类市场拍卖机制的异构无人机集群任务规划方法

针对大规模异构无人机集群的全局任务规划问题,提出一种基于均衡聚类市场拍卖机制的任务规划方法。对无人机群协同合作完成任务的场景进行分析,综合任务聚类和无人机联盟的优势,建立了通用性较高的任务规划模型。考虑到对无人机群负载均衡的需求,融合和改进了K-means聚类算法和市场拍卖机制,形成一种综合考虑路程消耗和任务消耗的均衡聚类市场拍卖算法。在拍卖过程中引入平衡参数,通过计算旅行商问题来修正平衡参数,保证无人机群在负载均衡的同时整体成本不断降低。仿真结果表明,使用均衡聚类市场拍卖机制的任务规划方法能够在较短时间内完成异构无人机群的复杂任务规划,保证无人机群负载均衡的同时,整体成本和总时间上也有较好表现,具有一定的实际应用价值。     

基于能源互联网背景的储能二次电池技术发展分析

能源互联网是在现有配电网基础上,融合新能源技术和互联网技术,将分布式能源采集装置和分布式能源储存装置联合发展起来的新技术,对于优化能源结构和提高能源利用具有重要的意义。文章以能源互联网对储能电池的需求为背景,首先归纳了能源互联网对于储能电池的要求,在此基础上重点分析了多种可应用于能源互联网的储能电池的性能与特点,并对其未来发展趋势进行了展望。     

逻辑靶场实现过程和关键技术分析

逻辑靶场基于公共的对象模型、软件平台和高速通信网络,集成了单个或多个靶场的各种资源,形成逻辑上的大型综合靶场,为联合试验训练提供了多靶场合成能力。提出了逻辑靶场规划、创建、测试和使用的总体技术过程,分析了逻辑靶场对象模型、逻辑靶场对象元模型、中间件、网关、规则和标准、支持工具等关键技术及实现方法,介绍了一种联合试验训练支撑平台,为实现逻辑靶场提供参考借鉴。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

电子系统设计技术及应用专题讲座(三) 第6讲 数字系统的设计与实现

主要介绍数字系统的设计技术与实现方法,从数字系统设计实现方案的提出、论证到具体的模块规划、设计、实现等详细阐述了数字系统设计的流程和注意事项,结合今年大学生电子设计竞赛的题目——"红外光通信装置"对数字系统设计方法进行了实例讲解和分析。     

预警机雷达在协同空战中的多目标探测

预警机指挥下的多机协同攻防系统,利用预警机的高空机载雷达和强大的通讯导航系统有效地提高了多机攻防系统的防空预警能力和综合指挥作战能力。对该系统进行了理论框架分析,给出了其整个工作过程的各个功能模块的模型,并针对预警机的雷达探测能力进行了对多组目标实时探测跟踪的仿真计算。     

金字塔渐进融合低照度图像增强网络

针对现有低照度图像增强网络对不同尺度特征信息存在感知与表达能力不足的问题,提出金字塔渐进融合低照度图像增强网络模型。网络对图像进行多次下采样操作以组成特征金字塔,通过在特征金字塔的三个不同分支上加入跳跃连接,将不同尺度的特征图进行相互融合。通过精细恢复模块进一步提取精炼信息,将特征图恢复到正常的光照图像。结果表明,该网络模型不但能有效地提升低照度图像的整体亮度,而且能很好地保持图像中的细节信息和清晰的物体边缘轮廓,同时能够有效地抑制图像中的暗部噪声,使增强后的图像整体画面真实自然。     

专家系统与军事应用

以军事专家系统为主线,阐述了专家系统在军事中的应用前景;分析了专家系统的基本情况及国外发展现状,归纳了人工智能与专家系统研究中的八个基础性应用课题;论述了人工智能在火控指控领域中应用的可能性,并提出了我国在人工智能研究中某些应注意的问题。