对《全国计算机等级考试》考点考务软件的补充

每年两次的“全国计算机等级考试”有众多的考生参加。国家教委考试中心下发了考点考务软件。但在使用中,我们感到有些地方不能满足考点的实际需要: (1)考生报考号是按考生报名先后顺序产生的,而考务软件打出的准考证发放表却是按系统随机生成的准考证号顺序排列的,完全打乱了原来的报名顺序。这样,就给发放准考证带来了困难,有时为了找一个考生的准考证要花很长的时间。

移动计算系统信息流安全

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证MobileML语言程序信息流安全.

分布式计算系统信息流安全

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进行扩充,加入通讯原语,得到分布式移动计算语言ConcurML,它能很好地模拟网络连接的动态性和代码移动性.并给出了动态语义和静态语义的形式描述,所设计的两级信息流类型系统使用类型和效果技术,结合了多态这样的类型特征,能有效地保证进程之间的通讯不会导致信息泄密.

基于点表示的曲面曲率计算方法

提出两种方法直接在点集模型上计算曲面的局部微分性质,包括平均曲率、高斯曲率、主曲率和主方向.第一种方法利用voronoi元和有限元,将曲率公式离散,再进行计算;第二种方法利用移动最小二乘法(ML S) ,构造局部参数曲面来逼近原始曲面,以局部参数曲面的曲率来近似点集模型的曲率.试验表明这两种方法可以在较小的误差范围内表示曲面的曲率.最后对这两种方法进行了比较,给出了各自的适用场合.

IPv6协议测试系统研究和实现

IPv6必将成为下一代Internet网络的主导协议,如何测试各个厂商的IPv6实现是一个关键的问题.本文关注于IPv6协议的一致性测试,提出了一种分布式虚拟测试法,采用该方法我们实现了一个测试系统,并进行了实际测试,给出了一些测试结果和分析.

一种具有暂态混沌和时变增益的神经网络及其在优化计算中的应用

本文提出了一种具有暂态混沌和时变增益的神经网络．通过引入暂态混沌和时变增益，该网络比Hopfield型网络具有更加丰富和更为灵活的动力学特征，从而具有更强的搜索全局最优解或近似全局最优解的能力．网络经过一个短暂的例分叉过程逐渐趋近一个常规的Hopfield神经网络，并为其提供了一个在全局最优解附近的初值．它可以用于求解各种复杂的优化问题．大量的数字模拟表明网络能很好地解决Hopfield型网络的局部极值问题．最后我们已将这种神经网络成功地应用于空间信号源的最大似然方向估计．

神经网络专家系统及其数据挖掘技术的探讨

知识发现是目前数据库和机器学习研究中的热门方向 .本文在讨论了神经网络专家系统技术的基础上 ,探讨了如何在神经网络专家系统中融入知识发现的过程 ,给出了一个系统框架及其中的一些算法 。

分布式组件技术的电力市场管理软件系统结构

安徽省电力发、用计划及考核管理系统是安徽省电力中心调度所的一套独具特色的软件 ,它为省电力内部市场的调度运营管理提供了新的技术手段。重点介绍了系统结构和分布式组件技术在该系统中的应用。它是一个高效的、充分利用Intranet和Internet技术的系统 ,分布式组件技术的应用使得整个系统的可扩充性、可维护性、稳定性大为提高。最后 。

移动计算中基于Mobile Agent的数据库访问技术

本文针对传统基于应用程序方式的数据库访问机制在移动计算环境中所存在的不足 ,分别提出了移动计算环境中基于 Mobile Agent的集中式数据库和分布式异种数据库访问技术 ,并利用 IBM开发的 Aglets在一个宽带无线 IP网络上进行了原理实验 ,实验结果表明这种技术在移动计算环境中明显提高了数据库访问的性能 .

基于移动代理的网络管理系统的研究与设计

移动代理是一项新兴的技术，因其具有移动性、智能性、并行性等特点，在网络管理及分布式计算等领域有着广泛的应用。文章分析了基于移动代理的网管系统在网络管理领域的优势，讨论了将移动代理网管系统与ＳＮＭＰ网管系统相结合的网管系统设计框架，并给出了性能管理、故障管理和安全管理的功能模块设计。最后介绍了使用的开发环境，以及将两种网管系统相结合的实现方法。

超媒体系统的开放性探析

1.引言 超媒体系统从一开始就被视为信息集成的工具,为用户在包含各种媒体的信息仓中进行浏览或信息检索提供了方便的手段,允许用户在小块的信息(结点)之间通过任意的连接()

主动网络节点操作系统(NodeOS)的研究

提出了一种3层次的主动网络节点操作系统(NodeOS)结构模型,即硬件抽象层、资源管理层和NodeOS-EEAPI层,详细讨论了每一层上的主要功能及实现机制。还讨论了基于授权的主动节点安全体系,它将分布式授权、安全策略管理、基于授权的访问控制、数据包起源授权及完整性控制有机地结合起来,保证了主动节点和主动包的安全。

路由协议一致性测试的系统设计

目前对通信协议进行一致性测试的方法和实现比较完善 ,而在对路由协议进行一致性测试方面的系统经验还比较少 ,本文基于实践工作的内容 ,提出了一种路由协议一致性测试系统的设计方法 ,并且讨论了实现过程中的一些问题。

动态系统的定性推理：定性模型的建立与定性仿真方法

本文首先介绍了动态系统的定性推理（ＱｕｌｉｔａｔｉｖｅＲｅａｓｏｎｉｎｇ）的产生背景，发展概况以及定性推理的实际应用前景，然后以Ｋｕｉｐｅｒｓ的定性仿真理论为中心介绍了定性推理的基本原理及方法，其中重点介绍了动态定性仿真算法ＱＳＩＭ和定性推理的最新发展，并对存在的问题进行了探讨。

基于知识发现技术的神经网络专家系统

为了克服传统专家系统的 3大缺陷 ,在讨论专家系统新技术的基础上 ,探讨如何在专家系统中融入知识发现的技术 ,提出一个新的系统框架 ,在其中使用的一些知识发现算法包括历史数据库中的数据挖掘及知识库中的知识发现 .对此新的专家系统框架给予了实验 ,结果是 :系统运行后 ,既可以发现新知识 ,又可以改进原有规则 .这样大大提高了系统知识获取的能力 ,而且也求精了知识库 .

一个基于QSIM算法的定性仿真系统GQSS

定性仿真是目前人工智能、仿真技术等领域一个新颖的研究方向,文中重点介绍了作者研制的一个基于 QSIM 算法的实验性通用型定性仿真系统 GQSS(General Qualitative Simu-lation System),并且在该系统中初步改进了 QSIM 算法.

量子计算及其应用

讨论量子计算机模型及其物理实现方案、量子计算过程、量子计算模型和量子并行算法 ,分析量子计算的指数级存储容量和指数加速特征 ,并简述量子计算和量子信息技术在保密通信、密码系统、数据库搜索等重要领域的应用 .

电子工单处理系统的关键技术

本文分析了电子工单处理系统的任务和特点。根据工单处理过程的多样性和易变性 ,提出了一种规则驱动的分布式工单处理系统 ,并对该系统的软件体系结构、工单处理中的规则以及工单处理的瓶颈和对策给予了介绍。

关系数据库中概念层次自动提取算法研究

作为一种重要的背景知识，概念层次在ＫＤＤ中发挥了重要作用。概念层次能够以层次的形式和偏序的关系组织数据和概念，能够以高层概念表示数据库中数据的关系。本文就概念层次的应用和提取进行了讨论，提出一种自动提取数值型概念层次的算法．

定性仿真中的一种因果关系分析方法

因果关系是人类思维中的一个很重要的概念，在人们进行推理、作出判断、认识周围世界这些过程中，因果关系都起着基础性的作用。本文阐述了人工智能和定性仿真中因果关系的重要地位，分析了当前的研究进展。从因果序理论出发，研究了运用因果关系来定性地分析系统的方法。并用例子证明了这种方法的在系统仿真。