排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
智能仿真教学系统模型的研究与实现 总被引:1,自引:1,他引:0
从计算机辅助教学的发展现状及存在的主要问题出发,提出了具有动态跟踪和智能引导功能的智能仿真教学软件模型。论文重点论述了实现该模型的几项重要技术。指出网络远程教育是信息社会发展的必然趋势。 相似文献
2.
一种证明程序正确性的方法 总被引:1,自引:0,他引:1
介绍一种证明程序正确性的方法,并和Floyed_Hoare公理学方法作了一些比较.为了形象的描述该方法,建立了一个抽象模型及一个程序实例,然后相对于这一模型并结合程序,给出了程序正确性的定义及其证明方法. 相似文献
3.
舰艇武器装备是海上移动执法平台,是海上执法部队完成使命任务的基本保证。执法舰艇总体规模需求分析非常复杂。提出多艇随机巡逻、多艇之间配合以及舰艇和舰载直升机配合3种执法舰艇数量需求数学模型,并针对北部湾海域管护任务进行计算。 相似文献
5.
郭勇 《装备指挥技术学院学报》2000,11(2)
微配料控制系统实现了微量元素配制的自动化,既保证了较高的配合精度,又提高了生产效率。系统利用一阶差分滤波剔除采样的奇异值,并借助滤波过程中统计的实时信息,自动寻找最优的控制参数。系统具有一定的推广价值。 相似文献
6.
7.
本文介绍了科技档案信息管理网络系统中安全通道的设计思想,并具体说明了实现流程和相关技术。 相似文献
8.
向量场可视化是可视化研究的一个焦点.流线能够很好地表现向量场的局部信息,并被用于二维向量场的全局显示.从信号分析的角度讨论了基于流线的全局向量场可视化方法的频域特点,指出其结果图像视觉效果的优缺点.在此基础上提出和分析了一种新的方法:纹理流线方法.新方法的频域意义更为明确,计算简单且开销小. 相似文献
9.
研究了运载火箭控制技术的仿真训练方法,并运用面向对象方法和多媒体技术,提出了基于网络模型的训练系统设计方案。首先从控制系统原理的角度对运载火箭发射全过程进行理论分析,然后从发射试验的角度对运载火箭的发射实际过程进行了仿真。 相似文献
10.
介绍了在网络环境下安全传输全文信息的设计和实现思想,特别通过以Delphi为开发环境的“瘦客户/胖服务器”系统为例,介绍其使用方法。 相似文献