摘要：提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。

摘要：基于隐形区的位置混淆技术是实现位置隐私广泛研究的技术,但该技术需要可信第三方且无法防止基于背景信息的推理攻击,容易泄露位置隐私。针对这一难题,提出了以用户为中心的差分扰动位置隐私保护方法,不需要可信第三方,同时增强了用户位置隐私。该方法采用修改的Hilbert曲线映射技术将地图中用户的每个位置投影到一维空间,通过组合k匿名和差分隐私技术随机产生扰动,并将扰动位置作为用户真实位置提交给服务商。为了解决移动设备资源受限问题,采用基于四分树的方法将用户的上下文存储和转换为比特流,由此获得了有效的时空复杂度和很高的检索准确率。安全分析表明,该方法能有效保护用户位置隐私;实验评估表明,与采用标准Hilbert曲线映射的方法相比检索准确率平均提高了15.4%。所提方法在隐私保护和服务精度之间取得了较好的权衡,对隐私保护系统设计具有一定的理论和实际意义。

摘要：针对JUFrame应用服务器老化情况,设计了多种类型的客户请求程序和服务器端程序,记录了各种参数共计5类36个参数;对影响应用服务器中间件性能的主要指标采用多维时间序列分析的方法建模。用实测数据进行分析的结果表明,用所建模型得到的预测值能很好地拟合原始数据,该模型可以用于系统实际运行时的预测,预测结果可作为再生的依据;与一维AR模型相比,预测精度提高了7%。

摘要：工业中实时监控系统的实时异构集成数据在解析存储时需要适应用户需求多样性和可变性的特点,因此集成数据的解析成为一个难点。以环境在线监控系统为应用背景,提出了针对实时异构集成数据的自适应模板数据解析思想。数据解析前,根据集成数据,以用户需求为基础设计的用户表以及定义的模板构建规则,构造描述集成数据与用户表映射关系的自适应模板。解析算法根据模板对集成数据进行解析分类。该算法只根据模板的描述对数据进行解释,具有良好的通用性以及可拓展性。通过实际数据进行测试,结果表明提出的自适应模板解析算法具有良好的性能,能够很好地适应用户需求多样性和可变性的特点。

摘要：为了确保环境运维设备的安全稳定运行,需要对其进行监测。本文提出了在Web环境下,利用***、Coolite和Ajax等技术,采用B/S结构实现环境运维设备的远程监测系统,并对B/S结构在远程监测中的几个难点给出了具体的解决方法。本系统为远程监测在环境监测领域的应用提供了很好的例子,具有广阔的应用前景。

摘要：在煤矿深部高压水害隐患探测中,井下电磁法发挥着独到的作用。介绍了井下直流电法、井下高密度电阻率法、电透视法、井下瞬变电磁法的工作原理和施工方法,以及顶底板探测、侧帮水害隐患探测、回采工作面水害隐患探测及独头巷道超前探测的效果。结果表明,矿井电磁法对含水低阻体敏感,与探测目的层或地质体近距离接触,对导含水体具有较高的分辨能力,是探测采煤工作面突水隐患的有效方法。