作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

构件组合的抽象精化验证  CNKI文献

针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构...

曾红卫 缪淮扣 《软件学报》 2008年05期 期刊

关键词: 构件组合 / 模型检验 / 状态爆炸 / 等价关系

下载(391)| 被引(28)

Web应用的验证与测试方法研究  CNKI文献

Internet的普及以及分布式计算、基于构件的开发和Web Services等技术的迅速发展和应用使Web应用渗透到国计民生的各个领域。Web应用的质量将直接影响人们的生活和工作。 验证与测试是保证软件质量的最基本和最重...

曾红卫 导师:缪淮扣 上海大学 2008-02-01 博士论文

关键词: Web应用 / 形式验证 / 基于模型检验的测试 / 构件组合

下载(632)| 被引(11)

大豆油精炼新型逆流脱色工艺  CNKI文献

油脂脱色是油脂精炼过程中的重要步骤。对大豆油精炼生产中采用的新型连续式逆流脱色工艺进行了介绍,该工艺配有2个脱色罐和2种过滤机(脉冲过滤机和叶片过滤机),使用过一次的脱色剂在脉冲过滤机中过滤后,以滤浆的形式...

曾红卫 季茂忠... 《中国油脂》 2020年07期 期刊

关键词: 大豆油精炼 / 脉冲过滤机 / 叶片过滤机 / 脱色剂

下载(83)| 被引(0)

正己烷的职业危害及预防  CNKI文献

正己烷是现代工业生产过程中常用的一类有机溶剂,其具有高挥发性、高脂溶性。主要以呼吸道、皮肤等为媒介进入机体,对中枢神经系统产生毒性作用,还能刺激皮肤黏膜。近几年,与正己烷相关的职业性慢性中毒报道逐渐增多,...

曾红卫 季茂忠 《化工设计通讯》 2019年08期 期刊

关键词: 正己烷 / 职业危害 / 毒性机制 / 预防措施

下载(123)| 被引(4)

优化基于模型检验的测试生成  CNKI文献

利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.由于一个测试用例可能覆盖多个测试目标,测试生成过程中可能存在不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试性能.为此,提出...

曾红卫 缪淮扣 《计算机辅助设计与图形学学报》 2011年03期 期刊

关键词: 模型检验 / 测试用例生成 / 时态逻辑公式重写 / 测试包缩减

下载(2603)| 被引(3)

硫酸镁联合复方丹参注射液治疗早发型子痫前期临床疗效分析  CNKI文献

目的:观察硫酸镁联合复方丹参注射液治疗早发型子痫前期的临床效果。方法:选择确诊的110例早发型子痫前期患者,随机分成两组,对照组接受硫酸镁治疗,治疗组在对照组治疗的基础上再采用复方丹参注射液治疗。结果:两组患...

曾红卫 贺彤... 《中医药导报》 2013年08期 期刊

关键词: 硫酸镁 / 复方丹参注射液 / 早发型子痫前期

下载(107)| 被引(19)

企业执行力状况评价研究  CNKI文献

在这个竞争日趋白热化的时代,如何让企业具有更强的实力,保持企业自身的竞争优势成为了许多企业管理层关心的的议题,而“人”作为企业运营的最核心资源,是企业的主角,得到广泛的重视。但其中的执行、效率等一系列问题...

曾红卫 导师:刘宁 河北科技大学 2011-05-15 硕士论文

关键词: 执行力 / 效率 / 评价模型 / 人本管理

下载(517)| 被引(4)

软件工程实践教学方法探索  CNKI文献

本文结合教学体会,分析了软件工程实验教学中存在的问题。紧扣教学计划,以学生的知识和能力为基础,建议将软件工程实践分为专项任务实验和项目开发实践两个阶段。专项任务实验针对软件开发方法的主要知识点,以巩固软件...

曾红卫 刘悦... 《计算机工程与科学》 2011年S1期 期刊

关键词: 软件工程 / 专项任务 / 项目开发实践 / 实践教学

下载(185)| 被引(11)

基于UML协作图的测试用例生成方法与实现  CNKI文献

根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测...

曾红卫 周建云 《计算机工程与设计》 2007年16期 期刊

关键词: UML协作图 / 测试场景 / 测试用例生成 / 覆盖准则

下载(229)| 被引(10)

模型检验在构件数据流测试中的应用  CNKI文献

模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信...

曾红卫 缪淮扣 《计算机科学与探索》 2010年12期 期刊

关键词: 构件 / 数据流测试 / 模型检验 / 陷阱性质

下载(98)| 被引(6)

用Z形式化描述的软件设计模式  CNKI文献

设计模式和形式化是软件工程领域研究的两个重要方面。该文的目的是对设计模式的形式化进行探讨,其中心是设计模式“结构”的形式化。文章以抽象类、抽象函数为基本对象,分析了设计模式中类和函数间存在的各种基本关系...

曾红卫 滕中梅 《计算机工程》 2006年13期 期刊

关键词: 设计模式 / 形式化 / 层次 / 修饰

下载(216)| 被引(9)

食品加工火灾危险源分析及有效的预防措施  CNKI文献

食品是由食材经过烹调等手段加工而成,而大多数的加工过程都离不开加热,并且很多食品的加热要使用明火,如煎炸、烘烤、烹炒、熬炖等,这些加工手法都有火灾发生的隐患,是危害人们生命财产安全的主要因素,食品加工产业还...

曾红卫 《现代食品》 2018年13期 期刊

关键词: 食品加工 / 火灾隐患 / 危险源

下载(50)| 被引(0)

构件式系统的建模与验证  CNKI文献

构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型-构件消息自动机,其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单...

曾红卫 缪淮扣 《计算机科学与探索》 2008年02期 期刊

关键词: 构件消息自动机 / 可控性 / 验证 / 构件组合

下载(146)| 被引(4)

食品生产设备安全管理中特种设备安全监察模式的应用  CNKI文献

特种设备在社会各行业中发挥着重要作用。文章首先阐述了设备安全管理的重要性,然后对特种设备在食品安全管理和监察中存在的问题进行分析,对设备安全管理的措施和要点进行讨论,旨在提高设备安全管理水平,促进企业经济...

曾红卫 《产业创新研究》 2018年08期 期刊

关键词: 生产设备 / 特种设备 / 监察模式

下载(41)| 被引(1)

子痫前期患者尿液中足细胞裂孔膜蛋白和标记蛋白的检测及意...  CNKI文献

目的:检测子痫前期患者尿液中足细胞裂孔膜蛋白和足细胞标记蛋白的浓度并探讨其临床意义。方法:本实验以62例妊娠期妇女为研究对象,分为三组,其中正常妊娠期妇女25例为正常对照组,慢性高血压的妊娠期妇女17例为高血压...

曾红卫 李小叶... 《现代生物医学进展》 2013年28期 期刊

关键词: 子痫前期 / 妊娠高血压 / 足细胞裂孔膜蛋白 / 足细胞标记蛋白

下载(78)| 被引(1)

GBPEL:一种合成网格服务和Web服务的工作流语言  CNKI文献

网格工作流是实现网格计算的一种重要的中间件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。

曾红卫 李奇... 《计算机应用与软件》 2005年10期 期刊

关键词: BPEL4WS / GBPEL / 网格工作流

下载(198)| 被引(4)

用模型检验产生安全性质的测试  CNKI文献

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现...

曾红卫 缪淮扣 《应用科学学报》 2011年05期 期刊

关键词: 安全性质 / 模型检验 / 测试生成 / 危险迹

下载(49)| 被引(2)

一种验证Web应用设计的方法  CNKI文献

提出一种表示Web应用的请求/响应导航关系的形式化行为模型,给出一种基于模型检查的Web应用设计的验证方法并描述了用时态逻辑CTL表示Web应用性质的方法.设计了一个检验方法可行性的原型框架,该原型嵌入自动化模型检查...

曾红卫 缪淮扣 《上海大学学报(自然科学版)》 2007年05期 期刊

关键词: Web应用 / 验证 / 模型检查 / 时态逻辑

下载(95)| 被引(3)

统计数据库管理系统的设计与实现  CNKI文献

统计与科学数据库与常规商用数据库有很大差异,利用常规的商用数据库管理系统建立统计与科学数据库是不合适的.本文以我们开发的统计数据库管理系统(SSDBMS)为基础,讨论SSDBMS的数据模型数据压缩、安...

曾红卫 陈永年 《软件学报》 1995年02期 期刊

关键词: 统计数据库(SDB) / 分类属性 / 汇总属性 / 汇总表

下载(164)| 被引(4)

合成革新,助力高效减排新趋势  CNKI文献

埃克森美孚是一家业务覆盖上下游产业链的能源公司。而讲到能源就必须分析未来经济发展和人口结构变化的趋势,经济增长是能源需求增长最重要的因素。巨大的发展契机最新的全球能源展望报告显示,到2040年,非经合组织国...

曾红卫 《中国物流与采购》 2019年24期 期刊

关键词: 碳排放量 / 新趋势 / 消费者偏好 / 中产阶级

下载(6)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状