形式模型

authenticate

鉴别

在Unix系统中,我们常见的访问控制形式为 用户权限矩阵(Permiss-ion Matrix) 模型 和访问控制表(ACL) 模型,权限矩阵是Unix默认的访问控制形式,而ACL在各种认证: 标识(Identify)和鉴别(Authenticate).

Hazard function

风险函数

将已固定或可变更的风险函数(hazard function)运用在强度基准模型中研究违约风险. 这种强度基准模型的方法(与BSM相同)中,并未假设为企业资产价值低於负债时即会发生违约的违约决定模型;而是一种简化形式的模型方法,亦即是否违约将依卜瓦松(Poisson)分布,

Heisenberg model

海森堡模型

为了鉴别在这些有形成磁矩的系统中是否有可能产生长程磁序,我们采用海森堡模型(Heisenberg Model)的磁交互作用形式来描述最近邻磁矩之间的交互作用,这个交互作用的大小也就是交换能J(见图五).

identify

标识

在Unix系统中,我们常见的访问控制形式为 用户权限矩阵(Permiss-ion Matrix) 模型 和访问控制表(ACL) 模型,权限矩阵是Unix默认的访问控制形式,而ACL在各种认证: 标识(Identify)和鉴别(Authenticate).

model theory

模型论

科学哲学的研究表明,由波兰逻辑学家塔尔斯基于1930年代创立的"模型论"(model theory)在现代科学中占有重要地位. "模型论"是研究形式语言及其解释(模型)之间的关系的理论,从建构科学理论的方法论来看,它要比"公理论"更适合于现代科学.

morphism

形式

minute 分钟 | morphism 形式 | model 模型

formal pragmatics

形式语用学

和Lycos建立了搜索引擎和门户站点后事实上业界巨头的IBM和微软早已认识到了工作流(workflow)的重要性Petri称之为形式语用学(Formal Pragmatics)自助建站网页订制建网站网页订制年图灵机模型出现,自助建站网页订制自助建站自助建站年冯.诺依曼设计出了支持图灵计算的机器系统,

structure and space representation

结构及空间形式

岩溶空间介质结构:the space-structure of karst mediator | 结构及空间形式:structure and space representation | 矿床时空结构模型:time-space structure model of deposit

sesquilinear form

半双线性形式

service model 服务模型 | sesquilinear form 半双线性形式 | set 集

theoretical model

理论模型

科学研究从形式来看,就是对通过观察与实验得到的经验数据材料,加以概括和抽象,建立相应理论模型(Theoretical model)的过程,也就是要抓住现实对象最主要的本质特征,忽略其它非本质的细枝末节,将现实对象予以简单化、理想化.

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;