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

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

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

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

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

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

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

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

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

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

利用多Agent系统管理供应链

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

一个Web站点自动生成系统

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

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

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

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

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

银行业务系统安全浅析

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

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

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

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

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

基于逻辑的形式化验证方法:进展及应用

近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。

多类水印的同时嵌入

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

保险与精算

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

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

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

一种用于认证的小波变换域的数字水印技术

提出了一种用于认证的易损数字水印技术 .将数字水印嵌入在小波变换域的不同尺度、不同方向分量上 ,来检测局部空域和频域的变化 ,在效果上相当于多重水印 .在水印检测时 。

一种XML的模型论语义

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

模糊划分的一个新定义及其应用

提出了模糊划分的一个新定义。可以证明它蕴含了Ruspini的定义 ,并且具有与直观及其实际应用相符的性质。而且根据此定义 ,可以定义模糊集合的相对清晰度及模糊划分的平均清晰度。实验证明 ,模糊划分的平均清晰度可以衡量FCM算法的聚类效果。

易损数字水印若干问题的研究

易损数字水印算法可用于多媒体内容真实性的保护 .为更有效地设计和使用易损水印 ,首先通过研究其算法应具有的特点及易损水印与鲁棒水印的差别 ;然后在可信赖的数码相机这个应用背景的基础上 ,提出了一个简单的易损水印应用框架 ;最后 ,讨论了变换域易损图象数字水印算法的误差问题和逆变换后象素值溢出的问题 ,同时给出了两种解决方法 。