摘要：多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。

摘要：基于简化Lorenz系统,提出混沌伪随机序列发生器的一种设计方法。根据IEEE-754浮点运算标准,按照模块化设计理念,设计混沌方程所需的浮点运算模块,并在FPGA(Field Programmable Gate Array)上实现了简化Lorenz混沌系统。设计混沌伪随机序列量化算法,对生成的混沌伪随机序列进行复杂度分析。分析结果表明,量化算法显著提高了序列复杂度。使用NIST标准进行伪随机序列性能测试,测试结果表明,序列具有良好的随机特性,可直接用于实际加密应用。为连续混沌系统FPGA实现和混沌伪随机序列在信息安全中的应用奠定了基础。

摘要：以洪泽湖流域洪涝灾害为研究对象,构建了洪泽湖流域洪涝灾害预警系统的基本框架,分析了系统的基本功能模块。预警系统采用三层次模型,包括数据库子系统、仿真模拟子系统和辅助决策子系统三大模块。对各子系统,重点探讨了数据库系统的建立、洪水蔓延演进模拟的算法、灾情信息的提取、灾情等级评估以及最佳紧急转移路径的选择等功能模块的设计。

摘要：文章针对现有板式家具封边设备加工效率低、劳动强度大、工序重复等问题,设计和开发一种可实现四台自动封边机联线操作的封边生产线总控系统,通过集成智能生产及智能管理,解决了板式家具需要不同类型封边加工时封边带更换效率低下、操作繁琐的问题。使用该总控系统的封边生产线可自动识读工厂MES系统的加工程序,一次性完成板材的四面封边加工,大幅度提高生产效率,减轻劳动强度。

摘要：HONDA的CBR600车系是世界车坛众多车系中一颗经久不衰的明星，现在HONDA仍然把它视为自己的主力车型，不断求新，不断改良，以巩固它在同类车中的王者地位。自从1987年诞生以来，CBR600系列始终在同类车中傲视群雄，它的生存目的就是要为HONDA抢占中量级运动跑车这个广阔的市场。而CBR600在这方面也表现得很出色，以其非凡的性能表现，杰出的设计理念赢得了世界上大多数车迷的认可。CBR600车系的更新换代的速度非常之快，几乎每年都会推出完全不同的新车型，最近两年这种趋更是有过之无不及。CBR600F Sport 的推出好像还是不久前的事，现在又推出了最新的CBR600RR车型。更新速度之快几乎让人透不过气来。我们这次的试车就是将两者来个对比测试，看看中量级跑车中的顶级碰撞会擦出什么火花。

摘要：传统的NK型街车给人的感觉就是车身庞大、厚重，且动力输出注重强横的扭矩，对运动性能并不是很重视。然而，自从雅马哈公司推出Fazer 1000并大获成功之后，各大车厂便纷纷开发装备高性能配置的新一代街车，Kawasaki很快推出全新设计的Z1000，也投入到这场革命中。

摘要：在这个竞争激烈的时代，世界各大摩托车厂都不断革新。他们各自研制自己的利器来加入战团。而这场子战争中，以超级跑车的争斗最为激烈。除了强调运动性能的超级跑车以外，一种更加重视动力输出的超级跑车也加入了战局。这种强劲两轮机器的诞生，就是要为他们的厂家争夺史上最强最速的王位。虽然YAMAHA还没有参战，但是HONDA，SUZUKI和KAWASAKI已是拼得很凶。继HONDA的Super Black Bird之后，SUZUKI“隼”的时速首先突破300km/h。一向比较低调节器的KAWASAKI也出了回应，推出了马力更强，重量更轻的ZX-12R“忍者”，以动摇“隼”的王位。“忍者”不仅做到了，而且成为最快的市贩版摩托车。

摘要：它的风格与其他车厂的巡航车截然不同。超长的车身、宽阔的车把、漆黑的部件、巨大的前后挡泥板几乎覆盖了整条车轮，再加上“鲨鱼尾”般的消音器，这种突出的风格立刻抓住了人们的目光，它莫非是失落多时的巡航车鼻祖——印地安。应该说是印地安式的，是来自日本的Keweseki VN1500 Drifter(浪人)。

摘要：凌云A1旗航曾经以独特新颖的外观设计和高科技的配置引起市场的关注，作为一辆城市街车，它对细节的追求和对高科技的推崇令人叹为观止。

摘要：偶极子声波测井采用偶极子激发,在井筒中激发挠曲波沿井内流体传播,偶极子波形具有明显的频散效应,低频截止值处横波速度为地层的横波速度.有效的频散校正方法是偶极子声波测井有效应用的关键技术.对振幅相位估计法进行了研究,设计指定波数的滤波器建立目标函数,通过滤波器的权函数进行拟合函数的求取,得到偶极子波形的频散曲线,可以获得较高分辨率的频散曲线.求得频散曲线后,采用直方图和拟合函数法进行了频散校正方法的研究.通过对模拟数据的对比,得出拟合函数的频散校正方法能获得较高的频散校正结果.实际数据处理验证了该频散校正方法的有效性.