期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于RUP和VDM++的软件形式化开发方法的研究
被引量:
1
1
作者
王新苏
罗文坚
+1 位作者
毛晨晓
王煦法
《计算机工程与应用》
CSCD
北大核心
2005年第26期100-103,122,共5页
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通...
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
展开更多
关键词
形式化方法
统一软件过程
VDM++
下载PDF
职称材料
从形式化规范自动生成系统级状态机
被引量:
1
2
作者
王新苏
王煦法
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第11期1177-1183,共7页
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应...
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
展开更多
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
下载PDF
职称材料
护理干预对乳腺增生症复检患者心理状态的影响
被引量:
15
3
作者
王新苏
《中国实用医药》
2011年第20期180-180,共1页
目的探讨护理干预对乳腺增生症复检患者负性情绪、不确定感及应对方式的影响。方法将92例乳腺增生复检住院患者随机分为干预组和对照组,对照组接受常规护理,干预组在此基础上进行综合护理干预,时间均为3个月。分别在入院后第3天(干预前...
目的探讨护理干预对乳腺增生症复检患者负性情绪、不确定感及应对方式的影响。方法将92例乳腺增生复检住院患者随机分为干预组和对照组,对照组接受常规护理,干预组在此基础上进行综合护理干预,时间均为3个月。分别在入院后第3天(干预前)和半年后(干预后)进行心理问卷的评定。评价护理干预对乳腺增生症复检患者心理状态的影响。结果护理干预后,干预组焦虑、抑郁、不确定感、面对、回避和屈服的评分与对照组比较差异均有统计学意义(P<0.05)。结论护理干预能够使乳腺增生症复检患者负性情绪和不确定感降低,从而促进疾病的康复。
展开更多
关键词
乳腺增生症
护理干预
焦虑
抑郁
应对方式
下载PDF
职称材料
体外电容场热疗机治疗慢性盆腔炎的心理分析及护理
被引量:
1
4
作者
王新苏
《中国实用医药》
2011年第14期185-185,共1页
目的探讨体外电容场热疗机治疗慢性盆腔炎时出现的心理问题及有效的护理措施。方法通过对69例慢性盆腔炎患者应用体外电容场热疗机照射下腹部治疗时的观察及心理分析,在对患者治疗过程中找出相应的心理护理方法。结果就四种心理问题进...
目的探讨体外电容场热疗机治疗慢性盆腔炎时出现的心理问题及有效的护理措施。方法通过对69例慢性盆腔炎患者应用体外电容场热疗机照射下腹部治疗时的观察及心理分析,在对患者治疗过程中找出相应的心理护理方法。结果就四种心理问题进行了针对性心理疏导及护理,使患者满怀信心的完成治疗过程,提高患者治疗的信心及治疗效果。结论对盆腔炎患者进行体外电容热疗机治疗的同时应加强心理护理及心理疏导,使患者处于最佳的心理状态。
展开更多
关键词
体外电容热疗
盆腔炎症疾病
心理问题
心理护理
下载PDF
职称材料
题名
基于RUP和VDM++的软件形式化开发方法的研究
被引量:
1
1
作者
王新苏
罗文坚
毛晨晓
王煦法
机构
中国科学技术大学计算机科学与技术系
出处
《计算机工程与应用》
CSCD
北大核心
2005年第26期100-103,122,共5页
基金
国家自然科学基金(编号:60404004)
中国科学技术大学与日本富士施乐公司合作项目(编号:FXVFP2003)
文摘
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
关键词
形式化方法
统一软件过程
VDM++
Keywords
formal method, Rational Unified Process (RUP), VDM++
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
从形式化规范自动生成系统级状态机
被引量:
1
2
作者
王新苏
王煦法
机构
中国科学技术大学计算机科学与技术系
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第11期1177-1183,共7页
基金
中国科学技术大学与日本富士施乐公司合作项目(FXVFP2003)资助
文摘
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
Keywords
formal method
formal language
object-oriented
formal specification
system-level state transition diagram
automatic testing
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
护理干预对乳腺增生症复检患者心理状态的影响
被引量:
15
3
作者
王新苏
机构
江苏省新沂市中医院
出处
《中国实用医药》
2011年第20期180-180,共1页
文摘
目的探讨护理干预对乳腺增生症复检患者负性情绪、不确定感及应对方式的影响。方法将92例乳腺增生复检住院患者随机分为干预组和对照组,对照组接受常规护理,干预组在此基础上进行综合护理干预,时间均为3个月。分别在入院后第3天(干预前)和半年后(干预后)进行心理问卷的评定。评价护理干预对乳腺增生症复检患者心理状态的影响。结果护理干预后,干预组焦虑、抑郁、不确定感、面对、回避和屈服的评分与对照组比较差异均有统计学意义(P<0.05)。结论护理干预能够使乳腺增生症复检患者负性情绪和不确定感降低,从而促进疾病的康复。
关键词
乳腺增生症
护理干预
焦虑
抑郁
应对方式
分类号
R473.71 [医药卫生—护理学]
下载PDF
职称材料
题名
体外电容场热疗机治疗慢性盆腔炎的心理分析及护理
被引量:
1
4
作者
王新苏
机构
新沂市中医院
出处
《中国实用医药》
2011年第14期185-185,共1页
文摘
目的探讨体外电容场热疗机治疗慢性盆腔炎时出现的心理问题及有效的护理措施。方法通过对69例慢性盆腔炎患者应用体外电容场热疗机照射下腹部治疗时的观察及心理分析,在对患者治疗过程中找出相应的心理护理方法。结果就四种心理问题进行了针对性心理疏导及护理,使患者满怀信心的完成治疗过程,提高患者治疗的信心及治疗效果。结论对盆腔炎患者进行体外电容热疗机治疗的同时应加强心理护理及心理疏导,使患者处于最佳的心理状态。
关键词
体外电容热疗
盆腔炎症疾病
心理问题
心理护理
分类号
R473.73 [医药卫生—护理学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于RUP和VDM++的软件形式化开发方法的研究
王新苏
罗文坚
毛晨晓
王煦法
《计算机工程与应用》
CSCD
北大核心
2005
1
下载PDF
职称材料
2
从形式化规范自动生成系统级状态机
王新苏
王煦法
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006
1
下载PDF
职称材料
3
护理干预对乳腺增生症复检患者心理状态的影响
王新苏
《中国实用医药》
2011
15
下载PDF
职称材料
4
体外电容场热疗机治疗慢性盆腔炎的心理分析及护理
王新苏
《中国实用医药》
2011
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部