【摘 要】
：
深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性
论文部分内容阅读
深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。更多还原
其他文献
2019年是新中国成立70周年。70年来,特别是始自1981年从深圳开始的轰轰烈烈的改革开放热潮以来,中国内地物业管理行业开启了波澜壮阔的新篇章。几代物业人以极大魄力和勇气,
本文对平湖油气田的开发动态进行跟踪,通过地质建模、PVT拟合、生产历史拟合开展分析研究,并作出指标预测.
解题是衡量学生对知识掌握情况的重要途径,是教师教与学生学的基本活动方式,可见中学数学教学的关键就是解决数学问题。斯托利亚尔说过,数学教学也就是数学语言的教学。因此,训练学生熟练利用数学语言表征数学问题,培养学生用数学的方法解决问题的能力,这对数学教学有着重要的作用。本文主要研究了数学解题中语言表征的概念以及语言表征在数学解题中的重要性,并通过调查了解初中数学解题中的语言表征存在哪些障碍,针对性地为
<正>在临床实践中,我们诊治了一些奶牛产后急性腹泻病例。奶牛产后发生急性剧烈的腹泻,主要表现为发病急,机体迅速脱水和酸中毒,并常伴有胎衣不下及产后感染,若治疗不及时或
现有战斗机座舱压力控制系统存在机械结构惯性大,控制精度低及弹性部件易疲劳等问题。针对以上问题,考虑战斗机高速、小舱容的特点,结合气动式与数字式的优点,对电子气动式压
本文给出了关于湍线性微分系统指数型二分性的几个结果，证明了：若Ａ（ｔ）是ｎ阶湍方阵，则存在ｗ０＞０，当ｗ≥ｗ０时，湍微分系统ｘ（ｔ）＝Ａ（ｗｔ）ｘ（ｔ）的相关系统是几乎可约的，在适当的条件下得到，存在ｗ０＞０，使系统ｘ（ｔ）＝Ａ（ｗｔ）ｘ（ｔ）是几乎可约的（ｗ≥ｗ０）。
声波测井数据揭示岩层声波时差的规律性的变化,根据这种规律性的变化可以定量求解地层曾经经历过的抬升剥蚀.作者对声波时差、利用声波测井数据求取地层剥蚀厚度的基本原理及
本文给出四元数正定自共轭矩阵的一个公式及正定自共轭矩阵和的特征值积的一些不等式和Hadamard不等式的更一般形式.
春剑(Cymbidium.tortisepalum var.longibracteatum)是具有重要观赏价值和遗传资源价值的正宗“川兰”,但其种子萌发是制约春剑繁殖的生物学瓶颈问题,其萌发机理和条件尚不明确。本试验以春剑为材料,对其果实发育及解剖特征、胚胎发育及种子形成、种子萌发途径和非共生萌发条件进行了研究,主要结果如下:1、春剑的果实发育呈“双S”曲线,授粉后0-40d为第一次迅速生长期,授
牙本质过敏症是一种常见的牙体硬组织疾病。目前,对牙本质过敏症的治疗有多种方法。常用的有生物玻璃脱敏、含氟脱敏剂、激光脱敏等等。这些方法被证实对治疗牙本质过敏症均