排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
本文定义了一个内存工作区处理语言MPL,并提出了用于描述语言的形式化方法,作为示例,文中最后给出一个程序部分正确性的验证提纲。 相似文献
2.
遗传算法在图像水印嵌入技术中的实现 总被引:3,自引:0,他引:3
在数字水印技术中,将数字水印嵌入到原始图像的过程,通常会对目标图像的质量产生不同程度的影响。将两点交叉的遗传算法应用到数字水印的嵌入中,以最大限度地减少因数字水印的嵌入而对原始图像造成的破坏。仿真试验表明,该算法能在被嵌入图像中确定出数字水印的嵌入方案,从而实现水印的优化嵌入。 相似文献
3.
4.
自助服务系统的排队模型 总被引:3,自引:1,他引:2
本文为自助服务系统建立了排队模型,并简述了解析过程及其应用。 相似文献
5.
对于FOXPRO语言设计的汇总程序,本文提出一个用于描述其正确性的形式化方法,作为示例,文中最后对汇总程序的核心部分给出了部分正确性验证过程。 相似文献
6.
本文提出多道相关任务系统并行调度方法,文中引入了一种描述任务资源分配的数据基TCB(任务控制块),并提出一个用于任务定序的“订票”算法,简称BT算法,改善了系统的处理能力。 相似文献
7.
本文提出了一种类遗传算法QGO(Quasi Genetic Operator),用于解决传统遗传算法CGA(Canonical Genetic Algorithm)搜索效率较低的问题。文中最后论述了用该算法解决异构机群系统中的任务分布问题的可能性。 相似文献
8.
本文建立了一个改进的位级数计算模型,使多机相关任务调度中有大量直接后继任务者能尽快投入运行.这样,可使较多的任务提前就绪,以减少处理机的等待.文中最后给出一个示例,并作了简要分析 相似文献
1