采用基本标识图的Petri网控制策略

提出了一种基于基本标识图的Petri网的在线监督控制策略.首先根据原Petri网的初始标识与变迁的可控性,建立基本标识图,通过求解整数规划将其中节点标记为合法或弱非法标识.之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制,从而防止系统到达非法标识.该控制策略能够避免可达图的穷举计算,具有良好的效率.

基于基本块标识方法的控制流图生成器设计

设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。

数据中心标识管理

数据中心经过多年的发展,已经从开始倡导建设可靠性逐步过渡到可用性,系统投资也逐步过渡到运维成本优先。同时,很多数据中心用户对数据中心可靠性要求也较高,通常用户愿意为高可靠性付出更多费用。目前的A类机房标准,T4标准投资非常大,使得机房的供电、空调系统可靠性达到非常高的标准,确保了万无一失。但是,由于目前大家的眼光都聚焦在建设上,对于数据中心建成后规范使用并没有太多的研究,也没有形成具体规范,论文就这方面的空白,聚焦数据中心标示管理并进行了仔细的研究,而且通过平常的工程实践,整理出一套行之有效的方案、办法,在企业内部的工程内逐步推广、试验,卓有成效。

一种Petri网最优控制序列的高效设计方法

提出了一种基于基本标识分析的Petri网最优控制序列设计算法,根据给定的源标识和目标标识集合,生成一个成本最低的控制序列,使得源标识在执行该控制序列后到达指定的目标标识集合。该算法在Petri网的基本标识空间进行Dijkstra搜索,在减少无望分支的同时将搜索范围缩小为可达集的一个较小子集,从而很大程度上缓解了状态爆炸问题。由于搜索过程中全图未知,结点将随着计算动态增加。笔者给出了该算法的最优性证明,证明该算法每次迭代所选取的松弛结点与全局Dijkstra搜索保持一致,故最终得到的最优序列相同。进一步地提出了一种变迁选取规则,通过选择符合特定要求的显式变迁集合,将目标集合隐式可达性的判定问题转换为一个简单代数不等式的逻辑判定,使得无须求解整数规划即可快速确定目标集合的隐式可达性。实验结果表明,与基于整数规划的方法相比,该方法具有在线计算量小、求解速度快的优点,适用于受控系统需要对控制需求作出快速响应的场合。

基于WIFI BSSID相似度和RSSI概率分布的定位算法

随着高校的扩大,教室的增多,以及无线网络覆盖率的增大,能够精确定位在校人员所在的教室位置具有重大意义。基于信号强度的定位算法是现今无线网络定位的主要方法。在已有算法的基础上,针对校园环境,提出了基于WIFI BSSID相似度和RSSI概率分布的定位算法。该算法先将当前扫描的BSSID集合与事先采集的数据库中的BSSID集合进行相似度计算,相似度高的位置可判定为定位位置。若存在多个位置相似度基本相同,则进一步根据信号强度的概率分布进行概率加权运算,权值最大的教室位置即为定位位置。实验结果表明,该定位算法在校园室内定位中可以提高定位精确度。因此,基于该校园室内定位算法,可以有助于精确定位在校人员所在教室位置,给在校人员的学习与工作带来便捷。

关联重定向在802.11 VLAN中的应用研究

本文介绍了关联重定向和如何在有线VLAN进入到IEEE802.11环境时应用关联重定向。最大特点是不需要在客户端打破IEEE802.11标准,也不需要对802.11MAC修改,仅仅稍对AP做微小改变就能实现关联重定向。

基于BSSID技术的列车人流监测系统设计

为监控高人流量地区的人流密度并实现人流由密集区域至零散区域的疏导,开发一款基于基本服务集标识符(BSSID)技术的列车人流监控系统.该系统由Java小型机、BSSID地址探测程序与后台管理程序等3部分组成.系统利用Java小型机,通过BSSID探测程序对周围乘客数量进行探测,运用Redis缓存等技术提高性能,上传数据至服务端并进行整合及可视化处理.实践证明,该系统可在疫情及正常情况下实现列车人流监控与疏导,为现代智慧地铁建设提供一种新的可能性,助推地铁信息化的发展.

百科知识

科学家发现,一个人的嗓音如同他的指纹一样,也是长期稳定的密码信号。每个人都有自己独特的嗓音,这是一个人的基本标识之一,任何模仿者都不可能逼真地模仿他人语音的全部音色和其他要素。