顺序

predicate symbol

谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

preference relation

偏好关系

建立以下 偏好关系(preference relation)或者顺序(preference ordering) 1) x ~ y 被称为消费者在商品(束) x f 一样好 2) x f y 被称为消费者 y好即 严格偏好于 y中 弱偏好于 x 即消费者认为 x 至少与 y x 也就是说在任何情况下但 y ~ x 不成立 f y 消费者都认为 x 比 xf yx~ y f 3) x ~ y 被称为消费者即 无差异于 商品 x

get-you-down (pressure)suit

保证下降到安全高度的加压服

保护头盔 protective helmet | 保证下降到安全高度的加压服 get-you-down (pressure)suit | 顺序弹射 sequenced ejection

Prevention

阻止

"阻止"(Prevention)是解决这个问题的好办法,具体依赖于应用,如每个任务不能占用1个以上的信号灯,或所有任务按相同顺序去获取多个信号灯,可选的"超时"设定等.

previous

前一页

选择"相关搜索"(Concordance), 显示相关搜索对话框. 按顺序浏览相关搜索,点击"前一页"(Previous)或"下一页"(Next). 维护(Maintenance)命令(文件菜单)"帮助主题"(Help Topics)命令(帮助菜单)

primacy effect

首因效应

首因效应(Primacy Effect) 当人们识记一系列事物时,对开始部分项目的记忆效果优于中间部分项目的现象,是记忆的系列效应的一种. 在自由回忆的实验中,给被试呈现一系列无关联的字词,然后让他以任意的顺序加以回忆. 结果表明,

primogeniture

长子继承权

原则是所有土地不得买卖,受领者付"代役租金"(quitrent),遗传则经过"长子继承权"(primogeniture)的安排,使地产不致分裂. 次之则受"遗传顺序"(entail)的限制,使产业不致落于劳枝侧裔之手,致原有上层领主失去掌握. 总之仍想维持社会上一成不变的形态.

printed

印刷品

*第一次鸦片战争 (the Opium War)相关的书信*义和团运动 (the Boxer War) 生还者之记述*可依字母顺序、手稿(Manuscript)、印刷品(Printed)、Gallery (图片)、来源图书馆(Library)及文件类型(Document Type)浏览收录内容位址:300新

PrintShop

印刷厂

printsequencenumberPSN 打印顺序号 打印序号 | printshop 印刷厂 | printspan 打印宽度

priority level

优先水平

priority interrupt system 优先顺序中断系统 | priority level 优先水平 | priority queue 优先队列

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul