PowerPoint2000动画设计应用

PowerPoint2000是Microsoft公司办公自动化软件Office2000的重要构件之一。其自身具有强大的处理功能，尤其是PowerPoint2000所提供的基本动画效果，更是给演示文稿增添了很多色彩。如果能将这些基本动画效果巧妙地组合在一起，就会创作出更富感染力的作品。就创作中的技巧并结合应用举例分析如下。相信人们可以利用这些设计思想，创作出更加精彩的作品。     

地震数据通用压缩文件格式设计

本文从生产实际需要提出了进行地震数据压缩和制定规范的压缩数据文件格式的要求，按照通用性，兼容性，可扩充性，操作简便，高缩效率几方面的要求设计了通用压缩数据文件格式及一种具体形式，讨论了数据压缩的具体策略和方法，试验表明，采用压缩数据文件格式，不但可以大比例地减小数据存贮空间（压缩比达４：１－１０：１），而且可以大大加快数据的Ｉ／Ｏ速度（提高１倍以上）。     

Numerical simulation of microstructure formation ofAZ91 using mCA method

A stochastic model for simulating the microstructure formation of Mg alloy AZ91 during solidification was developed based on the finite element method（FEM） for macroscopic model of heat transfer calculation and a modified Cellular Automaton （mCA） for microscopic modeling of nucleation, growth of crystal. In this model, the effect of solute redistribution, interface curvature and preferred orientation was considered. A numerical simulation was developed with C＋＋ program language. The computation was carded out to understand the effect of varying processing parameters, such as nucleation parameters and heat transfer coefficient, on the microstructure formation of AZ91. The result of simulation was displayed on screen.     

自动协议逆向工程研究综述

全面梳理了该领域国内外相关文献,归纳分析了自动协议逆向工程的研究现状和发展趋势。为了更清晰地刻画不同方法的特点和比较异同,提出一种基于协议逆向工程输出结果的分类方法,将协议逆向方法分为侧重于协议格式提取、侧重于协议状态机推断、侧重于完整协议规范描述、侧重于其他输出结果四类,并据此进行分析和比较。基于目前的进展情况和进一步的问题剖析发现,复杂交互场景分析、链路层协议逆向、加密协议分析以及协议状态机优化等应作为自动协议逆向工程领域下一步的重点研究方向。     

基于CAFE法的单晶铜杆热型连铸过程晶体生长模拟

基于元胞自动机(CA)和有限元(FE)耦合法对单晶铜杆热型连铸过程中晶粒生长及演化过程进行了模拟,获得了稳定状态下铸棒内温度分布及液固相界面的位置和形态,模拟了连铸初期沿热流方向细小等轴晶快速合并形成柱状晶的过程,采用截面形态和极图法分析了定向凝固条件下各个生长时刻的晶粒形貌和晶粒生长取向以及晶粒竞争生长过程中的快速淘汰和慢速淘汰阶段,为热型连铸工艺优化提供了依据。     

基于C-W算法的汽车零部件循环取货车辆路径优化研究

针对汽车零部件取货具有多频次和时间窗限制的特点,利用先进的循环取货方式对零部件进行取货.并构建数学模型优化取货路径,利用C-W算法,获得符合所有约束条件的满意解.使其在配送总量一定的情况下,运输总里程大大降低,从而节约了运输成本.最后给出一个算例.     

基于元胞自动机的交通枢纽内人群疏散效率研究

利用元胞自动机仿真不同出口位置和不同内部布局下交通枢纽内人员的疏散情况,通过制定合适的人员行走规则,对交通枢纽内人员疏散进行仿真分析。结果表明,正面中央开口时人员的疏散效率最高,此时由于人员相对于出口大概呈对称分布,人员对过道的利用率达到最高;和正面边缘开口相比,出口位置设置在侧面更好,以减少行人在行走过程中方向的变化从而减少疏散时间。当在侧面开口时,在靠近出口墙壁处设置过道可以提高人群的疏散效率,并且适当地增加过道数目,可以对疏散人群起到分流的作用,从而对人群的疏散也很有利。     

十字路口处长车交通状态相图

如今,相图被广泛用于交通科学领域的研究,取得了重要成果。根据理论分析和计算机模拟,本文构建了十字路口处交通流量相图。该相图是由五个基本区域构成的,本文分析并推导出每个区域的具体流量公式。在周期边界条件下,采用确定性 Fukui－Ishibashi元胞自动机交通模型进行数值模拟,其模拟结果与理论分析精确一致。     

元胞自动机方法在枝晶生长模拟中的应用

尽管大量关于枝晶生长模拟的研究都使用了相场方法,但近年来元胞自动机(CA)方法在枝晶生长模拟方面也取得了很大进展.介绍了CA方法模拟枝晶生长的原理和模型,评述了CA方法在枝晶模拟方面的发展历程,指出了存在的问题的和进一步研究的方向.     

基于场景的车载设备测试用例自动生成方法研究

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。