论文部分内容阅读
概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具.文中给出概念抽象逻辑结构图到PASCAL过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则,给出了抽象逻辑结构图程序表示的有效性定义,导出PASCAL抽象逻辑结构图的有效性定理及其证明.
抽象逻辑结构图导出PASCAL过程蓝图的方法
【摘 要】
：
概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具.文中给出概念抽象逻辑结构图到PASCAL过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则,给出了抽
【机 构】
：
汕头大学工学院计算机系,西北大学计算机系
【出 处】
：
计算机工程与设计
【发表日期】
：
2001年3期
【基金项目】
：
国家高技术研究发展计划(863计划)，国家自然科学基金
其他文献
对高风险的地下工程,安全控制尤为重要,对复杂环境下的青岛地铁火车站站,本文对风险源专项设计的运用进行了较为全面阐述,对不同的风险源提出了相应的技术措施和控制指标,在
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
鹅细小病毒(Goose parvovirus,GPV)属于细小病毒科(parvovirinae)依赖病毒属(Dependovirus),是鹅细小病毒病(Goose parvovirus)的病原体。鹅细小病毒病又称小鹅瘟(Gosling pl
水电管理问题一直是高校后勤管理的重点,随着近年来校园规模的扩大和水电用量的不断攀升,如何实现校园水电的高效管理和减少“浪费”成为新的任务。本文对高校水电管理中存在
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
从乾隆五十五年起的丑渐式微，到光绪二十八年出现复兴，再到民国九年走向衰亡，是传奇杂剧终结消亡的三部曲；五四新文化运动以后，传奇杂剧失去了存在的必要和可能，表明它已到了走向消
万维网包含大量的信息,而且随着其快速的增长而变得越来越复杂,这就导致了现在用户定位相关和高质量信息的搜索变得越来越难.将网络数据挖掘技术应用于搜索引擎将大大改善搜
基于标签分布协议(LDP)的虚拟专用局域网(VPLS)是应用较广、得到众多厂商支持的一种VPLS方案,并且有望成为IETF标准.它的主要思想是在MPLS网络中利用LDP建立和维护以太网伪线
论述了一种基于CSMA/CA的无线局域网协议的实现方法,按照IEEE8802.11协议标准以及通过无线传输特性的分析,提出了一种利用时间片的方法来实现CSMA/CA协议的方案,详述了基于时