论文部分内容阅读
通过形式化方法建模，对集成电路设计过程中的模型简化技术进行了研究．对互模拟、模拟偏序概念提出判定算法，利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法，得到模型验证程序，该程序能够对集成电路系统设计过程中的模型进行简化，实践证明具有良好的应用价值．
基于形式化方法的集成电路设计简化技术研究
【摘 要】
：
通过形式化方法建模，对集成电路设计过程中的模型简化技术进行了研究．对互模拟、模拟偏序概念提出判定算法，利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工
【机 构】
：
兰州工业学院学报编辑部,嘉峪关市第六中学
【出 处】
：
兰州工业学院学报
【发表日期】
：
2013年1期
其他文献
目的:探讨诱导痰细胞学分类与中性粒细胞-淋巴细胞比值（neutrophil-lymphocyte ratio,NLR）、血小板-淋巴细胞比值（platelet-lymphocyte ratio,PLR）在评估急性发作期哮喘患者病情
常州市华润除尘设备有限公司是生产TBLM低压系列和BLM高压系列脉冲布袋除尘器的专业厂家，具有丰富的生产技术经验。由于公司产品质优价廉、服务周到，特别是注重信誉，得到了全国
期刊
长久以来，人们对翻译的研究都是围绕译者、译本、翻译理论与方法等展开，翻译也常常被看作是对人——“译者的个人行为”或是对物——“译本”的研究，鲜有人将它作为一种团队活动
利用DNDC模型对夏玉米生长进行模拟和验证,并对模型精度进行评价。结果表明:在对夏玉米生长期间土壤含水率、地上部生物量和产量进行模拟中,模型评价指标说明DNDC模型可以进行相关方面的模拟。2015、2016年夏玉米作物水分生产率WP实测值与模拟值之间相对误差低于8%,表明DNDC模型可以用于夏玉米腾发量(ET)和水分利用方面的研究。
从面粉生产企业角度谈新《小麦粉》国家标准的先进性以及对面粉行业的重要意义。同时根据多年来面粉检测实践，指出某些指标在执行中可能会遇到的一些问题，仅供参考。
由于机械式气体循环制冷机对环境的严重破坏作用,寻找一种新的、高效率的制冷方式已成为迫切需要。另外,现代技术总的发展趋势之一就是从低级的运动形式(机械的)过渡(全部或
试验研究了南瓜色素的乙醇提取工艺条件和理化性质。研究结果表明，最优工艺条件是以无水乙醇为浸提剂，温度为70℃，固液比为1：11，浸提时间3．5h。