论文部分内容阅读
介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法，然后介绍如何用函数型语言ＭＬ使这种方法得以实现。
基于ECC的程序规范描述
【摘 要】
：
介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法，然后介绍如何用函数型语言ＭＬ使这种方法得以实现。
【机 构】
：
浙江工业大学信息工程学院,北京科技大学应用科学学院
【出 处】
：
北京科技大学学报
【发表日期】
：
1998年6期
【基金项目】
：
“863”计划和浙江省自然科学基金资助的课题
其他文献
将分形维数用于刻划滚动轴承在不同故障状态下表现的非线性行为，进而对轴承的运行状态进行判别。实验结果表明，滚动轴承振动信号在不同运行状态下的分形维数是不同的，可以将分形
采用了变分法原理，对异型材拉拔模具设计的方法进行了研究。初步实践表明，拉拔模具设计采用变分的方法可应用计算机进行辅助设计，是简便、易行的方法，已成功的用于梅花轴形件的拉
测定了国产原丝和进口原丝的力学性能，并用化学分析、凝胶渗透色谱仪、Ｘ衍射仪、热分析仪、扫描电镜和光学显微镜等手段，对原丝的化学成分、分子量、热性能、结晶度、取向度以及
用真空蒸镀法在金刚石镀覆Ｔｉ层，并经扩散处理使金刚石表面形成ＴｉＣ膜，实现了金刚石表面的金属化，Ｘ射线衍射分析证实了ＴｉＣ的存在，利用ＸＰＳ定量分析验证了在金刚石表面碳原子与钛镀层之间的反应模
金属多晶体三维晶粒尺寸分布常近似呈Ｇａｍｍａ分布或Ｌｏｇｎｏｒｍａｌ分布。基于这２种分布函数，导出了体积权重与个数权重的晶粒体积分布特征参量的相互关系，并利用一种低碳钢奥氏体晶粒组织的实验数据及
针对大型钢包台车发生的断轴事故，进行了负荷水平综合测试及接轴结构计算，提出了事故合理判断的依据及设计原则。
建立了以纯金属原子半径、熔点、沸点和原子化焓预测表面张力的人工神经网络模型。训练后的神经网络能较好的拟合实验数据。对４０种金属的表面张力进行回想和预测结果与实验值的
在微观力学行为分析的基础上，对９０Ｗ合金宏观力学性能及其与微观结构因素（粘结相力学参数）之间的关系进行了计算机数值模拟研究，结果表明：钨合金性能与粘结相力学参数密切相关，随着粘结
编制金属塑性变形抗力数据库时，接口软件具有如下特点：（１）使用系统建立的ＦＯＸＢＡＳＥ数据库文件直接作为数据缓冲区；（２）语言系统间接口应用Ｃ与ＦＯＸＢＡＳＥ的迦接，在Ｃ系统下操作，可访问任何ＦＯＸＢＡＳＥ数据库文件。
研究了扰动对单相合金在定向凝固过程中平面晶和胞晶固液界面生长形态的影响规律，给出了单相合金由平面晶向胞晶转变的临界条件及胞晶稳定生长的条件，首次用非线性理论中的线性