基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

哈夫曼编码的JAVA实现

叙述了哈夫曼编码的思想以及用JAVA语言实现其程序设计的详细过程     

Dynamic Characteristics of Inter-Satellite Links in LEO Networks

To establish an efficient inter-satellite link (ISL) in an LEO network, the effect of geometric characteristics of ISL on the ISLs and the devices on the LEO satellite should be examined. Because of the continuous movement of the LEO satellite, the time-varying behaviours of the ISL's geometric charactersistics continuously change with the changes of the satellite's position on the orbit. These dynamic geometric characteristics of the ISLs are important for ISL's performance analyzing and the design of the devices on the LEO satellite. This paper describes dynamic geometric characteristics of ISL, analyzes the impact of these regulations on the tracking system of the satellite's antenna and the power adjusting system of the satellite's transmitter, with the Iridium system as an example.     

Finesse 全瓷冠适合性的体外实验研究

目的 :测量Finesse全瓷冠的边缘浮出量及粘固剂的厚度 ,并与金属全冠及金瓷全冠相比较 ,为Finesse全瓷冠的临床应用提供适合性方面的理论依据。方法 :用片切法测量 3组全冠粘固前、后边缘浮出量及粘固剂的厚度。结果 :Finesse全瓷冠粘固前、后的边缘浮出量分别为 (37 6 1± 9 13) μm、(6 5 85± 15 11) μm ,粘固剂厚度为 (40 84± 9 73) μm ,与金属全冠及金瓷全冠相比较 ,均无显著性差异 ;3组全冠粘固前和粘固后的边缘浮出量有显著性差异。结论 :Finesse全瓷冠适合性良好 ,完全可为临床应用 ;粘接对全冠修复体的边缘浮出量有影响。     

从著作权角度剖析逢甲大学校园数位内容经营服务管理计画

在数位化与网路化的学术典藏传播大趋势下 ,建构一个完整、方便、迅速与合理使用的校园数位内容经营服务体系 ,是兼具教育与研究两大使命的大学机构必须进行的工作 ,特别是对身负知识典藏与传播责任的图书馆来说 ,更是刻不容缓的任务 .本文介绍逢甲大学图书馆所规划推动的校园数位内容经营服务管理计画 ,探讨其征集服务范围以及提交、互评、加值典藏、传播与版权管理等作业流程 ,并说明所需要的支援团队和人力配置、所产出的产品形式和应用方式 .最后从著作权的角度分析校园数位内容经营服务所涉及的合理使用、著作财产权和著作授权使用问题     

一种考虑补偿信用风险资本要求的算法

基于现行法定资本体制不考虑信用投资组合的多样化和限制空头信用风险头寸的补偿能力，设计了一种考虑补偿的信用风险资本要求的计算方法．该算法根据信用等级决定风险权重，可以更精确地测定信用风险资本．采用期限分段方法建立一个期间结构，区分当前和远期信用风险，考虑多头与空头信用风险头寸间的补偿．     

混凝土中钢筋锈蚀及其可靠性分析

本文介绍了混凝土中钢筋锈蚀的机理，分析了钢筋锈蚀的主要影响因素，对钢筋锈蚀造成的截面损失破坏的可靠性进行了分析，并推导出了钢筋锈蚀可靠性分析的相应计算公式。     

设备无关显示软件的开发

介绍了用Visual C 6．0开发能够实现设备无关显示的软件。通过获取窗口到视口的映射比例系数，使得无论采用多大的显示器、无论将显示区域的纵横比调为多大、无论采用多高的显示分辨率，都能够按照对象的物理尺寸进行真实大小的显示，使应用程序用户界面更加友好。     

发挥高校后勤服务教育功能提升学生就业创业能力

在高校后勤社会化改革向纵深推进的过程中，应该更加理性地思考、分析高校后勤社会化的地位和功能。我们应从更广远的视野来认识高校后勤社会化的教育属性，力求以市场经济为纽带，把后勤社会化与学生就业、创业能力的培养结合起来，以充分发挥后勤社会化的育人功能。     

丁香矮化的技术研究

采取不同的试验方法,明确适宜盆栽的丁香品种为蓝丁香、什锦丁香和紫叶重瓣丁香,通过研究确定丁香盆栽矮化的技术要点,同时对盆栽矮化的进一步研究提出建议.