基于概率模型检查的树模型公平性验证方法

如今,越来越多的社会决策借助机器学习模型给出,包括法律决策、财政决策等等.对于这些决策,算法的公平性是极为重要的.事实上,在这些环境中引入机器学习的目的之一,就是为了规避或减少人类在决策过程中存在的偏见.然而,数据集常常包含敏感特征,或可能存在历史性偏差,会使得机器学习算法产生带有偏见的模型.由于特征选择对基于树的模型具有重要性,它们容易受到敏感属性的影响.提出一种基于概率模型检查的方法,以形式化验证决策树和树集成模型的公平性.将公平性问题转换为概率验证问题,为算法模型构建PCSP#模型,并使用PAT模型检查工具求解,以不同定义的公平性度量衡量模型公平性.基于该方法开发了FairVerify工具,并在多个基于不同数据集和复合敏感属性的分类器上验证了不同的公平性度量,展现了较好的性能.与现有的基于分布的验证器相比,该方法具有更高的可扩展性和鲁棒性.     

考虑交通流量俘获的电动汽车充电负荷预测和充电站规划

针对电动汽车(EV)的充电需求,考虑路径的交通流量,以最大交通流量俘获、最小配电系统网络损耗和最小节点电压偏移为目标,构建了一个多目标决策模型对EV充电站进行规划。运用网络扩展技术确定交通流量俘获路径;运用蒙特卡罗模拟算法,确定规划区内EV的最大充电负荷,从而推算得到充电站的容量;运用超效率数据包络分析评价方法,确定经过归一化处理后各目标函数的权重系数,从而将多目标优化问题转化为单目标优化问题,并采用改进的二进制粒子群优化算法进行求解。以一个包含25个节点的交通网络耦合33节点配电系统为算例进行仿真,验证所建模型和所提方法的有效性,并进一步分析EV最大行驶里程、充电站负荷接入不同节点以及不同时刻对各目标函数的影响。     

采矿设备利用卫星定位系统监控的效益

卫星定位系统（ＧＰＳ）实时位置监控技术正日益广泛应用于矿山设备中。数字采矿平面图技术现在已能应用在各种采矿设备上,并且整个采矿运用情况可通过宽带数据通信系统获知。这些系统可在生产与计划之间构成一条紧密集合链路。作业将不再因缺少测量标记而等待或受阻,也不再因为缺少即时的矿山作业现状信息而耽搁生产计划进程。由于效率大大提高而使得从矿山工程办公室向钻孔、铲装、复垦、以及矿山建设项目进行有效的指挥。这些系     

内蒙古有线电视台图文电视信息汇集及播出系统的设计

１概述广播电影电视总局在广发技字［１９９２］７号文件中规定 :“地方有线台可自办正程图文节目一套 ,并可以设置专用的正程图文频道 ,以扩大社会信息服务功能”。在步入信息高速公路 ,高科技迅速发展的今天 ,内蒙古有线台图文信息频道在图文电视制播领域 ,利用电视这一大众化的媒体 ,向广大观众传播丰富、准确、快捷的各类信息 ,几年来做出了有益的尝试 ,取得了好的成绩。１．１图文电视简介图文电视（ＴｅＬｅｔｅｘｔ）是一种用途广泛的新媒介。图文电视是利用现有的电视广播网络进行信息传输的一门新技术。它是在电视信号“正程”播出…     

弱胶结地层立井井筒变形监测研究

针对弱胶结深厚松散地层立井井筒的灾变防控问题,基于双向受压混凝土强度破坏准则和厚壁圆筒空间轴对称问题位移解,研究新巨龙煤矿立井井壁的变形破裂极限值。采用深井多层位自动变形监测系统,在新巨龙煤矿副井井筒深度范围内选择了3个层位进行井筒变形连续动态监测,并评估了其井壁状态。结果表明:极限破坏状态下井筒内壁变形值为2.369 mm;在弱胶结地层底部含水层与基岩段交界处立井井壁变形量最大,约为井壁变形极限值的82.5%;井壁变形增量在一定范围内波动,其变形属于弹性变形。最后,根据监测得到的变形量反演了井筒的受力状态,所得井壁最大变形量区域的附加应力值小于井壁极限抗压强度。工程实践表明变形监测结果能够真实地反映井壁的受力状态,监测系统能够实现井壁安全状态的实时动态评估。     

地产物业业主心连心老年社团唱响京城——北京金地格林小镇老年合唱团喜获大奖

2011年3月4日,北京金地格林小镇金地格林之声老年合唱团参加了中央电视台<歌声与微笑>栏目的录制,并以全场满分的骄人成绩战胜了众多专业合唱团体,一举获得"微笑杯"大奖,得到了现场专业评委们的一致好评,也取得了合唱团有史以来的最好成绩.     

南瓜果实生长的几何造型

引入了一个虚拟瓜果结构生长模型.通过对良种南瓜的生长观察,建立其生长时期三个阶段的数学模型,并在计算机中连续、动态地模拟这三个阶段的生长过程.该模型为虚拟农作物提供了具有实际应用价值的研究方法.     

增强服务理念 强化制度建设全面提升网络运营水平

2003年是内蒙古广播电视信息、网络公司实施全程全网运营管理的第一年,也是自治区广电干线网从建设期向建设运营期过渡新的一年。时过数月,在全体员工的齐心努力下,全网上下发生了可喜的变化。     

涟源煤盆地测水组煤的区域岩浆热变质作用

湘中涟源煤盆地测水组煤煤种单一，绝大部分为无烟煤，故以往有关其变质作用的研究较煤种多样化的龙潭组煤来说要少得多，为了改变这种状况，通过对研究区测水组煤镜质且反射率的系统测定和收集及煤的Ｘ射线衍射分析等手段，研究了涟源煤盆地测水组煤煤级、煤变质分区、煤变质带展布、煤变质梯度、煤化学结构的空间变化特征、煤盆地周缘印支－燕山运动期岩体的产热储热条件及埋深对煤变质程度的影响，上述研究结果及与煤共生的区域性     

胜利东二号矿剥离半连续系统胶带机道布设优化

针对胜利东二号露天煤矿南帮滑坡,3号剥离半连续系统布设困难,单斗-卡车工艺运距提升高度较大,剥离成本增加,经营状况困难等问题,依据二期设备采购合同现状,结合露井联采方案,对胜利东二号露天煤矿3号剥离系统的胶带机道布设方案进行了优化研究。