期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于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
上一页 1 下一页 到第
使用帮助 返回顶部