量子计算中的一个重要定理和算法

利用组合计数理论、数列和级数知识,采用构造证明的方法研究了量子计数中多色球非空分法数问题,得到了多色球非空分法数问题的两个计数公式,并得到了一个组合恒等式。     

广义马尔科夫方程解的存在性

证明了广义马尔科夫方程在k>n时无正整数解,给出了5维、6维、7维广义马尔科夫方程的部分最小解。     

从数据库中交互发布图像

讨论了文件方式交互发布图像的一般方法，通过ADO2．0访问SQLSERVER数据库，解析GIS图像的二进制数据的方法以及通过ActiveX打开和数据库的连接，把图像检索出来并存成临时文件，最后，介绍了通过ASP页面完成ActiveX交互发布图像文件的方法。     

求方程的整数解的数学模型

从数学机械化角度给出了求一元二次方程和一元三次方程的整数解的数学模型,并给出了一元二次方程的正整数解的几何解释。     

基于块模型的目标检测综述

目标检测是计算机视觉研究领域的一个重要问题,在图像检索和视频监控等方面具有重要的研究意义和广阔的应用前景.综述了块模型在目标检测中的应用进展和展望,首先,对目标检测的基本表示方法进行总结;然后重点介绍了块模型在目标检测中的应用进展;最后,讨论了块模型在目标检测中存在的困难和挑战.     

量子通讯中的九个组合数学问题

解决了量子通讯中的九个组合数学问题.     

演化构件在形式化需求分析方法中的研究与应用

软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.