基于地图云的党建服务平台设计实践

党建平台建设在党员管理和联系群众中发挥重要作用,网络党建是紧跟时代的新服务模式。以重庆市大渡口区为例,提出基于地图云的党建服务平台建设方案,介绍总体框架和软硬件环境、数据库组织分类和内容、功能设计、系统实现过程和创新点,并指出打造移动互联立体信息网及实现线上线下互动闭环是下一步工作重点。     

支撑云-群-端协同调度的多能园区虚拟电厂:研发与应用

虚拟电厂技术挖掘并利用了各类分布式资源的灵活调节能力,是提高电网安全水平、降低用户用能成本、促进新能源消纳的重要措施.在能源互联网环境下,虚拟电厂面临分布式资源主体众多且特性各异、不确定性强、各地电网需求多样化等技术挑战.文中基于云边协同的信息架构,设计了云?群?端递阶协同的多能虚拟电厂调度技术框架,研究并提出了面向特性各异分布式资源的调控能力标准化建模方法、日前鲁棒聚合和日内滚动修正衔接的虚拟电厂在线等值技术、考虑差异化调峰需求的虚拟电厂?电网交互调度模式等多项实用化关键技术,设计并开发了面向园区的虚拟电厂调度模块,并在多个工程现场实际运行.以中国北京某多能园区的场景分析为例,证明了所提方法的实用性和模块的通用性.     

钕铁硼永磁合金烧结过程中的晶粒聚集长大及对磁性能的影响

研究了钕铁硼永磁合金烧结过程中的晶粒聚集长大现象。结果表明：合金粉末在强磁场下成型时的取向导致磁体烧结时形成织构，那些较早结合的、晶粒位向非常一致的、晶界上无第二相的晶粒合并形成尺寸较大的晶粒吞食周围的小晶粒，形成异常粗大的晶粒，即发生了晶粒的聚集长大，晶粒的聚集长大导致矫顽力的明显降低，对取向度略有改善，因而剩余磁感应强度稍有提高，但最大磁能积降低。低钕、低氧含量、富钕相分布不均匀的钕铁硼水磁合金在较高温度下烧结时容易发生晶粒的聚集长大。     

Greedily computing associative aggregations on sliding windows

We present an algorithm for combining the elements of subsequences of a sequence with an associative operator. The subsequences are given by a sliding window of varying size. Our algorithm is greedy and computes the result with the minimal number of operator applications.     

无线移动感知网络上的数据聚集传输规划

随着城市交通日益增多,智能交通系统研究受到工业界和学术界的极大关注.智能交通系统上的实时导航、交通监控等应用都需要大量实时车辆速度、位置等信息.由智能车组成的无线移动感知网络的链路变化频繁并且无线干扰严重,现有的车辆网络上的数据聚集算法没有考虑无线链路变化的具体情况,就进行数据聚集和传输的规划.文中分析并求解了移动感知网络上的无冲突数据聚集传输规划问题,将该问题形式化为移动通信拓扑图上的单传聚集传输规划问题,并证明了该问题是NP完全的;提出了移动聚集路由树,将无线冲突分为树内冲突和树间冲突,首先构建树间冲突图描述树间冲突,过滤节点的传输候选时刻集以消除树间冲突,然后利用动态规划思想进行聚集路由树上的数据聚集传输时刻规划来消除树内冲突.并且在真实出租车移动轨迹数据集上进行了实验,实验结果表明文中的算法比现有的算法在数据收集率上提高了1/4左右,并且收集上来的数据的平均延迟也更小.     

基于信道聚合的OFDM自适应资源分配算法

针对OFDM系统中多用户自适应资源分配问题,提出了一种新的基于信道聚合和遗传算法的自适应资源分配算法。该算法首先将所有子载波均匀分组,将子载波分配问题转化成子载波组分配问题。然后,兼顾用户之间的公平性,引入遗传算法,实现用户间的资源分配。仿真结果表明,与现有的算法相比,新算法在保证用户公平性的同时,有效地降低了计算复杂度和获得系统最优解的计算时间,实现系统总的容量最大化。     

Multiattribute decision making based on intuitionistic fuzzy interaction average operators: a comparison

This paper proposes a new family of intuitionistic fuzzy information aggregation operators for multiattribute decision making. Such aggregate operators provide an excellent complement to the existing ones. In this study, comparison with existing intuitionistic fuzzy aggregation operators is presented in detail. Properties and special cases of the proposed operators are investigated. Finally, we introduce an approach to intuitionistic fuzzy multiattribute decision making. An example of the recruitment of intern candidates is illustrated to show the feasibility and superiority of the proposed method.     

Automating correctness verification of artifact-centric business process models

ContextThe artifact-centric methodology has emerged as a new paradigm to support business process management over the last few years. This way, business processes are described from the point of view of the artifacts that are manipulated during the process.ObjectiveOne of the research challenges in this area is the verification of the correctness of this kind of business process models where the model is formed of various artifacts that interact among them.MethodIn this paper, we propose a fully automated approach for verifying correctness of artifact-centric business process models, taking into account that the state (lifecycle) and the values of each artifact (numerical data described by pre and postconditions) influence in the values and the state of the others. The lifecycles of the artifacts and the numerical data managed are modeled by using the Constraint Programming paradigm, an Artificial Intelligence technique.ResultsTwo correctness notions for artifact-centric business process models are distinguished (reachability and weak termination), and novel verification algorithms are developed to check them. The algorithms are complete: neither false positives nor false negatives are generated. Moreover, the algorithms offer precise diagnosis of the detected errors, indicating the execution causing the error where the lifecycle gets stuck.ConclusionTo the best of our knowledge, this paper presents the first verification approach for artifact-centric business process models that integrates pre and postconditions, which define the behavior of the services, and numerical data verification when the model is formed of more than one artifact. The approach can detect errors not detectable with other approaches.     

制造物联网中高吞吐率复杂事件检测技术研究

复杂事件处理能非常有效地检测到事件流中有价值的模式,高吞吐率意味着单位时间内获取更多有价值的信息.为复杂事件处理提出一种提高吞吐率的查询技术,通过聚集活动实例栈中的连接,并批量执行序列构造,减少了相同连接的遍历,降低了序列构造处理的运行频率,从而提高了复杂事件处理的吞吐率.仿真实验表明:提出的方案相比于SASE提出的传统方案,吞吐率有数倍的提升.     

一种基于群组判断离差的偏好集结方法

针对群决策偏好集结中违反Pareto 最优性的情况, 设计一种基于群组判断几何离差的同质性集结方法. 该方法在集结前进行几何离差测试, 以确定个体决策信息的离差水平. 离差较小时, 可基于几何平均集结; 对于离差较大且修正复杂度较高的决策信息, 采用主成分分析(PCA) 从高维决策信息中提取大多数相关信息, 在不依赖主观分析的情况下进行加权集结. 仿真实验表明, 所提出的方法能够在不违背Pareto 最优性的基础上集结离差较大的群决策信息.