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

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

MySQL安全机制及应对措施探讨

探讨作为一种最主要的网络数据库系统MySQL的基于授权表的安全机制，以及如何在应用中就文件系统保护、口令保护、权限表设置和运行选项的采用来提高安全性能的问题。     

Linux中守护进程的创建及其程序设计方法

阐述了创建守护进程的方法及其注意事项，并以SOCKET服务程序的守护进程程序示例详细分析了创建守护进程的程序设计方法与技巧．     

内燃机燃烧过程仿真后处理输入文件Ipost的研究

以系统论为理论依据，在计算机上进行试验和分析，研究了输入件的设计要求和方法。研究表明：后处理输入件要设计后处理硬件类型、图形件(*．ps)的输出模式和镜像输出条件等总则，要确定输出内容包括网格划分和性能计算结果两个大的方面，网格划分的输出可以按平面图和三维图两种类型输出。性能等高线图和矢量图可以按正平面图和斜平面图的类型输出，网格图和性能图均按仿真计算的曲轴转角(时间)输出。     

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

Polarized Emission of Molecular Film With Lanthanide (Ⅲ) Complex

1 Results In the coordination system by using complexation with organic ligand, the ff emission of lanthanide(Ⅲ) (Ln(Ⅲ)) is induced the excitation energy transfer form the organic chromophore under the light-irradiation. However, there are not so much number of reports to discuss the energy relaxation mechanism in such complexes with Ln(Ⅲ). Recently, we succeeded firstly to estimate the rate constant of the energy transfer between the ligand and Ln(Ⅲ) in Pr(Ⅲ)-phenanthroline analogs[1]. Here, we will di...     

网络路由收敛性能测试研究

在网络建设和运行中,采用测试的方法对其性能进行评估对于网络的正常运营具有重要的意义.本文研究了网络路由收敛性能测试方法,为得到路由收敛性能指标,对OSPF和iBGP的路由收敛时间进行了测量.提出了一种简化的路由收敛时间测量方法,通过测量数据平面的传输性能指标,对路由控制平面的收敛时间进行估算.该方法对于测试设备要求不高,实施简单方便.采用该方法在CERNET2投入运营之前对其进行了路由性能测试,实验结果表明CERNET2在路由变化时具有较好的路由收敛性能.     

合金铸铁激光处理的探讨——Ⅱ.激光辐照工艺参数的控制

用热传导方程控制激光辐照温度,建立了一种新回归方程以控制激光辐照硬化深度,选用卡尔丹公式列热传导方程及同归方程联立求解,可得到同时满足一定的硬化深度及表面最高温度双重要求的工艺参数,此种方法可作为激光硬化处理工艺参数的控制或预报,对本合金铸铁的激光硬化处理,其表面温度的下限应大于其熔点温度,即以表面产生微熔的快速冷凝处理为宜,并以选取低功率慢扫描为最佳。     

血液的光学性质研究

本文用辐射输运理论方法去计算红细胞的光学特征量,并在此基础上提出检测血细胞数密度的理论实验方案,其结果与传统的方法一致。本文为开发一种血球数自动检测仪提供了理论基础和仪器结构原型。