名词解释
yisun03
这个作者很懒,什么都没留下…
展开
-
结构体对齐(字节对齐)规则及大小计算
什么是字节对齐这跟读取数据有关,cpu读取一次能读取到的内存大小跟数据总线的位数有关,如果数据总线为16位,那么cpu一次能够读取2字节;如果为32位那么cpu一次可以读取4字节,而读取数据是需要消耗时间的,为了提高效率,尽量让同一个数据(变量)能使用最少次数将其读取出来,那么解决办法就是要求每个数据(变量)在其自然边界上,比如说一个int类型的变量占4字节,那么在存储这个int变量的时候编译器会将让这个变量的起始地址能够被4整除,那么这样就不会导致这个int类型的变量明明没有超过数据总线位数(假设位3原创 2020-07-15 20:30:01 · 4514 阅读 · 1 评论 -
什么是many-sorted first order logic (many-sorted FOL)
其实是个很好理解的东西,但是感觉中文文献对之的解释少之又少,我没有查到,翻译也翻译为多排序的一阶逻辑,跟不久不准确。对于外文文献倒是有,但是限于英语阅读能力有限,实在是都不太懂什么意思。下面有外文对many-sorted FOL这样解释:如果您能看懂就是最好,我的解释是多类型的一阶逻辑,这里的类型我理解为int,real,bool,float,char等,就是说这个一阶逻辑包含了多个类...原创 2019-11-05 09:30:25 · 481 阅读 · 0 评论 -
什么是free variable
其实很多英文名词对应的中文名词我们很好理解,也很容易理解他的用处。但是有很多名词恰恰就是英文的,而我们因为英语水平的局限,很难将这些英文名词翻译到位,也就导致很容易理解的名词经常困扰着我们。那今天的主角是free variable。我把他叫为自由变量。用英文可以这么解释它:If a name is bound in a block, it is a local variable o...原创 2019-09-27 14:33:49 · 3205 阅读 · 0 评论 -
uninterpreted function是什么
在学习过程中,尤其是在学习数学逻辑时,可能会看见uninterpreted function这样的词,那这个词到底什么意思呢,这里有一个英文解释,可能会解释得比较清楚一点。来源自博客园:https://www.cnblogs.com/houguochao/archive/2011/11/07/2240319.htmlInmathematical logic, anun...原创 2019-09-24 19:27:24 · 705 阅读 · 0 评论 -
在逻辑中constraint是什么意思
在逻辑中,可以作为约束的意思,狭窄的解释也就是等式或不等式。比如一下的关系就称作constraints这里的Xi是free variable;b是常量。而这两个等式和不等式都叫constraint。...原创 2019-09-27 14:43:37 · 1264 阅读 · 0 评论 -
计算机领域中的token的意思
这里转载两篇文章,解释了什么是token,他有多个意思。原文一出处:token是什么原文一内容如下:token是什么Token (计算机术语)在计算机身份认证中是令牌(临时)的意思,在词法分析中是标记的意思。令牌(信息安全术语)Token, 令牌,代表执行某些操作的权利的对象访问令牌(Access token)表示访问控制操作主体的系统对象邀请码,在邀请系统中使用Toke...转载 2019-09-23 08:24:39 · 15190 阅读 · 0 评论