邢小英
- 作品数：13 被引量：15H指数：2
- 供职机构：宁波城市职业技术学院更多>>
- 相关领域：自动化与计算机技术文化科学政治法律一般工业技术更多>>
- 两次数据精化的形式化软件开发方法被引量：4
- 2006年
- 提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码。以常见动态Web网页脚本语言PHP为例,阐述了该方法。并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则。
- 邢小英王维维
- 关键词：Z语言精化演算PHP
- 数据仓库技术研究与分析被引量：2
- 2004年
- 随着人们对信息的高要求和计算机相关技术的日益成熟,促进了数据仓库的迅猛发展。在数据仓库以及相关技术方面,人们进行了大量的研究和探索,产生了许多方法和技术。本文主要从数据仓库的概念特点、作用、数据组织、分析技术以及如何构造数据仓库系统进行分析探讨,并提出了一些需要进一步解决的问题。
- 霍妍邢小英
- 关键词：数据仓库联机分析处理数据挖掘数据仓库系统数据组织
- “C语言程序设计”项目课程的教学设计被引量：4
- 2009年
- 项目课程是一种以工作任务为中心,选择、组织并学习工作知识的课程模式,它是当前我国职教课程改革的主要方向。本文就在C语言程序设计课程中如何具体设置项目进行了讨论。
- 邢小英
- 关键词：项目课程C语言教学设计
- 高职轨道交通专业订单人才培养模式可持续发展研究
- 2014年
- 轨道交通专业订单人才培养模式是高职教育为适应本地城市轨道交通建设人才需求而产生的一种重要人才培养模式，轨道交通专业订单人才模式在发展中遇到的困难，通过研究与实践，提供了高职轨道交通专业订单人才培养模式可持续发展的具体措施和思路。
- 张慧邢小英
- 关键词：高职轨道交通订单培养可持续发展
- 基于XML的WEB数据挖掘技术的研究被引量：2
- 2003年
- 面向WEB的数据挖掘是当今数据挖掘技术的热点。介绍基于WEB挖掘的难点 。
- 邢小英霍妍
- 关键词：XMLWEB数据挖掘网络技术标记语言
- Verilog HDL的ITL形式语义及其应用
- 2013年
- 硬件描述语言为硬件设计师提供一个非常好的分析和设计数字硬件的工具,也为沟通软件和硬件提供了一种方法。然而它缺乏对于电路逻辑关系描述和分析的形式化方法,尤其是基于时序的逻辑描述。这对于化简和检验正确性都带来麻烦。ITL语言描述则提供另一套基于时序的形式化解决方法。用ITL能够方便准确地描述基于时序的数字电路,却缺乏可执行能力,运算公式不能直接进行计算机仿真和验证。Tempura则是ITL强有力的可编程可执行的工具集,大大增强ITL的实用性。通过对RS触发器的描述与验证说明这三者之间的联系,展现ITL等形式方法的发展前景。
- 邢小英
- 关键词：硬件描述语言VERILOGHDL
- 基于软件Agent技术的软件质量保证研究被引量：2
- 2010年
- 软件Agent是一种新型的计算模式,已成为软件工程领域研究的重要内容。本文系统分析了软件Agent的基本特征,探讨了软件Agent在软件质量保证中的作用,展示了Agent技术在新领域的应用前景。
- 邢小英
- 关键词：软件AGENT
- 基于CDIO工程图学教学体系的改革与探索
- 2016年
- 为了完成“卓越人才培养计划”，培养出创新能力强、适应行业需求的高质量工程技术人才．本文从师资队伍建设、教学工厂型实训基地创建、分级项目教学环节设立、CDIO动态网络教学平台搭建、CDIO考核和评价体系建设以及校企合作人才培养机制建立等方面深层次地探讨了具有CDIO特色的工程图学教学体系的构建方法，从而使工程图学教学能够充分体现其实用性，并为现有工程图学教学改革方向提供了一些思路．
- 邢小英张慧
- 关键词：CDIO工程图学教学体系教学改革
- 高职学生C语言理论教学中的几点体会
- 2010年
- 随着大学扩招生,高职学生的素质发生了比较大的变化,因此教师给学生上课的方式也发生了比较大的变化。结合在对高职学生上C语言程序设计理论课时讲课的经验,就如何提高课堂效率方面谈了点自己的体会。
- 邢小英
- 关键词：高职学生C语言理论教学
- 基于SOA的汽车软件本体研究被引量：1
- 2012年
- 随着汽车软件的迅速发展,车内软件由分散、孤立的嵌入式软件逐步趋向具有相当规模、子系统之间需要频繁交互的集成软件。分析了汽车软件在设计和开发中面临的挑战,探讨了将本体技术和SOA架构应用于汽车软件建模的可能性,并在已有本体BPO的基础上构建了一个适用于汽车软件过程建模与实现的本体框架。最后通过案例说明了该本体的应用。
- 邢小英
- 关键词：本体
