1.远程查询并公证 公司内部存在使用非正版授权情况（或者员工私自安装非正版授权软件），该行为被软件厂商使用远程查询技术进行探测，并进行公证。
1.确认律师函真伪 首先确定律师函的真伪，以防被骗。
强大的建模语言和高效的表达方式让 AMPL 成为运筹学建模软件的经典。
破片战斗部威力分析和目标防护软件FI-BLAST是采用北约军工材料数据库和工程算法开发的专用分析软件。从战斗部建模、点火爆炸、破片被爆轰驱动分离、空中飞散、直至击中目标、侵彻目标等完整过程，可以在数分钟时间内一气呵成。
破片战斗部威力分析和目标防护软件FI-BLAST是采用北约军工材料数据库和工程算法开发的专用分析软件。从战斗部建模、点火爆炸、破片被爆轰驱动分离、空中飞散、直至击中目标、侵彻目标等完整过程，可以在数分钟时间内一气呵成。
Maxima 是一款免费、开源的计算机代数系统，它提供了强大的数学符号计算能力。作为一种基于 Lisp 语言的工具，Maxima 能够进行高级的数字计算、数学函数绘图、符号运算、微积分、矩阵计算、概率统计等多样化的数学运算，可以帮助用户完成复杂的数学问题求解和数值计算，并且可以支持 LaTeX 格式的输入输出，方便用户在学术界和工业界中的使用。Maxima 还具有高度可扩展性、快速迭代和广泛应用的特点，是数学爱好者和专业人士的最佳选择。
支持视频智能分析、大数据流处理、函数服务等智能服务，就近提供实时边缘智能服务。提供边缘应用和serverless运行管理环境，简化应用开发、部署，根据业务需要快速部署边缘侧应用。边缘设备安全接入云端平台，应用数据安全上云。开放的数据接入能力，支持各种设备数据录入,支持业界标准接口。
Spartan是计算化学软件,Spartan既可以在单机上完成所有计算任务，同时也支持Client-Serve模式，能够通过网络向Linux服务器远程提交计算.
Sim V&Ver® MATH 数学模型仿真验证工具
Scientific WorkPlace 6使写作，共享和排版数学和科学文本比你想象的更容易。这是一个易于使用的文字处理器，在同一个环境中集成数学和文本。 Scientific WorkPlace 6中的嵌入式MuPAD5®计算机代数引擎允许用户在屏幕上执行计算，并以正确的格式打印出来。
Scientific WorkPlace 6使写作，共享和排版数学和科学文本比你想象的更容易。这是一个易于使用的文字处理器，在同一个环境中集成数学和文本。 Scientific WorkPlace 6中的嵌入式MuPAD5®计算机代数引擎允许用户在屏幕上执行计算，并以正确的格式打印出来。
GAUSS平台是一个专为数学和统计学设计的交互式环境，30多年来一直被主要机构的数据依赖领域的领导者使用。
HYDRUS是一个运行于Windows系统下的环境模拟软件，主要用于变量饱和多孔介质的水流和溶质运移。HYDRUS包括用于模拟变量饱和多孔介质下的水、热和多溶质运移的二维和三维有限元计算，包括一个参数优化算法，用于各种土壤的水压和溶质运移参数的逆向估计。该模型互动的图形界面，可进行数据前处理、结构化和非结构化的有限元网格生成以及结果的图形展示。
SPEED软件是基于多物质欧拉/拉格朗日算法、用于分析冲击波物理、瞬态冲击等动力学问题的显示程序，
桥涵水文计算在桥梁设计中占有重要的作用，无论是大中桥还是小桥涵都需要进行水文计算。但是桥涵水文计算中要采用大量的数据和公式，计算相当繁琐，设计中往往要花费大量的时间。西安方舟公司根据这些特点，经过细心筹备，精心开发，全面测试，完成了“方舟桥涵水文计算系统”。
Chemcraft包含一组便于量子化计算的图形工具。它提供了方便的实用程序，有助于准备新的工作来计算和分析计算结果。其主要功能是对量子化学包生成的输出文件的可视化。主要支持的软件包是Gamess（美国版本和PCGamess）和Gaussian94-09。
Chemcraft包含一组便于量子化计算的图形工具。它提供了方便的实用程序，有助于准备新的工作来计算和分析计算结果。其主要功能是对量子化学包生成的输出文件的可视化。主要支持的软件包是Gamess（美国版本和PCGamess）和Gaussian94-09。