摘要：移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露,而泄露形式和内容的复杂性增添了该类漏洞的检测难度.现有方法主要利用传统的静态数据流分析及动态监控等技术,易发生漏报和误报,且无法处理隐式信息泄露问题.该文首次将基于线性时序逻辑(Linear Temporal Logic,LTL)的模型检测技术应用于移动软件信息泄露检测上,提出了一种基于安全要素语句插装的泄露检测方法.文章首先针对代码中的安全要素提出一种信息泄露抽象关系模型;其次设计驱动生成规则和插装算法,在目标应用上生成可规约系统;继而设计具有通用意义的LTL泄露检测属性并利用符号执行技术优化检测算法;最后构建支持移动平台的模拟方法库,开发了原型检测系统(Leakage Finder of Android,LFDroid).公开数据集实验及对比分析表明,该文方法可以为含有隐式信息泄露数据集提供更为精确的漏洞检测,相较于传统方法准确率和召回率均具有明显优势,除此之外亦发现了3个真实移动应用的5个隐式泄露漏洞威胁.

摘要：轮履复合机器人实验平台是在分析现有移动平台形式的基础上,针对工业现场和教学实践的双重需要,设计的一种可二次开发的通用机器人实验平台。该设计采用模糊逻辑控制器控制电机驱动单元实现机器人的自主移动,采用轮履复合式的机械结构极大地提高了机器人的灵活性和机动性,拓展了机器人的活动空间。软硬件均采用模块化设计,使机器人实验平台的通用性和开发便捷性进一步增强,可广泛应用于教学、救援、巡检、军事以及勘探等领域。

摘要：在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开放式访问.面对众多的服务接口,如何进行高效且有效的测试是一个亟待解决的问题.为此,提出了一种基于模型驱动的自动化测试方法,首先采用接口语义契约模型对被测服务接口建模,然后基于接口模型和测试覆盖率需求为单个服务和组合服务生成测试数据和测试用例.在此基础上,设计并实现了AutoTest自动化测试工具,该工具采用多种算法用于优化测试用例生成,且支持图形化测试计划编排和跨语言测试代码生成.实验结果表明,AutoTest能够有效支持大批量测试用例的设计和生成,根据OED(正交实验设计)算法生成的测试用例与IPO组合算法得到的用例相比,具有更为理想的测试覆盖率.

摘要：为了提高遗传学实验教学水平,培养本科生的综合素质及良好的实验技术,文章提出了本科遗传学实验教学策略,包括通过多层次和渐进方式设计遗传实验内容,兼顾学生基础与能力的培养;采用研究与启发式教学模式,激发学生学习与探索的原动力;运用现代网络教学手段,辅助学生进行学习等。

摘要：Studio课程教学模式已在我国部分风景园林本科院校的设计课程中得到采用,但也面临诸多问题。笔者结合自身经历,介绍与分析了美国弗吉尼亚理工大学风景园林专业Studio课程的教学模式与特色,并与我国情况进行对比,以期对我国风景园林专业课程体系综合建设提供参考。

摘要：以东方锅炉首台百万二次再热机组为例,详细介绍百万二次再热机组30%负荷深度调峰摸底试验,并针对试验过程中出现的问题进行深入的分析,在不进行设备改造的前提下,从热控角度设计控制优化方案,可为同类型百万机组提供技术参考。

摘要：根据《广东电网发电机组一次调频管理规定》的一次调频响应时间应小于或等于3s、在电网频率变化超过机组一次调频死区开始时的45s内机组出力实际调节量应达到理论调节量的70%以上、一次调频稳定时间应小于60s的要求,以及依据机组一次调频实际贡献电量(频率越限期间机组发电出力偏离原计划曲线的积分电量),对河源电厂超超临界600MW机组一次调频功能进行考核,发现一次调频存在响应速度较慢、调频幅度不足等问题。对此,对机组一次调频功能的频差信号的选取方式、汽轮机主控及负荷闭锁控制逻辑等进行了优化。频差实际响应结果表明,优化后机组一次调频功能能够满足广东电网一次调频的要求。

摘要：本文针对河源电厂2×600MW超超临界机组工程建设中DCS方面的工作,从系统设计、安装、软件组态、调试等方面进行了总结,归纳了工程中需要注意的一些关键点及相关措施,可供国内同型机组参考。

摘要：MGGH(Media Gas-Gas-Heater,零泄露气气换热装置)是一种基于热媒体的烟气余热利用气气换热装置,具有除尘前烟气余热回收和脱硫后冷烟气再热相互独立完成的特点。新增凝结水加热系统后,利用热媒水剩余热量加热凝结水,达到节能降耗的目的。本文针对MGGH系统进行建模,设计组态进行调试,利用多系统解耦、不同工况变设定值、增加控制前馈等技术,实现了MGGH系统自动的投入,最大限度发挥设备环保节能的潜能。

摘要：核电发展对我国能源安全和能源基地的合理布局有重要的战略意义。核电的建设管理模式的不同,核电的工程计划管理工作的内容也会随之发生变化。本文是在大业主工程管理模式下(监理、设计、采购、土建、安装、调试均外包)对二代加改进技术的M310核电机组在建设期的计划管理工作进行了简单的探讨。分工程计划的分阶段和分级管理、计划管理职责分工、进度计划的编制、计划的调整控制四个方面分别介绍了核电建设中的计划管理工作。