一种面向动态可重构计算的调度算法

硬件任务的调度是影响动态可重构系统性能的关键因素之一.提出一种任务间最小空隙调度算法MGS(minimum gap scheduling algorithm) ,该算法借助任务投影和调度代价函数,采用二维时空坐标系协调各硬件任务占用的芯片资源和执行时间,可有效减少系统资源浪费,提高并行度. MGS算法策略直观,调度开销小,且同时适用于实时和非实时场合.仿真实验表明,与已有算法相比,MGS算法不但降低了硬件任务的调度时间开销,而且具有更高的芯片利用率和更低的任务拒绝率.     

传统花窗纹样在鞋靴设计中的应用

为了让鞋靴的造型设计更具民族性、美观性,将传统花窗纹样与鞋靴设计进行有机融合.以花窗纹样为切入点,阐述了花窗的起源、发展以及纹样分类,深入研究了不同类型花窗纹样蕴含的文化寓意,并将其应用在鞋靴的造型设计当中,达到了对鞋款创新设计的同时又借助花窗元素的寓意表达美好的祝愿.     

西北农业水价改革的现状与对策

农业水价不合理是西北农业水资源浪费的主要原因。西北地区农业水价改革和现实的水价形成中存在的主要问题有：水价的区域差异悬殊，成本价格地位仍未确立；高扬程灌区及贫困地区的现行水价已超过农民的承受能力；水费计收困难，实收率低与乱加价并存。针对上述问题分析出农业水价偏离实际运行轨迹的成因是：水的商品意识淡薄；管理体制不适应；农业水价结构单一，水价形成机制不合理且缺乏有效的约束机制；农业比较效益低。提出了西北地区农业水价合理化的基本对策为：建立合理的水价形成机制；推进科学的分类水价制度；改革农业供水管理体制；完善补偿制度的扶持政策。     

通过与氧化石墨烯复合增强金属有机框架材料MOF(Ni)-74的电催化析氢性能

采用溶剂热法制备了金属有机框架材料MOF(Ni)-74及其与氧化石墨烯(GO)的复合材料MOF(Ni)-GO,并利用线性伏安扫描(LSV)等电化学方法在N_2饱和的0.5mol/L H_2SO_4溶液中对材料的电催化性能进行了检测。实验结果表明,GO的掺杂能显著提升金属有机框架材料MOF(Ni)-74的电催化活性。其中GO含量为8%时,所得复合材料表现出最好的电催化析氢活性,起始电势仅为-0.462V,塔菲尔斜率为110mV/dec,同时该材料也表现出很好的电化学稳定性。     

两电子氧还原电催化合成过氧化氢的研究进展

过氧化氢(H₂O₂)是一种环境友好的通用氧化剂，被广泛应用于化学合成、废水处理以及纸浆和纺织品漂白等领域。当前工业大量合成H₂O₂主要采用蒽醌法，该方法能耗高，工艺步骤多，三废排放大且产物储运过程中存在安全隐患。利用电催化剂将氧气在阴极侧进行两电子氧还原反应(2e^-ORR)可实现按需现场合成H₂O₂,是近年来广受关注的一种方法。电催化剂的活性、选择性和稳定性直接决定了2e^-ORR的反应效率。本文简要介绍了2e^-ORR机理及催化剂性能评价方法，主要综述了用于2e^-ORR合成H₂O₂的贵金属基和碳基催化剂在结构优化、组成掺杂、活性位点调控和表/界面设计等方面的重要研究进展，在此基础上就电催化合成H₂O₂存在的挑战和未来需要解决的关键问题进行了展望。     

安全关键的信息物理系统中时序行为的组合与精化

信息物理系统（cyber physical systems, CPS）通常被应用于安全关键的场景中，需要进行实时监控，并计算反馈信息，实现对外部环境的自动控制与管理.基于模型驱动的开发方法是针对实时的、异构的CPS进行开发的，而模型的可组合性是其中的核心关键点.针对时序行为的可组合问题，首先通过时序约束语言（clock constraint specification language, CCSL）建立系统的时序行为需求模型，在此基础上通过迁移系统描述CCSL的时序行为语义，并给出其组合操作方法及可组合性的形式化定义.进一步地，对时序行为进行精化操作，给出从时序行为需求模型到任务执行模型的转换方法.同时，基于L*方法对模型行为进行学习，实现组合验证以缓解状态爆炸问题，并验证精化后模型的可组合性.最后通过仿真实验及主从智能小车实例对精化与验证方法进行评估.相关数据显示，精化与组合验证方法在处理时间和内存使用上具有一定的性能优势.     

基于深度学习多尺度特征的胎儿头围测量方法

传统医学超声胎儿头围测量方法存在效率低、测量不稳定等问题。为此，提出一种医学超声胎儿头围自动测量方法。提出一种H-Unet改进模型进行医学超声胎儿头部图像分割。该过程利用Non-local模块捕获长范围依赖关系，采用空间金字塔模块获取多尺度特征信息，并提出一种改进的损失函数进行网络训练；利用边缘检测算子提取分割目标的头部轮廓；利用基于最小二乘法的椭圆拟合方法自动计算出胎儿头围值。在HC18数据集上进行测试，以头围绝对差值(A_D)、Hausdorff距离(H_D)、Dice系数评估该模型性能。实验结果表明：对比已有方法，该方法的上述三种指标均有提升，在胎儿头围测量上可取得满意的效果。     

两种典型情况下的多目标航迹关联方法

针对多目标测量雷达航迹关联中普遍存在的目标变换和目标重复两类典型问题，提出双向带密度控制的多项式检验和基于弹道动力学外推的雷达测元比较方法，有效解决了多目标雷达测量时一段连续航迹跟踪目标不唯一和对同一空间目标多次重复测量的技术难题，改变了完全依赖人工拼接测量数据完成多目标航迹关联的现状。实践结果证明该算法简单适用，便于工程实现，可极大地提高多目标航迹关联的准确度，缩短数据处理周期，对完成目标空域分布测量、目标识别等突防效果分析与评估具有重要价值。     

实时计算机系统结构综述

在时间敏感的嵌入式系统中，任务需要满足其最后截止期限，错失任务期限会显著影响服务质量或带来灾难性后果.与通用系统相比，实时系统研究进展缓慢，甚至很多基本概念都未达成共识.精确计时(precision timed,PRET)机和实时处理单元(real-time processing unit,RPU)是2套现有的实时系统解决方案，以它们为例介绍实时系统相关的概念，阐述实时系统发展中遇到的问题，比较异同，并分析实时系统各个层次遇到的问题和现有的解决方法.在应用层，用户需要定时操作的接口；在指令集架构(instruction set architecture,ISA)层，应充分利用硬件提供的资源，向上层提供足够的时间语义抽象和计时精度；硬件层需要支持ISA的时间属性和时间语义，并在保证实时性的基础上尽可能地提高性能.对实时系统的研究面临许多挑战.在现有的实时系统设计研究的过程中，关键问题在于上层应用的时间语义难以与底层实现保持一致.     

设计需求驱动下类AHP法辅助产品形态设计的研究

为提高产品形态设计的效率和质量，降低产品设计过程中的主观性，在深入研究产品形态设计的过程中提出类层次分析法（Analytic Hierarchy Process,AHP）。该方法先通过产品语义分析构建语义理论模型，运用判别表法对比赋值语义因子得到对比矩阵，然后检验对比矩阵的一致性，计算权重构建模型，得到一套完整的产品形态设计辅助方法。最后，以简约式灯具设计为案例，验证该方法在产品形态设计中的有效性。