首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
  国内免费   2篇
化学工业   1篇
水利工程   1篇
自动化技术   2篇
  2019年   1篇
  2018年   1篇
  2004年   1篇
  2003年   1篇
排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
张文博  龙环 《软件学报》2018,29(6):1566-1581
Petri网是形式化验证领域最重要的模型之一,具有重要的理论和应用价值.从验证算法分析的角度Petri网可以被等价地抽象为"向量加法系统".在对向量加法模型的研究中人们又发展了一些重要的扩展模型.本文对近些年来国内外学者在向量加法系统验证领域取得的成果进行了系统总结.首先,给出了向量加法系统及几个关键验证问题的形式化定义,并重点总结了一般向量加法系统模型上可达性问题的最新研究进展和关键技术;接着,总结了当限定模型的维度为固定值时相关研究进展,重点给出了2维情况的核心定理;随后,介绍了几个重要扩展模型,并总结了这些模型上验证问题研究的最新进展.在每一部分都对未来研究方向及可能面临的挑战进行了展望.  相似文献   
2.
文章对湖南省水利厅政务信息系统的主要结构、功能、作用进行了概述,总结了系统建设的经验,提出了一些问题,并明确了政务信息系统下一步的工作方向。  相似文献   
3.
将化合物中非氢原子进行分类,进而建立非氢原子之间的关系作为化合物结构描述符。对部分含苯环化合物的结构进行了参数化表征,采用多元线性回归(MLR)以及逐步回归(SMR)方法成功构建了该类化合物毒性预测的QSAR模型。模型的相关系数(R)分别为0.914,标准误差(SD)为0.304。模型拟合效果好,预测能力强,对于有机化合物的结构-性质关系研究具有一定的参考价值。  相似文献   
4.
龙环  符红光 《计算机应用》2004,24(9):104-105,113
在现代教学中,计算机辅助视频教学已日益普及。但现有的视频教学仍局限在二维、时序的基础上。提出基于三维、逻辑的应用技术并给出其在JAVA3D平台上的实现。这些技术将大大有助于计算机辅助立体几何教学。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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