论文部分内容阅读
采用基于时迹的双层指标语义框架讨论过程式语言的形式语义，主要给出对过程和函数的描述。
基于时迹的指称语义方法
【摘 要】
：
采用基于时迹的双层指标语义框架讨论过程式语言的形式语义，主要给出对过程和函数的描述。
【机 构】
：
山东师范大学信息管理学院
【出 处】
：
山东师范大学学报：自然科学版
【发表日期】
：
1999年4期
其他文献
政治互信决定合作命运,面对中国与东盟之间政经要素分离的矛盾,通过梳理中国—东盟政治互信发展过程与模式选择,借鉴新古典现实主义构建分析框架,发现在体系层面下存在中国—
近年来南方海相页岩气勘探开发形势较好,长宁-威远、涪陵以及泸州等区块都在开展规模产能建设,页岩气勘探开发技术也取得较大突破。国内页岩气三维地质建模与数值模拟研究起
介绍了提高烯丙基型卤化镁合成产率的方法；对其与醛酮加成反应的一些实验事实，用反应历程作出了合理的解释。
茂勃艾米乐是一种新型复合微生物菌剂（EM菌肥）,在菠菜苗期和生长期叶面喷施处理,并在生育期间进行形态学测定,成熟期进行测产和考种。结果表明：茂勃艾米乐具有显著提高菠菜产量
玉米是我国播种面积最大、产量最高的粮食作物,2009年全国播种面积为3073万hm2,总产达15550万t。内蒙古自治区2009年玉米播种面积为253.1万hm2,总产达1522.1万t,占全国的8.5%
通过对山东堇菜属植物的详细考查和深入研究。基本查清了该属植物在山东的种类的分布。经研究认为早开堇菜、茜堇菜和紫花地丁应为同种，合并为紫花地丁，最后确认山东堇菜植物在