论文部分内容阅读
本文首先提出并证明了模型世界下双机器人协同问题求解的难解性，然后介绍了已开发成功的支持多种特别是协同问题求解的并发成员系统程序设计语言ＭＳ－１在该问题领域的成功应用。
并发成员系统程序设计语言环境下的机器人协同问题求解
【摘 要】
：
本文首先提出并证明了模型世界下双机器人协同问题求解的难解性，然后介绍了已开发成功的支持多种特别是协同问题求解的并发成员系统程序设计语言ＭＳ－１在该问题领域的成功应用。
【机 构】
：
哈尔滨工业大学计算机科学与工程系,中科院软件所,哈尔滨电工学院计算机工程系
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年12期
【基金项目】
：
国家青年自然科学基金,航天科研基金
其他文献
目的：通过观察葛根素注射液协同化疗药物对K562／Adr白血病耐药细胞的抑制作用，探讨葛根素增加白血病耐药细胞对化疗药物的敏感性及作用机理。方法：选K562／Adr耐药细胞株作为靶细胞
急性胸痛是患者到医院急诊部就医最常见的病因之一.对于急性胸痛,往往首先想到急性冠状动脉综合征（acute coronary syndrome,ACS）,然而事实上仅15%～25%的急性胸痛患者被明确诊断
Influence of dietary low histamine diets in the development of chemical kindling induced by pentylen
A role for dietary low histamine diets (LH) on the seizure development of pentylenetetrazole (PTZ)-induced kindling and excitatory behavior was examined in rats
《论语》中的仁并没有一个绝对唯一的意义,我们只有将仁视为一种具有贯通、渗透到不同事物中的精神性力用,才可能对《论语》中出现的所有仁进行完满的解读和研究。这种研究主
大学生作为社会的一个重要群体,他们的发展也直接关系着社会的发展,而成就动机对个体的发展具有推动作用。对于大学生时间管理倾向与成就动机之间关系研究也成为了近年来研究的热点。通过对研究工具、研究结论等方面介绍我国近年来在大学生时间管理倾向与成就动机的研究成果,提出现在研究中的不足以及对未来研究的展望。
本文以排队论为工具，建立了容错磁盘阵列的Ｍ／Ｇ／１排队模型，并在此基础上分析了ＲＡＩＤ的平均响应时间，稳定数据传输率等重要性能指标；比较了同步和异步ＲＡＩＤ的性能差异，最后提出了以吞吐率作为衡量ＲＡＩＤ性
Aquaporin-4 (AQP4) is one of the aquaporins (AQPs), a water channel family. In the brain, AQP4 is expressed in astroeyte foot processes, and plays an important
目的：探讨不同频率振荡培养对变形链球菌生长及其在修复材料表面黏附的影响。方法：将热凝树脂和钴铬合金试件分别置于含变形链球菌悬液的试管内,在不同振荡频率培养24小时。测
本文从原子吸收光谱分析中，背景吸收信号的时间空间特性，和分析背景校正过程的关键环节，指出了误差来源，并提出了相应的数学模式。定量地研究了误差源，结论与分析实践一致。还探求