北京大学计算机科学技术系
- 作品数：31 被引量：166H指数：4
- 相关作者：赵畅王冲叶茂盛更多>>
- 相关机构：中国科学院国家科学图书馆兰州分馆中国科学院国家科学图书馆西安电子科技大学通信工程学院综合业务网理论与关键技术国家重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 确定周期为2~np^m二元序列线性复杂度的快速算法被引量：11
- 2002年
- 提出和证明了确定周期为2npm的二元序列的线性复杂度和极小多项式的一个快速算法,这里2是模p2的本原根.算法既推广了确定周期为2n的二元周期序列的线性复杂度的一个快速算法,也推广了确定周期为pn的二元周期序列的线性复杂度的一个快速算法.
- 魏仕民陈钟肖国镇
- 关键词：密码学周期序列线性复杂度极小多项式
- 基于格关系和配价的藏语动词再分类研究
- 本文着重介绍了我们根据研制藏汉机器翻译系统的实际需要,在采用传统语法对藏语动词的已有分类基础上,采纳格语法和配价理论的合理思想,结合藏语的格接续特征,通过每个动词的配价信息以及所能携带的相应的格助词类型(格标)及其数量来...
- 陈玉忠李保利俞士汶
- 关键词：藏语动词配价理论
- 文献传递
- 虚拟个人数字图书馆体系结构模型
- 1引言在数字图书馆(DL)的设计和建设中,体系结构是一个关键技术。国际上各大DL项目都非常重视体系结构的研究,提出了许多解决方案。DL体系结构的研究有两个方面:一是本地DL的体系结构,一是分布的异构DL系统间的联邦和集成...
- 王军杨冬青唐世渭杨良怀
- 关键词：PERSONALIZATIONARCHITECTURE
- 文献传递
- 云计算、大数据时代信息安全的新视角、新挑战
- 陈钟
- 基于支持向量机的渐进直推式分类学习算法被引量：124
- 2003年
- 支持向量机(support vector machine)是近年来在统计学习理论的基础上发展起来的一种新的模式识别方法,在解决小样本、非线性及高维模式识别问题中表现出许多特有的优势.直推式学习(transductive inference)试图根据已知样本对特定的未知样本建立一套进行识别的方法和准则.较之传统的归纳式学习方法而言,直推式学习往往更具普遍性和实际意义.提出了一种基于支持向量机的渐进直推式分类学习算法,在少量有标签样本和大量无标签样本所构成的混合样本训练集上取得了良好的学习效果.
- 陈毅松汪国平董士海
- 关键词：支持向量机统计学习理论
- 电子邮件内容检查网关的研究与实现
- 该文介绍结合作者的科研成果，介绍一种网关型电子邮件内容检查系统的组成、技术要点、使用特点等。该系统能根据铭感词库、病毒特征库和安全策略自动检查过往的电子邮件是否包含不良信息和已知病毒。
- 段云所陈钟
- 关键词：电子邮件信息安全
- 文献传递
- 合成型语言FOPL的语义研究被引量：2
- 1995年
- 函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。
- 梅宏孙永强
- 关键词：程序设计面向对象语义
- 空间信息共享平台SISP中的数据库模式
- 陈(王君)杨冬青唐世渭
- 关键词：空间信息数据库模式
- 图文应用开发工具GTADT的设计与实现
- 本文论述了一个UNIX环境下的图文应用开发工具——GTADT的设计原理和实现的主要技术。它具有三个突出特点:(1)在UNIX环境下能够做到图文并茂,而不必client—server结构;(2)是全编译的,可移植性好,可和...
- 杨凡唐世渭杨冬青关涛
- 关键词：应用开发工具
- 文献传递
- 集成化软件工程环境──青鸟系统被引量：2
- 1994年
- 集成化软件工程环境──青鸟系统中国科学院院士杨芙清北京大学计算机科学技术系廖钢城计算机辅助软件工程ＣＡＳＥ的兴起打破了计算机软件发展瓶颈，为摆脱软件危机带来了希望。ＣＡＳＥ技术使软件工程由理论变成了实践，使软件开发脱离了手工作坊方式，将软件本身当作“...
- 杨芙清廖钢城
- 关键词：集成化软件工程CASE
