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

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

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

【參考文獻(xiàn)】

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 劉文元;[N];第一財(cái)經(jīng)日?qǐng)?bào);2007年

【共引文獻(xiàn)】

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

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

2 孫遠(yuǎn)春;程序設(shè)計(jì)語(yǔ)言課教學(xué)問題探討[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);1998年04期

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

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

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

6 楊剴;黃玲玲;;循環(huán)結(jié)構(gòu)程序設(shè)計(jì)教學(xué)方法[J];電腦開發(fā)與應(yīng)用;2010年10期

7 葉玉萍,王寶艷;程序的調(diào)試技巧[J];電腦知識(shí)與技術(shù);2005年27期

8 李學(xué)俊;;淺析循環(huán)結(jié)構(gòu)的學(xué)習(xí)方法[J];電腦知識(shí)與技術(shù);2006年08期

9 張世祿,崔夢(mèng)天;質(zhì)因數(shù)分解算法及其程序設(shè)計(jì)[J];達(dá)縣師范高等�？茖W(xué)校學(xué)報(bào)(自然科學(xué)版);2004年05期

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

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

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

2 米倫;;計(jì)算機(jī)在真空排氣中的應(yīng)用[A];第九屆真空技術(shù)應(yīng)用學(xué)術(shù)年會(huì)論文集[C];2006年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

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

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

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

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 王世龍;服務(wù)型政府導(dǎo)向的基層公務(wù)員績(jī)效外評(píng)估模型的構(gòu)建[D];電子科技大學(xué);2011年

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

3 趙建剛;基于“三農(nóng)”問題的期貨市場(chǎng)應(yīng)用研究[D];西北農(nóng)林科技大學(xué);2011年

4 曲恒;使用HFSS-MATLAB-API設(shè)計(jì)天線的研究[D];杭州電子科技大學(xué);2012年

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

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

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

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

9 胡啟敏;基于J2EE的程序設(shè)計(jì)智能教學(xué)軟件平臺(tái)研究[D];江西師范大學(xué);2003年

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

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

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

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

9 袁朝華;張剡;柏文陽(yáng);;多級(jí)數(shù)據(jù)安全模型CMAC的設(shè)計(jì)[A];第二十二屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2005年

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前4條

1 ;善用Excel數(shù)據(jù)透視表進(jìn)行審計(jì)[N];財(cái)會(huì)信報(bào);2007年

2 本刊記者 彭{

本文編號(hào)：1182107