客户期望寿命的乘积限估计  CNKI文献

采用生存分析中的非参数方法估计客户在其每个交易期内的维系概率、客户的期望寿命和客户终生价值。在将客户采购“日历”记录转变成“年龄”记录后,针对数据删失导致的流失、未流失和部分流失等3种客户生存状态,应用...

周生炳 成栋 《清华大学学报(自然科学版)》 2005年12期 期刊

基于规则面向属性的数据库归纳的无回溯算法  CNKI文献

该文提出了基于规则的面向属性知识发现方法的无回溯算法．把背景知识理解为特殊的逻辑程序，并把它的子句展开为完全归结子句，然后按照用户要求，定义并确定每个属性的恰当层次．每个属性的多个值归纳为恰当层次中的...

周生炳 张钹... 《软件学报》 1999年07期 期刊

基于标记逻辑的非单调推理（Ⅰ）  CNKI文献

我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一...

周生炳 戴汝为 《计算机学报》 1995年09期 期刊

SLD-博弈树及其删除策略  CNKI文献

结合SLD-反驳和对策论的思想,提出标记逻辑程序的SLD-博弈树语义.在SLD-博弈树中,一个目标的所有支持和反对证据作为游戏双方参加博弈.对有限树,提出一种删除策略(博弈规则),根据删除过程的结果判断目标是否成立.对覆...

周生炳 戴汝为 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1995年10期 期刊

表达式的覆盖、分解与划分  CNKI文献

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分...

周生炳 戴汝为 《软件学报》 1996年04期 期刊

基于标记逻辑的非单调推理（Ⅱ）  CNKI文献

本文研究不循环ＡＬＰ的说明语义．利用依赖关系的非自反性，把程序的Ｈｅｒｂｒａｎｄ基分类成一系列不相交集合．在此基础上，引进多重极限的概念，并证明，不循环程序存在唯一的支持模型，该模型就是程序的ｋ重极限...

周生炳 戴汝为 《计算机学报》 1995年09期 期刊

SLD-博弈树中计算规则的独立性  CNKI文献

本文提出SLD-博弈树的成功集的概念，证明对任何计算规则R，对应产的SLD-博弈树的成功集相同，即SLD-博弈树的证明能力与计算规则无关，这就是计算规则的独立性．

周生炳 《软件学报》 1997年10期 期刊

一般结构语义下限定的完备性与可满足性  CNKI文献

本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证明在一般结构语义下,二阶非递归闭限定是可满足的.

周生炳 施鸿宝 《计算机学报》 1992年02期 期刊

基于J2EE的Web应用的MVC架构实现  CNKI文献

设计模式在当前的工程应用中越来越广泛 ,MVC是软件开发中的一种重要的设计模式 ,J2EE则是开发高端企业级应用的成熟技术体系。在软件规模日益庞大的今天 ,这两种技术的结合为大型软件应用的开发提供了成功的保证。该...

尹汉东 任邵东... 《计算机仿真》 2004年11期 期刊

基于Web服务的P2P服务器端实现  CNKI文献

目前,软件领域基于Internet的应用越来越普遍,作为两项极为重要的网络技术,P2P和web服务得到了长足的发展,web服务更成为实现下一代网络应用的基石。该文介绍了P2P概念、模型及应用领域,同时介绍了Web服务的概念、原理...

尹汉东 任邵东... 《计算机仿真》 2004年10期 期刊

美军指挥自动化系统一体化建设发展研究浅议  CNKI文献

指挥自动化系统一体化建设是军队现代化建设的重要内容之一。本文就美军指挥自动化系统一体化建设的发展过程、长远目标和发展策略进行了初步探讨 ,以期对我军的指挥自动化系统一体化建设有一定的借鉴作用。

任邵东 郝维平... 《航天控制》 2004年04期 期刊

神经网络,遗传算法,粗集理论在KDD和Data Mining中的应用  CNKI文献

本文介绍了什么是KDD和Data Mining,以六园图来表示现有的智能技术,以及几年来在神经元网络、遗传算法和粗集理论应用于KDD和Data Mining中,我们的部分研究工作和看法。

袁曾任 周生炳... 1999年中国神经网络与信号处理学术会议论文集 1999-12-01 中国会议