切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
连续流动体系仿真程序的形式化确定
连续流动体系仿真程序的形式化确定
来源 :抚顺石油学院学报 | 被引量 : 0次 | 上传用户:dk_winner
【摘 要】
:
以一个基本的连续流动体系对象,讨论了传统的仿真建模过程在程序模型选择方面存在的不足,并以程序正确性断言理论方法处理了该体系的程序模型选择问题,导出了必要的程序前置断言
【作 者】
:
冷英男
【机 构】
:
抚顺石油学院计算机科学与技术系
【出 处】
:
抚顺石油学院学报
【发表日期】
:
1997年4期
【关键词】
:
程序规范
化工仿真
连续流动体系
仿真程序
Continue flowSimulationModellingProgram specificationProgr
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以一个基本的连续流动体系对象,讨论了传统的仿真建模过程在程序模型选择方面存在的不足,并以程序正确性断言理论方法处理了该体系的程序模型选择问题,导出了必要的程序前置断言,不变式和循环界函数,从而给出了一个具体的规范描述和一个正确的程序实现。
其他文献
通用可编程ASIC实验学习系统平台
介绍了作者在毕业论文期间为东北大学 E D A 实验室开发的通用可编程 A S I C 实验学习系统的原理及其结构
期刊
EDA
主板
子板
EDAMotherboardBoard
数字城市:一利新的城市生存发展方式
<正> 一、数字城市概念的提出数字城市是一个发展中的概念,目前尚没有一个统一权威的意见。据粗略统计,关于数字城市的概念,至少有30余种。所谓数字城市,从城市建设的角度看,
期刊
数字城市
城市建设
基础设施建设
政府行为
政策扶持
中国
迎接中国流通业大革命的到来
期刊
国有商业企业
流通业
企业发展
新的经营管理模式
企业竞争
市场竞争
现代企业
商业企业家
成员企业
我国社会主义市场经济
科技博客走热 盈利前景待观望
逛过了“社区”,看惯了博客,玩腻了微博,眼下,科技博客渐渐成为“博家族”中最吸引眼球的新成员。$$ 爱范儿、虎嗅、36氪、创见等一批科技博客,凭借快速精准的行业消息和产品信
学位
预防医学学生从基础到临床的见习方法
鉴于目前我国预防医学见习生"岗前"培训没有统一的教材,部分同学在见习过程中感到茫然,找不到见习医生的感觉,找不准预防医学生在临床见习中的定位。笔者近年来通过对见习生
期刊
预防医学
实习
临床
Preventive medicinePracticeExperiencesClinical
硬件描述语言VHDL的功能及优点
论述了可编程 A S I C 在现代电子技术中的作用,在可编程 A S I C 设计中采用的一种方法——— V H D L 硬件描述语言及用 V H D L 实现计数器的实例
期刊
VHDL
ASIC
HDL
VHDLASICHDL
高精度桥式传感器单片机仪表电路的设计
简述了高精度桥式传感器智能仪表电路设计方法,重点介绍了可编程仪表放大器AD625,A/D转换器ICL7135等芯片的应用电路,讨论了有关设计原理及一些需要特殊考虑的问题,给出了较为新颖的供桥电源电路
期刊
桥式传感器
单片机
仪表电路
电路设计
Instrument amplifierBridge type sensorA/D converterSingle_ch
密封谐波齿轮传动在转鼓真空过滤机上的应用
密封谐波齿轮传动是一种新型密封传动形式,具有向密封空间传递运动而无需动密封及传动比大,结构简单等特点,因而无需采用其他密封结构就能达到完全密封的目的,并可简化传动装置,降
期刊
转鼓真空过滤机
密封
齿轮传动
谐波
炼油厂
SealHarmonicGears driveVacuumFilter
湍流两相流动模式理论综述及展望
回顾和讨论了国内外两相湍流数值模拟的现状和发展趋势,介绍了两相湍流方程组封闭模式及主要成果,同时指出了目前在两相湍流数值模拟中存在的问题和有争议的处理方法。着重介绍
期刊
两相湍流
模式理论
连续介质模型
颗粒轨道模型
Two-phase flow Turbulence modelling Two fluid model Lagr
一种用于有线电视网络工程设计的CAD系统
一种用于有线电视网络的计算机辅助设计系统已经研制完成。AutoCAD软件历来用于机械领域的计算机辅助设计,而本课题的目标是:使用VisualC++和AtoCAD的C语言开发工具ADS,开发一组ADS应用程序,作为AutoCAD的功能扩充,将AutoCAD改
期刊
有线电视网络
工程设计
CAD系统
CATV networkCAD systemAutoCADADS
与本文相关的学术论文