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

发布时间：2017-11-13 19:33

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

  更多相关文章： 异常交易 程序化监管 汇总分析 谓词表达式 程序自动推演

【摘要】：对异常交易行为的监管是期货市场强化自律监管、完善监查规则体系、规范运行秩序的客观需要。创新性地对上海期货交易所异常交易监控的交易规则进行数学抽象,并在程序设计中运用形式化的自动推演思想,为今后期货交易规则制定的理论化,期货交易系统设计的规范化、体系化提供了很好的参考范例。并且,开发的异常交易统计结果汇总数据分析系统在实际使用中操作性良好,工作效率显著提高。
【作者单位】： 上海期货交易所技术中心;
【分类号】：F724.5;TP311.11
【正文快照】： 0引言中国期货市场已进入规范发展的新阶段[1]。在期货业发展的新时期,期货交易所作为期货市场的管理者,要引导投资者理性投资。交易所的一线监管工作,对于市场功能的正常发挥起着重要作用。对于异常交易行为的监管是强化期货市场自律监管、完善交易所监查规则体系、规范期货

【参考文献】

中国重要报纸全文数据库 前1条

1 刘文元;[N];第一财经日报;2007年

【共引文献】

中国期刊全文数据库 前10条

1 王敏丽,陈晓红;Centrex与终端用户串口通信的实现方法[J];安徽大学学报(自然科学版);2005年05期

2 孙远春;程序设计语言课教学问题探讨[J];安庆师范学院学报(自然科学版);1998年04期

3 潘林森;路径前缀软件测试策略[J];重庆师范学院学报(自然科学版);1993年01期

4 张广泉;非结构化程序流程图及其等价变换[J];重庆师范学院学报(自然科学版);1993年03期

5 张学军;关于教育技术学本科专业计算机程序设计核心课有关问题的探讨[J];电化教育研究;2001年05期

6 杨剀;黄玲玲;;循环结构程序设计教学方法[J];电脑开发与应用;2010年10期

7 叶玉萍,王宝艳;程序的调试技巧[J];电脑知识与技术;2005年27期

8 李学俊;;浅析循环结构的学习方法[J];电脑知识与技术;2006年08期

9 张世禄,崔梦天;质因数分解算法及其程序设计[J];达县师范高等专科学校学报(自然科学版);2004年05期

10 张师林;FORTRAN语言程序移植到VISUAL BASIC中的实现[J];高等函授学报(自然科学版);2002年03期

中国重要会议论文全文数据库 前2条

1 米伦;刘铁;张鹏;;程控真空高压器件老炼台的研制[A];第二届全国信息与电子工程学术交流会暨第十三届四川省电子学会曙光分会学术年会论文集[C];2006年

2 米伦;;计算机在真空排气中的应用[A];第九届真空技术应用学术年会论文集[C];2006年

中国博士学位论文全文数据库 前3条

1 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年

2 高晓雷;SOZRSL软件需求规格说明语言及其求精[D];上海大学;2004年

3 王梅珍;织物设计与虚拟场景模拟一体化集成系统的研究[D];东华大学;2004年

中国硕士学位论文全文数据库 前10条

1 王世龙;服务型政府导向的基层公务员绩效外评估模型的构建[D];电子科技大学;2011年

2 楼明珠;基于SSH框架技术的网上花店系统的设计与实现[D];南昌大学;2011年

3 赵建刚;基于“三农”问题的期货市场应用研究[D];西北农林科技大学;2011年

4 曲恒;使用HFSS-MATLAB-API设计天线的研究[D];杭州电子科技大学;2012年

5 邹萍;常熟理工学院实验教学管理系统的设计与实现[D];华东理工大学;2012年

6 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年

7 骆健;APLA-JAVA程序自动转换系统的研制[D];江西师范大学;2002年

8 杨庆红;递归问题循环不变式开发新策略的研究与应用[D];江西师范大学;2003年

9 胡启敏;基于J2EE的程序设计智能教学软件平台研究[D];江西师范大学;2003年

10 刘皓;羊毛衫领口性能测试方法及仪器研究[D];天津工业大学;2004年

【相似文献】

中国期刊全文数据库 前10条

1 袁向兵;;论多层次综合数据服务体系的构建[J];胜利油田职工大学学报;2007年S1期

2 何慧雯;易辉;张丽华;张爱军;周刚;徐剑青;喻超;;基于Web的架空输电线路运行状态汇总分析系统的研究[J];电力设备;2008年07期

3 ;一个灵活的个人办公系统[J];微计算机信息;1993年02期

4 高传照;;一类图象题的汇总解析[J];数理化解题研究(初中版);2008年05期

5 王钊;;如何建立自动化的业绩统计分析报表[J];中国金融电脑;2011年11期

6 罗升,陈洪森,张群;用FOXPLUS实现菜单系统设计[J];计算机系统应用;1994年11期

7 陈薇华，，乐平;非银行金融机构计算机管理系统[J];中国金融电脑;1995年07期

8 谈伟文;CBMdisc检索漏检误检原因初探[J];情报理论与实践;2000年03期

9 田维谦;安徽省以工代赈系统案例[J];互联网周刊;2004年23期

10 谢仙萍,石贞仙,徐建萍,白纪香,李亚兰;计算机护理管理系统软件的开发与应用[J];护理研究;2004年16期

中国重要会议论文全文数据库 前10条

1 朱妮;;浅谈联网收费系统软件中的数据管理[A];湖北省公路学会——2004年机电工程研讨会论文集[C];2004年

2 庞宝麟;王书杰;缪新颖;;农电企业数据报表软件系统的开发[A];冶金轧制过程自动化技术交流会论文集[C];2005年

3 孙华君;张明华;胡晋红;姚春芳;;多个中文期刊数据库整合检索的实现[A];2008年中国药学会学术年会暨第八届中国药师周论文集[C];2008年

4 李红燕;李战怀;邓江;;ANGEL系统的触发器设计[A];第十六届全国数据库学术会议论文集[C];1999年

5 孟加;冯霞;洪晓光;;OODB中连接类视图的物化和增量保持系统[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

6 刘国华;贺琪;方为;;基于ER-DTD方法的发布系统中的查询重写技术[A];第二十届全国数据库学术会议论文集（研究报告篇）[C];2003年

7 邵泽才;陈立军;杨良怀;解凡;杨冬青;;EMR—基于元素匹配的XPath结构相似性计算的递归算法[A];第二十届全国数据库学术会议论文集（研究报告篇）[C];2003年

8 陈冬霞;吉根林;武志峰;;一种基于签名的XML查询算法[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

9 袁朝华;张剡;柏文阳;;多级数据安全模型CMAC的设计[A];第二十二届中国数据库学术会议论文集（技术报告篇）[C];2005年

10 顾进广;周云;陈莘萌;;基于本体集成的XML查询机制[A];第二十二届中国数据库学术会议论文集（研究报告篇）[C];2005年

中国重要报纸全文数据库 前4条

1 ;善用Excel数据透视表进行审计[N];财会信报;2007年

2 本刊记者 彭{

本文编号：1182107