王娜
- 作品数：22 被引量：36H指数：2
- 供职机构：上海第二工业大学更多>>
- 发文基金：国家自然科学基金上海市教育委员会重点学科基金更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 一种用于无线传感器网络节点检测的形式化方法
- 本发明公开了一种用于无线传感器网络节点检测的形式化方法，在进行节点检测时，首先借助Petri网的建模能力，构建一种基于无线传感器网络的故障检测形式化模型，其次确定形式化模型中的各要素，再构造形式化模型中的规则和结构，通过...
- 王娜
- 文献传递
- Giotto在车窗智能控制中的应用
- Giotto语言是一种适用于硬实时控制应用的高级编程语言。介绍了Giotto语言的编程方法,并设计了基于Giotto语言的车窗智能控制模块中的时序程序,说明了Giotto语言如何在实际设计中应用。Giotto设计过程中将...
- 王娜贺海晖
- Giotto在车窗智能控制中的应用
- Giotto语言是一种适用于硬实时控制应用的高级编程语言。介绍了Giotto语言的编程方法,并设计了基于Giotto语言的车窗智能控制模块中的时序程序,说明了Giotto语言如何在实际设计中应用。Giotto设计过程中将...
- 王娜贺海晖
- 文献传递
- 基于FCS和Internet技术的混砂车网络控制系统
- 本实用新型公开了基于FCS和Internet技术的混砂车网络控制系统，该系统包括现场控制部分和过程监控及管理部分，所述现场控制部分包括复数个智能节点、通信控制器以及现场总线，所述复数个智能节点分别通过现场总线连接通信控制...
- 王娜
- 文献传递
- 使用Object-Z获取形式需求被引量：1
- 2008年
- 针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题,使用统一过程建立用UML描述的需求模型并对其进行形式化,获得用Object-Z描述形式需求说明的方法和步骤,并结合实例进行论述.提出利用形式方法验证和确认非形式需求规格说明的过程.该研究为验证和确认非形式规格说明提供1种有效方法.
- 朱彬王帅王娜
- 关键词：UMLOBJECT-Z
- 使用LR分析表的词法分析器与分析表最小化被引量：2
- 2007年
- 以一个模型语言为例,系统地介绍了使用LR分析表的词法分析器工作原理,以及词法分析器所使用的LR分析表最小化方法。使用LR分析表的词法分析器,统一了词法分析器和语法分析器的构造方法,简化了编译程序的设计和构造。分析表的最小化是通过编码压缩来实现的,分析表的最小化减少了编译程序运行所需的内存空间。
- 温敬和庞艳霞王娜
- 关键词：词法分析上下文无关文法
- UML用况图元模型的问题分析
- 用况模型一直都是主流建模语言不可或缺的一部分。但是当前的用况模型在语义、语法和表示法上都有一些问题。许多学者都在讨论或者试图解决这些问题,但是他们多半是针对模型的某个方面,而不是针对整个模型（将整个模型的所有问题作为一个...
- 朱彬王娜
- 关键词：用况UML元模型
- 文献传递
- 基于过程模拟树的Web软件一致性检测方法被引量：1
- 2017年
- 随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模拟过程中动态检测可执行模型在外部事件(文法描述的)触发下的执行是否存在不一致现象,整个过程以模拟树的方式呈现。该方法能在项目初期检测出模型的设计与需求的不一致,在一定程度上保证模型的一致性。
- 李丽萍王娜唐姗
- 关键词：WEB软件上下文无关文法
- Z规格说明的测试用例自动生成被引量：1
- 2006年
- 软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.
- 朱彬缪淮扣王娜
- 关键词：测试用例线性规划形式规格说明Z
- E-Learning中模糊用户模型的应用
- 2007年
- 提出了将模糊用户模型(FUM)应用到E-Learning中的方法,通过它对用户的知识水平做出推理判断,从而给出适合水平的学习资源,在一定程度上增强了E-Learning系统的智能程度.并结合计算机教育的E-Learning系统加以说明.
- 朱彬王娜王安保
- 关键词：个性化学习E-LEARNING
