VSQL编辑器的行为模型定义

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:hui1202
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可视化语言是以图符为语素的语言,其语句是由可视化对象组成的,故指令的编写方式不同于传统字符语言的文本编辑方式,需要为其设计一种特殊的可视化语句编辑器,让用户来编写可视化语句.对VSQL的程序编辑器(Mach机)进行定义.介绍了Mach的工作流程,并用一阶时态逻辑描述其行为,较好地说明了Mach机互操作对象之间的关系,解决了Mach机复用问题,为VSQL实现可视化程序设计方法奠定了基础.
其他文献
为了实现电力来源多样化,过去1a里,肯尼亚耗资14亿先令(约合1840万美元)在裂谷区大力开发地热发电。
基于'流'的数据包分类算法已经在第四层交换等领域中得到了应用,该类算法的特点是流表的容量大,流表的更新速度较快.'陕速的数据包分流算法'采用了散列算法
为改良和升级现有公交系统,提出了一个具有高性能、高安全性的系统工程设计方案并采用城域网架构系统网络,应用虚拟专用网(VPN)技术保证数据传输的安全性。以J2EE平台为主要软件
<正>患者,男,21岁,因发热1个月余,加重1周,为进一步治疗于2012年11月11日入我院。患者1个月前无明显诱因出现发热,体温波动在38.0~39.5℃,无咳嗽、咳痰、喘息等不适,肛周疼痛
公交换乘是旅游信息系统中的热点问题。当前流行的GIS软件不能人性化地直接解决公交换乘的问题,在对现有的城市公交运行线路、站点分布和城市道路网络特点进行了研究之后,结合数据库技术和Web技术,针对大型城市中,由于公交线路多,公交换乘查询中数据量大,算法复杂的问题,设计了一个包含公交数据表、数据关系和算法步骤的关系型查询分析解决方案。
分析一台亚临界300MW汽轮机末级515mm叶片,在叶根第1齿发生的断裂原因,主要是们于叶顶的拱型围带结构强度不足,运行中发生断裂和圆弧型枞树型中根的端部,尤其是在内弧侧,在加工中没有倒圆,存在
随着网络信息的迅猛发展,信息处理已经成为人们获取有用信息不可缺少的工具,文本自动分类系统是信息处理的重要研究方向。对文本分类关键技术中的特征选择算法进行了探讨,并
分析了消防执法办公系统的业务需求,针对业务特点提出了建立分布式系统的解决方案.介绍了办公系统中公文固定流程和自由流程的概念,阐述了系统中案卷和公文之间的关系.对在We