一种基于工作流网的游戏作弊检测系统

游戏作弊对网络游戏危害很大,目前反作弊技术的瓶颈是效率低并且过多依赖于签名匹配。提出一种高效且不依赖于签名匹配的游戏作弊检测系统,用工作流网对作弊行为建模,通过流程树对作弊行为模型进行融合,在不影响检测结果的前提下节省存储空间。用热门网游的作弊软件对系统进行实验,存储空间降低率达到约60%,证明了该系统框架是可行、有效的。     

基于ATV的四履带采矿车工况稳定性仿真研究

本文在ATV提供的坦克模型（Tank．rood）的基础上，增加了螺旋滚筒切削头，建立了深海钴结壳采矿车的多体系统动力学模型。就水平路面、15°坡面、0．6m深沟及0．4m高垂直障碍等四种情况，在硬路面上进行了工作过程动力学仿真。通过比较分析，得出两履带和四履带两种采矿车在上述四种路面工作稳定性。     

基于供需均衡的保险精算与期权定价相关性

在综述期权定价与保险精算相关研究的基础上,运用供需均衡原理取代金融市场的无套利均衡原理,推导出纯保费精算定价公式;进而利用保险精算方法,在损失分布服从对数正态分布假设下,在连续时间状态下推导出经典的Black-Scholes期权定价模型;最后将保险精算与期权定价统一于一般经济学研究框架,通过规范的经济分析证明本文得到的纯保费精算定价就是帕累托最优纯保费,也就是买入看涨期权的价格.从理论上扫清了期权定价模型在保险领域的应用障碍,为保险精算与期权定价的融合和统一奠定了理论基础.     

商务英语的语言特点及教学策略

商务英语传达商务理论和实务等信息,在国际贸易活动中起着越来越重要的作用。文章通过分析商务英语语言词汇和表达方面的特点,结合自己的工作经验,提出相应的教学策略。     

聚丙烯腈螯合纤维的合成及其分离富集贵金属离子

以聚丙烯腈纤维为原料合成了聚丙烯对甲基苯磺酰基脒-对甲基苯磺酰基酰胺螯合纤维,并将其用于溶液中痕量Ru(Ⅲ)和Rh(Ⅲ)的富集和分离。讨论了富集酸度、富集流速、共存离子干扰、洗脱及再生等因素对富集回收率的影响,初步确定了螯合纤维反应及富集的条件。     

岭南传统观演空间的视觉分析

通过对以神庙剧场为代表的岭南传统观演空间的视分析（包括城市空间的视觉分析和观演空间的视线分析），揭示岭南传统观演空间形态的规律和生存的双重意义，从而为研究岭南传统观演空间开辟一个理性的分析方法，并对现代剧场和城市公共空间的设计提供参考．     

图灵测试——机器是否有智能

<正>图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大的荣誉。目前世界上计算机科学的最高奖就是图灵奖。     

便携式智能振动故障诊断仪BHV-01

现代化大生产的发展和科学技术的进步使得石油化工、电力、制造、汽车、航空航天等现代化工业的设备功能越来越完善，自动化程度越来越高，而伴随出现的是设备结构越来越复杂，设备故障几率越来越高，设备故障造成的经济损失越来越大。因此，设备的可靠性、可用性、可维修性与安全性问题日益突出，使得设备故障诊断技术成为了现代化大生产必不可少的技术手段，从而促使人们对机械设备故障机理及其检测、     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

煤矿生活污水处理工艺研究及改造

主要分析了煤矿生活污水污染程度。提出了接触氧化法净化污水工艺在实际应用中存在的问题，找到了可行性改进方法，并进行了理论分析。改造后效果明显，效益显著。