ABAQUS箱型桥梁的GUI二次开发

介绍了大型通用有限元软件ABAQUS的二次开发功能和利用面向对象语言Python编制参数化建模插件的原理和步骤。以变截面箱型桥梁参数化有限元建模为背景,通过ABAQUS提供的API函数和AFX GUI Toolk it工具包开发了箱梁桥参数化建模菜单和工具条,提高了箱型桥梁的有限元建模速度,为箱型桥梁的精细有限元分析提供了有力的支持。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.      

六

在马自达Takeri雄概念车后,终于爆出了马自达6概念车的尊荣。从照片中我们不难发耵akeri雄概念车的诸多设计元素得以继承。马自达6采用了全新设计语言“SoulofMotion”（我们姑且将其翻译为：动之魂）,巨大的五边形进气格栅在马自达历史上占地面积最广,这也是Takeri雄概念车的核心元素之一。镀铬饰条直接延伸至前大灯,虽然没有Takeri雄概念车那般夸张,但也足以令人眼前一亮。     

六 ALL-new mazda 6 sedan

在马自达Takeri雄概念车后,终于爆出了马自达6概念车的尊荣。从照片中我们不难发现Taker雄概念车的诸多设计元素得以继承。马自达6采用了全新设计语言Soul of Motion(我们姑且将其翻译为:动之魂),巨大的五边形进气格栅在马自达历史上占地面积最广,这也是Taker雄概念车的核心元素之一。镀铬饰条直接延伸至前大灯,虽然没有Taker潍概念车那般夸张,但也足以令人眼前一亮。     

新品迭出一汽-大众唱响满足市场需求最强音

一汽-大众致力于成为高品质汽车代名词的又一完美体现,在2012年第一季度打出了一套组合拳：运用全新设计语言,超越级别安全配置的全新速腾,融合完美设计、前瞻科技与尊享质感的高档C级轿车——全新奥迪A6L,这无疑给低迷的国内车市注入了一剂强心针。无论是全新速腾在A＋级市场再塑标杆,还是全新奥迪主打个人市场领豪华车市格局之变,都显示出一汽-大众精于中国市场,洞察消费者需求,不继创新的努力。新品接踵发布、体系能力持续提升,一汽-大众致力于成为最优秀的汽车合资企业。未来,一汽-大众不仅将实现更高的产能规模,也将带来更多更好的产品与服务。     

人在旅途

人生是一次旅程,这是一种被用滥了的文艺表达,但是对于言语贫瘠的我,实在想不到任何比它更贴切的语言来形容我的人生.旅行是为了什么?是为了不可企及的别处,还是为了逃离熟悉?对我来说,旅行代表着自由,旅行可以让我找回真实的宁静.     

基于M/M/C排队模型的三峡大坝船舶待闸时长预测研究

为研究三峡大坝船舶在锚地长时间滞留待闸的问题,收集并统计了三峡坝区2013年下行方向上不同类型船舶到达上游锚地和通过船闸的流量数据,并对船舶待闸时间进行了频数统计;引入排队论方法,将船舶在三峡坝上锚地排队待闸到离开锚地的过程构建为随机输入多服务台排队系统,利用M/M/C排队模型求解系统的平均等待时间,平均队长等;将2013年船舶到达率和锚地服务率作为输入,模型计算得出的平均停留时间与实际情况的绝对误差为7.3%,表明了模型的适用性;使用不同的船舶到达率和锚地服务率参数,开展模型敏感性分析,结果表明若船舶到达率降低15%(例如15%的船舶采用翻坝运输),锚地泊位由超负荷状态转为能力充足;相反,若达到率增加15%,系统将处于不稳定状态,无法继续运行;但此时若将锚地服务率提高30%,则系统又能够恢复稳定,泊位可以满足需求.      

SSL安全代理的Java实现

章介绍了SSL协议和Java语言所提供的安全平台，在此基础上介绍了SSL安全代理实现的基本原理。     

商业流程执行语言的研究与应用

商业流程执行语言(Business Process Execution Language for Web Services,简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,它使企业能够描述既能使用又能提供Web服务的复杂的业务流程.介绍BPEL4WS的基本概念,特点及如何利用BPEL4WS来构建商业流程处理系统.     

基于SQL的机车检修数据库构建技术的研究

机务段建立重点检修设备网络系统是适应机务管理网络化的要求,对提高机车检修质量具有重要意义,检修数据库的构建是其中一个重要的组成部分,在简要介绍重点检修设备网络系统的总体构成设想基础上,分析了检修数据库建立的软硬件环境,提出用结构化查询语言来构建检修数据库是较好的选择,对数据库的逻辑设计、物理设计和安全性设计等方面提出了初步建议和设想,以建立一个完整、安全和实用的机车检修数据库.