一种素数域上的非超奇椭圆曲线构造方案

对基域为素数域的非超奇椭圆曲线进行了研究，给出了构造素域上具有特定素数阶的非超奇椭圆曲线的一种算法，分析了算法时间复杂度．     

桥梁健康监测中的损伤特征提取与异常诊断

针对桥梁健康监测的应用 ,提出了一种基于统计模式识别技术的结构异常诊断方法 .由正常结构实时监测动态响应形成状态判断的数据基 ,通过序列相似分析将未知状态结构的响应信号与正常结构数据基进行环境/运营条件归一化 ;然后根据动态参数模型残差分析提取结构损伤特征 ,进而通过统计分析进行结构异常诊断和损伤定位 .与基于模态频率变化的方法相比 ,该方法具有更高的损伤识别能力 ,并能较好地克服实测数据离散性和环境与运营条件影响带来的困难 .通过三跨连续梁的数值试验验证了该方法的有效性     

基于图像分析的实验模型变形场量测标点法

在模型观测面上 ,通过设置嵌入式彩色标点 ,在实验各阶段利用数码相机拍摄照片 ,然后应用数字图像处理技术 ,识别并比较每一实验阶段的标点坐标 ,利用有限元中常用的四边形等参变换的方法将测点图像空间坐标转换为模型空间坐标 ,实现了图像校准和变形计算 .开发了一套应用软件系统 ,用于数字图像标点识别分析和结果数据的可视化处理 ,精度检验实验结果表明测点位移识别均方误差为 0 .14～ 0 .5 2个像素 ,相当于模型观测范围的 5 / 10 0 0 0 0～ 1.5 / 10 0 0 0 .最后给出一个在粘土地基承载力模型实验中的应用实例     

基于项目计划与协调的网络联盟制造系统

网络联盟制造作为一种新的制造模式 ,引起了企业界和学术界的广泛关注 .故从基于项目计划与协调的网络联盟制造系统的主要思想和重要特征出发 ,推导出基于项目计划与协调的网络联盟制造系统的概念模型和信息模型 ;通过已开发的原型系统 ,验证其可行性和先进性     

钢闸门结构时变刚度模型及其可靠度评估

基于可靠性原理，建立了水工钢闸门结构正常使用极限状态刚度可靠度分析的极限状态方程，提出了钢闸门结构刚度可靠度分析的3种计算模式．对影响钢闸门结构构件刚度衰减的主要因素——钢材锈蚀进行了统计分析，得到了锈蚀规律，并进一步分析得到了闸门构件刚度的衰减模型．以受弯构件为例，采用JC法对其刚度可靠指标进行了计算分析．结果表明，其刚度可靠指标满足结构可靠性总原则的要求，且露顶门的刚度可靠指标大于潜孔门的刚度可靠指标，从而初步确定了现行水工钢闸门设计规范正常使用极限状态的刚度目标可靠指标。     

吊舱对螺旋桨水动力性能的影响

基于单桨式吊舱推进器定常水动力性能的理论计算方法及试验，探讨了吊舱对螺旋桨水动力性能的影响。性能理论计算中螺旋桨采用升力面理论涡格法，吊舱采用面元法，对螺旋桨与吊舱的相互影响进行了时间平均及迭代处理。通过计算分析了吊舱对桨叶载荷分布的影响，以及吊舱引起的伴流分布特性。     

不同增长趋势下中长期电量预测组合优化灰色模型

针对中长期电量预测中时间跨度大、电力需求增长不确定的特性，根据不同时期的增长率，运用灰色理论进行优化分段预测，同时引入组合模型的概念，建立了以残差平方和最小为目标函数的组合优化模型，并运用二次规划法求解，算例证明，该方法能得到较高精度。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

牙列缺损修复的多媒体仿真系统设计

利用计算机三维重建技术和多媒体技术开发了用于口腔修复临床及教学的多媒体仿真系统.在PowerSHAPE中制作牙列缺损及修复的三维几何模型库,适当处理后调入ANSYS5.5中制作相应的有限元模型库,再把有关的素材(模型、文字、声音、动画等)经Visual Basic 6.0编程和Camtasia Recorder处理并按一定的形式编辑组织.该系统具有教学演示功能和临床辅助功能,将临床常见的牙列缺损及修复的单元体进行三维形象化、具体化,有助于学生的理解和修复科医生制定手术方案.     

基于云理论神经网络决策树的生成算法

提出了一种基于五层云神经网络的决策树生成方法.运用五层云神经网络学习变量间的云映射关系,从中生成云决策树.给出了神经网络的学习算法和云决策树的推理方法,这种方法不但具有神经网络的学习能力,而且结合云理论处理知识的不确定性的能力.该方法利用了五层云神经网络学习后的云映射强度,并能实现云决策树的剪枝优化,提高了算法的正确率.