首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  国内免费   1篇
  完全免费   1篇
  自动化技术   2篇
  2018年   1篇
  2004年   1篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
龙环  符红光 《计算机应用》2004,24(9):104-105,113
在现代教学中,计算机辅助视频教学已日益普及。但现有的视频教学仍局限在二维、时序的基础上。提出基于三维、逻辑的应用技术并给出其在JAVA3D平台上的实现。这些技术将大大有助于计算机辅助立体几何教学。  相似文献
2.
Petri网是形式化验证领域最重要的模型之一,具有重要的理论和应用价值.从验证算法分析的角度Petri网可以被等价地抽象为"向量加法系统".在对向量加法模型的研究中人们又发展了一些重要的扩展模型.本文对近些年来国内外学者在向量加法系统验证领域取得的成果进行了系统总结.首先,给出了向量加法系统及几个关键验证问题的形式化定义,并重点总结了一般向量加法系统模型上可达性问题的最新研究进展和关键技术;接着,总结了当限定模型的维度为固定值时相关研究进展,重点给出了2维情况的核心定理;随后,介绍了几个重要扩展模型,并总结了这些模型上验证问题研究的最新进展.在每一部分都对未来研究方向及可能面临的挑战进行了展望.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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