二阶椭圆型方程边值问题的变分原理研究

利用变分法研究了二阶椭圆型方程混合边值问题的变分原理,论证了最小位能原理和虚功原理.在古典解的条件下,边值问题、变分问题和变分方程是等价的;但变分问题和变分方程还存在边值问题的广义解.文章最后利用变分原理和分片多项式插值相结合的有限元法,给出了一个典型算例.     

三元整体叶轮曲面造型及其计算机辅助制造技术

针对一种三元整体叶轮,采用B样条方法对叶片中性面上顶部和根部的两组数据点进行了插值曲线的反算,进而构造出直纹面形式的叶片中性面和叶片曲面;研究了在五坐标机床上采用球头棒铣刀侧铣加工叶轮时的刀位计算方法,给出了在UG(unigraphics)环境下的叶轮曲面建模方法及其数控加工仿真步骤．研究表明将理论分析与几何仿真相结合,可以暴露问题。显著缩短研究时间,是复杂曲面设计与数控加工刀位验证的有效途径。     

加权模糊Petri网的正向推理算法

通过引入补弧,使加权模糊Petri网能够处理含有非命题的规则.提出一种建立在加权模糊Petri网模型上的形式化正向推理算法,将加权模糊Petri网与矩阵运算结合,通过矩阵运算来实现推理.     

专用异步电动机电磁设计软件的数值计算方法

介绍了拖动专用流体机械异步电动机电磁设计软件研究与应用的曲线与图表的数据处理、软件的程序框图以及样机型式试验的结果等技术问题。重点给出了电磁设计四个迭代的处理方法。     

基于Linux PC集群负载均衡的研究与实现

主要研究在服务器集群实现负载均衡的方案，提出一种优化的方案——环行应答，并详细介绍了它的实现细节．此方案是在一个基于Linux的PC集群，通过修改Linux内核中的TCP／IP协议栈得以实现的．     

基于3DCM的城市覆盖面模拟及建筑物空间插值方法

以城市为单元模拟建立城市大气覆盖面模型，以小区为单元研究风环境与空气环境．获取城市建筑物空间坐标，利用二次曲面方程建立城市覆盖面模型，以新增建筑物为研究对象，对其空间位置进行插值分析，将其纳入城市小区建筑群构成新的小区环境，籍此对其进行风环境的实验分析，模拟建筑物的尺度、间距、空间组合与朝向定位等参数，辅助城市小区风环境规划与优化。     

三自由度Delta并联机器人运动学分析及工作空间求解

通过对三自由度Delta机器人机构的分析,建立了运动学模型.基于动平台与固定平台之间的矢量关系,推导出该机器人的运动学方程,进一步得到位置反解的计算公式;同时给出了正解的数值解法,并结合算例验证了推导的正确性.利用运动学反解方程,提出了一种工作空间的求法.     

大跨度空间网格结构风荷载数值模拟方法

根据谐波叠加法和线性滤波法的基本原理,采用MATLAB语言编写程序分别实现了常规谐波叠加法及其改进的快速傅里叶变换算法和插值算法以及线性滤波法的自回归法对大跨度空间网格结构风速时程的数值模拟,并模拟了2个工程实例的风速时程.结果表明:对于大跨度空间网格结构,不同风速时程模拟方法计算效率从高到低的顺序依次为快速傅里叶变换算法、插值算法、自回归法和常规谐波叠加法,计算精度从高到低的顺序依次为常规谐波叠加法、快速傅里叶变换算法、自回归法和插值算法.综合考虑计算效率和计算精度,快速傅里叶变换算法最适合应用于大跨度空间网格结构的风速模拟.     

前向动力方程在外区域问题的解对模型的连续依赖性

研究不适定前向动力问题中的连续依赖性,对Frandchi&Strangha等人在有界区域内连续依赖性的结论加以推广,证明了前向动力方程在外区域问题的解对模型的连续依赖性.     

A New Forward-Secure Authenticated Encryption Scheme with Message Linkages

Yoon and Yoo recently proposed a robust authenticated encryption scheme and claimed their scheme has the properties of forward secrecy and confidentiality. The current paper, however, points out that Yoon-Yoo＇s scheme also can not provide forward secrecy and confidentiality such that any adversary can easily recover the transferred message. Based on intractability of reversing the one-way hash function and discrete logarithm problem, an improved authenticated encryption scheme with messages linkage is proposed. The above security faults get solved perfectly. The new scheme is proven to satisfy all the basic security requirements of the authenticated encryption scheme. And by the concrete comparison, it has the similar efficiency of the original scheme.