期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于SPIN求解狼和白菜过河问题
1
作者
姚雪梅
艾颖
《铜仁职业技术学院学报》
2014年第2期35-37,共3页
模型验证是数理逻辑在现实中的一个重要应用。文章基于Promela语言,用spin工具检验数理逻辑的一个经典案例——狼和白菜过河问题。
关键词
CYGWIN
PROMELA
ispin
SPIN
原文传递
修正表面δ相互作用(MSDI)与^(15)N——^(15)O核能
2
作者
完绍龙
方建勋
崔可范
《安徽师大学报》
1992年第4期26-32,共7页
在考虑到核子的电荷交换势与非交换势的混合,选择MSDI作为有效相互作用,计算了^(15)N—^(15)O的能谱,计算结果同实验值基本符合。
关键词
MSDI
核能
氮15
氧15
电荷交换
下载PDF
职称材料
Supply补给站
3
作者
飞来的猪
嘉伟
周迪
《新潮电子》
2005年第3期186-189,共4页
iSpin 1.0b;Colortris 1.5;BatteryLine V1．0;Palmary Clock 3.0.1；Chat Anywhere。
关键词
软件介绍
ispin
1.0b
Colortris1.5
BatteryLineV1
下载PDF
职称材料
题名
基于SPIN求解狼和白菜过河问题
1
作者
姚雪梅
艾颖
机构
贵州大学计算机科学与信息学院
铜仁职业技术学院信息工程学院
铜仁职业技术学院医学院
出处
《铜仁职业技术学院学报》
2014年第2期35-37,共3页
文摘
模型验证是数理逻辑在现实中的一个重要应用。文章基于Promela语言,用spin工具检验数理逻辑的一个经典案例——狼和白菜过河问题。
关键词
CYGWIN
PROMELA
ispin
SPIN
Keywords
Cygwin
Promela
ispin
spin
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
TP306 [自动化与计算机技术—计算机科学与技术]
原文传递
题名
修正表面δ相互作用(MSDI)与^(15)N——^(15)O核能
2
作者
完绍龙
方建勋
崔可范
机构
中国科技大学
安徽师大物理系
出处
《安徽师大学报》
1992年第4期26-32,共7页
文摘
在考虑到核子的电荷交换势与非交换势的混合,选择MSDI作为有效相互作用,计算了^(15)N—^(15)O的能谱,计算结果同实验值基本符合。
关键词
MSDI
核能
氮15
氧15
电荷交换
Keywords
Rey Words The Modified Surface Delta Interaction
Nuclear spectra
ispin
分类号
O571.23 [理学—粒子物理与原子核物理]
下载PDF
职称材料
题名
Supply补给站
3
作者
飞来的猪
嘉伟
周迪
机构
不详
西安DVD影迷交流网
出处
《新潮电子》
2005年第3期186-189,共4页
文摘
iSpin 1.0b;Colortris 1.5;BatteryLine V1．0;Palmary Clock 3.0.1；Chat Anywhere。
关键词
软件介绍
ispin
1.0b
Colortris1.5
BatteryLineV1
分类号
TP317 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于SPIN求解狼和白菜过河问题
姚雪梅
艾颖
《铜仁职业技术学院学报》
2014
0
原文传递
2
修正表面δ相互作用(MSDI)与^(15)N——^(15)O核能
完绍龙
方建勋
崔可范
《安徽师大学报》
1992
0
下载PDF
职称材料
3
Supply补给站
飞来的猪
嘉伟
周迪
《新潮电子》
2005
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
