基于改进随机森林的洗钱交易角色识别应用

对于识别洗钱交易中钱庄账户的方法、现有公安办案方法与现有研究基于机器预警方法存在准确度低且滞后的问题，本文分析洗钱犯罪集团中钱庄与客户的交易行为特点，从主体背景属性、交易统计量、交易网络、交易行为离群4种角度提取一系列特征进行刻画，并通过随机森林进行特征选择与优化，在已经标注过的数据上进行模型训练与验证，形成一个能够对参与洗钱交易者身份进行自动识别的应用。通过实际数据验证可以发现有严重危害的钱庄经营者。     

基于电子商务的农副产品交易实时监控系统研究

对电子商务模式的三农信息平台进行了深入研究,针对农副产品交易中存在的供求价格不直观、产品销售量不了然、产品对比不清晰、不能实时查看价格波动等问题进行了分析和阐述,提出了实时监控模式的农副产品买卖交易系统平台,给出了该平台的实现方案,并对监控到的交易数据进行了可视化方面的研究。     

基于交易网络特征向量中心度量的可疑洗钱识别系统

针对可疑洗钱识别问题,提出了基于交易网络特征向量中心度量的可疑洗钱行为检测系统.检测系统包含交易数据预处理、特征向量中心度量、时序检测分析三个关键子算法.同时还给出了三种用于检测异常交易行为的度量指标.通过对银行交易数据进行的实验仿真,验证了系统的有效性.     

面向在线交易日志的用户购买行为可视化分析

在线交易日志,即用户通过电商平台购买商品产生的交易记录,包括用户、商品、交易及商家的相关信息,反映了用户的购买行为.现有的可视化方法未能充分结合在线交易日志的时序、层次、地理、多维等特征,实现对用户购买行为的多角度分析.对此,本文结合交易日志的多个特征,提出了基于径向布局的复合时序可视化方法和融合空间信息的时间轴可视化方法,设计了颜色极值映射方法和规律映射方法,并基于上述方法,设计并实现了面向在线交易日志的用户购买行为可视化分析系统UPB-VIS,从而完成了单个用户和用户群体购买行为的全方位分析.最后,通过在京东商城在线交易日志数据集上的实验证明了系统的易用性和相关可视化方法的有效性.     

文本挖掘技术在互联网赌博案情分析中的应用

当前我国正对足球赌球案件进行专项调查。针对网络赌博案情信息语义信息的不明确性和分析的复杂性,综合运用Web信息抽取技术、犯罪特征关系可视化分析技术和计算机取证技术,设计并实现了网络赌博案情分析系统。实验表明,该系统可以快速、有效地进行网络赌博案情信息的分析处理,更加直观地表现案情,为案件侦破提供重要线索。     

浅谈洗钱交易中的异常数据挖掘算法

洗钱交易中的异常数据挖掘算法也有好多种,但是每种算法都有自己的优点和缺点。通过洗钱交易中的数据交易信息进行分析比较,通过洗钱交易中后台数据切片分析,使用聚类分析法或核心树算法对采集的数据进行分析,最终将数据库中的数据划分成许多相似的子模块,最子模块中的数据相似度匹配,通过和标准数据进行比较最终判断出是否出现异常数据,从而判断出洗钱犯罪行为。     

矿井三维通风在线分析系统的研究与应用

介绍了一种矿井三维通风在线分析系统的实现方案。该系统采用3DGIS数字矿山基础信息平台的企业管理器模块对井下数据进行整理、加工及存储,根据该模块中存储的巷道网路、通风设备以及通风设施等数据自动建立通风网络拓扑关系;结合煤矿安全监测监控系统监测的实时风速数据,利用通风网络解算算法实时监控矿井通风系统运行状况,分析通风异常原因,并采用3DGIS数字矿山基础信息平台的企业应用平台模块将分析结果以三维可视化形式予以展示。该系统在四台矿的应用取得了良好的效果。     

基于区块链技术的生鲜农产品溯源系统设计

当前生鲜农产品供应链体系通常采用中心化管理模式,存在不同用户之间信息不对称、缺乏实时信息共享平台以及产品来源可追溯性差等问题。为了解决这些问题,采用区块链技术作为开发框架,提出一个基于区块链技术的生鲜农产品供应链的信息共享和可追溯模型,该模型系统具有信息共享、调度实时控制、溯源机制完善等特点。通过设计智能合约算法和新型的交易提案方式,实现自动化管理生鲜农产品供应链系统,以更好地可视化展现区块链网络交易流程。使用Caliper工具进行性能测试,实验结果表明,该方案可行性高,多节点环境下系统交易时延低,同时可以保证信息安全,具备完善的交易功能。最后,选取几个现有的农产品溯源应用系统做对比分析,该方案相较于现有的农产品溯源应用系统具有更强的溯源监管能力,更高的交易可靠性,以及更好的供应链各环节节点间的数据交互性等优势。     

城市地下三维管网建模技术研究

随着城市现代化的发展,建立城市地下管网信息可视化平台是提高城市地下空间规划、开发及管理能力和决策效率的必要途径。本文在虚拟现实建模技术支持下,对城市地下三维管网建立模型,并实现可视化,能够对庞杂的地下管线信息资料进行综合动态管理,提高数据可视化程度,为后期城市规划、地下管线埋设等相关领域提供有力的决策依据。     

气象格点数据在线可视化平台的设计与开发

气象格点数据是气象数值预报、数据融合、再分析等产品的主流格式,而该类数据的处理及可视化工具使用中存在专业性强、运行环境配置繁琐等问题,导致该类数据通常仅在气象行业内部使用,应用范围受到极大的限制,已不能满足科研、商业以及社会用户对气象格点数据使用需求。针对以上问题,该平台采用B/S、Node.js开发框架、集成WebGIS、D3.js等技术,实现了免安装、在线数据交互、融合可视化展示等功能。除了传统色斑图,还叠加了动态流场,实现了气象格点数据的综合动态展示。文中利用T639数值预报数据对该平台进行了检验,结果表明该系统能够准确客观地展示数据信息,同时其动态风场展示功能更有利于用户理解和应用数据。该平台的开发提升了气象格点数据的展示能力和效率,为格点数据的空间区域及多要素等关联可视化分析,提供了实用、便捷、有效的工具;同时结构化的开发,可为数值预报、再分析等系统的可视化集成提供开放的对接渠道。     

Fast and precise points-to analysis

Many software engineering applications require points-to analysis. These client applications range from optimizing compilers to integrated program development environments (IDEs) and from testing environments to reverse-engineering tools. Moreover, software engineering applications used in an edit-compile cycle need points-to analysis to be fast and precise.In this article, we present a new context- and flow-sensitive approach to points-to analysis where calling contexts are distinguished by the points-to sets analyzed for their call target expressions. Compared to other well-known context-sensitive techniques it is faster in practice, on average, twice as fast as the call string approach and by an order of magnitude faster than the object-sensitive technique. In fact, it shows to be only marginally slower than a context-insensitive baseline analysis. At the same time, it provides higher precision than the call string technique and is similar in precision to the object-sensitive technique. We confirm these statements with experiments using a number of abstract precision metrics and a concrete client application: escape analysis.     

源代码分析技术的理论与实践发展

源代码分析技术对于软件安全缺陷分析是一项非常重要的手段.分析了软件源代码分析工具的技术手段和发展过程,最后对源代码分析的理论和实践进行了分析总结.     

C语言的别名分析方法研究

别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.     

A system to assist survey analysts

The researcher who knows little about computers but wants to conduct a survey and analyse the results by computer can land himself in some difficulty if he does not appreciate some of the problems of computerization. This paper describes a system which is designed to aid such a person by providing assistance with the design of the questionnaire, the capturing of the data and the final analyses.     

The use of protocol analysis for determining ability requirements for personnel selection on a computer-based task

Abstract

The role of cognitively oriented tasks in the workplace continues to increase as automation of physical task components advances. Difficulties in automating the operator's cognitive processes have placed a renewed emphasis on the human component in advanced manufacturing systems. While traditional task analysis techniques have made significant contributions to improving productivity when important task elements are visually observable, their focus on manual task procedures make them less effective for cognitively oriented activities. This research has made a first attempt at integrating techniques from several disciplines to develop a cognitive task analysis methodology. The utility of this combined approach is examined for a new system being tested in the United States Postal Service. This task requires operators to encode, via a keyboard, addresses presented on a video display terminal. Results support the hypothesis that, for cognitively oriented tasks, a consensus based analysis technique (the Position Analysis Questionnaire) can be significantly improved by including data from task analysis provided the methodology is suitable for identifying non-physical task components.     

A novel analysis space for pointer analysis and its application for bug finding

The size of today’s programs continues to grow, as does the number of bugs they contain. Testing alone is rarely able to flush out all bugs, and many lurk in difficult-to-test corner cases. An important alternative is static analysis, in which correctness properties of a program are checked without running it. While it cannot catch all errors, static analysis can catch many subtle problems that testing would miss.We propose a new space of abstractions for pointer analysis—an important component of static analysis for C and similar languages. We identify two main components of any abstraction—how to model statement order and how to model conditionals, then present a new model of programs that enables us to explore different abstractions in this space. Our assign-fetch graph represents reads and writes to memory instead of traditional points-to relations and leads to concise function summaries that can be used in any context. Its flexibility supports many new analysis techniques with different trade-offs between precision and speed.We present the details of our abstraction space, explain where existing algorithms fit, describe a variety of new analysis algorithms based on our assign-fetch graphs, and finally present experimental results that show our flow-aware abstraction for statement ordering both runs faster and produces more precise results than traditional flow-insensitive analysis.     

基于因子分析法和聚类分析法的副省级城市宜居情况聚类评价

重点选取了15个副省级城市的第一产业比重、人口密度、人均绿地、园林面积、医院数目,市政建设面积、地方财政税收等42个指标,使用SPSS作为计算工具,使用因子分析方法简化评价指标,计算相关系数矩阵,判别因子分析可行性,利用主成分分析法求因子载荷,将因子进行旋转得出更有实际意义的因子解释,并计算因子得分,利用该结果计算Mi...     

Cost analysis of object-oriented bytecode programs

Cost analysis statically approximates the cost of programs in terms of their input data size. This paper presents, to the best of our knowledge, the first approach to the automatic cost analysis of object-oriented bytecode programs. In languages such as Java and C#, analyzing bytecode has a much wider application area than analyzing source code since the latter is often not available. Cost analysis in this context has to consider, among others, dynamic dispatch, jumps, the operand stack, and the heap. Our method takes a bytecode program and a cost model specifying the resource of interest, and generates cost relations which approximate the execution cost of the program with respect to such resource. We report on COSTA, an implementation for Java bytecode which can obtain upper bounds on cost for a large class of programs and complexity classes. Our basic techniques can be directly applied to infer cost relations for other object-oriented imperative languages, not necessarily in bytecode form.     

数据分析需求与实现

数据分析是从海量数据中发现隐含信息或知识的过程。基于一个公安破案辅助数据分析系统,深入研究数据分析任务的需求与实现,提出首先规划分析思路、细化分析功能,然后用多视角数据透视和智能分析两种手段,从微观与宏观、定量与定性等不同角度互为补充地使系统具有完备的分析功能。该研究对如何开发具有实用价值的数据分析系统有普遍的指导意义。