BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

2-苯基吲哚-5-磺酸的合成及表征

采用对磺酸苯乙酮苯腙闭环合成2-苯基吲哚-5-磺酸,首先研究合成目标产物的中间体——对磺酸苯乙酮苯腙制备过程中的酸度及反应时间对制备反应的影响,同时还选择了适当的溶剂.接着又考察了反应物配比、温度及反应时间对目标产物合成反应的影响,并对产物结构进行了表征.实验表明,产品不仅纯度好,且收率高,结果令人满意.     

东北地区晚古生代地层划分与对比

对赤峰-开源断裂带以北、内蒙古贺根山以东的东北地区晚古生代地层进行了综合地层学研究。将上古生界划分为4个地层区11个地层分区;进行了岩石地层单位清理;在全区晚古生代建立了2个牙形刺带、9个■带、12个珊瑚带、16个腕足带、6个头足(含菊石)带、1个双壳带和7个植物带等共计53个生物带,其中前人建立42个带,此次新建11个带。根据岩石地层、生物地层研究资料,结合同位素测年数据确立了各地层分区的代表性岩石地层单位的时代,建立了该区多重地层划分对比表,为岩相古地理图的编制打下基础。     

摩擦填料作用下土工充砂袋充填特性

为更准确计算土工充砂袋在充填完成时袋体形状及受力特性,针对袋体与充填料之间的摩擦对袋体的影响,通过在计算中引入填料与袋体间的摩擦,建立袋体的平衡方程,运用数值方法对方程进行求解.将袋体形状及张力与不考虑袋体与充填料之间的摩擦时的计算结果进行比较,发现袋体的形状及受力特性有显著的不同,同样条件下摩擦系数越大,充填完成时袋体的高度越大,最大宽度及触地宽度越小;袋体张力也不再是常数,而是随土工袋切角的增加而增大,最大张力远大于不考虑摩擦时的张力.     

兰州市冬半年大气污染物分布特征及变化规律

本文利用１９８８年至１９９２年兰州市１０月至下年度３月期间的较为详尽的污染资料，进行了统计平均，通过图的形式，总结了兰州市冬半年大气污染物分布特征及变化规律，并就这种特征和规律进行了分析，一年之中，ＳＯ２、ＣＯ、ＮＯｘ浓度最大值出现在１２月，而Ｏ３浓度则在此月最低。之内，ＣＯ、ＮＯｘ出现两次峰值，ＳＯ２最大值出现于午后，Ｏ３则较为复杂与ＮＯｘ牵扯相连，峰谷相映．ＳＯ２、ＣＯ、ＮＯｘ３种污染物的浓度城关区大于西固区，而Ｏ３则相反。     

异构型非对称数据访问的ASN.1解决方案

针对企业单位普遍存在异构型计算机网络的信息孤岛问题 ,分析ASN 1标准和数据库访问中的几个关键技术 ,提出了一种以ASN 1为基础、以单项数据广播的数据共享方案 .该方案由服务器端和客户端组成 ,服务器负责数据库的访问 ,并按照XML配置文件定时接收数据 ,且为数据库提供了一种高级访问接口 .服务器端与客户端之间采用ASN 1编码标准和用户数据报协议 (UDP)进行通信 ,其中应答方向的数据传输由UDP协议负责 ,请求方向的数据传输采用人工的方式 .这种新方法解决了异构型计算机网络中的数据访问问题 ,具有简便、安全、易操作和成本低的优点 ,具有广阔的应用前景     

光催化降解直接R-F染料溶液的研究

本文以TiO_2为催化剂,采用中压汞灯为光源对偶氮染料溶液进行了光催化降解的研究。研究表明,该实验能够使直接R-F偶氮染料水溶液降解脱色,该反应为动力学一级反应。染料初始浓度在50mg·L~(-1),温度在20±1℃,经20min光照,其脱色率为97.0％以上;COD_(cr)去除率为60％左右。     

脂代谢相关基因PPARγ2和SCD1与血管内皮生长因子VEGF在肝细胞癌组织的蛋白表达相关性及临床意义

近年来研究发现肿瘤组织有脂代谢异常,但脂代谢异常在肿瘤发生发展中的作用还不清楚.为了探讨脂代谢异常在肿瘤中的作用,本研究对45例肝细胞肝癌患者,用免疫组化方法研究其癌组织中硬脂酰辅酶A去饱和酶1(SCD1)、过氧化物酶体增殖物激活受体γ2(PPARγ2)、血管内皮生长因子(VEGF)的表达情况,并结合ishak评分和患者的病理检查结果,分析和探讨PPARγ2,SCD1及VEGF在肝细胞癌组织中的表达与肿瘤发生发展的关系、它们相互之间的表达相关性及临床意义.本研究发现在肝细胞癌组织中,PPARγ2,SCD1及VEGF在肿瘤组织中高表达,其高表达率分别为40.00%、46.70%、75.50%.相关性分析发现SCD1和VEGF之间存在相关性(r=0.482,p≤0.001),但是PPARγ2和SCD1(r=0.221,p=0.164),以及PPARγ2与VEGF(r=0.219,p=0.169)之间不存在相关性.该研究提示脂代谢相关基因与血管生成相关,但不通过PPARγ2调控SCD1途径;脂代谢相关基因SCD1是抑制血管生成和肿瘤发展的潜在靶点.     

Corrosion resistance of steel materials in LiCl-KCl melts

The corrosion behaviors of 304SS, 316LSS, and Q235A in LiCl-KCl melts were investigated at 450℃ by Tafel curves and electrochemical impedance spectroscopy (EIS). 316LSS shows the best corrosion resistance behaviors among the three materials, including the most positive corrosion potential and the smallest corrosion current from the Tafel curves and the largest electron transfer resistance from the Nyquist plots. The results are in good agreement with the weight losses in the static corrosion experiments for 45 h. This may be attributed to the better corrosion resistance of Mo and Ni existing as alloy elements in 316LSS, which exhibit the lower corrosion current densities and more positive corrosion potentials than 316LSS in the same melts.     

电网检修计划设计的智能分析与可视化实现

为了降低在制定电网检修计划上的复杂度和减少检修中的错误率，设计了一种电网的在线检修计划系统．该系统首先定义了电网设备的冲突关系，建立了设备冲突表．在此基础上，综合分析了电网接线结构，建立了包含检修单位、变电站、设备类型、各种用户等信息的知识库．又将设备的关联关系抽象成有向图，并通过有向图的深度和广度遍历算法自动生成检修计划书，以图形的方式对检修计划的原始报告进行智能分析并直接显示结果．实地实验结果表明，该系统是有效的，实现了在线检修计划设计的智能化、可视化和科学化．