Breaking and repairing the certificateless key agreement protocol from ASIAN 2006

The certificateless authenticated key agreement protocol proposed by Mandt et al does not haVE the property of key-compromise impersonation （K-CI） resilience. An improved protocol with a simple modification of their protocol is proposed in this paper. In particular, our improved protocol is proved to be immune to the K-CI attack and at the same time possess other security properties.     

稳态不可压流计算方法在稳恒电磁场中的应用

从流体力学和电磁学的相似性出发,揭示了稳态不可压缩流体流动方程、稳恒电场方程和稳恒磁场方程在数学表达上具有相似性,均可用对流项,扩散项和源项来表达.而且在数值求解中也存在类似规律,可利用计算流体力学中对对流项和扩散项的处理方法来处理电磁场方程中的对流项和扩散项.通过分析上(下)风格式与向前(后)差分格式的数学意义和物理意义,提出采用上风格式和下风格式能求解电荷运动问题,而上风格式能求解流体力学问题.     

太原市城西热源厂供热管线穿越铁路施工方案浅析

浅析了太原市城西热源厂供热管线穿越铁路施工的方案。     

基于时钟同步的混合型安全组播密钥管理

为保护组播通信的机密性,安全组播使用不为组外成员所知的密钥来加密数据,并随组成员关系的变化而动态更新。提出一种将平坦型和分层型密钥管理相结合的、基于IGMPv3的混合型方案,它将群组划分为多个独立的小区,有效地解决了与安全组播相关的扩展性和可靠性问题。提出了一种新的基于时钟同步的密钥管理算法,各小区代理不进行信息交换而只通过定时来执行批次密钥更新,从而有效地降低了系统的通信开销。     

四边形剖分下一类对称有限体格式的构造

本文针对一类自共轭椭圆问题,在四边形网格剖分下,通过选取“verterx-centred”型控制体,利用有限体积元方法,构造了一类保对称的有限体格式,并将之转化为Galerkin变分形式.数值实验表明其误差均达到了饱和阶.由于格式对称,相应离散化系统可采用PCG等方法快速求解,从而提高了运算效率.另外,新格式对flux(流)函数具有超逼近性.     

数值求解纳米尺度热传导分数阶抛物两步模型

提出一个纳米尺度的分数阶抛物两步模型,得到金属纳米尺度热传导的精确数值格式.该模型是通过引入Caputo-Hadamard时间分数阶导数到抛物型两步能量输运方程中,并将其温度跃变边界条件耦合得到.数值格式基于空间四阶紧格式和Caputo-Hadamard时间分数阶导数的L1逼近格式而建立.通过2个算例验证模型和数值方法的准确性和适用性.     

限域蕴含系统及其在企业诊断、策划中的应用

探讨限域蕴含系统的性质,提出了关于问题根本成因的蕴含系统诊断方法和对策的生成途径。应用这些方法可以寻求竞争过程中的致胜因素与障碍因素,发展机遇与潜在危机,并且可以辅助生成竞争战略与战术。     

弧门实体造型软件设计方案

分析了实体造型技术的发展与应用状况,介绍了弧形闸门三维实体造型软件的总体设计方案,包括软件的结构设计、功能设计、弧形闸门工程数据库设计和数据库的接口技术等.     

CIMS技术应用实例

针对企业的具体情况,以坚持ＣＩＭ思想和ＣＩＭＳ技术的先进性,尽量减少对现行习惯的改变为原则,对ＣＩＭＳ的功能、数据和支撑环境作了全面的规划,提出了包括ＣＡＤ、二维图档、ＢＯＭ生成与维护、ＣＡＰＰ和ＭＲＰⅡ等子系统的ＣＩＭＳ的系统结构和总体实施方案,以及工程信息和管理信息集成的方法．并针对企业产品数据存在大量借用和选用关系,提出了产品选配的计算机实现技术,从而确保了ＣＩＭＳ技术在企业应用的可行性和有效性．     

UCDOS特显功能在数据库设计中的应用探析

本文从分析UCDOS特殊显示原理出发,阐述了UCDOS特殊显示功能在数据库管理语言FoxBASE中的应用,最后总结了其使用模式。