论文部分内容阅读
在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。
高阶x—进程
【摘 要】
：
在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
1997年8期
【基金项目】
：
国家自然科学基金
其他文献
生态环境部有关负责人就《关于提升危险废物环境监管能力、利用处置能力和环境风险防范能力的指导意见》(以下简称《指导意见》)出台的背景、目标、环境监管体系如何建设、利
当前,我国对于生态文明的建设力度越来越大,相关的水土保持工作也有了较大的进展,因此本文针对水土保持功能评价及其在水土保持区划中的应用做出了进一步探究,对水土保持功能
现代科技突飞猛进的发展态势下,传感器、无线通信、低功耗嵌入式技术拓宽了人们的视野,进入到动态环境监测领域,引发了信息感知的变革。本文重点探讨面向动态环境监测的关键技术,并在数据处理领域充分发挥无线传感器网络的巨大功能,提升数据处理的精准性和高效性。
为了能够切实提升废水监测准确度,本文结合既往研究结论,分别从红外光度法、CODcr、悬浮物及硫化物水样等方面,探讨前处理技术在其中的有效运用,望能为此领域实践应用有所借
提出了一种大型油船结构纵向强度和横向强度分析的有限元方法，能比较精确地求得纵向强力构民肋骨框架平面构件的内力，并开发了大型油船结构分析系统ＯＴＳＡＰ，该系统具有较完整的前、后处
监测并分析了2015~2017年上海市青浦区某主干路的道路交通噪声,讨论了该道路交通噪声的变化趋势及其与该区汽车拥有量和车流量的关系,研究结果表明测定道路的交通噪声昼夜变
提出了由小步长反应系数和传递系数求大步长反应系数和传递系数的关系式，极大地简化了求取整倍数时间步长的反应系数和传递系数的计算过程，这对于满足工程实践中快速计算的要求
提出了非线性模拟电路故障诊断的一种测前模拟法。应用伴随电路及特勒根定理导出故障诊断方程，用等电位屏蔽技术识别故障，非线性元件用其工作点参数等效线性化，可对故障电路逐级
设计了一个能降低系统自举时间，避免系统调用瓶颈，容错，动态可变以及面向应用的开放式并行操作系统。系统范围的消息传递是低延迟高效率，把并行操作系统设计成一族程序模块，并行应
ＸＥＣＭＴＳ是一个基于ＧＰＳＧ理论开发的英汉机器翻译系统。ＸＥＣＭＴＳ应用ＧＰＳＧ语法语义同构理论、实现了语法分析，语义分析和译文生成的同步完成，语法分析正确率为９１％，译文准确率为６５％。ＸＥＣＭＴＳ可在ＰＣ８０４８６或更高档的微机的ＭＳ－ＤＯＳ环境下运