1.
The graphic verification code research and implementation based on Servlet
基于Servlet的图形验证码研究与实现
2.
UML Model Verification and Test Based on Graph Transformation;
基于图形转换的UML模型验证与测试
3.
Authentication-based double images fractal watermarking model of vector maps
基于身份验证的矢量地图双图分形水印模型
4.
Design and Verification of Low Power and High Performance Graphics Controller;
低功耗高性能图形控制芯片的设计与验证
5.
SOC design and verification of mobile device 3D graphics accelerator platform
移动设备3D图形加速平台的SOC设计与验证
6.
Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule
基于DL-Safe规则的UML状态图形式化和一致性验证
7.
A concise mathematical model for hobbing non-circular gear is set up.
推导非圆齿轮滚切加工的最简数学模型并作图形仿真验证。
8.
drawing a figure satisfying certain conditions as part of solving a problem or proving a theorem.
画一个满足条件的图形来帮助解决问题或者验证定理。
9.
Implementing a Graphical User Interface for an Automated Proof Tool for Message-Passing Concurrent System;
一个并发传值系统自动验证工具的图形界面实现
10.
Application of Simulator Image Workstation in Making and Verification of Integrated Blocks
模拟定位机图像工作站在二维适形挡块制作和验证中的应用
11.
Raven Progressive Matrices Test
雷芬氏渐进图形测验
12.
Welsh Figure Preference Test
威尔逊图形偏好测验
13.
A proof that broken-wheel graphic arrangements are quadratic
破轮图所决定构形为二次构形的证明
14.
Dialectics with the Form of Metaphysics--Re-explain Plato′s Dialectics
“形而上学”形式的辩证法——柏拉图辩证法新探
15.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
16.
Specify whether the approval status for each route will be displayed as authentication stamps or in a graphical manner.
指定是将每个路由的批准状态显示为验证标记还是以图形方式显示。
17.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
18.
DISCUSSION ON THE FUNCTION OF GEOMETRIC FIGURE IN MATHEMATICAL ANALYSIS;
论几何图形在数学分析证明中的作用