寻找哈密尔顿函数图形的周期

判定一个图形是否是哈密尔顿函数是一个公开的难题。本文里,这一难题被转化为判断一个图形是否有一个两个规则哈密尔顿函数生成的子图。同时,还将介绍这一方法的应用过程,这可直接运用于计算机。     

连接依赖的蕴涵问题及其推导公理系统

本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一系统的合理性和完全性。     

关于Web应用程序的范围与session变量丢失问题的深入研究

在一个网页间设定了一个session变量后,到另一个网页,却消失了.这是什么样的原因呢.如果你详细地读完本文,相信能给你一个完整的答复!     

专家系统中不精确推理模型的比较

在基于规则的专家系统中,通常采用四种不精确推理模型,即Bayesian概率理论,CF理论,D-S证据理论和可能性理论。本文在讨论这四种模型的基本概念和性能的基础上,对这四种模型各自的优缺点进行了比较,这为在研制一个实用的专家系统时选择一个合适的不精确推理模型提供了一个良好的依据。     

基于多视点的需求描述模型

本文提出了一个基于多视点的需求描述模型,该模型可通过视点模板来定义用户的需求,此外,本文也结合一个管理信息系统的实例,介绍了使用这一需求描述模型定义软件系统需求的全过程。     

通信进程的最弱环境

众所周知,最弱前提(Weakest Precondition)在顺序程序设计中起着重要作用。本文将为分布式程序设计提供类似的概念。给定一个总目标,又给定一个已经设计好的部分,我们要求去定义一个子目标,使得整个系统满足总目标的充要条件是,余下的待设计部分满足这个子目标。这个子目标就称为已设计部分的最弱环境。本文中对于主从(master-slave)通信结构提出了一个最弱环境的演算,希望可用来作为分布式程序设计方法学的理论基础。     

多姿多彩的Windows Vista小工具边栏

这是Windows Vista中一个新的程序,而且默认是开启的。开启该程序后,桌面的右侧（或者左侧,可以设置）会显示出一个垂直于任务栏的工具栏,这就是本文要向大家介绍的Windows边栏（如图21所示）。     

WPF精粹（二）——输入事件的Routing

路由事件是WPF框架的一个值得注意的新特性,它与元素树配合形成一种更为灵活的消息处理机制,本文旨在对这一处理机制做一个详细的分析。     

Photoshop教程：制作一个溶解的鼠标

本文将为大家介绍如何制作一个溶解的鼠标,这篇photohsop教程的最终效果十分有趣,希望大家喜欢。     

一个用于建立选单式用户接口的软件工具-选单开发系统MDS

在计算机应用领域,选单系统显示了它的极大的优越性,人们不必告诉系统“如何做”,而只要系统询问“做什么”,这就改进了交互式应用系统的正确性和易学性。 本文详细地介绍了一个选单开发系统(MDS),这是一个在INTEL 86/330微机系统上实现的,用于联机开发选单应用系统的软件工具。它的一个主要特点是能够满足不同的交互式应用需求,另一个重要的特点是具有很强的屏幕组织能力,这样应用开发员可以自由地设计选单格式。相应地,本文给出了一个和MDS相适应的选单系统结构的模型。     

异构数据库集成系统的设计与实现

论文根据某港口集装箱企业的具体需求,设计了一个异构数据库集成系统,以尽可能充分地利用该企业现有数据库的信息资源。论文首先介绍了数据库复制技术,利用静态复制技术设计了一个数据导入接口,又采用动态数据复制技术设计了实时数据接口;然后,介绍了XML语言以及基于XML的全局结构化查询语言,并利用它们设计了全局查询模式;最后通过一个查询示例说明了查询的实现过程。     

基于概率语言COPRAS的多属性风险型应急决策方法

针对多属性应急决策过程中的风险性和不确定性,提出一种结合累积前景理论和概率语言COPRAS的应急决策方法。首先考虑到专家在评价过程中的犹豫性和偏好程度,采用概率语言表达专家的评估信息;其次将概率语言形式的评价信息纳入到累积前景理论的决策框架中,通过计算方案在不同前景状态下的前景价值矩阵和概率权重矩阵得到综合前景价值矩阵;然后在综合前景矩阵的基础上,以所有备选方案的整体效用度最大化为目标函数建优化模型来求解指标权重,并利用COPRAS方法对备选应急方案进行排序;最后通过一个算例说明了所提方法的有效性和可行性。     

基于影响力网络模型的多智能体一致性协议

如何增强系统一致性是多智能体系统研究中的一个重要问题。传统一致性协议通常未考虑拓扑中的关键节点,并且拓扑权重单一,从而导致系统更容易分裂。基于人际关系网络中的关键人物可以促进不同社区信息交流的思想,提出了一种影响力网络模型（influence network model,INM）。首先,提出了分布式的Hub Node识别算法（distributed hub node identify algorithm,DHNI）,用于区分关键节点和非关键节点,可以应用在分布式多智能体系统中。其次,提出了基于分布式hub node的拓扑权重设计算法（distributed hub node-based topology reweighting algorithm,DHNTR）,量化不同节点对其邻居的影响力。最后提出了基于影响力网络的一致性协议。设计了公共Lyapunov函数,分析了系统的全局稳定性,证明了系统具有Lyapunov意义下的稳定性。仿真实验表明该协议可以增强系统一致性。     

改进的BP神经网络算法在水质监测中的应用

针对一类多输入多输出系统进行辨识, 以"A simulation of the western basin of Lake Erie"为例, 通过分析河流湖泊的水质特征, 针对伊利湖湖泊水质建立数学模型, 由于该环境系统为多输入多输出系统, 文章采用了一种改进的BP神经网络算法, 利用Matlab神经网络工具箱进行数据分析, 绘出实际输出与模型输出的曲线以分析相关情况, 检验建立的模型对于系统的辨识水平, 给出传统BP网络和改进BP网络对该系统辨识的结果进行分析对比. 文章还对不同噪声层次下的数据进行分析比较, 并研究白噪声对于人工神经网络模型的影响.     

USB协议栈的设计及其在嵌入式领域的应用

USB已经成为一种非常成功的总线标准。以USB在一个嵌入式系统的实现案例，介绍了USB总线的硬件研发过程及相关USB协议栈的设计与实现，并且探讨了在嵌入式操作系统中基于该协议栈的USB设备驱动的开发以及USB Bios Boot Rom的设计。     

Network Capacity Reliability Analysis Considering Traffic Regulation after a Major Disaster

The focuses of this paper are optimal traffic regulation after a major disaster and evaluation of capacity reliability of a network. The paper firstly discusses the context of traffic regulation and its importance after a major disaster. Then, this problem is formulated as an optimisation program in which the traffic regulator attempts to regulate the amount of traffic movements or access to some areas so as to maximise the traffic volumes in the network while (a) link flows must be less than link capacities and (b) re-routing effect due to changes of traffic condition in the network is allowed. The re-routing behaviour is assumed to follow Probit Stochastic User's Equilibrium (SUE). The paper explains an optimisation algorithm based on an implicit programming approach for solving this problem with the SUE condition. With this optimisation problem, the randomness of the link capacities (to represent random effects of the disaster) is introduced and the paper describes an approach to approximate the capacity reliability of the network using Monte-Carlo simulation. The paper then adopts this approach to evaluate the performances of different traffic regulation policies with a small network and a test network of Kobe city in Japan.     

Detecting credit card fraud using expert systems

In this paper, we set forth an expert system model to help alert banks and other financial institutions to fraudulent usage of credit cards. The objective of this model is to identify suspected fraud during the authorization process. The paper presents results from analysis of real data from a Canadian bank. The paper concludes with an estimate of savings from fraud losses.     

网上报名及考试处理系统的设计与实现

详细介绍了网上报名及考试处理系统的实现流程和功能框架，讨论了基于MVC模式的Struts框架，设计了一种利用子空间划分与洗牌方法实现了现场准考证的随机编排；实验证明本方法可以达到理想的效果。     

一种智能组卷算法的实现

本文首先建立组卷问题的数学模型,通过分析可知,组卷问题实质上是一个多目标优化问题的求解。为了解决组卷这个多目标优化问题的求解方法,采用了一种遗传算法的智能组卷算法。     

一种智能组卷算法的实现

本文首先建立组卷问题的数学模型，通过分析可知，组卷问题实质上是一个多目标优化问题的求解。为了解决组卷这个多目标优化问题的求解方法．采用了一种遗传算法的智能组卷算法。