本文關鍵詞：基于謂詞抽象的上期所異常交易監(jiān)管應用研究

  更多相關文章： 異常交易 程序化監(jiān)管 匯總分析 謂詞表達式 程序自動推演

【摘要】：對異常交易行為的監(jiān)管是期貨市場強化自律監(jiān)管、完善監(jiān)查規(guī)則體系、規(guī)范運行秩序的客觀需要。創(chuàng)新性地對上海期貨交易所異常交易監(jiān)控的交易規(guī)則進行數(shù)學抽象,并在程序設計中運用形式化的自動推演思想,為今后期貨交易規(guī)則制定的理論化,期貨交易系統(tǒng)設計的規(guī)范化、體系化提供了很好的參考范例。并且,開發(fā)的異常交易統(tǒng)計結果匯總數(shù)據分析系統(tǒng)在實際使用中操作性良好,工作效率顯著提高。
【作者單位】： 上海期貨交易所技術中心;
【分類號】：F724.5;TP311.11
【正文快照】： 0引言中國期貨市場已進入規(guī)范發(fā)展的新階段[1]。在期貨業(yè)發(fā)展的新時期,期貨交易所作為期貨市場的管理者,要引導投資者理性投資。交易所的一線監(jiān)管工作,對于市場功能的正常發(fā)揮起著重要作用。對于異常交易行為的監(jiān)管是強化期貨市場自律監(jiān)管、完善交易所監(jiān)查規(guī)則體系、規(guī)范期貨

【參考文獻】

中國重要報紙全文數(shù)據庫 前1條

1 劉文元;[N];第一財經日報;2007年

【共引文獻】

中國期刊全文數(shù)據庫 前10條

1 王敏麗,陳曉紅;Centrex與終端用戶串口通信的實現(xiàn)方法[J];安徽大學學報(自然科學版);2005年05期

2 孫遠春;程序設計語言課教學問題探討[J];安慶師范學院學報(自然科學版);1998年04期

3 潘林森;路徑前綴軟件測試策略[J];重慶師范學院學報(自然科學版);1993年01期

4 張廣泉;非結構化程序流程圖及其等價變換[J];重慶師范學院學報(自然科學版);1993年03期

5 張學軍;關于教育技術學本科專業(yè)計算機程序設計核心課有關問題的探討[J];電化教育研究;2001年05期

6 楊剴;黃玲玲;;循環(huán)結構程序設計教學方法[J];電腦開發(fā)與應用;2010年10期

7 葉玉萍,王寶艷;程序的調試技巧[J];電腦知識與技術;2005年27期

8 李學俊;;淺析循環(huán)結構的學習方法[J];電腦知識與技術;2006年08期

9 張世祿,崔夢天;質因數(shù)分解算法及其程序設計[J];達縣師范高等�？茖W校學報(自然科學版);2004年05期

10 張師林;FORTRAN語言程序移植到VISUAL BASIC中的實現(xiàn)[J];高等函授學報(自然科學版);2002年03期

中國重要會議論文全文數(shù)據庫 前2條

1 米倫;劉鐵;張鵬;;程控真空高壓器件老煉臺的研制[A];第二屆全國信息與電子工程學術交流會暨第十三屆四川省電子學會曙光分會學術年會論文集[C];2006年

2 米倫;;計算機在真空排氣中的應用[A];第九屆真空技術應用學術年會論文集[C];2006年

中國博士學位論文全文數(shù)據庫 前3條

1 曹涌;基于分形的軟件可靠性模型和程序證明的數(shù)學機械化[D];電子科技大學;2010年

2 高曉雷;SOZRSL軟件需求規(guī)格說明語言及其求精[D];上海大學;2004年

3 王梅珍;織物設計與虛擬場景模擬一體化集成系統(tǒng)的研究[D];東華大學;2004年

中國碩士學位論文全文數(shù)據庫 前10條

1 王世龍;服務型政府導向的基層公務員績效外評估模型的構建[D];電子科技大學;2011年

2 樓明珠;基于SSH框架技術的網上花店系統(tǒng)的設計與實現(xiàn)[D];南昌大學;2011年

3 趙建剛;基于“三農”問題的期貨市場應用研究[D];西北農林科技大學;2011年

4 曲恒;使用HFSS-MATLAB-API設計天線的研究[D];杭州電子科技大學;2012年

5 鄒萍;常熟理工學院實驗教學管理系統(tǒng)的設計與實現(xiàn)[D];華東理工大學;2012年

6 蔣毅劍;APLA組合數(shù)據類型的C++實現(xiàn)[D];江西師范大學;2002年

7 駱健;APLA-JAVA程序自動轉換系統(tǒng)的研制[D];江西師范大學;2002年

8 楊慶紅;遞歸問題循環(huán)不變式開發(fā)新策略的研究與應用[D];江西師范大學;2003年

9 胡啟敏;基于J2EE的程序設計智能教學軟件平臺研究[D];江西師范大學;2003年

10 劉皓;羊毛衫領口性能測試方法及儀器研究[D];天津工業(yè)大學;2004年

【相似文獻】

中國期刊全文數(shù)據庫 前10條

1 袁向兵;;論多層次綜合數(shù)據服務體系的構建[J];勝利油田職工大學學報;2007年S1期

2 何慧雯;易輝;張麗華;張愛軍;周剛;徐劍青;喻超;;基于Web的架空輸電線路運行狀態(tài)匯總分析系統(tǒng)的研究[J];電力設備;2008年07期

3 ;一個靈活的個人辦公系統(tǒng)[J];微計算機信息;1993年02期

4 高傳照;;一類圖象題的匯總解析[J];數(shù)理化解題研究(初中版);2008年05期

5 王釗;;如何建立自動化的業(yè)績統(tǒng)計分析報表[J];中國金融電腦;2011年11期

6 羅升,陳洪森,張群;用FOXPLUS實現(xiàn)菜單系統(tǒng)設計[J];計算機系統(tǒng)應用;1994年11期

7 陳薇華，，樂平;非銀行金融機構計算機管理系統(tǒng)[J];中國金融電腦;1995年07期

8 談偉文;CBMdisc檢索漏檢誤檢原因初探[J];情報理論與實踐;2000年03期

9 田維謙;安徽省以工代賑系統(tǒng)案例[J];互聯(lián)網周刊;2004年23期

10 謝仙萍,石貞仙,徐建萍,白紀香,李亞蘭;計算機護理管理系統(tǒng)軟件的開發(fā)與應用[J];護理研究;2004年16期

中國重要會議論文全文數(shù)據庫 前10條

1 朱妮;;淺談聯(lián)網收費系統(tǒng)軟件中的數(shù)據管理[A];湖北省公路學會——2004年機電工程研討會論文集[C];2004年

2 龐寶麟;王書杰;繆新穎;;農電企業(yè)數(shù)據報表軟件系統(tǒng)的開發(fā)[A];冶金軋制過程自動化技術交流會論文集[C];2005年

3 孫華君;張明華;胡晉紅;姚春芳;;多個中文期刊數(shù)據庫整合檢索的實現(xiàn)[A];2008年中國藥學會學術年會暨第八屆中國藥師周論文集[C];2008年

4 李紅燕;李戰(zhàn)懷;鄧江;;ANGEL系統(tǒng)的觸發(fā)器設計[A];第十六屆全國數(shù)據庫學術會議論文集[C];1999年

5 孟加;馮霞;洪曉光;;OODB中連接類視圖的物化和增量保持系統(tǒng)[A];第十七屆全國數(shù)據庫學術會議論文集（研究報告篇）[C];2000年

6 劉國華;賀琪;方為;;基于ER-DTD方法的發(fā)布系統(tǒng)中的查詢重寫技術[A];第二十屆全國數(shù)據庫學術會議論文集（研究報告篇）[C];2003年

7 邵澤才;陳立軍;楊良懷;解凡;楊冬青;;EMR—基于元素匹配的XPath結構相似性計算的遞歸算法[A];第二十屆全國數(shù)據庫學術會議論文集（研究報告篇）[C];2003年

8 陳冬霞;吉根林;武志峰;;一種基于簽名的XML查詢算法[A];第二十一屆中國數(shù)據庫學術會議論文集（技術報告篇）[C];2004年

9 袁朝華;張剡;柏文陽;;多級數(shù)據安全模型CMAC的設計[A];第二十二屆中國數(shù)據庫學術會議論文集（技術報告篇）[C];2005年

10 顧進廣;周云;陳莘萌;;基于本體集成的XML查詢機制[A];第二十二屆中國數(shù)據庫學術會議論文集（研究報告篇）[C];2005年

中國重要報紙全文數(shù)據庫 前4條

1 ;善用Excel數(shù)據透視表進行審計[N];財會信報;2007年

2 本刊記者 彭{

本文編號：1182107