摘要：嵌入式系统设计过程中软件与硬件集成验证的滞后,已成为制约整个系统开发进程的重要因素.虚拟微处理器是指在嵌入式系统硬件原型形成之前构造的可仿真原型,通过对微处理器的仿真支持软件嵌入式软件开发.介绍了基于虚拟微处理器技术的嵌入式软件开发环境的设计和实现,利用该环境,设计者可在设计早期进行系统集成验证,减少设计错误并缩短设计周期.该环境已经在嵌入式系统开发过程中得到成功应用.

摘要：以某型号月球着陆器铝蜂窝缓冲软着陆腿为对象,研究了月球着陆器月面软着陆性能。采用非线性有限元方法,建立了月壤和着陆腿结构有限元模型,进行了单腿着陆冲击非线性动力学仿真分析,将仿真结果与试验及多刚体系统动力学分析结果比较。文中还研究了月壤模型和主辅支柱结构弹性对月球着陆器着陆性能的影响。结果表明:非线性有限元分析结果与实验结果吻合较好,优于多刚体系统动力学分析结果;着陆腿主支柱的结构弹性对着陆性能影响较大;月壤有限元模型的离散化对分析结果有一定影响。

摘要：对近年来基于配体结构的合理药物设计方法在α1-肾上腺素能受体拮抗剂上的应用进行了综述,介绍了采用定量构效关系和药效团模型进行α1-肾上腺素能受体拮抗剂分子设计的工作,并就α1-肾上腺素能受体拮抗剂合理药物设计的未来趋势进行了讨论。

摘要：在分析了分布式电源接入对配电网影响的基础上,针对配电网中的关键问题———分布式电源的选址和定容,进行了优化设计.通过构建包含分布式电源的投资运行费用、环境因素、网损费用的目标函数,并考虑潮流约束、电流约束、电压约束、系统容量约束等条件,搭建了分布式电源的模型,采用一种改进的粒子群算法,设计出了分布式电源所处位置及容量.通过仿真分析计算,验证了该方案的正确性和有效性.

摘要：大部分口令认证密钥交换(PAKE)协议的设计者忽略了长期密钥泄露可能造成的危害.文中发现仅仅依靠口令的安全性设计可以抵抗口令泄露攻击的三方PAKE协议是不可能的,所以文中采取服务器通过公钥实现认证的方法,设计一个可以抵抗口令泄露攻击的强安全性协议,其在随机预示和理想密码模型下基于ECGDH假设具有前向安全的特性.

摘要：基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IKE)协议存在的安全缺陷,提供了安全的会话密钥及安全关联(SA)协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证.同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效.

摘要：在本实验室研究工作的基础上,结合近年来国外研究成果,综述了基于受体的合理药物设计在α1-肾上腺素能受体(α1-AR)拮抗剂设计领域的研究进展。介绍了基于α1-AR受体分子生物学与结构生物学的受体结构构建及其拮抗剂的设计,并对该技术的发展进行了展望。

摘要：以卫星姿控系统实时仿真信号为诊断依据,设计故障检测Elman神经网络及故障判决,实现系统正常与非正常状态的区分并获取故障发生时刻。提出了基于改进梯度更新策略的故障隔离Elman神经网络方法,对故障时刻点之后时域信号进行故障模式匹配,进一步实现系统故障隔离。运用某卫星姿态控制系统进行在线故障诊断试验的结果表明,本文方法具有较好的实时有效性、输出耦合诊断性能、时域信号诊断泛化性和网络收敛性。

摘要：气泡流控是一种实现环内无死锁路由的高效方法.该方法在超级计算机Bluegene/L中得到了成功应用.然而气泡流控只适用于虚跨步(VCT)切换网络.目前,研究人员提出了一些方法把气泡流控策略应用到虫孔切换的片上网络中.然而这些虫孔气泡流控策略需要复杂的控制信息.文中提出了一种新型的设计方法实现高效、简洁的虫孔气泡流控.首先采用支持非原子缓冲分配的多请求缓冲结构(MRIBO)代替传统的FIFO缓冲结构存储报文.MRIBO支持Flit在不同报文间乱序存储,缓冲区中的每一个Flit能够独立路由.在MRIBO存储方式下,作者设计了一种类似VCT网络的气泡流控,适用于虫孔网络的新型气泡流控策略.证明了在MRIBO方式下,新型流控策略可以保证单向环内的Flit总是可以流动,不会出现死锁,在单向环内实现了无死锁路由.基于斯坦福大学开发的BookSim模拟平台,作者测试了新型虫孔气泡流控策略的性能.通过修改源代码,在BookSim中实现了基于新型虫孔气泡的维序路由算法(WBFC)和完全适应性路由算法(Adapt-BF).作者分别比较了这两种算法和传统的基于子午线(Dateline)的维序路由算法(DOR)以及完全适应性路由算法(Adapt-DL)在不同维度的Torus网络中的报文平均延迟.模拟结果显示:这种新型虫孔气泡流控策略的性能大大优于传统的虫孔切换.其中,8-ary 2-cube Torus网络性能测试中,在uniform通信模式下,Adapt-BF算法的报文延迟相对Adapt-DL算法有近18%的减少.文章通过新型的缓冲组织结构打破了虫孔交换中报文传输的原子性,保证了Flit独立路由,所以就可以在虫孔网络中像VCT网络中处理报文一样处理Flit.在这种情况下,VCT网络中基于局部信息的Bubble流控技术可以几乎不加修改地应用到虫孔网络中.因此,这种方法简化了虫孔气泡流控的实现.

摘要：该文研究NTP协议用于超大规模网络时间同步遇到的自主配置问题,NTP自主配置是指依网络的当前状态自适应地刷新运行参数.该文将自主配置作为一类自组织过程,建立了一个生命周期模型,在NTP基础上设计了一个附加协议.节点通过该协议能够自动地搜索、选择和调整运行参数.仿真实验和应用表明,该方法与其它同类方法相比有更多的优点且对NTP的完善有参考价值.