随着用户和工具构建人员积累的经验越来越丰富,建模应用程序语义的技术越来越先进,对人为干预的需要也会越来越少。
互联网摘选
Petri网作为一种形式化的开发工具,具有严格的数学语义,可以方便的对系统进行分析和验证,以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
互联网摘选
数字签名是实现网络身份认证、数据完整性保护和非否认服务的基础,也是开展电子商务和签订电子合同的重要工具,所以数字签名在现代密码系统中起着十分重要的作用。
互联网摘选
切削温度与刀具磨损 、 工件加工表面完整性及加工精度密切相关.
互联网摘选
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.
数学对艺术的作用,既有着工具的功能,又有思维的功能。
互联网摘选
为材料的去除工艺而成功设计的刀具,首先需求的是对工具功能和形状的彻底了解。
互联网摘选
Ms Woo uses the art as a tool to show Chinese culture to people who know little about it.
吴女士以艺术为工具,向对中国文化知之甚少的人展示中国文化。
中考真题- 2015 陕西 阅读B
我们认为,权力本身既不是善的又不是恶的,它虽然是一种工具,但它在道德上却不是纯粹中性的,而是负载着某种道德使命的。
互联网摘选
HAIE-IMIS总体系统分析和系统设计的过程,是一种基于CASE工具Power Designer辅助的结构化方法,本文研究了HAIE-IMIS的业务模型、处理模型、数据模型的设计方法和技术。
互联网摘选
