多核系统动态温度管理TAPE策略的形式化验证

多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在 部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中。提出使用统计模型检测技术来验证多核系统中分布式DTM策略(以TAPE策略为例)的方案。使用UPPAAL SMC对TAPE策略的验证证明了TAPE策略的安全性、有效性、活性以及稳定性,从而验证DTM策略方案的可靠性。     

基于区块链项目开发语言选型的初探

区块链技术及持续发展的各种开源区块链项目,正吸引着越来越多开发者的目光. 而繁多的主流编程语言及特色各异的区块链项目,使得开发者在开发基于区块链的系统与应用时,在技术选型上难免会有所困惑. 为此,对12个较知名的开源区块链项目,使用了源码统计工具Cloc统计其源代码,并进一步通过阅读相关代码及文档,分析和比较了其开发语言的构成. 同时,以图表的形式呈现其体量和关注度,从而为区块链开发者在选型上提供参考信息和建议.     

封闭型小区交通开放对城市交通的影响

随着交通需求的增加,城市交通问题日益严重,能否通过开放现有封闭型小区的道路以缓解城市交通拥堵是一个值得研究的问题.本文针对这一问题,建立了基于最短路的交通分流线性规划网络模型,提出了交通量改善因子、路段饱和度均值以及路段饱和度标准差等三个评价指标,以评价和对比封闭性小区开放前后的交通量与道路占用程度,从而反映了封闭性小区的开放对城市交通的具体影响.本文对两种不同的交通网络及交通流量数据进行了仿真与模型求解,结果表明：尽管小区开放后路网密度提高,有可能使得总交通负荷降低,但并非任何小区开放均能缓解城市交通拥堵.小区面积、位置、外部及内部道路状况等诸多因素都能影响路网的交通状态,所以,是否开放封闭型小区,需要用针对具体的小区与周边道路状况进行评估后再进行决策.     

基于移动—能量代价函数的无线自组织网络路由策略研究

能量均衡技术一直是无线自组织网络的热点研究领域.在深入研究网络信息传输特性的基础上,提出了一种基于移动-能量代价函数的无线自组织网络路由策略,并用于网络信息传输.首先,本文考虑节点连通性、能量均衡性,提出了一种节点移动策略;然后,以传输路径节点集合中的瓶颈节点剩余能量、传输链路数量作为准则,建立以网络节点为对象的能量代价函数.基于移动-能量代价函数的路由策略从链路层的决策转移到节点层的决策.最后,采用MATLAB数值仿真该路由策略的性能,结果显示:本文提出的移动-能量代价函数的路由策略既保持了原有路由优化的精度,延迟网络瓶颈节点能量下降速度,提高网络生存时间.     

结合基因表达式编程与空间模糊聚类的图像分割

目的 针对模糊C-均值聚类图像分割方法存在的对初始值敏感及抗噪性能差的问题,提出一种结合基因表达式编程与空间模糊聚类的图像分割方法。方法 首先,利用基因表达式编程算法对图像进行初次分割,即将聚类中心编码成染色体,通过适应度评价引导搜索获得优化的聚类中心;然后在隶属度计算中引入空间函数,以初次分割结果作为初始值,使用空间模糊聚类对图像进行二次分割。结果 对加噪的合成图像和Berkeley图像的分割实验显示,本文方法在聚类划分系数（VPC）、聚类划分熵（VPE）和峰值信噪比（PSNR）等评价指标上总体性能优于经典的模糊C-均值聚类和空间模糊C-均值聚类分割算法,其中VPC值平均高出0.062 4和0.061 1,VPE值平均降低0.117 0和0.101 1,而PSNR值平均提升了约13.312 1 dB和3.308 4 dB;在对Berkeley图像库中的6幅图片的分割实验显示,本文方法对图像分割的VPC值均在0.93以上,相比两种对比方法平均提高0.157 6和0.013 3,VPE值保持在0.1附近,均低于对比方法,PSNR值平均提高2.896 3 dB和1.934 4 dB;在多目标分割实验上,随着聚类数目增加,3种方法的分割性能均有下降,但本文方法性能曲线最为平缓,受聚类数目的影响最小。虽然本文方法所需的运行时间略有增加,但求解所需的迭代次数却极大地减少。结论 本文提出的图像分割方法具有很强的抗噪性、更高的分割精度和稳定性,适用于需要更精确结果、对时间要求不高的分割场景。     

流程图化的嵌入式系统开发平台

面向嵌入式零代码基础使用者和低成本开发者,搭建了一个基于STM32的软硬件一体化编程的流程图化的嵌入式系统开发平台.该平台采用STM32作为硬件载体,用QT跨平台C++图形用户界面搭建简单易懂的流程图操作界面.硬件框图界面能驱动嵌入式设备,用编译软件封装功能模块放置功能编辑盒,通过命令行调用编译器,调用外部烧录软件完成下载,代码查看器可直观监视编译全过程.测试结果表明,该平台可方便、快捷解决编程问题.     

Gneiss: spreadsheet programming using structured web service data

Web services offer a more reliable and efficient way to access online data than scraping web pages. However, interacting with web services to retrieve data often requires people to write a lot of code. Moreover, many web services return data in complex hierarchical structures that make it difficult for people to perform any further data manipulation. We developed Gneiss, a tool that extends the familiar spreadsheet metaphor to support using structured web service data. Gneiss lets users retrieve or stream arbitrary JSON data returned from web services to a spreadsheet using interaction techniques without writing any code. It introduces a novel visualization that represents hierarchies in data using nested spreadsheet cells and allows users to easily reshape and regroup the extracted structured data. Data flow is two-way between the spreadsheet and the web services, enabling people to easily make a new web service call and retrieve new data by modifying spreadsheet cells. We report results form a user study that showed that Gneiss helped spreadsheet users use and analyze structured data more efficiently than Excel and even outperform professional programmers writing code. We further use a set of examples to demonstrate our tool's ability to create reusable data extraction and manipulation programs that work with complex web service data.     

Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming

This paper describes a nonlinear programming‐based robust design methodology for controllers and prefilters of a predefined structure for the linear time‐invariant systems involved in the quantitative feedback theory. This controller and prefilter synthesis problem is formulated as a single optimization problem with a given performance optimization objective and constraints enforcing stability and various specifications usually enforced in the quantitative feedback theory. The focus is set on providing constraints expression that can be used in standard nonlinear programming solvers. The nonlinear solver then computes in a single‐step controller and prefilter design parameters that satisfy the prescribed constraints and maximizes the performance optimization objective. The effectiveness of the proposed approach is demonstrated through a variety of difficult design cases like resonant plants, open‐loop unstable plants, and plants with variation in the time delay. Copyright © 2016 John Wiley & Sons, Ltd.     

不同大气校正方法对中小湖泊蓝藻遥感动态监测的影响

环境小卫星可实现中小湖泊蓝藻动态监测,但不同大气校正方法对于相同影像的处理结果有很大差异。研究利用多种大气校正方法对环境小卫星影像进行辐射校正处理,利用多个感兴趣区的全局和局部特征以及多个统计量对处理结果进行分析,比较其在蓝藻动态监测中的作用。基于多光谱植被指数计算蓝藻生物量的思路,分析了影像经不同大气校正算法处理后,其归一化植被指数的差异性来源及其对蓝藻生物量计算结果的影响。结果表明:蓝藻动态监测的定量描述会因大气校正算法不同而不一致,进而对几种大气校正算法在蓝藻生物量监测和定量分析中所产生的不确定性进行了比较分析,并对各算法的有效利用提出了建议。     

WSN中基于加速动态时间弯曲的异常数据流检测

在无线传感器网络下,进行分布式系统下数据流时间序列的离群检测研究,对实际生活中的火灾检测、欺诈、入侵检测和金融分析等诸多领域都有非常重要的作用。本文先对序列进行标准化,再利用动态时间弯曲距离进行序列间离群检测,较大地提高了检测的精度。同时针对DTW的计算复杂度瓶颈问题,加入了提前终止的思想,并利用多级判断来进一步提速。通过NS2仿真实验,验证了本文所提出的分布式系统下离群序列的加速检测方法既节省了能量消耗,又保持了较高的检测准确率和速度。