基于ANSYS的结构设计优化

优化设计是工程界较为关注的领域,阐述了ANSYS软件设计优化程序的原理及具体设计步骤,针对两个实例分别采用GUI交互式和命令流式介绍ANSYS在具体结构优化设计中的实现方法。结果表明:基于ANSYS的合理结构设计能够在满足安全性的前提下节省材料。获得很大的经济效率。相对于交互式来说。采用ANSYS程序的命令输入整个优化文件并进行优化的方法是采用计算机解决工程实际问题的简单易行、快速可靠的方法。     

系统和谐度测度研究

通过系统和谐度构成的分析,建立了和谐度的测度体系。和谐度的测度指标分为构成和谐性、组织和谐性、内部环境和谐性、外部环境和谐性和总体和谐性。通过在理论上对各构成要素的敏感性分析,表明单因素或多因素的改进对和谐度是有影响的。利用和谐度分析矩阵构建和谐度测度方法,并结合企业实际对系统和谐度给与实证研究,验证单因素改进对系统和谐度有正向影响。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

典型模糊PID控制器的插值算法及参数优化

推导出了输入采用正规模糊集、三角形、全交迭的隶属度函数;推理输出采用PID形式的典型模糊PID控制器的插值解析表达式,揭示了其本质特征,为实际应用提供了一种快速精确的控制算法。基于该插值解析表达式,研究了利用遗传算法对这一类模糊控制器进行参数优化的方法。最后通过仿真实例验证了本文方法的有效性。     

微通道热沉的稳健优化设计

将田口稳健设计方法用于硅基微通道热沉的优化设计，建立了微通道热沉的简化性能分析模型，确定了影响其散热性能的关键参数，利用正交试验和信噪比分析实现了参数的稳健优化。利用外部监控程序对CAD和CAE软件的脚本进行动态修改，并且创建专门的进程来执行修改后的脚本，采用共享文件和延时的方法实现主进程、几何建模进程和性能分析进程的同步运行，实现了稳健设计过程的自动化。     

二氢杨梅素印迹聚合物的表面行为

应用前沿分析技术测定了二氢杨梅素印迹聚合物块的实验吸附等温线，并用Langmuir方程、Bi-Langmuir方程和Freundlich方程进行拟合，从最佳拟合求得了印迹聚合物的表面位点分布、吸附常数和饱和吸附量.测定了不同温度和不同流动相组成时分子印迹聚合物固定相的吸附等温线.结果表明：双朗格缪尔模型和福伦登里西模型均能给出较好的拟合效果.当20 ℃、四氢呋喃为流动相时，从Bi-Langmuir方程的最佳拟合参数得到第1类键合位点的键合常数和饱和吸附量分别为0.39 mL·mg^-1和133.23 mg·mL^-1，第2类键合位点的键合常数和饱和吸附量分别是135.07 mL·mg^-1和0.071 mg·mL^-1.     

江西高等职业教育发展趋势分析及对策

江西高等职业教育从八十年代初发展至今,取得了可喜的成绩,面对江西经济的高速发展,面对江西高等职业教育发展的新形势、新环境,及时明确江西高等职业教育的发展趋势,并采取相应的措施是非常有必要的.本文对江西省高等职业教育的发展趋势进行了分析,并提出相应的措施和对策,促进江西高等职业教育的发展.     

超大型弧形剪力墙、梁施工设计研究

介绍超大型弧形剪力墙、弧形梁的应力分析,结构设计,精确定位,模板设计,混凝土的浇筑等施工设计技术,确保工程的顺利完工。     

广西十万大山自然保护区药用植物所在科的重要度分析

本研究旨在确定广西十万大山自然保护区药用植物所在各科的重要程度,用回归残差分析法对保护区182科被子植物中各科的植物种数和药用植物种数之间的关系进行了分析,根据残差值将182科分成114个高利用科和68个低利用科。     

复杂杯形件温挤压成形工艺浅探

复杂杯形件的金属流动比较复杂。分析比较了这类零件成形的几种工艺方案,指出复合挤压具有工序少、制件尺寸精度高、模具结构简单、造价低的优点,并用美国MARK/Autoforge模拟了其温挤压过程,表明该工艺是合理可靠的。