堆整序的改进算法及其复杂性分析

堆整序的Heapsort算法,以其效率高,数据结构精致而被广泛采用。本文给出了实现堆整序的两个新算法。Heapsort 1在最好情况下,效率可以提高一倍;Heapsort 2算法,减小了复杂性的常数因子。

堆整序的最优算法

本文给出堆整序的一个新算法，其实用价值比以前的算法效率提高一倍，其理论意义是在复杂性的数量级和主项系数方面已具有最优性能．

采用堆结构的渐近最优整序算法

本文给出一个新的整序算法。该算法采用堆结构,重新堆化用递归实现。它不仅具有渐近最优性能,而且将文献[1]和[5]中的算法统一起来,作为它运行时的特例。

数据加密标准DES分析及其攻击研究

介绍了DES算法的加密方法及其数学原理，分析了破译DES所用的密码学方法之一，即差分密码分析。提出了采用此方法破译低轮DES的具体做法及其关键步骤。

基于多Agent的中文智能检索模型

Internet已经成为全球信息系统,如何智能地在这个系统中对信息进行检索一直是热点问题。分布式人工智能的发展和Agent在各个领域的广泛应用,为这个问题的解决提供了技术上的支持。提出了一种基于多Agent的搜索模型,此模型可以根据不同需求进行信息的智能检索。

基于WEB的语音传真群发系统的设计与实现

通过对传真业务的分析,具体设计和实现了基于WEB的语音传真群发系统,并深入讨论系统的稳定性和多线程问题。该系统支持WEB和IVR两种技术发送传真。

软件企业实施CMM改进软件过程的研究

CMM(能力成熟度模型)是当前软件行业的重要技术,研究和实施CMM认证,有助于软件企业提高生产率。对IT界公认的软件过程改进标准CMM进行了介绍,包括其发展、内容和运用;分析了我国软件企业的现状,以及实施CMM进行软件过程改进所面临的问题;提出了中小企业改进软件过程、提高软件质量、规避软件风险的策略。

基于移动Agent技术的应用系统框架分析

文章从介绍移动Agent的基本概念和特点出发,提出了基于移动Agent技术的应用系统框架,并对其逻辑结构,实现机制和关键技术进行了深入的分析和讨论。

基于资源角色分类的密集计算网格作业管理

对密集计算网格的资源进行角色分类,采用了基于作业优先级和资源优先级的作业调度算法,设计和实现了网格作业管理模块,为用户提供了一个有效的网格资源的使用方法,实现了对网格资源的优化使用,为网格用户提供了更好的网格资源服务共享。

基于对等网架构的会话发起协议及应用

普通SIP应用由于受到后台服务器的控制,会面临单点服务器故障或遭受攻击导致网络整体瘫痪的危险,网络用户通信的自由度也受到了一定限制.基于P2P架构的SIP应用,利用P2P实现用户的注册、加入、定位、查找和路由,具有通信负载平衡、系统不易瘫痪等优点.SIP向P2P架构的发展,改善了原SIP网络的可靠性和可扩展性,有利于实现与传统通信系统的互联互通.

图像轮廓提取的迭代收缩算法

本文提出一种提取二值图轮廓的迭代收缩算法 ,在快速提取图像轮廓的同时 ,保持轮廓封闭性 ,并保留轮廓间关系信息 ,算法用于人脸识别系统中取得了较好的实验效果。

移动Agent技术的研究与应用

文章从阐述 Agent及移动 Agent技术的基本概念出发 ,对移动 Agent系统的体系结构及其组成部分进行了深入的分析和讨论 ,并对移动 Agent技术的典型应用进行了分析 .

基于Web的客户端电子邮件系统的实现

该文阐述了在Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ上发送和接收电子邮件的原理及由Ｍｉｃｒｏｓｏｆｔ Ｅｘｃｈａｎｇｅ Ｓｅｒｖｅｒ组成的电子邮件系统传输电子邮件的过程，提出了一种应用ＡＳＰ技术通过ＶＢＳｃｒｉｐｔ语言调用ＩＩＳ提供的ＣＤＯＮＴＳ类库实现在Ｗｅｂ上发送和接收电子邮件的方法。

单机版防火墙系统中数据包过滤技术的研究

随着Ｉｎｔｅｒｎｅｔ在人们日常生活中的普及，越来越多的单机上网用户开始关心系统的安全问题。文章以保护单台计算机为目的，介绍了一种应用于单机版防火墙系统中的新型的数据包过滤技术，并给出其部分实现。

基于双重认证的安全电子邮件系统模型

提出了一种新型的基于双重认证的安全电子邮件系统模型,它采用公用PKI与用户私人CA相结合的方式,既可解决身份验证问题,又消除“最高权限”带来的信任危机,而且针对用户邮件对加密程度的不同需求采用不同的加密手段,可充分满足用户对加密强度的要求。

IP媒体服务器的研究与实现

传统媒体服务器仅能处理PSTN网络内的呼叫,通信处理能力弱,而且不易有效管理通信线路。IP媒体服务器继承PSTN网络上的业务,且能很好地处理IP网和PSTN网间的相互呼叫和通信,可提供多种业务,如全局交互式语音应答系统、会议I、P语音与传真、分布式呼叫中心等。结合专用板卡,采用C++设计了一个开放性、可扩展的平台。作为下一代网络的重要组成部分I,P媒体服务器将促进新的增值业务的发展。

一种用于数据库开发的UML类图的规格说明与C++源代码生成技术

该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理.

一种群组交互的动态自适应带宽管理机制

文章在分析现有的基于MCU实现的群组交换的基础上 ,对网络传输过程中的带宽 ,QoS ,以及缓冲区大小之间的关系进行了讨论 ,并提出了在网络状况发生较大波动时一种能够自适应地动态改善网络带宽分配的方法 ,给出了相应的算法且在实际测试和应用中取得了良好的效果。

一个定理证明检查器

介绍了一种新型的形式说明语言 PD_ Cal,该语言具有良好的表达能力以及丰富的类型 .通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 .在该思想的基础上 ,设计并实现了PD_ Cal定理证明检查器 .

socket层加解密在Linux上的实现

我们正致力于在Linux平台下socket层的SSL协议的核心部分的实现。本文讲述的是整个分为三阶段实现的工程的第一部分,即在已得到密钥情况下对socket数据的加解密。首先描述的是如何使用LKM进行必要的函数替换;其次结合核心数据结构详细描述了加解密实现过程,并给出了使程序实现得以简化的定理及其证明过程。