自动生成器

作品数：97被引量：66H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王端旭陈兰生刘磊吕韶义刘复岩更多>>
相关机构：浙江大学北京航空航天大学吉林大学西北工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国科学院科学基金国家重点基础研究发展计划浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于切片技术的应用软件集成测试方法研究被引量：1
《计算机仿真》2022年第5期361-365,共5页张彤 
软件集成测试中忽视了可信度分析,导致测试时数据丢包率高,运算效率低。为加强软件测试方法的全局收敛能力,提出基于切片技术的应用软件集成测试方法。通过切片技术缩小测试范围,提高应用软件集成测试效率。考虑节点的同时将可信度作为...
关键词：切片技术 软件集成测试 可信度 数据自动生成器 结构驱动 丢包率 
基于FPGA的Petri网模拟器设计与实现
《实验室研究与探索》2020年第11期152-156,174,共6页周韬略 张小军 陈成官 曾庆田 张德学 
山东省自然科学基金联合基金(ZR2019LZH001);山东省重点研发计划(2019GGX101066);山东省高等学校青创科技计划(2019KJN020,2019KJN024)。
为加速Petri网的性能测试,设计一个Petri网硬件代码自动生成器,通过Petri网对应的关联矩阵自动生成Verilog文件,可编译下载到FPGA中。对Petri网的硬件模型、库所、变迁进行分析。为模拟Petri网系统中的变迁操作,采用组合逻辑和存储器实...
关键词：PETRI网 代码自动生成器 现场可编程逻辑门阵列 VERILOG语言 
用于建筑服务电器的优质塑料部件
《现代塑料》2017年第9期30-31,共2页
今天的STIEBEL ELTRON集团，由Theodor Stiebel博士创建于1924年。该公司的第一款产品是由Stiebel博士开发的线圈浸入式加热器。基于特殊的表面结构，该加热器提供了特别高的效率。1927年，第一款小型瞬时热水器被推出。目前STIEBEL ELT...
关键词：塑料部件 建筑服务 电器 优质 产品范围 可再生能源 自动生成器 热水器 
Z规格说明自动生成器被引量：2
《计算机系统应用》2016年第4期148-155,共8页赵正旭 温晋杰 
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进行形式化规格说明书的编写.目前,多数对于Z语言的研究集中在理论阶段,还没有相应的工具支持Z规格说明的自...
关键词：Z语言 形式化 自动生成器 规约 语义分析 
集群并行作业管理系统自动生成器的原理与实现被引量：1
《信息安全与技术》2015年第3期66-68 71,71,共4页张春明 杨天鸿 王青 贾蓬 
国家重点基础研究发展计划项目(2013CB227902);国家自然科学基金资助项目(51174045)
集群提供了基于命令行、Web界面或图形用户界面的多种作业管理方式,但各有缺点,要么要求用户会编写命令脚本,要么占用过多的计算资源。文章在此提出一种全新并行作业管理方式,并开发出集群并行作业管理系统自动生成器,可根据用户集群环...
关键词：集群系统 作业管理 并行计算 
手持式计量器具合格证自动生成器的研发
《青海电力》2014年第3期39-41,共3页祁延寿 武远方 李英辉 何凌 王志敏 王生渊 关菊 周磊 
研发了一种手持式计量器具合格证自动生成器,通过操作键盘和扫描器,自动完成计量器具合格证各项信息的填写和打印,用自动生成方式代替传统手工填写方式,提高了工作效率。
关键词：计量器具 合格证 自动生成器 
一种通用管理系统代码自动生成器的设计与实现
《四川兵工学报》2014年第6期121-123,共3页熊仕勇 李沁翰 唐浩 
介绍了一种自动获取数据库表结构并运用数据模型技术自动生成所需的程序代码的方法。该方法允许用户自定义代码模板,自动读取数据库表结构并生成项目中操作数据库的代码和页面代码,实现数据模型驱动的开发模式。通过这种方法能够完成项...
关键词：数据库 代码自动生成 代码拼接 表结构读取 
一个XML文档自动生成器模型设计
《计算机应用与软件》2013年第4期201-203,278,共4页孙煜飞 马良荔 吴清怡 
XML作为交互性电子技术手册创作中技术数据的描述方法,是实现技术信息共享和交换的关键技术。基于相应的XML-Schema约束,设计一个选择数据模块类别、提交数据文档,输出相应的XML文档的自动生成器模型。有效解决了XML编辑过程中的繁琐录...
关键词：交互性电子技术手册 XML 数据模块 XML-SCHEMA 自动生成器 
网络自动生成器NSG在网络教学中的应用
《计算机与现代化》2012年第9期193-195,共3页刘书如 冯媛 李建勇 夏永泉 
河南省自然科学基金资助项目(0611054800);河南省教育厅自然科学研究计划项目(2009A520032)
针对计算机网络课程教学抽象难懂,实验条件要求高及设备昂贵的特点,在实际授课过程中,提出应用网络模拟与仿真的方法来辅助教学,在网络仿真器NS2的基础上,应用可以自动生成有线及无线网络环境的网络自动生成器(NSG)来辅助日常的理论及...
关键词：计算机应用技术 计算机网络教学 网络仿真 
Object-Z规格说明测试用例的自动生成器被引量：5
《软件学报》2011年第6期1155-1168,共14页许庆国 缪淮扣 曹晓夏 胡晓波 
国家自然科学基金(60970007;61073050);国家重点基础研究发展计划(973)(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会项目(10510704900);上海市重点学科建设项目(J50103);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26)
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造...
关键词：基于规格说明的测试 OBJECT-Z 语义提取 测试用例生成器 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部