基于特征点匹配的图像拼接系统

对森林病虫害航空遥感监测中的图像拼接问题进行了研究。通过建立图像对应模型 ,按照特征点匹配的方法 ,并使用场景平面模型 ,构造了一个图像拼接系统。拼接的过程中针对图像拼接系统中特征点的提取 ,对应控制点的选择和对应点的搜索等问题 ,提出了模型参数的迭代求解方法。数据处理结果表明 ,使用该方法 ,能很好地改进了模型参数的精度 。

一个基于角色的Web安全访问控制系统

对基于角色的访问控制模型进行了分析并定义了相关的概念 ,给出了实现模型和算法设计 ;对现行的Web安全认证和访问控制中存在的问题和隐患进行了分析 ,给出了一种新的可行的安全解决方案 ;最终实现了一个基于角色访问控制策略的Web资源安全管理系统 ,它在实际应用中取得稳定、可靠和有效的结果 .

一种带约束的多态类型系统

本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，约束的引入与消去是不同层次上的操作．最后，本文绘出了类型检查算法Wτ，并证明了此算法中约束的可满足性是可判定的．

层次安全体系(HSS)及其在银行ATM网络中的应用

随着计算机和通讯技术的发展，金融电子化步伐的加快，金融讯息安全问题受到特别重视。在金融系统实施安全、严密、可靠的信息安全体系是十分必要的。本文以银行ＡＴＭ网络系统为应用背景，介绍了一种新的信息安全体系，称为“层次安全体系（ＨｉｅｒａｒｃｈｉｃａｌＳｅｃｕｒｅＳｙｓｔｅｍ）”。该体系综合采用现有的数据加密技术、信息鉴证技术、密钥管理技术和ＳＥＴ安全电子交易规范；适用于金融系统、证券系统、商用机密传输系统等安全性要求较高的系统，是一种可靠性高、安全性强的信息安全体系。

基于信息准则的基因选取方法及其在肿瘤诊断中的应用

大规模基因表达谱为肿瘤诊断提供了更为可靠和细致的生物数据,但相关基因的选取是对这些数据进行分析的关键。本文从Kullback-Leiber判别信息的角度对于肿瘤相关基因的选取进行了研究。根据肿瘤相关基因和无关基因的表达水平值分布的特性,我们提出了一种基于信息准则的基因选取方法。进一步,我们将这种方法应用到肿瘤诊断上,并根据支持向量机(SVM)对相关基因表达谱数据进行训练建立肿瘤诊断模型。实验结果表明这种方法是有效的,依此所建立的诊断模型可使得在结肠癌数据集和白血病数据集上的诊断(预测)正确率分别高达94.4%和100%石。

一个Web站点自动生成系统

1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要一种能快速生成与维护Web站点的工具。然而,现存的FrontPage等HTML页面编写工具,自动化、智能化程度不高,操作复杂烦琐,要求用户具有较高的计算机技能,普通用户难于掌握。因此,给出一个Web站点自动生成工具,帮助企事业单位方便、快速地建立起Web站点是非常有意义的。

利用多Agent系统管理供应链

指出传统方法开发的供应链管理系统受到其扩展性和重构性的限制不能适应供应链复杂、动态的环境.针对这个问题,给出了一个基于多Agent技术系统框架构造的分布式、智能的供应链管理系统模型.这种结构的供应链系统在遗留系统综合、供应链策略模拟以及供应链的动态性、敏捷性和开放性等方面上都有很大的优势.

基于本体的动态信息收集Agent

该文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,从而能够有效地处理动态信息收集。

银行业务系统安全浅析

银行业务发展的特殊性使得信息安全系统的建设成为一大重点。业务软件安全、网络系统安全、硬件系统安全以及银行电子商务的安全等诸多方面都需要系统管理员关注,只有齐全有效的保护措施才可以保证系统不受侵害。

一种基于群签名算法的门禁系统模型

描述群签名算法的一种实际应用 ,提出了一种新的基于群签名的门禁系统模型。文中首先讨论了群签名算法和门禁系统的概念 ,分析了经典门禁系统的作用及其缺陷 ;而后研究了一种基于群签名算法的门禁系统 ,描述了这种系统模型、有关的系统操作集合 ,给出了系统模型的形式化定义 ;最后分析了这种门禁系统模型的特点。

基于贝叶斯网络的不确定性知识的推理方法

贝叶斯网络是不确定性知识表达与推理的一种新方法。它是概率论和图论相结合的产物 ,可用于复杂多因果关系的分析 ,是人工智能领域的研究热点和重要成果之一。由于它的解决方案明确、直观 ,所以近年来在远程医疗、故障诊断以及数据挖掘等领域 ,得到了广泛的应用。本文论述了贝叶斯网络的基本理论、方法和应用 。

基于未知扰动的冲突证据合成方法

自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通过预处理来解决标准化问题.与其他相关方法相比,这种新方法不仅和Dempster规则形式上一致,合成过程比较灵活,并且可以通过扩展的Bayes公式得到理论上的解释.

多类水印的同时嵌入

研究了多类数字水印同时嵌入的问题 ,提出了一种同时嵌入两类水印的图像数字水印算法。此算法基于整形小波变换 ,两类水印的提取都不需要知道原始图像。还提出了水印的“可信比特”提取的方法 ,加强了水印的鲁棒性。算法对JPEG压缩、小波压缩、噪声、中值滤波和裁剪有较好的抵抗能力 ,同时 ,易损水印除了能鉴别图像是否被篡改外 ,还能报告图像在空间域和频率域的失真情况。

保险与精算

扼要介绍了现代保险的发展历程和现状，阐述了保险与数学、统计学和计算机的关系，分析了目前与保险有关的研究方向。现代保险作为市场经济中的一个重要产业不只是一种社会补偿手段，而更多地具有产业性和商品性。在市场竞争的环境中，数理统计方法的计算和分析是科学合理地进行保险经营。

基于Kriging方法的空间散乱点插值

给出的一种距离加权插值方法借鉴地质统计学中的Ｋｒｉｇｉｎｇ 方法，在空间数据场满足给定的统计分布特征的前提假设下进行插值．通过对帽状曲面函数的插值结果的观察，可以看出该方法可以获得良好的插值效果．

一种XML的模型论语义

XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题.

高层次综合中基于整数线性规划模型的多目标功耗优化算法

考虑峰值周期功耗和峰值模块功耗的同时优化,并尽可能地降低电路的功耗时延乘积指标.利用参数化功能单元库中各个功能模块的具体物理信息,在多供电电压、多调度周期模式下,建立了整数线性规划模型及其相应的6组约束条件,并将高层次综合中的调度过程和功能单元的绑定过程统一起来进行了模型化.文中算法已经成功地应用到自行开发的高层次综合工具之中,算法中得到的数据结果可以直接用于下一步的布图规划.对测试用例的实验进一步说明:同时优化峰值周期功耗和峰值模块功耗可以取得更好的综合结果,并且改善功耗时延乘积项的值(平均降低了30%),提高电路的可靠性和稳定性.

关于FCM算法中的权重指数m的一点注记

模糊c均值算法 (FCM)是经常使用的聚类算法之一 .使用模糊c均值算法时 ,如何选取模糊指标m一直是一个悬而未决的问题 .部分文献根据实验结果建议最佳的权重指数可能位于区间 [1.5 ,2 .5 ],但大多数研究者使用m =2 .本文阐述了FCM算法有效性与聚类有效性之间的理论联系 ,指出如果某个权重指数使得FCM算法作为聚类算法不能有效工作 ,则其不能作为最佳的权重指数 .据此 ,我们进行了数据实验 ,数据实验结果说明了权重指数的最佳取值未必位于区间 [1.5 ,2 .5 ].

从ALC到SHOQ(D):描述逻辑及其Tableau算法

描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。

基于Java新IO的Web安全网关

在实践经验的基础上分析了JavaNIO的特性,采用事件驱动、非阻塞的IO多路复用、多线程、安全Cookies、SSL、高速缓存等多种技术,设计并实现了构架在PKI上基于角色访问控制策略的安全访问控制服务器。