两次数据精化的形式化软件开发方法 被引量：3

1

作者 邢小英 王维维 《计算机工程》 CAS CSCD 北大核心 2006年第1期102-104,共3页

提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码... 提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码。以常见动态Web网页脚本语言PHP为例,阐述了该方法。并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则。 展开更多

关键词 过程 Z语言 规范 精化演算 PHP

下载PDF 职称材料

高科技组织培养技术及草莓组织培养研究

2

作者 邢小英 《果农之友》 2024年第5期57-60,共4页

草莓为多年生草本植物,利用细胞工程技术使用草莓茎尖、花药、叶片等进行组织培养,能实现草莓的快速繁殖。所培育出来的幼苗,产量也比一般繁殖方法多一成以上。笔者在概述植物组织培养的基础上,梳理了草莓组织培养的常用途径和常见问题... 草莓为多年生草本植物,利用细胞工程技术使用草莓茎尖、花药、叶片等进行组织培养,能实现草莓的快速繁殖。所培育出来的幼苗,产量也比一般繁殖方法多一成以上。笔者在概述植物组织培养的基础上,梳理了草莓组织培养的常用途径和常见问题及对策。1植物组织培养概述1.1植物组织培养的概念植物组织培养是利用植物细胞全能性原理,在无菌条件下,将离体茎或叶的表皮、叶脉、幼嫩茎或芽组织(如芽、胚轴等)用无菌水清洗,然后接种到培养基上,利用细胞分裂增殖、组织分化和器官形成等机制来生产植株的过程。植物组织培养是2世纪60年代中期在生物技术领域中发展起来的一项新兴技术,是生物技术与现代生物学结合的产物。 展开更多

关键词 细胞工程技术 繁殖方法 植物组织培养 器官形成 组织分化 植物细胞全能性 生物技术领域 现代生物学

下载PDF 职称材料

基于软件Agent技术的软件质量保证研究 被引量：2

3

作者 邢小英 《宁波工程学院学报》 2010年第2期59-62,共4页

软件Agent是一种新型的计算模式,已成为软件工程领域研究的重要内容。本文系统分析了软件Agent的基本特征,探讨了软件Agent在软件质量保证中的作用,展示了Agent技术在新领域的应用前景。

关键词 软件AGENT 软件质量保证 过程活动

下载PDF 职称材料

基于XML的WEB数据挖掘技术的研究 被引量：1

4

作者 邢小英 霍妍 《交通部上海船舶运输科学研究所学报》 2003年第1期51-54,共4页

面向WEB的数据挖掘是当今数据挖掘技术的热点。介绍基于WEB挖掘的难点 。

关键词 XML WEB 数据挖掘 数据库 网络技术 标记语言

下载PDF 职称材料

数据仓库技术研究与分析 被引量：1

5

作者 霍妍 邢小英 《宁波广播电视大学学报》 2004年第3期81-83,共3页

随着人们对信息的高要求和计算机相关技术的日益成熟,促进了数据仓库的迅猛发展。在数据仓库以及相关技术方面,人们进行了大量的研究和探索,产生了许多方法和技术。本文主要从数据仓库的概念特点、作用、数据组织、分析技术以及如何构... 随着人们对信息的高要求和计算机相关技术的日益成熟,促进了数据仓库的迅猛发展。在数据仓库以及相关技术方面,人们进行了大量的研究和探索,产生了许多方法和技术。本文主要从数据仓库的概念特点、作用、数据组织、分析技术以及如何构造数据仓库系统进行分析探讨,并提出了一些需要进一步解决的问题。 展开更多

关键词 数据仓库 联机分析处理 数据挖掘 数据仓库系统 数据组织

下载PDF 职称材料

风险预警监控在心血管外科监护室安全管理中的应用 被引量：1

6

作者 邢小英 邵继风 +1 位作者 马雅雅 康晓萍 《心血管外科杂志（电子版）》 2019年第3期241-242,共2页

目的建立心血管外科监护室风险预警监控机制,减少护理不良事件及并发症的发生,提高护理质量,保证患者安全。方法统计2016年1月-2017年12月心血管外科监护室护理不良事件及术后常见并发症,利用头脑风暴法结合二八法则查找护理工作中的风... 目的建立心血管外科监护室风险预警监控机制,减少护理不良事件及并发症的发生,提高护理质量,保证患者安全。方法统计2016年1月-2017年12月心血管外科监护室护理不良事件及术后常见并发症,利用头脑风暴法结合二八法则查找护理工作中的风险点,分析其风险因素,制定具体防范措施及流程。成立科室安全管理小组,负责全员培训及督查工作。选取2017年1月-12月科室采用常规护理安全管理方法期间住院的患者为对照组(180例),自2018年1月-12月科室在风险预警监控措施及流程指导下进行护理安全管理的患者为观察组(180例),对比两组患者的满意度,护理不良事件及心脏术后并发症发生率。结果实施风险预警监控后,观察组比对照组护理不良事件及心脏术后并发症发生率明显下降,对比差异有显著性(P<0.05);观察组住院患者满意度高于对照组,对比差异有显著性(P<0.05)。结论风险预警监控管理应用于心血管外科监护室,能够增强护士长对护理安全管理质控的效率管理,以及提高各层级护士风险防控意识,以防发生护理不良事件、心脏术后并发症,积极提升在整体护理质量水平,效果显著,值得优选。 展开更多

关键词 风险预警监控 心血管外科监护室 安全管理

下载PDF 职称材料

鲁登巴赫综合征1例围术期护理 被引量：1

7

作者 邢小英 王琴英 《齐鲁护理杂志》 2016年第20期86-87,共2页

鲁登巴赫综合征是一种罕见的先天性心脏病,又称房间隔缺损伴二尖瓣狭窄综合征,现经发展扩大了其含义,即房间隔缺损合并二尖瓣病变,后者可能是风湿性、先天性或黏液性病变等心脏病。该病发病率占先天性心脏病的0.2%,

关键词 鲁登巴赫综合征 围术期 护理

下载PDF 职称材料

基于SOA的汽车软件本体研究 被引量：1

8

作者 邢小英 《宁波工程学院学报》 2012年第3期53-58,共6页

随着汽车软件的迅速发展,车内软件由分散、孤立的嵌入式软件逐步趋向具有相当规模、子系统之间需要频繁交互的集成软件。分析了汽车软件在设计和开发中面临的挑战,探讨了将本体技术和SOA架构应用于汽车软件建模的可能性,并在已有本体BP... 随着汽车软件的迅速发展,车内软件由分散、孤立的嵌入式软件逐步趋向具有相当规模、子系统之间需要频繁交互的集成软件。分析了汽车软件在设计和开发中面临的挑战,探讨了将本体技术和SOA架构应用于汽车软件建模的可能性,并在已有本体BPO的基础上构建了一个适用于汽车软件过程建模与实现的本体框架。最后通过案例说明了该本体的应用。 展开更多

关键词 汽车软件 本体 面向服务的架构

下载PDF 职称材料

北方盆栽花卉的养护管理措施分析 被引量：2

9

作者 邢小英 《南方农业》 2021年第8期85-86,共2页

随着居民的生活水平不断提升,越来越多的人开始通过培养盆栽花卉来增加生活情趣。特别是近年来,盆栽植物已成为园艺市场不可或缺的一部分,受到越来越多人的喜爱,南方的各种花卉也开始引入到北方进行种植,但是,北方和南方的气候存在着较... 随着居民的生活水平不断提升,越来越多的人开始通过培养盆栽花卉来增加生活情趣。特别是近年来,盆栽植物已成为园艺市场不可或缺的一部分,受到越来越多人的喜爱,南方的各种花卉也开始引入到北方进行种植,但是,北方和南方的气候存在着较大差异,许多南方盆栽花卉在北方存活率不高。因此,探讨北方盆栽花卉的养护管理方法,以期能够提高北方盆栽花卉的存活率。 展开更多

关键词 北方盆栽 花卉 养护管理

下载PDF 职称材料

高中生英语阅读理解能力提升途径探索 被引量：2

10

作者 邢小英 《英语教师》 2021年第24期55-57,共3页

根据当前高中生在英语阅读理解中存在的英语基础知识薄弱、知识面过于狭窄、阅读理解答题技巧匮乏、阅读理解专项练习较少等主要问题,结合教学实践,针对性地探索提升其阅读理解能力的途径,即强化学生英语基础知识,扩大其知识面,提升其... 根据当前高中生在英语阅读理解中存在的英语基础知识薄弱、知识面过于狭窄、阅读理解答题技巧匮乏、阅读理解专项练习较少等主要问题,结合教学实践,针对性地探索提升其阅读理解能力的途径,即强化学生英语基础知识,扩大其知识面,提升其阅读理解答题技巧,集中强化其阅读理解专项练习,积极培育其阅读兴趣等。 展开更多

关键词 高中英语 阅读理解 答题技巧 专项练习 阅读兴趣

下载PDF 职称材料

心脏直视术后患者谵妄发生状况及影响因素的研究

11

作者 王琴英 邢小英 +1 位作者 王媛 汪玲果 《国际护理医学》 2019年第2期150-154,共5页

目的:描述心脏术后患者谵妄发生状况,确定谵妄发生的影响因素。方法:采取便利抽样方法,抽取我院心脏外科ICU病房2016.01~2018.06进行住院治疗的心脏直视术后患者共754例。根据病人在ICU住院期间是否发生谵妄而分为病例组(158例)和对照组... 目的:描述心脏术后患者谵妄发生状况,确定谵妄发生的影响因素。方法:采取便利抽样方法,抽取我院心脏外科ICU病房2016.01~2018.06进行住院治疗的心脏直视术后患者共754例。根据病人在ICU住院期间是否发生谵妄而分为病例组(158例)和对照组(596例),采用研究者自行设计调查表回顾性收集患者一般资料调查表和疾病相关资料调查表,对患者围术期各种因素进行单因素和多因素Logistic回归分析。结果:心脏直视手术后患者谵妄的发生率为20.95%。单因素分析结果显示:两组病人性别、年龄、手术名称、既往史、术前心功能、输血、术中体外循环时间、机械辅助通气时间、ICU滞留时间、IABP使用、术后动脉血氧分压、ICU期间行再次气管插管、术后24小时二次手术、术后肝肾功能损害、术后合并症、术后转归等因素比较差异有统计学意义(p>0.05);Logistic回归结果显示:性别、机械辅助通气时间、术后动脉血氧分压、ICU期间再次插管、术后肝肾功能、疾病转归、术后并发症是心脏直视术后发生谵妄的危险因素。结论:性别、机械辅助通气时间、术后动脉血氧分压、ICU期间再次插管、术后肝肾功能、疾病转归、术后并发症能增加心脏术后患者发生谵妄的风险,是术后谵妄发生的主要影响因素。 展开更多

关键词 心脏直视手术 谵妄 重症监护室 发生状况

下载PDF 职称材料

高职轨道交通专业订单人才培养模式可持续发展研究

12

作者 张慧 邢小英 《宁波城市职业技术学院学报》 2014年第4期38-41,共4页

轨道交通专业订单人才培养模式是高职教育为适应本地城市轨道交通建设人才需求而产生的一种重要人才培养模式，轨道交通专业订单人才模式在发展中遇到的困难，通过研究与实践，提供了高职轨道交通专业订单人才培养模式可持续发展的具体... 轨道交通专业订单人才培养模式是高职教育为适应本地城市轨道交通建设人才需求而产生的一种重要人才培养模式，轨道交通专业订单人才模式在发展中遇到的困难，通过研究与实践，提供了高职轨道交通专业订单人才培养模式可持续发展的具体措施和思路。 展开更多

关键词 高职 轨道交通 订单培养 可持续发展

下载PDF 职称材料

Verilog HDL的ITL形式语义及其应用

13

作者 邢小英 《现代计算机》 2013年第3期48-50,共3页

硬件描述语言为硬件设计师提供一个非常好的分析和设计数字硬件的工具,也为沟通软件和硬件提供了一种方法。然而它缺乏对于电路逻辑关系描述和分析的形式化方法,尤其是基于时序的逻辑描述。这对于化简和检验正确性都带来麻烦。ITL语言... 硬件描述语言为硬件设计师提供一个非常好的分析和设计数字硬件的工具,也为沟通软件和硬件提供了一种方法。然而它缺乏对于电路逻辑关系描述和分析的形式化方法,尤其是基于时序的逻辑描述。这对于化简和检验正确性都带来麻烦。ITL语言描述则提供另一套基于时序的形式化解决方法。用ITL能够方便准确地描述基于时序的数字电路,却缺乏可执行能力,运算公式不能直接进行计算机仿真和验证。Tempura则是ITL强有力的可编程可执行的工具集,大大增强ITL的实用性。通过对RS触发器的描述与验证说明这三者之间的联系,展现ITL等形式方法的发展前景。 展开更多

关键词 硬件描述语言 VERILOG HDL ITL Tempura

下载PDF 职称材料

基于CDIO工程图学教学体系的改革与探索

14

作者 邢小英 张慧 《宁波城市职业技术学院学报》 2016年第2期78-81,共4页

为了完成“卓越人才培养计划”，培养出创新能力强、适应行业需求的高质量工程技术人才．本文从师资队伍建设、教学工厂型实训基地创建、分级项目教学环节设立、CDIO动态网络教学平台搭建、CDIO考核和评价体系建设以及校企合作人才培养... 为了完成“卓越人才培养计划”，培养出创新能力强、适应行业需求的高质量工程技术人才．本文从师资队伍建设、教学工厂型实训基地创建、分级项目教学环节设立、CDIO动态网络教学平台搭建、CDIO考核和评价体系建设以及校企合作人才培养机制建立等方面深层次地探讨了具有CDIO特色的工程图学教学体系的构建方法，从而使工程图学教学能够充分体现其实用性，并为现有工程图学教学改革方向提供了一些思路． 展开更多

关键词 CDIO 卓越计划 工程图学 教学体系 教学改革

下载PDF 职称材料

高职学生C语言理论教学中的几点体会

15

作者 邢小英 《现代计算机》 2010年第3期85-87,共3页

随着大学扩招生,高职学生的素质发生了比较大的变化,因此教师给学生上课的方式也发生了比较大的变化。结合在对高职学生上C语言程序设计理论课时讲课的经验,就如何提高课堂效率方面谈了点自己的体会。

关键词 高职学生 C语言 理论教学

下载PDF 职称材料

两种口腔护理方法在心脏手术患者气管插管拔除后应用的效果观察

16

作者 王琴英 张银萍 邢小英 《当代护士（上旬刊）》 2017年第2期68-69,共2页

目的探讨心外ICU手术患者拔除气管插管后有效口腔护理方法,以减少患者口腔异味及感染率,提高患者口腔清洁度,增强舒适性。方法将100例心外ICU术后顺利拔除气管插管患者随机分为观察组和对照组各50例。观察组采用一次性使用组合吸痰管加... 目的探讨心外ICU手术患者拔除气管插管后有效口腔护理方法,以减少患者口腔异味及感染率,提高患者口腔清洁度,增强舒适性。方法将100例心外ICU术后顺利拔除气管插管患者随机分为观察组和对照组各50例。观察组采用一次性使用组合吸痰管加生理盐水,对照组采用普通吸痰管加生理盐水冲洗的方法进行口腔护理,比较两种方法对口腔护理的效果。结果观察组口腔异味发生率、口腔清洁度等方面优于对照组,两组比较差异有统计学意义(P<0.05)。口腔护理时间、口腔粘膜损伤两组相比差异无统计学意义(P>0.05)。结论应用一次性组合吸痰管加生理盐水行口腔护理的方法,能有效节省人力,减少患者口腔异味发生率,降低口腔污垢残留,提高患者口腔清洁度。 展开更多

关键词 一次性组合吸痰管 气管插管拔除后 口腔护理

下载PDF 职称材料

宁波中心城区建筑渣土处置管理问题调查研究

17

作者 金齐天 邢小英 《宁波通讯》 2012年第11期36-37,共2页

当前，随着城市建设进程的不断加快，建筑渣土的产生量逐年增长，带来了诸多社会环境问题，引起了媒体和社会民众的广泛关注。近年来，政府加强了这方面的问题的研究解决，2009年11月市政府常务会议审议通过《宁波市中心城区建筑渣土处... 当前，随着城市建设进程的不断加快，建筑渣土的产生量逐年增长，带来了诸多社会环境问题，引起了媒体和社会民众的广泛关注。近年来，政府加强了这方面的问题的研究解决，2009年11月市政府常务会议审议通过《宁波市中心城区建筑渣土处置工作方案》（甬政发[2009]85号），2011年5月又发布了《宁波市建筑垃圾管理办法》（市政府令第186号）。这些法规的颁布标志着宁波建筑渣土处理已步入法制的轨道。然而，通过对本市一批重大基础设施建设项目的建筑渣土处置问题进行的调查研究发现，建筑渣土处置管理中存在的一些突出问题仍未得到有效遏制。 展开更多

关键词 中心城区 宁波市 建筑 管理问题 调查 基础设施建设项目 政府常务会议 社会民众

下载PDF 职称材料

赵忠贤:高温超导的中国力量

18

作者 王润秋 邢小英 《国际人才交流》 2020年第7期25-29,共5页

赵忠贤,中国高温超导研究的奠基人之一。1941年1月30日出生于辽宁省新民县。1959—1964年他在中国科学技术大学物理系学习,毕业后被分配到我国低温物理与技术的发源地——中国科学院物理研究所工作。1974年他被派往英国剑桥大学学习,从... 赵忠贤,中国高温超导研究的奠基人之一。1941年1月30日出生于辽宁省新民县。1959—1964年他在中国科学技术大学物理系学习,毕业后被分配到我国低温物理与技术的发源地——中国科学院物理研究所工作。1974年他被派往英国剑桥大学学习,从事第Ⅱ类超导体量子磁通运动研究,这一现象最早由荷兰物理学家卡末林·昂尼斯于1911年发现。 展开更多

关键词 高温超导 低温物理 中国科学技术大学 新民县 物理学家 发源地

下载PDF 职称材料

老年肺心病的家庭健康指导 被引量：6

19

作者 邢小英 《实用医技杂志》 2007年第8X期3400-3400,共1页

慢性肺心病是我国老年人的常见病,以北方多见,病程长,进行性加重,目前尚无法治愈,只能临床缓解,通过对老年肺心患者在恢复期和缓解期并根据季节性发病特征,采取适当的家庭护理和健康指导,可以预防肺心病急剧加重,达到减少肺心病患者的... 慢性肺心病是我国老年人的常见病,以北方多见,病程长,进行性加重,目前尚无法治愈,只能临床缓解,通过对老年肺心患者在恢复期和缓解期并根据季节性发病特征,采取适当的家庭护理和健康指导,可以预防肺心病急剧加重,达到减少肺心病患者的住院次数和时间,延缓肺心病的进展,提高患者的生活质量。肺心病是由肺部胸廓或肺动脉的慢性病变引起的肺循环阻力增高,导致肺动脉高压和右心室肥大。 展开更多

关键词 肺心病 老年人 健康指导

下载PDF 职称材料

“C语言程序设计”项目课程的教学设计 被引量：4

20

作者 邢小英 《福建电脑》 2009年第1期208-208,共1页

项目课程是一种以工作任务为中心,选择、组织并学习工作知识的课程模式,它是当前我国职教课程改革的主要方向。本文就在C语言程序设计课程中如何具体设置项目进行了讨论。

关键词 项目课程 C语言 教学设计

下载PDF 职称材料