基于谓词抽象的上期所异常交易监管应用研究

• 作者: 柯莉珍
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 异常交易 程序化监管 汇总分析 谓词表达式 程序自动推演
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 应用技术与研究
• 页码范围: 248-250
• 页数: 3页
• 分类号: TP3
• 字数: 3028字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2013.05.070

摘要

对异常交易行为的监管是期货市场强化自律监管、完善监查规则体系、规范运行秩序的客观需要.创新性地对上海期货交易所异常交易监控的交易规则进行数学抽象,并在程序设计中运用形式化的自动推演思想,为今后期货交易规则制定的理论化,期货交易系统设计的规范化、体系化提供了很好的参考范例.并且,开发的异常交易统计结果汇总数据分析系统在实际使用中操作性良好,工作效率显著提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	柯莉珍		1	0	0.0	0.0