1) Domain Model
Domain模型
1.
Domain Models for Groups;
群可以通过在其上赋予循环群拓扑构造群的Domain模型,从而实现群的可计算性。
2) weak domain
弱Domain
1.
weak domains)with the least element is still an exact poset(reps.
该文证明了有最小元的Exact偏序集(弱Domain)的乘积为Exact偏序集(弱Domain),Exact Domain在保定向并的投射算子、具有下伴随的投射算子或具有下伴随且保定向并的满映射下的像仍为Exact Do-main,文中还讨论了Exact偏序集的基。
3) subdomain
子domain
1.
abstract conventional definition about subdomain is defined by e-p pair.
本文给出了一个只需要连续domain本身性质的子domain的内蕴定义,并证明它与传统的用连续映射定义的子domain的等价性。
2.
The author gave a theorem of the internal characterization of the measurement of the continuous dcpo, discussed the operator on the measurement, studied the subdomain.
给出了domain上测度的一个内在刻划定理，讨论了测度上的算子，研究了子domain。
4) Domain-Service framework
Domain-Service框架
5) Domain theory
Domain理论
1.
The aim of domain theory is to set up the model of programming languages of computer in such way that the denotation of data types is called as domains, and one of programs as functions between domains.
Domain理论的目的是为程序设计语言提供数学语义模型,信息状态域的指称称为domain,而程序的指称是domain间的映射,本文主要介绍domain理论中的三类重要映射—Scott连续映射、Berry的稳定映射以及CM映射的定义以及等价刻画和表示。
6) continuous domain
连续Domain
1.
Heredity and Invariance of Continuous Domains;
连续Domain的遗传性及其不变性
2.
Further Results about Weight on Continuous Domains;
关于连续Domain权的进一步结果
补充资料：AutoCad 教你绘制三爪卡盘模型,借用四视图来建模型
小弟写教程纯粹表达的是建模思路,供初学者参考.任何物体的建摸都需要思路,只有思路多,模型也就水到渠成.ok废话就不说了.建议使用1024X768分辨率
开始
先看下最终效果
第一步,如图所示将窗口分为四个视图
第二步,依次选择每个窗口,在分别输入各自己的视图
第三步,建立ucs重新建立世界坐标体系,捕捉三点来确定各自的ucs如图
第四步,初步大致建立基本模型.可以在主视图建立两个不同的圆,在用ext拉升,在用差集运算.如图:
第五步:关键一步,在此的我思路是.先画出卡爪的基本投影,在把他进行面域,在进行拉升高度分别是10,20,30曾t形状.如图:
第六步:画出螺栓的初步形状.如图
第七步:利用ext拉升圆,在拉升内六边形.注意拉升六边行时方向与拉升圆的方向是相反的.
之后在利用差集运算
第八步:将所得内螺栓模型分别复制到卡爪上,在利用三个视图调到与卡爪的中心对称.效果如图红色的是螺栓,最后是差集
第九步:阵列
第10步.模型就完成了
来一张利用矢量处理的图片
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条