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

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

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

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

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

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

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

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

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

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

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

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

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

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

保险精算方法在期权定价模型中的应用

Norbert Sehmitz用反例证明Mogens Bladt与Tina Hvid Rydberg提出的期权定价的精算公式是错误的.在修正Bladt和Rydberg提出的精算公式基础上,从评估实际损失和相应概率分布角度来定量研究期权价值构成,获得基于保险精算方法的期权定价模型,并进一步推导出经典Black-Scholes期权定价公式.精算方法在一定程度克服了基于无风险套利、复制思想得到的B-S模型假设严格、公式推导较为繁琐的不足,指出精算定价与B-S期权定价方法之间的差异.最后给出算例探讨保险精算方法在期权定价理论中的应用,为实践中合理确定期权价格提供理论和实践参考价值.     

CORBA系统事务处理的模拟和分析

事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理.