适用于Ad hoc网络的EIGamal型门限数字签名方案

现有ElGamal型门限数字签名方案在签名前签名各方需要协商生成一个随机数,该过程计算量与通信量比较大,不能满足Ad hoc网络的需求.将组合公钥的思想引入到ElGamal型门限数字签名的随机数生成中,为Ad hoc网络提出一种门限数字签名的改进方案.方案由密钥初始化和门限签名两部分组成.密钥初始化时,签名各方使用分布式密钥生成协议协商出系统公/私钥对和一个随机数矩阵,每个节点掌握部分私钥和部分随机数矩阵;门限签名时,每个签名方使用相同的算法在掌握的部分随机数矩阵中选择随机数进行部分签名;最后将部分签名合成整体签名.对提出的方案在随机预言(RO, Random Oracle)模型中进行了安全性证明.实用性分析表明:方案计算复杂度低,交互次数少,通信量小,有很好的执行效率与签名成功率.     

灰色灾变预测模型及其应用

灰色系统是信息不完全系统,不少论文提出了"灰数"、"灰平面"、"灰色统计"等一系列全新概念,为不确定性,信息不完全的数的研究提供了一种新的分析处理方法.灰色方法即是对一些离散的原始数据采用累加生成及其逆进行处理,使之转化为适合用微分方程等方法来建模的有序数列的新方法.本文使用双向差分方法建立了一种灾变预测的灰色预测模型,并对某地区历年来的旱、涝灾数据进行灰色处理,进一步预测到旱、涝灾情将再发生的时间.最后分析了灰色预测模型的拟合精度.     

GRECO建模在VC++4.0中的实现机制

GRECO(Graphical Electromagnetic Computing)技术是目前分析高频区复杂目标雷达散射截面(RCS)最有效方法之一.对复杂目标而言,应用GRECO方法的一个重要工作就是对目标的几何造型进行准确地建模,才能获得令人满意的结果.文中结合C-R样条建模理论,阐述了在Windows NT环境下利用VC+ +4.0与OpenGL为GRECO方法进行建模的机制.以标准体与复杂目标为实例,给出了与实验结果符合良好的RCS曲线,具有工程实用价值.      

柔性机器人动力学建模的一种方法

提出一种建立具有柔性关节的多柔杆机器人动力学方程的方法.首先给出了柔性关节及柔性臂杆的简化模型,然后利用Kane方法和假设模态法推导出完整的动力学方程并给出了递推公式.在此基础上利用一个算例研究了臂杆柔性与关节柔性对机器人动力学响应的影响.结果表明:所建立的动力学模型更接近于实际的柔性机器人系统;臂杆柔性与关节柔性都起着非常重要的作用,因此在柔性机器人的动力学建模与控制中应充分考虑它们的影响.      

开环FOG中PZT调制器的在线研究

从理论上分析了PZT(压电型)光纤相位调制器在开环FOG(光纤陀螺)中的应用特点,研究了它的调制系数和调制相位延迟变化对开环FOG性能的影响;并设计了两种独立的在线测试方法对它们进行了温度特性研究,利用所得数据,用最小二乘多项式拟合的方法分别得到了它们的温度模型.研究表明,在实验温度范围内,开环FOG的相位调制系数K_GP随温度呈线性变化,而调制相位延迟α随温度呈二次的变化.      

Jobshop问题中动画仿真模型的自动生成系统

对于给定目标,仿真过程可大致分为仿真建模,程序实现,仿真结果的统计分析三大部分,其中仿真建模是最基础的,关系整个仿真成败的环节,如果能够在仿真模型完成后自动生成相应的仿真程序,不中大大减少了工作量,还可使工作者集中精力于仿真建模,使模型更准确,更优化,本文以Ｊｏｂｓｈｏｐ问题为例,给出了一中基于ＳＩＭＡＮ／ＣＩＮＥＭＡ软件的动画仿真程序自动生成系统,但该系统整体设计思想并不局限于ＳＩＭＡＮ／ＣＩＮ     

基于SSI模型的加速应力试验定量评估方法

为了解决传统应力-强度干涉模型(SSI,Stress-Strength Interference)不能对加速应力试验(AST,Accelerated Stress Testing)进行可靠性指标随时间变化的定量评估问题,针对应力和强度均引入了随机过程进行描述.首先假设了产品强度退化过程和应力变化分别为漂移布朗运动和对称布朗运动.其次,为了解决Basu的布朗运动SSI模型在零时刻可靠度为1的问题,从工程角度,假设产品设计制造过程与试验或使用过程相互独立,提出了产品可靠性是设计生产决定的固有可靠性以及试验使用过程确定的使用可靠性的串联结果.通过将传统应力强度干涉模型结合Basu的布朗运动SSI模型,建立了与时间相关的应力强度干涉模型IMSDⅠ,并给出了相关评估方法.基于将加速应力试验与加速退化试验相结合,改进了已有的AST试验方法,扩大了试验数据量,最后,通过仿真算例验证了本文模型和评估方法的理论正确性和工程可实施性.      

计算机网络防御策略模型

目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性.      

统一硬化模型在复杂加载条件下的应用

超固结土模型是能够描述土的剪缩、剪胀、硬化、软化和应力路径依赖性等特性的简单、实用的模型,与剑桥模型相比,仅增加了一个材料参数(Hvorslev面斜率).采用基于SMP(Specialy Mobilized Plane)强度准则的变换应力方法对模型实现了三维化.在模型中应用加卸载准则来反映复杂加载条件下土体的应力应变特性,模拟了随着循环次数的增加,土体会逐渐变硬,剪切模量逐渐增大、孔隙比减小、超固结程度不断增大等趋势.由循环加载以及真三轴试验数据和预测结果的基本吻合表明了模型能够合理地反映复杂加载条件下土的变形特性.      

粘弹性蜻蜓型翼挥拍的流固耦合求解途径初探

昆虫翼挥拍时的动态变形与受到的惯性力和气动力是相互影响的,这是一个复杂的流固耦合过程,本文利用简化的非定常气动力估算方法、简化的昆虫翼结构模型和简化的拍动方式,对该问题的耦合求解途径做了初次探索.首先,在比较了昆虫翼拍动中受到的惯性力和气动力大小的基础上,阐明了耦合求解蜻蜓翼变形过程的必要性.其次,提出一个迭代求解该耦合问题的简化方案,并利用有限元数值模拟了粘弹性蜻蜓模型翼绕定轴往复挥拍的变形过程,比较了耦合气动力前后的模型翼变形,并初步分析了能耗变化.