常微模型平衡态制图定性规则及应用

根据平面Ｃ￣２－动态系统平衡态的几何定性［１］新法作出了一组定理，制定了常微模型平衡态制图定性规则．并以广义Ｌｏｔｋａ－Ｖｏｌｔｅｒｒａ推广模型的一个特殊例子，阐明应用该规则可以简化非线性常微模型平衡态局部定性的经典计算方法，具有广泛的实用性．     

阀门局部水头损失系数计算机方法

在一定的假设条件下,提出了阀门假设离散性计算模型,然后根据圆管突然扩大或缩小局部水头损失系数的处理方法,对阀门开启或关闭时水头损失系数作了初步分析．得到了计算阀门局部水头损失系数的简单计算公式。为便于计算机编程,对阀门开度随时间的变化关系方式进行了相应的处理。     

工程制图虚拟模型库的计算机辅助制图设计与应用

本文在对工程制图虚拟模型库的计算机辅助制图设计与应用展开研究的过程中,首先对软件平台的应用进行了简要介绍,并分别展开了系统设计和实际应用的探讨,希望对我国相关领域的发展起到促进作用。     

无滑移的两相流模型的局部适定性

研究无滑移的两相流模型的解在Sobolev空间■中的局部适定性。首先,运用经典的能量方法得出无滑移的两相流模型的解关于时间的一个先验估计;然后,采用标准近似方法得到解的存在性;最后,通过能量估计证明解的唯一性以及解对初值的连续依赖性。     

基于二维多规则云模型定性推理的场地分类方法

针对场地土及其分类的模糊性和随机性特征,建立了基于二维多规则云模型定性推理的场地分类方法,实现了场地分类边界不确定性划分.设计了场地分类的二维多规则定性推理生成器,将其应用于场地类别和特征周期的识别过程中,实现了场地分类和特征周期的连续化,克服了在分类边界处易出现类别跳跃等不合理现象,基本实现了现行建(构)筑物抗震规范在场地分类方面的统一.最后利用该方法对74个实例进行分析,场地分类的正确率达到97.3%,表明了该方法是可行的、有效的.     

含有定性因素的相对效率分析改进模型及应用

指出了CKS DEA模型存在常常将很多决策单元评价为效率单元的问题。采用两层价值位置嵌套排序对CKS DEA模型依赖的价值排序结构给予了改进 ,并基于该嵌套排序结构提出了CKS DEA模型的改进模型。在高新技术企业效率评价方面的实际应用表明 ,改进的CKS DEA模型能够较有效地克服原模型效率评价分辨率较差问题。     

多线程编程模型的研究与应用

在同步机制的基础上,结合局域网内网审计系统项目的实际开发经验,总结了流水线模型、对等工作组模型、客户端/服务器模型、主从架构模型和其它模型等共5种常见多线程编程模型,并介绍如何将这些模型运用到局域网内网安全审计系统中.     

基于GEP的微分方程模型在高速公路通行费预测中的应用

针对高速公路通行费数据存在波动变化明显的特点,采用常微分方程模型对数据进行拟合,并对未来的通行费收入数据进行预测。利用GEP算法来建立微分方程模型,该算法将数据映射到高维空间,并通过映射数据构建常微分方程模型,使用数值方法进行求解,最后针对我国高速公路节假日限免政策对通行费收入的波动影响进行修正。选取浙江省金丽温高速公路有限公司等15家公司2016年的通行费数据进行验证,并与BP神经网络模型、ARIMA模型进行对比分析,结果表明文中方法具有更高的预测精度。     

对Runge—Kutta模型传统应用方法的改进及计算机验证

本文提出的改进型Ｒｕｎｇｅ－Ｋｕｔｔａ模型应用方法，不仅能够满足对计算精度的要求，而且更重要的是可以大大地提高计算速度 。     

回转式制冷压缩机计算机辅助教学软件的开发及应用

在分析了制冷剂热力性质,建立了回转式压缩机数学模型的基础上,采用了面向对象的Ｗｉｎｄｏｗｓ编程技术,成功地开发了回转式压缩机计算机辅助教学软件．该软件具有动画演示、热动力计算、设计计算等主要功能,且能方便地查取常用制冷剂的热力性质,是一套集完整性、生动性、实用性于一体的现代化计算机辅助教学软件．本软件已在制冷专业本科生的课堂教学和课程设计中投入使用,收到了良好的教学效果．另外,本软件还可以适用于从事制冷技术专业人员的专业设计、热力性质查询和专业技术人员的培训．     

一种基于逻辑编程的防火墙规则形式化分析方法

防火墙作为网络安全体系的基础和核心控制设备,其作用的发挥取决于防火墙规则的正确配置.由于防火墙规则配置的复杂性,导致规则间可能存在冲突,使其不能满足安全目标.文章提出一种基于逻辑编程的防火墙规则形式化分析方法,将安全目标与防火墙规则转换为逻辑程序后加载到推理引擎,制订一系列推理规则,通过提出高级查询进行防火墙规则的冲突检测和正确性验证,并对分析结果进行解释.     

高级语言与AutoCAD间接口程序设计

阐明了ＡｕｔｏＣＡＤ与高级计算机语言之间接口程序的设计原理及其应用,借助于图形交换文件（ＤＸＦ）,实现了ＦＯＲＴＲＡＮ应用程序与ＡｕｔｏＣＡＤ之间的数据传输．     

一类二阶差分方程渐近稳定性质的证明

根据条件的不同,得到二阶有理差分方程的不同定理,讨论了不同条件下平衡解x-是否为局部渐近稳定、全局渐近稳定、整体吸引子,并给出了与文献[1](Kulenovic M R S,Ladas G.Dynamics of Second Order Rational Difference Equations.Washington:Chap ManHall,2000:93-101.)不同的证明方法.     

力法计算机方法的实现

根据力法解题步骤，采用人机对话选基本结构；将结构分类求支座反力；寻找规律计算单元内力；用单元端点内力表示的统一公式求系数、自由项等办法对计算过程进行改进，实现了程序的编制．文末给出了按本文方法所编程序的算例．     

线性常微分扰动方程的级数解空间分析

用无限阶矩阵研究线性常微分扰动方程的幂级数解空间,发现加入非奇异扰动项后它的维数增加,但幂级数解的收敛半径一般不与扰动系数ε一起趋向零;并找到幂级数解的系数ε变化不大的一类奇异扰动方程。     

一类高维微生物种群数学模型的定性分析

对于高维微生物种群生态模型,如果能掌握其性态,对研究复杂的生物代谢过程有着重要的意义.文中运用常微分方程相空间定性理论对一类八维微生物数学模型进行了讨论,判定了平衡点的类型及其稳定性,得到了正平衡点的存在及成为O^＋吸引子的条件,还讨论了系统Hopf分支的存在性.在某些条件下,这四种微生物菌群在达到一定的数量时能够持续的共存.     

一类高维微生物种群数学模型的定性分析

对于高维微生物种群生态模型,如果能掌握其性态,对研究复杂的生物代谢过程有着重要的意义。文中运用常微分方程相空间定性理论对一类八维微生物数学模型进行了讨论,判定了平衡点的类型及其稳定性,得到了正平衡点的存在及成为O+吸引子的条件,还讨论了系统Hop f分支的存在性。在某些条件下,这四种微生物菌群在达到一定的数量时能够持续的共存。     

转向蜗杆的等间距法编程

为变螺距，变直径的向蜗杆在加工中心上的加工提供了一种实可行的编程方法和加工程序，为提高进口零件的国产化率作了贡献，具有普遍的推广价值。     

一阶常微分方程泰勒级数解法的计算机实现

本文在微分运算精确解算法的基础上提出的计算公式和算法,使一阶常微分方程的泰勒级数解法得以在计算机上实现,为求解一阶常微分方程提供了一种新的比较可靠的数值方法。文中还给出了几个例子,把泰勒级数解法与龙格-库塔法的解题结果进行了比较。