切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
面向问题的描述语言及其支撑系统POLTRANS
面向问题的描述语言及其支撑系统POLTRANS
来源 :系统工程与电子技术 | 被引量 : 0次 | 上传用户:A55190684
【摘 要】
:
本文提出一种面向问题的描述语言POL,论述了实现由POL程序向特定面向过程的高级语言源程序转换的翻译系统TRANS,两者在方法库的支撑下构成了一种通用的辅助软件开发环境POLTRANS。它适用于拥有大量
【作 者】
:
诸葛海
施晓清
【机 构】
:
第二炬兵第三研究所,北京师范大学
【出 处】
:
系统工程与电子技术
【发表日期】
:
1996年6期
【关键词】
:
软件开发
POL语言
软件工程
POLTRANS
支持系统
Problem-orientedSpecification languageTranslationM
【基金项目】
:
国家自然科学基金,国防科工委“八五”重点预研项目的资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出一种面向问题的描述语言POL,论述了实现由POL程序向特定面向过程的高级语言源程序转换的翻译系统TRANS,两者在方法库的支撑下构成了一种通用的辅助软件开发环境POLTRANS。它适用于拥有大量规范范围方法积累的领域。
其他文献
指向思维可视化的小数概念整体与阶段教学
“小数”是“数与代数”领域的一个重要部分。从整体看,小学阶段对小数的学习分三阶段进行。小数概念对于以直观感知思维为主的小学生而言,无疑是抽象的。教学中应结合学与教
期刊
小数
思维可视化
阶段教学
人教版“质数与合数”教材纵向比较研究
教材的纵向比较研究主要是从历史的视角,对不同时期的教材进行分析、对比研究。一方面可以对所研究的内容有更为全面和深入的理解和掌握;另一方面可以通过分析、对比“质数与
期刊
质数
合数
不同时期
教材比较
SIAR在强干扰背景下目标的检测与跟踪(二)
本文在第一部分的基础上进一步介绍稀布阵综合脉冲孔径雷达(SIAR)在强干扰背景下对目标的距离、方位和抑角进行精确测量与跟踪的方法,通过计算机模拟证明了该方法的有效性。
期刊
目标跟踪
自适应处理
雷达
抗干扰
SIAR
Synthetic impulse and aperture radar
Adaptive beamformin
工业循环水WECS改造技术的应用探讨
阐述了酒钢集团不锈钢二期软环泵站引进的改造技术——工业循环水系统节能优化运行技术(WaterEnergyConservationSystem,WECS),在对冷却循环水系统进行WECS改造后,系统节能率达到6
期刊
WECS
系统
节能
改造
优化
WECS system energy - saving improvement optimization
多媒体通信的体系结构及其接口描述
本文论述了多媒体通信的体系结构模式及各层的逻辑功能,讨论了多媒体通信接口的组成和有关技术特征,并给出了基于接口描述语言(DSL)的有关接口描述实例。
期刊
多媒体通信
体系结构
接口
Mulitimediea communiations
Architecture
Interface
DSL.
论大学英语教学中比较文化的渗透——以《人如其名》一文为例
从比较文化的角度出发,以英汉姓名的结构、命名方式和称呼为研究对象,挖掘两者之间的相通和相异之处,探讨比较文化在大学英语教学中的积极作用。
期刊
大学英语教学
比较文化
姓名文化
college English teaching cross-culture name culture
论侵权过失相抵中受害人与有过失的实质与判准
将受害人与有过失与加害人过失相比较研究,在可能影响加害人损失分担的意义上,受害人对于自身权益仍负有"应注意"的要求;而在是否"能注意"而不注意以构成过失的判准上,基于社会互
期刊
过失相抵
受害人与有过失
判准
基于DSP的现场智能配电监测平台的设计
该文介绍了一种基于32位定点DSP芯片TMS320F2812为主控制芯片的智能配电监测系统。应用智能化技术对配电柜里的信息进行采集和处理并及时反馈,实时掌握配电柜里的运行状态,并配
期刊
智能电网
DSP
智能配电监测系统
智能配电柜
CAN总线
smart grid DSP intelligent power distribution mon
一种基于模糊数算术运算的可靠性分析方法
可靠性是产品在规定的条件下和规定的时间内完成的功能的能力,传统的可靠性分析方法是基于概率论的,其失效概率通常根据大量的第一手数据进行估计。然而,实际上不可能收集到足够
期刊
模糊数学
可靠性分析
故障树形图分析
产品
Fuzzy mathematics Reliability analysis F
顾成庙与奉明园
在汉长安城四郊分布有众多礼制建筑,其中文帝的顾成庙与武帝孙、宣帝父史皇孙的奉明园历来被认为在长安城的南郊。本文通过文献记载和相关考古发现,考证二者都应位于长安城的
期刊
汉长安城
东郊
顾成庙
奉明园
Han Chang’an capitalEastern suburbGucheng templeFengming garden
与本文相关的学术论文