分享到:

110g/LSC乙螨唑防治柑桔红蜘蛛田间药效试验

2009年南丰县植保站进行乙螨唑防治柑桔红蜘蛛田间药效试验。结果表明,乙螨唑4000~7  (本文共2页) 阅读全文>>

《有色设备》2000年04期
有色设备

LSC—148湿式电除尘器在我厂的应用

介绍煤气厂湿式电除尘器电...  (本文共2页) 阅读全文>>

《计算机应用与软件》2006年07期
计算机应用与软件

基于LSC的模型检验研究

LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,...  (本文共4页) 阅读全文>>

国防科学技术大学
国防科学技术大学

基于LSC的模型检验研究与实现

随着软件工程学科的发展,形式化方法越来越多地用于软件开发周期的各个阶段。在需求分析阶段,利用场景对系统进行建模和分析已成为一门重要技术。LSC(Live Sequence Chart)语言以场景为描述手段,以顺序图的形式直观而精确地刻画系统行为。基于LSC的模型检验不仅易于理解,而且可以尽早发现设计错误。论文主要研究了一种对LSC模型进行模型检验的方法,并实现了一个相关验证工具。文章深入分析了LSC语言。LSC语言不仅具有直观可视的图形描述,而且还有精确定义的语法语义,其表达能力很强。为了满足模型检验的需要,本文在研究LSC语法语义的基础上提出了一种生成与LSC等价的状态迁移模型的方法。该方法以所有实例的当前情境为状态,沿着系统运行的路径描述迁移,并将LSC特点显式地表达在迁移中,实现了从LSC到状态模型的转换,本文还分析了LSC待验证性质的特点,采用CTL时序逻辑公式作为待验证性质的输入。基于LSC等价的状态迁移模型,论文研究...  (本文共61页) 本文目录 | 阅读全文>>

《东北大学学报》2002年09期
东北大学学报

7075Al合金LSC铸锭二次加热中的液固相体积分数

研究了液相线半连续铸造法制备的 70 75Al合金坯料在二次加热过程中液固相比的变化 ,分别用电阻法、热涵法测定出不同温度下 70 75Al合金的液相体积分数 ,并与图像法进行了比较·结果表明 ,在 60 0℃...  (本文共4页) 阅读全文>>

《现代科学仪器》1992年01期
现代科学仪器

LSC-Ⅰ型PCVD非晶硅太阳能电池设备的研制

一、前言 LSC-Ⅰ型PCVD非晶硅太阳能电池设备系我中心为国家"七五"攻关项目(75-70-05-15)专题而专让设计...  (本文共3页) 阅读全文>>