建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
互联网摘选
数字签名是实现网络身份认证、数据完整性保护和非否认服务的基础,也是开展电子商务和签订电子合同的重要工具,所以数字签名在现代密码系统中起着十分重要的作用。
互联网摘选
切削温度与刀具磨损 、 工件加工表面完整性及加工精度密切相关.
互联网摘选
Parts surface integrity after finishing and finishing tool design are introduced.
重点介绍精车后工件表面的完整性,以及精车时的刀具设计.
互联网摘选
由于存储在磁盘上的Git仓库格式是标准化的,因此EGit可以与命令行工具联合起来使用。
互联网摘选
作为一个技术预览版,EGit项目并不具备命令行工具git的全部特性。
互联网摘选
以VISUAL LISP为二次开发工具,对AutoCAD的圆弧绘制功能进行补充、完善。
互联网摘选
The table can be copied to an external tool such as Excel by using the Copy function.
表格可以通过使用Copy功能复制到一个外部工具,比如Excel。
互联网摘选
随着聚晶金刚石(PCD)刀具材料在切削铝合金上的广泛应用,本文根据活塞环槽的性能要求及铝合金的切削特点,确定了PCD槽刀几何角度,设计了PCD环槽成型刀具。
互联网摘选
应用Matlab工具函数lqr,得到最优控制器对应的反馈增益矩阵,由此实现求反馈矩阵及倒立摆控制的程序。
互联网摘选
Jazz不仅旨在集成现有的点工具(point tool),而且还旨在提供一个平台,在该平台上可以构建比以前更加集成的生命周期工具功能。
互联网摘选
并联机床是新一代的先进制造装备,如何扩大其使用功能、实现商品化工业应用是目前的一个实际问题。
互联网摘选
The action of mathematics on art has both the tool function and thinking's.
数学对艺术的作用,既有着工具的功能,又有思维的功能。
互联网摘选
为材料的去除工艺而成功设计的刀具,首先需求的是对工具功能和形状的彻底了解。
互联网摘选
HAIE-IMIS总体系统分析和系统设计的过程,是一种基于CASE工具Power Designer辅助的结构化方法,本文研究了HAIE-IMIS的业务模型、处理模型、数据模型的设计方法和技术。
互联网摘选
A different tool can be used for each area to store, manage, and analyze data.
每一个区域都可以使用不同的工具来存储,管理和分析数据。
互联网摘选
在Internet高速发展的信息时代,网络搜索引擎是人们快速获得信息的重要工具之一。
互联网摘选
