排序方式: 共有7条查询结果,搜索用时 187 毫秒
1
1.
利用组合计数理论、数列和级数知识,采用构造证明的方法研究了量子计数中多色球非空分法数问题,得到了多色球非空分法数问题的两个计数公式,并得到了一个组合恒等式。 相似文献
2.
证明了广义马尔科夫方程在k>n时无正整数解,给出了5维、6维、7维广义马尔科夫方程的部分最小解。 相似文献
3.
讨论了文件方式交互发布图像的一般方法,通过ADO2.0访问SQLSERVER数据库,解析GIS图像的二进制数据的方法以及通过ActiveX打开和数据库的连接,把图像检索出来并存成临时文件,最后,介绍了通过ASP页面完成ActiveX交互发布图像文件的方法。 相似文献
4.
从数学机械化角度给出了求一元二次方程和一元三次方程的整数解的数学模型,并给出了一元二次方程的正整数解的几何解释。 相似文献
5.
目标检测是计算机视觉研究领域的一个重要问题,在图像检索和视频监控等方面具有重要的研究意义和广阔的应用前景.综述了块模型在目标检测中的应用进展和展望,首先,对目标检测的基本表示方法进行总结;然后重点介绍了块模型在目标检测中的应用进展;最后,讨论了块模型在目标检测中存在的困难和挑战. 相似文献
6.
7.
软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应. 相似文献
1