时间自动机的LTL性质模型检测研究

为了增强模型检测工具的检测能力,拓宽模型检测技术的应用范围,对基于时间自动机的LTL性质模型检测进行了研究,对自动机的状态空间的存储方式和状态空间的展开过程进行了分析,讨论了LTL性质模型检测工具的检测流程和检测算法的实现策略对工具检测性能的影响,针对制约模型工具的检测能力和检测效率的因素,采取了一些相应的优化改进策略.采用了BDD(二叉决策图)共享存储技术和位编码压缩存储,较有效地减小了空间消耗,缓解了模型检测中状态爆炸引起的内存空间不足问题.与DTSpin等著名的模型检测工具进行了实验比较,取得了较好的实验结果.     

最大频繁子图挖掘算法研究

随着图的广泛应用,图的规模不断扩大,因此提高频繁子图挖掘效率势在必行。本文针对频繁子图挖掘所产生的庞大的结果集,提出了一个最大频繁子图挖掘算法MFME,从而极大地减少了结果集的数量。MFME使用了映射的思想将图集中的边映射到边表中并在此表上进行子图挖掘,有效地提高了算法的效率。实验结果表明,MFME的效率较经典算法SPIN有明显提高。     

基于3D可视化GIS的前视参考图生成方法

基于匹配识别的导航系统不能缺少匹配参考图的支持,制备前视匹配参考图更是前视目标匹配识别的一个关键环节。为了利用航空航天图象信息制备出有效的前视匹配识别所需的参考图,提出了基于3D可视化GIS的前视参考图生成方法,介绍了该方法总体思路,分析了其中的三维数据制备、目标区三维场景生成和前视匹配序列参考图生成等关键环节,给出了部分制备的参考图与实时图的匹配实验结果。实验结果表明,利用这种方法制备的前视参考图可以满足前视匹配识别的需求。     

统计过程控制用于教学过程改进

教学质量与产品质量的要求特点不同。因为教学的对象是人,它包含了教师"教"以及学生"学"的质量问题,其质量的实现,显然与人的因素具有非常密切的关系,比起物质产品的质量,自然要复杂的多。如何科学地衡量教师的教学质量与学生的学习质量,一直是教学探索的主题。本文论述了我院针对学生课堂出席率的统计数据,结合课堂问题反馈,利用控制图反映教学过程的异常情况,并通过统计过程控制稳定改进教学过程,这一方法为量化教学质量奠定了基础。     

一种基于ArcGIS Engine的线状图幅接边方法

针对现有线状图幅接边工具的一些缺陷,提出了一种兼顾几何关系和属性特征的线状图幅接边算法,并利用ArcGIS Engine提供的功能,以Microsoft Visual C 6.0为开发环境实现了这一算法。实验证明,这种方法对一般的线状图幅接边是有效的。     

业界观察

近日清华同方推出一款主题笔记本电脑——imini-Chicaloca超便携笔记本电脑,由清华同方携手国际知名形象设计公司prcject109,让六百余个性感、有型而富有小资情调的Chicaloca形象登上了百变的imini超便携笔记本电脑。自此,人们喜闻乐见的Chicaloca形象从主题包包、雨伞、日记、手表来到了笔记本电脑领域。据悉,同方imini笔记本电脑还将推出变形金刚系列。-苏锋     

制作组合图

Adobe Bridge作为文件浏览器很出名,但是除了这些它还有其它功能。这里我们将展示怎样用它来创建自动的InDesign组合图。     

SAF-CNN：面向嵌入式FPGA的卷积神经网络稀疏化加速框架

传统的卷积神经网络加速器及推理框架在资源约束的FPGA上部署模型时,往往面临设备种类繁多且资源极端受限、数据带宽利用不充分、算子操作类型复杂难以适配且调度不合理等诸多挑战.提出一种面向嵌入式FPGA的卷积神经网络稀疏化加速框架（sparse acceleration framework of convolutional neural network, SAF-CNN）,通过软硬件协同设计的方法,从硬件加速器与软件推理框架2个角度进行联合优化.首先, SAF-CNN构建并行计算阵列,并且设计并行编解码方案,实现单周期多数据的传输,有效减少通信代价.其次,设计细粒度结构化块划分剪枝算法,于输入通道维度进行块内裁剪来获得稀疏且规则的权重矩阵,借此显著降低计算规模和DSP乘法器等资源占用.然后,提出一种兼容深度可分离卷积的输入通道维度动态拓展及运行时调度策略,实现输入通道参数灵活适配与逐通道卷积和逐点卷积的资源复用.最后,提出一种计算图重构及硬件算子融合优化方法,提升硬件执行效率.实验采用2种资源受限的低端FPGA异构平台Intel CycloneV与Xilinx ZU3EG,结果表明SAF-...     

阶段任务系统故障树启发式变量排序研究

供电监控系统作为城市轨道交通和城市综合管廊最重要的子系统之一,涉及变电、配电、用电、能源管理 等系统的运行监控和健康管理,其可靠性和工作稳定性极端重要.面向城市基础设施的供电监控系统是典型的阶段任 务系统 (PhasedMissionSystem,PMS),具有很明显的阶段性,即系统运行可分为多个不同阶段,各个阶段完成不同的作业.PMS的故障树 BDD分析中变量排序问题是 NP完全问题,因此从 PMS各阶段故障树的结构特征出发,研究 PMS故障树启发式变量排序.对于阶段异构 PMS,引入了新的 PDO 变量排序策略———MEAN 策略,基于大量具有各种结构特征的 PMS故障树样本比较分析了已有 DC策略、MEAN 策略以及元变量策略的性能,总结了PMS故障树的策略选择相关结构特征和结构特征依赖的策略选择方法.基于所提出的变量排序策略及策略选择方法可以有效地采用 BDD方法分析大规模 PMS故障树.     

某项目施工现场供电系统方案的探讨

根据某项目的施工现场供电系统方案的编制过程,对项目临时施工供电系统方案进行探讨,包括现场勘查、配电柜（箱）设置、线路走向、负荷计算、电缆型号选择、配电柜（箱）配置、系统图绘制等,以确保临时施工供电安全、可靠,保证项目顺利进行。