OOAT—心象的一种可操作表达

来源 :浙江大学学报:自然科学版 | 被引量 : 0次 | 上传用户:fengzhongyun22
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
OOAT是一个基于面向对象的心象表达与操作模型。本文着力于对它的心象、方法、消息传递机制的描述,并探讨该模型下的几个有趣的特征。
其他文献
本文研究了一类具分片光滑函数初值的半线性双曲型方程(组)的Cauhy问题,得到了有界解的存在性与正则性定理。
设计与研制了一种激光核聚变靶球的微型4π搓动装置,其整体外形尺为29mm×24mm×14mm,机芯尺寸为20mm×16mm×10mm,对φ200μm的靶微球搓动精度为,绕Z轴旋转角ψ的精度7.5°/每分度,绕Y轴旋转角θ
针对三维切削再生颤振的重叠系数与等效切宽的现行确定方法存在的问题,提出新的确定方法,给出几种典型切削方式下三种确定方法的结果并进行了比较。新方法避免了现行方法存在的
本文给出了一个有限M-SCAB是Building的充要条件及一个有限M-SCAB的万有覆盖是Building的充要条件。
本文比较了几类先进结构陶瓷材料受SiC和石英砂粒子在不同冲击角下的冲蚀磨损行为。结果表明,在两种情况下(一是以SiC为冲蚀粒子,在小于20°的低冲击角下;二是分别以石英砂和SiC为冲蚀粒
本文考虑了单晶生长中的三相界面问题,即研究了气-液新月形界面满足的Laplace-Young方程2y=β〔y″/(1+y'^2)^3/2-y'/x(1+y'^2)^1/2〕在边界条件为y(∞)=0,y'(∞)=b〈0时的解,其中β=2σ0/gΔρ是正常数(Laplace常数)。我们得到了新月形高h应满足的关系式:h=√β
文献[1]建立了Г-环M的QN-根.本文通过其它途径给出了该根另外二个等价性定义:(1)可用超限归纳法构造出QN-根;(2)QN(M)=∩{Ia|IaM,且M/Ia是QN-半单的}=∩{Ia|IaM,且M/Ia不含非零的强诣零理想}.
本文给出半离散人口发展系统的解实现两个给定人口状态转移的时间最优的充分条件。
本文根据双包络环面蜗杆传动的润滑特点,提出了能近模拟这种蜗杆传动挤压效应和卷吸效应耦合作用的润滑机理的简化接触形式,对这种接触形式的润滑性能进行了理论分析。
本文详尽讨论了有向循环图G(n,a1,a2)存在哈密顿圈的充分必要条件,并揭示了其中哈密顿圈的组合结构。我们还构造了一个O(n^3)算法,当G(n,a1,a2)为哈密顿图时,算法可求出它的所有哈密顿圈。