基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

大尺寸工程模型试验中的相似材料配比试验研究

大型物理模型试验是研究复杂工程问题的重要方法，如何快速、准确地确定相似材料配比是试验中至关重要的一环.为降低试验成本、简化试验步骤、充分调用原料性能，采用河砂、水泥和石膏这三种最普通的原料，以骨胶比(河砂与水泥石膏的质量比)和水膏比(水泥与石膏的质量比)为变量，进行了45组对比试验，对相似材料的物理及动、静力学参数进行了研究.获得了以河砂、水泥和石膏为原料配制的相似材料各物理量的变化区间；探讨了骨胶比和水膏比对相似材料各物理量的控制作用，并对比了其敏感性；基于多元线性回归分析建立了各因素与物理量间的定量关系，得到的拟合公式能较好地描述相似材料的性质.     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

基于WEB的在线答疑系统的设计与实现

根据登录者的身份，基于WWW技术的在线答疑系统设计为三大模块：学生模块、教师模块和系统管理员模块，它们可分别完成提问、回答和版务管理等功能．还探讨了系统主要的实现技术。     

"三个代表"与党的建设

“三个代表”是立党之本、执政之基、力量之源，它涵盖了我党所要具备的三种资源力量：即物质力量、精神力量(文化)和社会力量(广大人民群众)，这三种力量是党立于不败之地的强大力量。     

自然事物的情感表现性

自然事物的情感表现性产生于人类与大自然事物生命情调上的相似，自然事物的形式美因素以及人类情感形式与自然物在“力的图式”上同形同构。     

论家庭教育中儿童人格的塑造与培养

父母及家庭环境对儿童人格形成与发展具有十分重要的影响。父母要以身示范,营造和睦、健康、向上的家庭氛围。在儿童人格塑造和培养中,要十分重视智力因素的培养,特别注意早期智力与创造力的开发,重视社会适应能力的培养,包括融入集体生活的能力、人际适应能力和环境适应能力等。     

高职教育改革四议

高等职业教育以能力为本位，培养面向生产、建设、管理及服务一线的高级技术型应用人才。其培养目标、培养模式应始终坚持为经济发展建设服务，依托于经济，服务于经济，服务于社会。     

VSAT系统改进冲突分解算法研究

文章提出一种新的改进隔离型随机N叉树形冲突分解算法,对VSAT随机接入多址接入系统中冲突分解进行了研究。给出了冲突信息分组分解所需平均时隙数和系统吞吐量的解析式,进一步给出了信息分组冲突分解的实验值。