一种自动化模型检测ANSI-C程序的实用方法

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。为了利用模型检测技术,通常的办法是手工构建一个抽象模型,然而这个方法存在一些不足,如成本过高、易引入建模错误等。本文提出了一种自动化模型检测ANSI-C程序的方法,并开发了模型提取工具C2Spin,它能够分析ANSI-C源代码,并生成对应的PROMELA验证模型,从而显著降低了建模的开销。利用C2Spin,模型检测工具SPIN可以自动地检测使用C语言编写的应用程序中的多种错误,如死锁等。在初步实验中,依靠C2Spin生成的模型,我们发现了SPIN4.3.0的一个语义错误,以及Holzmann对两个经典互斥算法的实现程序中的活锁错误。这些结果表明,C2Spin能够帮助人们更加快速有效地测试C程序。

基于ANSYS与C#的圆管带式输送机桁架结构参数化有限元分析系统

利用C#编程语言及ANSYS APDL的封装技术开发一套圆管带式输送机桁架参数化有限元分析系统。在可视化人机交互界面输入相关参数后,系统后台自动调用ANSYS软件实现桁架结构的参数化建模及有限元分析。该系统极大地简化了桁架的计算过程,减少了设计人员的工作量,提高了桁架结构分析的准确性。

基于ANSYS的刮板输送机C形槽结构研究

针对刮板输送机中部槽中板更换、维修周期长的问题,提出新型C形槽中部槽结构。以SGZ1000/1400型刮板输送机为例,采用ANSYS数值模拟软件对刮板输送机C形槽中部槽进行受力模拟分析,验证该结构在额定工况下使用的可靠性,并对薄弱部位提出相应改进方案。

混合编程法及其在绝缘子电场和电位分析中的应用

室温硫化硅橡胶防污闪涂料在电力系统外绝缘中有着广泛的应用,有必要分析它对电场和电位分布的影响。分析不同厚度情况下硅橡胶涂层的电阻率和相对介电常数对绝缘子附近最大强场、沿面电场和电位的影响。采用Matlab与ANSYS混合编程的方法实现了绝缘子的自动建模,采用C++Builder(BCB)与ANSYS混合编程的方法实现了自动导出lis文件,节省了工作量和后续处理时间,同时使用Matlab对lis文件处理获得沿面的场强和电位。研究结果表明:瓷支柱绝缘子喷涂硅橡胶后无论是最大场强还是局部细节场强均未见明显变化;随涂层厚度、相对介电常数增加最大场强略有减少,但变化程度非常小,沿面平均场强略有增加;随电阻率的变化最大场强和沿面平均场强基本不变。电阻率、介电常数和厚度正常的取值范围内时硅橡胶涂层对绝缘子及附近电场畸变造成的影响可以忽略。

C语言中的数据类型

数据类型是 C语言中的一个既简单又基本的问题 ,如果我们对它没有充分的理解 ,往往会导致一些莫名其妙的错误 .本文简要介绍 ANSI C推荐的数据类型处理方法 ,并结合 Turbo

基于CAE技术的C型弹簧管优化设计

利用计算机辅助工程分析软件ANSYS5.7中的优化设计技术,对某型号压力仪表的C型弹簧管进行了优化设计,阐述了计算机辅助工程分析与设计的应用过程和特点。优化设计结果表明利用CAE技术能较好地解决传统设计方法中存在的问题,对于提高弹簧管等弹性元件的设计水平具有重要的影响。

基于Visual C++和APDL实现渐开线齿轮参数化建模

利用ANSYS的样条曲线(B-Splines)功能和APDL参数设计语言生成公式、曲线,并借助Visual C + +集成开发环境,实现齿轮的参数化建模,为解决通用程序和专业需要之间的矛盾提供了一种新方法和新途径。

基于C#.NET的ANSYS二次开发优化设计技术及应用

采用C#.NET语言、.NET Framework技术、ANSYS二次开发接口技术、ANSYS优化分析技术、ANSYS数据库、文件系统数据库访问封装技术和ANSYS二次开发的专用系统集成技术实现了ANSYS优化分析技术的二次开发。通过压力容器优化分析设计实例也印证了该技术与方法的可行性,为有限元优化设计在复杂结构的深入研究提供了一个高效的研究应用平台。

虚拟仪器的软件开发

用ＬａｂＷｉｎｄｏｗｓ／ＣＶＩ针对不同硬件平台开发了几套虚拟仪器。通过ＣＶＩ的实际应用来阐述用该平台开发虚拟仪器的软件开发过程和在此过程中所运用的ＣＶＩ中的高级编程技术。

C/S模式下应用C及VBScript语言实现WinCC组态加密

综合运用ANSI-C和VBScript语言编制加密程序,实现了执行动作的授权化、组态环境和运行环境的分离以及运行环境的安全退出等功能。设置W inCC组态参数,实现了工程脚本的加密、W indows热键的屏蔽以及运行窗口关闭等常规按钮的消隐。

高速列车车轮强度快速评价系统研制

为提高高速列车车轮优化设计过程中车轮强度评价的效率,开发了高速列车车轮强度快速评价系统.基于数据库的车轮设计参数,利用ANSYS二次开发技术在ANSYS环境中驱动车轮三维模型的自动重建,以期望的网格密度,完成车轮模型的网格划分,继而按照车轮强度评价标准规定的工况,自动生成相应的强度分析前处理模型.调用ANSYS求解器完成强度仿真分析,最后进行数据后处理得到评价结论.以某型动车组车轮为例,通过人工计算与本文自动计算的结果对比,验证所开发系统的可靠性.

用VisualC++与ANSYS实现螺旋结构参数化建模

基于ANSYS有限元分析软件,利用其内部开发工具APDL,并借助VisualC++集成开发环境,实现螺旋结构的参数化建模,提高了此类模型的建模效率,并为类似问题的解决提供了一条新途径。

滚动轴承参数化建模与数值分析系统的研发

滚动轴承是广泛应用的机械支承零件,滚动轴承的日益多样化及其结构、尺寸、公差等为设计者建模时带来大量繁重的工作。为了提高滚动轴承的设计效率,运用Visual C++与ANSYS软件的APDL技术,开发独立软件分析系统。系统通过外部操作有限元分析软件ANSYS批处理模式,完整实现了滚动轴承的参数化建模、设置材料属性、施加边界条件与分析的全过程,能极大地提高滚动轴承的设计效率与质量。文中简述系统基本架构设计、系统的基本功能、系统功能实现。并针对型号为B7008的轴承为例,验证系统的可行性与可靠性。

混凝土K&C模型材料参数分析与模拟

混凝土K&C模型材料参数一般取国外文献中的原始数值,没有根据混凝土强度等级和单元尺寸的不同而作相应的调整.根据相关的试验研究成果,提出了一种确定K&C模型强度参数值的方法,并阐述了K&C模型损伤参数值的调整方法,使得数值计算结果更加合理.运用有限元显式动力分析软件ANSYS/LSDYNA,采用流固耦合方法模拟爆炸荷载作用下钢筋混凝土板的动态响应,混凝土K&C模型取本文确定的参数值,计算结果与试验结果吻合较好,从而验证了K&C模型材料参数取值的正确性.

ANSYS环境下柴油机螺旋气道的参数化建模

基于ANSYS有限元分析软件,通过确定螺旋气道的主要设计参数,并借助Visual C++集成开发环境,实现柴油机螺旋气道的参数化建模,提高了柴油机螺旋气道的建模效率,并为柴油机螺旋气道的设计提供了一条新途径。

NI宣布推出最新版LabWindows/CVI7.0新的集成式工作平台(Workspnce),代码生成I/O以及DAQ Assistants(助手)简化了ANSIC的开发

2003年8月14日NI宣布推出NI LabWindows/CVI 7.0版,这是NI的ANSIC测试测量开发环境LabWindows/CVI 15年来最重要的一次升级。LabWindows/CVI 7.0的引人注目之处在于其完全集成的工作平台(Workspace)、可生成代码的硬件配置助手以及经重新设计的数据采集界面。

基于C-SOI工艺的一维MEMS电容式超声传感器阵列

提出了一种新的基于C-SOI工艺制备的电容式微加工超声传感器(CMUT)的方法。通过对加工过程中一些关键工艺步骤进行测试,发现所加工的微传感器尺寸与设计尺寸基本一致,且刻蚀的空腔高度均匀,键合效果良好,证明了工艺流程的可行性。此外,通过对所加工的传感器阵列进行测试发现,各阵元谐振频率和静态电容具有良好的一致性,说明以C-SOI工艺加工的CMUT器件满足设计要求,且适宜加工大阵列,这种加工技术使得加工成像阵列成为可能。

基于ANSYS平台开发的高效率行波管振动特性分析系统

基于ANSYS提供的二次开发工具APDL和ANSYS提供的接口,利用可视化编程语言Visual C++开发了高效率的行波管振动特性分析系统。通过系统的友好界面,实现行波管结构、材料的参数传递、调用ANSYS在后台进行分析计算,最后提取结果。通过反复修改系统中设置的行波管振动特性关键参数,完成行波管的抗振可靠性分析,从而大大减少分析的工作量,为优化设计提供便利的途径。

基于数据文件的ANSYS二次开发

以数据文件为接口,在ANSYS中调用C++语言编制的可执行程序,将C++的强大字符操作功能和数据处理功能与ANSYS有机结合起来,实现ANSYS的二次开发,方便而有效地解决ANSYS中Beam188和Beam189单元施加初始残余应力困难的问题。

用ANSYS进行多臂机C形杆的应力应变分析

采用ANSYS 5.4有限元程序对多臂机C形杆进行静态应力应变分析,从而达到校核C形杆零件强度、进一步优化其结构形状的目的。