您的位置： 专家智库 > >

周生炳

作品数：12 被引量：66H指数：3
供职机构：中国人民解放军空军指挥学院更多>>
发文基金：中国博士后科学基金国家攀登计划国家自然科学基金更多>>
相关领域：自动化与计算机技术理学军事经济管理更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 9篇自动化与计算...
  • 1篇经济管理
  • 1篇军事
  • 1篇理学

主题

  • 3篇语义
  • 2篇人工智能
  • 2篇结构语义
  • 2篇可满足性
  • 1篇独立性
  • 1篇对等网
  • 1篇对等网络
  • 1篇知识发现
  • 1篇指挥自动化
  • 1篇指挥自动化系...
  • 1篇删除
  • 1篇删除策略
  • 1篇视图
  • 1篇数据采掘
  • 1篇数据访问
  • 1篇数据访问对象
  • 1篇数据库
  • 1篇自动化
  • 1篇自动化系
  • 1篇自动化系统

机构

  • 4篇中国人民解放...
  • 4篇中国科学院自...
  • 2篇清华大学
  • 2篇西安交通大学
  • 2篇中国人民大学
  • 2篇中国科学院软...
  • 1篇空军电讯工程...
  • 1篇中国人民解放...

作者

  • 12篇周生炳
  • 3篇任邵东
  • 3篇戴汝为
  • 2篇成栋
  • 2篇尹汉东
  • 1篇张钹
  • 1篇郝维平
  • 1篇施鸿宝

传媒

  • 3篇软件学报
  • 2篇计算机仿真
  • 1篇清华大学学报...
  • 1篇中国科学（A...
  • 1篇计算机学报
  • 1篇航天控制
  • 1篇第三届中国人...

年份

  • 1篇2005
  • 3篇2004
  • 1篇1999
  • 1篇1997
  • 1篇1996
  • 1篇1995
  • 2篇1994
  • 1篇1992
  • 1篇1990
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
美军指挥自动化系统一体化建设发展研究浅议被引量：2
2004年
指挥自动化系统一体化建设是军队现代化建设的重要内容之一。本文就美军指挥自动化系统一体化建设的发展过程、长远目标和发展策略进行了初步探讨 ,以期对我军的指挥自动化系统一体化建设有一定的借鉴作用。
任邵东郝维平周生炳
关键词：指挥自动化系统C^4ISR
SLD-博弈树中计算规则的独立性
1997年
本文提出SLD-博弈树的成功集的概念，证明对任何计算规则R，对应产的SLD-博弈树的成功集相同，即SLD-博弈树的证明能力与计算规则无关，这就是计算规则的独立性．
周生炳
关键词：逻辑程序独立性
基于Web服务的P2P服务器端实现被引量：6
2004年
目前,软件领域基于Internet的应用越来越普遍,作为两项极为重要的网络技术,P2P和web服务得到了长足的发展,web服务更成为实现下一代网络应用的基石。该文介绍了P2P概念、模型及应用领域,同时介绍了Web服务的概念、原理及协议。通过使用ASP.NET,利用XML及C#语言,以Web服务的形式实现了P2P服务器端的发现、查找功能,同时给出了在客户端开发时作为Web服务的应用方式,并提出了P2P应用中应注意的问题。
尹汉东任邵东周生炳
关键词：WEB服务对等网络数据访问对象
有限ＳＬＤ——博奕树的分裂与化简
周生炳戴汝为
关键词：人工智能逻辑系统程序设计
一般结构语义下限定的完备性与可满足性
周生炳
基于规则面向属性的数据库归纳的无回溯算法被引量：18
1999年
该文提出了基于规则的面向属性知识发现方法的无回溯算法．把背景知识理解为特殊的逻辑程序，并把它的子句展开为完全归结子句，然后按照用户要求，定义并确定每个属性的恰当层次．每个属性的多个值归纳为恰当层次中的值，只需一遍扫描。
周生炳张钹成栋
关键词：知识发现数据库数据采掘
客户期望寿命的乘积限估计被引量：2
2005年
采用生存分析中的非参数方法估计客户在其每个交易期内的维系概率、客户的期望寿命和客户终生价值。在将客户采购“日历”记录转变成“年龄”记录后,针对数据删失导致的流失、未流失和部分流失等3种客户生存状态,应用K ap lan-M e ier乘积限方法估计其生存概率,进而计算客户的期望寿命。在此基础上,提出结合净收益时间序列或加权平均计算客户终生价值。借助主流统计软件包(如SA S系统)进行乘积限估计,可以有效地实现该文提出的模型。
周生炳成栋
关键词：客户终生价值乘积限估计
标记逻辑程序理论研究:说明语义与过程语义
周生炳
一般结构语义下限定的完备性与可满足性
1992年
本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证明在一般结构语义下,二阶非递归闭限定是可满足的.
周生炳施鸿宝
关键词：人工智能非单调推理
SLD-博弈树及其删除策略
1995年
结合SLD-反驳和对策论的思想,提出标记逻辑程序的SLD-博弈树语义.在SLD-博弈树中,一个目标的所有支持和反对证据作为游戏双方参加博弈.对有限树,提出一种删除策略(博弈规则),根据删除过程的结果判断目标是否成立.对覆盖不循环程序,删除策略是可靠的和完备的.
周生炳戴汝为
关键词：删除策略
全文增补中
全选 清除 导出
共2页<12>
聚类工具0