网络并行处理及在机器证明中的应用

来源 :中山大学 | 被引量 : 0次 | 上传用户:RyanDay
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文讨论了多资源有顺序关系的实时系统运算的并行调度问题,算法中每模块的先后运算次序及所需时间已知.该文首先建立数学模进行系统分析,并给出了程序中应采用的数据结构及解决问题所采用的调度算法.求得出有资源约束及无资源约束两种条件下并行处理的最小时间跨度和相应的调度方案.最后,给出了这种调度方案的两个应用:数值并行法(杨路、张景中)和吴方法(吴文俊).
其他文献
该文是对Godel不完全性定理的较为全面的概括和总结,文中介绍了各种形式的不完全性定理以及相应的不判定公式,它既包括了前人的成果,也包含了作者所做的工作.1985年,徐书润教
该文讨论了完备Lie代数定义中的两个条件的相互独立性,即中心平凡性与外导子的不存在性互不蕴含.
该文主要讨论球空间中紧致定向子流形具平行单位中曲率向量时成为超曲面的条件,得到了若干关于第二基本形式模长平方的拼挤条件以及某类Che曲面的分类定理.
本学位论文研究了包络代数表示的范畴化,BiHom代数以及n-次微分模的Gorenstein理论.主要考虑了D4型李代数泛包络代数U(so(8,C))向量表示和旋表示的范畴化.给出σ-次对称矩阵的
两框抽样是把两个独立抽样框组合使用的一种抽样方法.该文首先讨论当总体单元总数未知时使用两框抽样方法给出总体总值的估计,并且证明了该估计的可用性.然后讨论当只有两个
该文介绍了一种广非线性混合模型.针对这种模型,文章综合利用伪似然函数方法和两阶段算法,提出了广义非线性混合模型的参数估计方法.此方法运用泰勒展开,使模型的广义性和非