期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
电子表格模型在半导体晶圆制造产能规划中的应用 被引量:2
1
作者 任建华 钱省三 许圣良 《半导体技术》 CAS CSCD 北大核心 2006年第7期485-488,共4页
半导体晶圆厂的设备非常昂贵,对设备利用率的要求较高,设计一套简单实用的办法进行产能规划是十分必要的。本文提出了产能规划的三大模块,在前两个模块中将建立半导体晶圆制造产能规划的电子表格模型(Spreadsheet),在第三个模块中利用... 半导体晶圆厂的设备非常昂贵,对设备利用率的要求较高,设计一套简单实用的办法进行产能规划是十分必要的。本文提出了产能规划的三大模块,在前两个模块中将建立半导体晶圆制造产能规划的电子表格模型(Spreadsheet),在第三个模块中利用产能规划模型的数据结果进行分析,总结出一些改进方法。通过在某半导体晶圆厂的实际应用,该产能规划模型有效地解决了投料不均,设备负荷率波动过大等问题。 展开更多
关键词 产能规划 半导体 晶圆制造 电子表格模型
在线阅读 下载PDF
一种面向形式化表格需求模型的测试用例生成方法 被引量:7
2
作者 汪文轩 胡军 +3 位作者 胡建成 康介祥 王辉 高忠杰 《计算机科学》 CSCD 北大核心 2021年第5期16-24,共9页
现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需... 现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。 展开更多
关键词 测试用例生成 表格需求模型 形式化需求模型 安全关键性系统
在线阅读 下载PDF
中医临床研究中实现CDIS CSDTM标准的方法 被引量:6
3
作者 艾艳珂 何丽云 +2 位作者 文天才 吴东宁 刘保延 《世界科学技术-中医药现代化》 2015年第2期301-305,共5页
目的:探讨中医药研究领域将病例报告表数据转化为数据表格模型(SDTM)标准数据格式的方法。方法:目前常用单纯SDTM方法、数据提交SDTM方法和数据库SDTM方法实现SDTM标准,本文通过比较分析这3种方法的优缺点,介绍了中国中医科学院临床评... 目的:探讨中医药研究领域将病例报告表数据转化为数据表格模型(SDTM)标准数据格式的方法。方法:目前常用单纯SDTM方法、数据提交SDTM方法和数据库SDTM方法实现SDTM标准,本文通过比较分析这3种方法的优缺点,介绍了中国中医科学院临床评价中心实现中医临床研究数据SDTM标准化的具体经验。结果:单纯SDTM方法最大化的使用SDTM标准,但需要改变原有的工作流程和软件系统,时间成本和花费较大;数据提交SDTM方法最小化的使用SDTM标准,花费最小,但不能保证数据质量和溯源性;数据库SDTM方法通过在数据录入之前预先在原有不兼容SDTM标准的系统内设立SDTM转化程序,生成SDTM标准的数据库。结论:数据库SDTM方法是适合中医药临床研究的一种较为实用的方法。 展开更多
关键词 临床研究 研究数据表格模型 数据提交 方法
在线阅读 下载PDF
一种报表模板框架 被引量:4
4
作者 李雄成 宋瀚涛 《计算机应用研究》 CSCD 北大核心 2003年第9期127-130,共4页
从面向对象技术角度出发,阐述了报表模板工具的构造方法及面向对象的封装、继承、多态技术在设计中的应用方法。用UML模型来表示类、对象及它们之间的关系,并在设计中采用了设计模式来描述问题的一般解决方法。提出了一种表格的可视视... 从面向对象技术角度出发,阐述了报表模板工具的构造方法及面向对象的封装、继承、多态技术在设计中的应用方法。用UML模型来表示类、对象及它们之间的关系,并在设计中采用了设计模式来描述问题的一般解决方法。提出了一种表格的可视视图和逻辑视图模型,并定义了其上的操作模型。用UML、设计模式等面向对象技术来分析和设计,使设计结构清晰、可扩充性强。 展开更多
关键词 表格模型 统一建模语言 设计模式 框架
在线阅读 下载PDF
Excel在排放口最优规划中的应用 被引量:1
5
作者 徐明德 程伟斌 《环境科学与技术》 CAS CSCD 北大核心 2007年第7期62-63,73,共3页
鉴于电子表格软件Excel提供的“规划求解”(Solver)加载宏可以求解线性、非线性以及混合整数规划等单目标优化的问题的特点,文章开发了排放口最优规划问题求解的应用程序(DPOPMS)。程序包括了多河段BOD-DO耦合矩阵模型的计算、电子表格... 鉴于电子表格软件Excel提供的“规划求解”(Solver)加载宏可以求解线性、非线性以及混合整数规划等单目标优化的问题的特点,文章开发了排放口最优规划问题求解的应用程序(DPOPMS)。程序包括了多河段BOD-DO耦合矩阵模型的计算、电子表格模型的自动创建、调用“规划求解”加载宏进行规划求解以及规划求解结果的输出等主要功能模块,并将程序应用于汾河太原城区段的污染控制规划,所得的规划结果与实际情况较为吻合。运用该程序进行排放口最优规划,避免了复杂的模型求解过程的算法程序编制,实现较为方便。 展开更多
关键词 排放口最优规划 电子表格模型 规划求解
在线阅读 下载PDF
不同解释水平下工程变更决策的沉没成本效应分析 被引量:2
6
作者 晋良海 李宬 +3 位作者 郑霞忠 郝胜 韩兰珍 梁巧秀 《管理工程学报》 CSSCI CSCD 北大核心 2018年第2期202-206,共5页
针对建筑企业在工程变更时产生的沉没成本问题,引入解释水平理论,构建解释水平与情景交叉的沉没成本效应四表格卡方检验模型,并借助对比实验手段分析决策主体沉没成本效应的差异,以揭示工程变更决策沉没成本效应规律。实验结果表明:(1)... 针对建筑企业在工程变更时产生的沉没成本问题,引入解释水平理论,构建解释水平与情景交叉的沉没成本效应四表格卡方检验模型,并借助对比实验手段分析决策主体沉没成本效应的差异,以揭示工程变更决策沉没成本效应规律。实验结果表明:(1)采用低水平解释,决策主体在面对生活情境或工程情境的沉没成本时,都会产生沉没成本效应;采用高水平解释,工程情境容易产生沉没成本效应,而生活情境很少产生沉没成本效应。(2)同一情境下,决策主体采用低水平解释比高水平解释更容易产生沉没成本效应;同一种解释水平下,决策主体在工程情境中比在生活情境中更容易产生沉没成本效应。研究结果可为工程变更决策主体的理性选择提供理论支持。 展开更多
关键词 工程变更 决策主体 沉没成本效应 解释水平 表格卡方检验模型
在线阅读 下载PDF
复杂工艺参数决策知识建模与应用 被引量:3
7
作者 王天龙 陈泳 刘梦飞 《上海交通大学学报》 EI CAS CSCD 北大核心 2021年第10期1237-1245,共9页
为实现智能化的工艺设计,开展工艺参数决策知识建模方法研究.首先,介绍各类工艺信息的模型表示方法,并建立基于二叉树的公式类工艺知识模型与基于有序树的表格类工艺知识模型.在此基础上,提出工艺知识复合模型,以实现工艺模板与选型知... 为实现智能化的工艺设计,开展工艺参数决策知识建模方法研究.首先,介绍各类工艺信息的模型表示方法,并建立基于二叉树的公式类工艺知识模型与基于有序树的表格类工艺知识模型.在此基础上,提出工艺知识复合模型,以实现工艺模板与选型知识、公式类工艺知识及表格类工艺知识的有机集成.开发基于知识的智能工艺设计系统,并以某复杂电缆产品的工艺设计过程为例,对以上建模方法进行应用验证.研究表明,所提方法可以提升智能工艺设计系统的参数决策能力,并可提高工艺设计的效率与质量. 展开更多
关键词 工艺知识模型 工艺信息模型 公式知识模型 表格知识模型 智能工艺设计
在线阅读 下载PDF
Job shop scheduling problem with alternative machines using genetic algorithms 被引量:10
8
作者 I.A.Chaudhry 《Journal of Central South University》 SCIE EI CAS 2012年第5期1322-1333,共12页
The classical job shop scheduling problem(JSP) is the most popular machine scheduling model in practice and is known as NP-hard.The formulation of the JSP is based on the assumption that for each part type or job ther... The classical job shop scheduling problem(JSP) is the most popular machine scheduling model in practice and is known as NP-hard.The formulation of the JSP is based on the assumption that for each part type or job there is only one process plan that prescribes the sequence of operations and the machine on which each operation has to be performed.However,JSP with alternative machines for various operations is an extension of the classical JSP,which allows an operation to be processed by any machine from a given set of machines.Since this problem requires an additional decision of machine allocation during scheduling,it is much more complex than JSP.We present a domain independent genetic algorithm(GA) approach for the job shop scheduling problem with alternative machines.The GA is implemented in a spreadsheet environment.The performance of the proposed GA is analyzed by comparing with various problem instances taken from the literatures.The result shows that the proposed GA is competitive with the existing approaches.A simplified approach that would be beneficial to both practitioners and researchers is presented for solving scheduling problems with alternative machines. 展开更多
关键词 alternative machine genetic algorithm (GA) job shop scheduling SPREADSHEET
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部