-
题名统计样本请求条件语句谓词表达式的应用研究
- 1
-
-
作者
丁志刚
柯莉珍
苏厚勤
-
机构
上海计算机软件技术开发中心
东华大学计算机科学与技术学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2007年第10期90-93,共4页
-
基金
科技部技术创新基金(03C26213100895)。
-
文摘
在基于数据集市的统计分析系统中,由于数据源的数据量巨大,要获得有意义的统计结果,必须对源数据的样本集进行条件限定,需要在客户端自动生成限定样本集统计请求的条件语句。基于一种中文语义描述展现的数据集市,研究与实现三层计算架构中客户端填充式条件语句的获取、优化及自动生成可解析执行的谓词表达式的关键技术。
-
关键词
三层计算架构
数据集市
统计样本
条件语句
谓词表达式
联机分析处理
-
Keywords
Three-tier computing architecture Data mart Statistical sample Condition statement Predication expression OLAP
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于谓词抽象的上期所异常交易监管应用研究
- 2
-
-
作者
柯莉珍
-
机构
上海期货交易所技术中心
-
出处
《计算机应用与软件》
CSCD
北大核心
2013年第5期248-250,共3页
-
文摘
对异常交易行为的监管是期货市场强化自律监管、完善监查规则体系、规范运行秩序的客观需要。创新性地对上海期货交易所异常交易监控的交易规则进行数学抽象,并在程序设计中运用形式化的自动推演思想,为今后期货交易规则制定的理论化,期货交易系统设计的规范化、体系化提供了很好的参考范例。并且,开发的异常交易统计结果汇总数据分析系统在实际使用中操作性良好,工作效率显著提高。
-
关键词
异常交易
程序化监管
汇总分析
谓词表达式
程序自动推演
-
Keywords
Unusual transaction Programmed regulatory Summarisation and analysis Predication expression Automatic deduction in programming
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
