检索结果-南通市图书馆

作者：金云上海交通大学

学位级别：硕士

进程演算从20世纪80年代Milner的CCS交互模型开始已有30年光景.期间成百上千的模型和等价关系被提出来,研究也深入了相关的各个分支。但是在完备交互模型上研究计算理论是一个还未深入研究的方向。对于这个方向首先面临的问题是定义合... 详细信息

进程演算从20世纪80年代Milner的CCS交互模型开始已有30年光景.期间成百上千的模型和等价关系被提出来,研究也深入了相关的各个分支。但是在完备交互模型上研究计算理论是一个还未深入研究的方向。对于这个方向首先面临的问题是定义合适的完备模型。绝对等价在完备模型中是个重要的概念,它和传统的外部等价是否一致也是一个有趣且重要的问题。这个问题的解决有助于对互模拟等价关系的进一步理解,更重要的是它能帮助证明一个模型是否是完备的。在绝对等价和外部等价的一致性问题上已经有一些结果。如果在语言中包含加操作符,那么一致性就相对较容易证明,反之,会变得很困难。实际上对在没有加操作符的语言上的一致性已经作为公开问题。加操作符有强大的观察能力而绝对等价又是从观察角度定义的,所以我们可以用加操作符来迫使一个进程做一连串特定的动作。当没有加操作符的时候模型会变得简单。一个模型越简单它的观察能力就越弱,于是证明一致性就更难。但是当模型足够简单时,特别地,当它是有限模型时,我们可以借助有限进程的性质来帮助证明。在一个有限且没有加操作符的模型下,当一个进程做了一个外部动作后它的其他交互能力都还保留。我们利用这个性质证明了有限且没有加操作符的CCS和π演算下的一致性。

关键词：进程演算 π演算 CCS演算完备模型绝对等价外部等价一致性

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

卧式加工中心空间精度预测及量化验证

引用

组合机床与自动化加工技术 2022年第1期 57-61页

作者：陈廷兵李志强敬正彪成都工业学院智能制造学院成都611730 成都工业职业技术学院装备制造学院成都610218

为提高卧式加工中心整机加工精度,且针对卧式加工中心精度预测模型难以量化验证的问题,基于旋量理论建立了精度预测完备模型,在此基础上提出了一种新的精度预测模型量化验证方法。首先,以旋量理论为研究基础,并借助旋量指数积建立了某... 详细信息

为提高卧式加工中心整机加工精度,且针对卧式加工中心精度预测模型难以量化验证的问题,基于旋量理论建立了精度预测完备模型,在此基础上提出了一种新的精度预测模型量化验证方法。首先,以旋量理论为研究基础,并借助旋量指数积建立了某多自由度机器人末端运动学正解;其次,在分析了卧式加工中心几何误差的基础上,结合该机床运动链分析结果构建了卧式加工中心精度预测模型;进而借助"十二线法"完成了几何误差分离过程,并最终输出了机床精度预测结果云图;最后,基于ISO230-6的体对角线实验设计进行了精度预测模型量化验证。实验结果表明四条体对角线预测值与实验值符合程度较高,PPP、NPP、PNP、PPN预测与实际数据的平均偏差分别为-0.21μm、-1.06μm、-1.68μm、-0.05μm,有效验证了该卧式加工中心精度预测模型的正确性及合理性。

关键词：旋量理论完备模型十二线法量化验证

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：