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

Copyright©北京勤云科技发展有限公司  京ICP备09084417号