逻辑的

Desk checking

桌前检查

人为测试的主要方法有桌前检查 (desk checking) ,代码审查( code review )和走查( walkthrough ). 事实上,用于软件开发各个阶段的审查会( inspection )或评审 (review) 也是人为测试的一种. 经验表明,使用这种法能够有效地发现 30% 到 70% 的逻辑设计和编码错误.

choice

选项

1)在选项(choice)之后加入需要合并后执行的活动节点. 2)在并行流中,从每个需要合并的分支用连接(link)连接到合并后需执行的活动. 1)通过循环(while)来实现,用变量来控制循环的逻辑.

fuzzy clustering

模糊聚类

Fuzzy Logic Toolbox简单的点击界面带领您轻松通过模糊设计(fuzzy design)的步骤-从安装到诊断. 它为最新的模糊逻辑(fuzzy logic)方法,如模糊聚类(fuzzy clustering)等提供内置的支持.

coding

译码

在计算机硬件中,译码(Coding)是转换在一个主题或单元获得的信息为编码值(典型数字的)的过程,为了数据存储、管理和分析. 在软件中,译码意味着使用一种专门的语言例如 C 或 C++ 执行一种程序设计逻辑. 在密码系统中,

Cohen

科恩

笔者在分析西门子矢量变频器6SE70和S7-300PLC(可编程逻辑控制器)的基础上,设计了基于S7-300PLC和6SE70矢量变频器的油田污水处理系统的新方案,重点针对pH值的控制,给出了采用C唱C算法(科恩(Cohen)-库恩(Coon)法)确定控制器的方法,

Collect

收集

学习者年龄特征以及教学逻辑设计等做全面的"整合",多少人的艰辛劳动才编辑出课本来.教育软件也不仅是信息或者资源的"集合",仅局限于"收集"(Collect)是同样不能成为优秀教育资源库的.适应现代信息技术和课程改革的教育资源库是比以往的"课本"更复杂,

global color table

全局彩色表

解码器就可以使用计算机系统提供的彩色表 或者解码器自身的彩色表.④ 全局彩色表(Global Color Table)存在与否由逻辑屏幕描述块(Logical Screen Descriptor) 中字节 5 的全局彩色表标志(Global Color Table Flag )域 G 的值确定.如果存在,

Combinatorial Mathematics

组合数学

组合数学(combinatorial mathematics) 组合数学有广义狭义之分,大致是这样的: 有人认为广义的组合数学就是离散数学,也有人认为离散数学是狭义的组合数学和图论、代数结构、数理逻辑等的总称.

COMMUNICATIONS

传播

当然,传播(Communications)也有一定的逻辑可循,下面看看传播模式图. 图中两个大圆圈各自代表传送者(设计师)和接受者的经验领域. 也就是传诵者和接收者早已存有,并可提取的认知经验,中间部分是两者共同的认知经验. 除非设计师了解接受者已经存储的资料内容,

continuum hypothesis

连续统假设

Cohen)获得全球数学界最荣誉的菲尔兹(Fields)奖,他的贡献就在他以新的逻辑概念与工具,证明选择公设(Axiom of Choice)与连续统假设(Continuum Hypothesis)独立於集合论的其他公设.

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚