智能科学系介绍

智能科学系前身是1985年成立的信息科学中心。是国内大学中第一个创办智能科学与技术本科专业的系,主要从事智能与信息科学技术领域的教学和科研,包括机器感知、智能机器人、智能信息处理和机器学习等前沿研究。智能科学系具有多学科交叉和综合特点,基础研究与成果转化相结合,有力推动社会经济发展。该系拥有北京大学第一个国家重点实验室(视觉与听觉信息处理) ,有教授(包括院士和长江学者)、副教授近2 0名( 50岁以下全部具有博士学位)。十多年来培养2 0 0多名博士和硕士,2 0 0 4年开始招收本科学生。智能科学系承担和完成一大批国家973、86…     

浅谈实验教学中的信息能力培养

本文针对高等院校学生的创新能力与创新精神的教育问题,论述了实验教学中的信息能力培养内容、意义与基本目标.     

对策论与非线性分析

本文对非线性分析与对策论的关系等作了综述。     

使用MPLS解决网络最大流问题的方法

为解决大多数的流量工程问题和网络传输中的最大流问题，该文提出了基于多协议标签交换（MPLS）解决方案，阐述了解决最大流问题的数学方法，提出一种独特的将数据流划分成“微分支”的思想和方法，并介绍微分支的建立过程；给出仿真结果。     

信息与计算科学专业建设的思考

结合职技高师院校的办学特色,论述了在职技高师院校如何办好信息与计算科学专业,探讨了该专业内涵,专业发展,专业建设和市场定位等一系列问题。     

统计信息网络化的安全防范

如何保障统计信息的安全是网络时代统计工作面对的新课题.本文分析了网络时代统计信息方面的不安全因素,有针对性地提出了保障网络时代统计信息安全的措施.     

浅论提高高校电子阅览室利用率的措施

分析了高校电子阅览室利用率低的原因，从加大宣传力度，加强电子信息资源的建设和管理，创建网络导航数据库，加强对读者的信息教育等方面提出了提高电子阅览室利用率的措施。     

一种基于语言评价信息的多指标群决策方法

针对一类带有自然语言评价信息的多指标群决策问题，给出一种新的群集结和方案优选方法。首先采用近年来最新发展的LWD算子和LOWA算子直接集结每个决策者给出的自然语言评价信息，以得到群的方案评价值，然后根据语言短语集的自身顺序进行方案优选。利用该方法不仅可以确定最优方案，而且还可得到群决策结果的可信程度。最后给出了一个算例。     

适应市场经济发展 开拓情报服务领域

论述了市场经济条件下情报信息对于企业经营所具有的重要作用，同时论述了情报信息部门如何适应市场经济的要求开展情报服务。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.