【摘 要】
：
In recent years,more and more people,especially young people,begin to use credit card with the changing of consumption concept in China so that the business on credit cards is growing fast.Therefore,i
【机 构】
：
Department of Computer Science, Xiamen University, Xiamen 361005, China
【出 处】
：
2011年全国理论计算机科学学术年会
论文部分内容阅读
In recent years,more and more people,especially young people,begin to use credit card with the changing of consumption concept in China so that the business on credit cards is growing fast.Therefore,it is significative that some effective tools such as credit-scoring models are created to help those decision makers engaged in credit cards.
其他文献
Bulk-loading of spatial data is the process of constructing a spatial index from scratch.Due to the large size and complexity of spatial data,parallel bulk-loading of spatial data has the shortage tha
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循环”、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Especially,there is lack of efficient appro
MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.
Many complex networks exhibit a scale-free,power-law distribution of vertex degrees.This common feature is a consequence of two generic mechanisms relating to the formation of real networks: (i) netwo
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.
针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(BDL,Behavior Description Language)所表述的系统行为序列,在保证该BDL 语句语法正确的基础上建立行为模型,通过设置动画元素(如主客体)等的相关内容,以及原子行为和其动画原语的关联实现需求行为模型的可视化.
可信云存储采用用户本地前端数据加密来保证用户数据在网络传输和云端存储的安全性.可信云存储环境下,数据拥有者授权用户访问数据的落脚点是数据密钥的授权共享,同时为了实现对不同用户执行选择性的数据授权访问,则不同的数据需要采用不同的密钥加密,从而随着系统数据量的增长而使用户承受巨大的密钥安全传输和存储等负担.
一个概念由一个属性子集所决定,从而一个布尔函数刻画一个概念.具有给定性质 的布尔函数形成一个函数类,判定函数 是否具有性质 即为判定 是否在中.对函数 的性质测试通常是对中函数进行取样,重构一个近似函数,以所具有的性质近似刻画 的性质.