复杂应力状态下人工冻土蠕变数值模拟

根据试验确定的人工冻土单轴蠕变数学模型及其参数，引入经典弹塑性力学理论，将空间域和时间域进行离散化，提出了以时间增量法为基础的复杂应力状态下人工冻土蠕变有限元数值模拟计算公式，依照此计算方法运用ANSYS程序对陈四楼煤矿主井-304米水平冻结壁蠕变位移进行模拟计算，结果表明，数值模拟方法可以揭示冻土壁变形规律并检验蠕变本构关系的正确性，为今后人工冻土蠕变计算提供了一种实用方法。     

平图的transition多项式的Maple计算

将现有的计算方法改进得到了一种新的计算平图的transition多项式的方法。算法使用了圈置换的方法计算每个transition操作所产生的欧拉圈的数目。利用Maple软件编写出了该算法的程序,通过这个程序,可以实现任意一个平图的transition多项式的计算。     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

CATIA在逆向工程技术中的应用

简要介绍逆向工程技术的基本特点和工作步骤，以及CATIA曲面造型技术的主要功能，结合车门实例探讨了CATIA曲面造型的方法在逆向工程中的应用一般思路。研究表明，CATIA应用于产品设计中能显著提高产品的研发效率。     

MPEG-2节目流到数字电视传输流的转换系统

为了给数字电视广播提供丰富的节目源，作者研究并实现了一个从MPEG-2节目流到数字电视传输流的转换系统．文中首先介绍了MPEG-2节目流和数字电视广播所使用的传输流的结构，在此基础上提出了具体的转换系统实现方案，并对其中涉及的一些关键技术作了详细的讨论．实时播放分析和离线分析的结果都表明，本系统可以正确、稳定地实现码流的转换．     

对虚拟凸轮机构应用于旋耕机刀轴疲劳试验的探讨

在对旋耕机刀轴的快速模拟疲劳试验中,常采用直动滚轮盘形凸轮机构对刀轴施加弯曲载荷,针对传统凸轮机构存在轮廓曲线加工制造困难,精度难以保证,长时间使用后因磨损而使从动件运动失真,且一个凸轮机构只能实现一种预定运动规律而无法根据需要改变等缺陷,采用单片机控制步进电机的运动来虚拟凸轮机构从动件的运动规律,利用单片机的编程功能实现虚拟凸轮机构模拟刀轴的实际受载情况.这种虚拟凸轮机构能方便地实现电信号控制,稳定性好,可靠性高,具有很好的实用价值.     

多组分烃类混合物机械密封性能参数计算

介绍了多组分烃类混合物的密度、汽液相平衡常数等热力学物性及粘度、导热系数等热物性的计算方法，以平行端面机械密封为模型，给出了多组分烃类混合物密封性能参数计算程序的编制方法和使用方法，对不同组成的多组分烃类混合物，给出了膜压系数和端面温度间的关系曲线。理论计算结果和现场实测结果吻合很好，证明文中所给方法及程序的可靠性，该计算方法可供机械密封设计部门使用。     

液压支架的自动控制及其发展前景

液压支架自动控制,对于提高综合机械化采煤工作面的自动化程度有着重要意义,是液压支架控制系统的发展方向。本文对液压支架自动控制原理和控制方式进行了论述,对在我国发展该项技术的必要性和发展前景也提出了看法。     

基于Maple的原根及本原多项式的计算

在数论中,求解整数的原根和多项式的本原多项式是比较复杂的问题.本文应用Maple数学软件给出了求解它们的通用程序,大大的简化了此类问题的计算.例证表明Maple在计算原根和本原多项式的有效性.     

使用Mathcad对步进电机快速启动和停止运动控制的分析

步进电机由于应用场合的不同,其建模的方法有所不同。针对大转动惯量负载的快速启动和停止的运动控制,从步进电机模型入手,通过简化Leenhouts电路模型、引入驱动电路模型和动力学方程,建立了步进电机开环单节拍运动控制的分析方法。利用数学工具Mathcad实现建模,分析计算已知条件下电机运动控制的开环控制时间节拍,并给出了电磁转矩、角加速度、角速度和机械角度的仿真曲线。