论文部分内容阅读
针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手段.
Action演算中动作内部数据流分析方法及其实现
【摘 要】
：
针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手
【机 构】
：
吉林大学计算机科学与技术学院,润迅通信集团有限公司
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2003年1期
【基金项目】
：
国家自然科学基金
其他文献
<正>随着热水器普及率的上升,超期服役的产品逐渐增多。储水式电热水器(以下简称电热水器)作为安装类家电,在安装过程中需考虑电路、水路、墙壁承重等众多因素,同时还受到消
中国石油化工集团公司研究人员开发出一种丁基橡胶汽提装置及汽提方法。所述装置包括：闪蒸釜,所述闪蒸釜后设置有汽提塔,闪蒸釜底部出口连接胶液输送泵后连接汽提塔中部。所述
＂这是西门子家电与京东有史以来最大的一次户外活动。＂2018年6月16日,博西家电电器（中国）有限公司高级副总裁兼首席销售官王伟庆如此评价当日与京东共同发起的＂618＂＂越界·未来
新近,全球领先的澳大利亚家居用品制造商Décor集团采用美利肯的MilladNXTM8000透明剂全新打造了Match-ups系列食品储藏容器。新产品继续沿用了Décor著名的Real
为了对铝合金板轧制技术发展提供依据,采用X射线衍射仪测试极图并使用专用软件计算织构的ODF,研究了热轧后经过454℃×4h预先再结晶退火处理的5052双履带连续冷却铸造铝
Control logix5000系列PLC功能强大，将密炼机控制系统PLC程序模块化为：加料门、卸料门、上顶栓、附属设备、主机控制、报警等子程序功能模块，便于密炼机的调试和日常维护，同时采
基于有权重支持度框架的关联规则挖掘算法和超图分割算法，给出一种新的基于有权重超图模型的离群点检测算法WHOT（Weighted Hypergraph—based Outlier Test）．WHOT算法根据有权重
2014年5月，青岛海关就黄岛海关《关于青岛橡胶谷供应链有限公司设立公用型保税仓库的请示》做出批复，同意青岛橡胶谷供应链有限公司设立公用型保税仓库，一期仓库面积2．7万m^2，三期
由安徽万朗磁塑股份有限公司（以下简称安徽万朗）联合《电器》杂志社发起的共12家成员单位在内的全球首个制冷行业供应商生态圈（SERI,Supplier Ecosystemof RefrigerationIndustr