抽象状态机下认证协议新的语义模型

为了简洁而正确的表达一个密码协议，选择一个具有比较自然语义的模型是十分必要的。不仅如此，一个恰当的模型须便于安全性质的分析，因此，具有一定的表达能力是十分必要的。为了探讨适合的方法和工具，人们使用各种各样的形式化工具来表达、分析密码协议的安全性。目前主要的方法包括逻辑的方法，如BAN逻辑，SVO等；基于模型检测的方法，如FDR工具，基于定理证明的和代数方法等等。各种方法都具有自己的优势和缺陷。探讨不同的方法和工具对于密码协议的描述和分析具有重要的意义。并可借此发现和发明好的模型和方法。     

分形维数计算方法的研究

分形维数作为科学研究的重要工具之一，它是描述自然界和非线性系统中不光滑和不规则几何体的有效工具，其计算方法已经有多种，应用领域也是十分广泛。然而，各种方法各有不同，文中就此对常用分形维数计算方法进行了系统的综合与研究，主要包括圆规法、明科斯基方法、变换方法、盒子计算方法、周长一面积法、裂缝岛屿方法、分形布朗模型法，对每种方法的含义和模型及相关的应用领域进行了阐述，并给出了其方法的计算机实现算法。     

混合混沌优化方法及其在非线性规划问题中的应用

结合逐次优化、禁忌搜索和变尺度混沌优化方法的优点，提出了一种混合混沌优化方法。该方法具有逐次优化算法的隐性并行性和收敛性，禁忌搜索的智能性和变尺度混沌优化方法的快速性。仿真计算表明，该方法具有实现简单，优化效率高，鲁棒性强等特点。     

浅谈解决银行计算机2000年问题

简要分析了银行计算机２０００年问题的危害和起因，提出了解决银行计算机２０００年问题的方法，包括测试方法和修改方法，修改方法又包括适应程序修改方法和数据库模式修改方法。     

五个著名的面向对象开发方法的评估

近年来，从各个不同的背景提出了很多面向对象的分析和设计方法。比如，ＨＯＯＤ方法，Ｂｕｈｒ方法，Ｂｏｏｃｈ方法，Ｒｕｍｂａｕｇｈ方法和Ｗｉｒｆｓ－Ｂｒｏｃｋ方法。对每个方法按一组准则进行打分面对它们作出评估。评价的准则基于概念、模型、过程和实用性。其目的在于使实践者选择方法时有所依据。     

移动环境下一种基于日志的数据复制方法

乐观复制方法被广泛应用于移动环境中，提出了一种新的基于日志的数据复制方法，该方法使用相对较小的通信和存储开销，能更有效地记录数据更新以及进行数据同步，和传统的方法比，该方法更适用于小型的数据记录。     

信息融合及其智能化

以Ｃ＾３Ｉ系统为背景，论述了信息融合问题的处理原则，剖析了融合系统的结构，主要功能和实现方法，多面手探讨了信息智能融合的几条途径，包括物理符号系统方法，人工神经网络方法以及专家系统和神经网络相结合的方法。     

生产调度理论和方法研究综述

生产调度理论与方法研究是非常困难的课题，但是对企业或行业提高生产效率和效益是至关重要的，特别是在当前市场经济时代，生产调度理论和方法的研究已经有50多年的历史，但是经典调度理论和实际调度问题之间仍然存在着鸿沟。针对这一特点，指出了当前实际生产调度存在的一些问题和需要考虑的各种因素，例举了主要的生产调度方法和典型应用，指出了各种方法的优缺点。最后，总结并提出了生产调度理论和方法的未来研究方向和今后工作的建议。     

基于神经网络的智能故障诊断技术

归纳了神经网络在故障诊断中的运用方式，探讨了故障诊断的神经网络方法和专家系统方法的联系和区别，以及两种方法的结合方法；最后，给出了选择智能故障诊断方法的原则。     

遗传算法多样性测度问题研究

对个体多样性测度方法做了比较详细的概括，对于基因型遗传进化过程，还从编码层次上讨论了它对多样性的影响．以相对顺序欺骗函数和Rastrigin函数为例，讨论了交换和变异操作对多样性的影响．同时，探讨了增强多样性的方法，验证了参数自适应控制方法对顺序编码的控制和对二进制问题的多样性控制方法，提出了对二进制编码的适值自适应调整方法，并通过仿真验证了该方法的有效性．     

浅谈反映人体测量学来源的人体比例理论

人体测量学并不是现代社会的产物。有着很长发展历史的人体比例理论中就包含了现代人体测量学的基本内容,尽管其还不够系统完整,但至少说明了在艺术创作中诞生的人体比例理论对现代人体测量学的影响。并随着时间的推移而不断的完善发展,为现代人体测量学的系统提出奠定了坚实的基础。     

FLASH教学中声音导入问题的浅析

目的:解决在FLASH中导入声音的问题.方法:对FLASH不支持的声音格式采取音频压缩的方法.结果:可成功将压缩后的声音文件导入到FLASH中.结论:在FLASH中使用声音可以使FLASH动画具有良好的动画效果.     

金属切削过程中的稳定性分析

本文对于金属切削这一生产过程中所出现的不稳定问题,利用频率特性法中的奈氏判据,对其进行分析,从而找出消除自激振荡和达到切削过程绝对稳定的条件     

Convergence,the university of the future and the future of the university

 The paper questions the ability of current university systems to respond appropriately to the complex demands of an Information Economy. It argues that new relationships between creative subjects and technology require new thinking about the nature and purpose of universities per se. In particular, attention is drawn to the growing involvement of the private sector in higher education. It is argued that it may not be appropriate to think of the `university of the future' in terms of current public sector and quasi public sector institutions, but rather in terms of an emporium, based on an international trade in educational services, and with the `University' as we now understand it occupying the functions of licensing, quality assurance and cultural custodianship. Accepted: 25 June 2002     

VMware的技术与应用探析

虚拟化技术是当今服务器技术的一个主流方向,也是一项在计算机领域具有革命性意义的技术.作为x86架构体系下虚拟化技术的领军者-VMware,在技术上有其独到之处.研究VMware的技术与应用,对探知其优秀的技术特点,了解其成熟的产品体系有着现实意义.     

Modelling the dynamics of the tilt-casting process and the effect of the mould design on the casting quality

All titanium alloys are highly reactive in the molten condition and so are usually melted in a water-cooled copper crucible to avoid contamination using processes such as Induction Skull Melting (ISM). These provide only limited superheat which, coupled with the surface turbulence inherent in most conventional mould filling processes, results in entrainment defects such as bubbles in the castings. To overcome these problems, a novel tilt-casting process has been developed in which the mould is attached directly to the ISM crucible holding the melt and the two are then rotated together to achieve a tranquil transfer of the metal into the mould. From the modelling point of view, this process involves complex three-phase flow, heat transfer and solidification. In this paper, the development of a numerical model of the tilt-casting process is presented featuring several novel algorithm developments introduced into a general CFD package (PHYSICA) to model the complex dynamic interaction of the liquid metal and melting atmosphere. These developments relate to the front tracking and heat transfer representations and to a casting-specific adaptation of the turbulence model to account for an advancing solid front. Calculations have been performed for a 0.4 m long turbine blade cast in a titanium aluminide alloy using different mould designs. It is shown that the feeder/basin configuration has a crucial influence on the casting quality. The computational results are validated against actual castings and are used to support an experimental programme. Although fluid flow and heat transfer are inseparable in a casting, the emphasis in this paper will be on the fluid dynamics of mould filling and its influence on cast quality rather than heat transfer and solidification which has been reported elsewhere.     

符号在品牌传播中的研究及其运用

从品牌战略管理的高度出发,阐述了品牌传播符号语意的重要作用、常用方法以及要注意的问题,并以哈雷摩托为例进行了分析。     

应用多媒体技术教学的优势及存在问题与对策

每一种媒体部有自身的长处，对某种特定的教学和学习有效。同样，每种媒体又不可避免地存在局限性，不利于某些教学和学习。因此，多媒体不是一种全能的媒体，也不可能代替传统媒体。现代媒体与传统媒体在教学中应相互补充，取长补短，相得益彰。     

DVB-C数据广播系统在宽带网络中的应用

介绍DVB数据广播系统的特性及相关知识，对于DVB系统组成以及在当前宽带网络中的应用进行了阐述。