煤矿信息化中统一数据交换平台的研究

随着煤矿企业近年来跨越式的发展,部分业务系统逐渐形成的“信息孤岛”正成为煤矿企业各业务部门数据共享的重要难题。本文将结合现有的信息集成技术、网络技术及数据库技术等,提出统一数据交换技术在煤矿信息化中的应用,并介绍了煤矿企业中统一数据交换平台的设计与实现过程,且依据都柏林核心等元数据建立了煤矿信息元数据核心框架,最终消除“信息孤岛”。     

UML和CPN在企业销售信息管理系统开发中的应用

UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Pctri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程,并用CPN对所建立的模型进行了分析和检验。     

电网统一视频监控平台分布式部署架构研究与实现

在提升视频监控信息资源共享利用水平的同时,电网统一视频监控平台系统及网络负载均不断提高。本文分析了电网统一视频监控平台集中式部署关键性能影响因素,并通过分布式部署解决了多用户并发访问、视频接入量扩大给系统带来高负载、大视频量问题,为系统的深化应用及后续扩大视频点接入提供了保障。     

Unified meta-modeling framework using bond graph grammars for conceptual modeling

Existing techniques for developing large scale complex engineering systems are predominantly software based and use Unified Modeling Language (UML). This leads to difficulties in model transformation, analysis, validation, verification and automatic code generation. Currently no general frameworks are available to bridge the concept-code gap rampant in design and development of complex, software-intensive mechatronic systems called cyber-physical systems. To fill this gap and provide an alternative approach to Object Management Group’s UML/SysML/OCL combination, we propose: Bond Graph based Unified Meta-Modeling Framework (BG-UMF). BG-UMF is a practical and viable alternative and uses a novel hybrid approach based on model unification and integration. The focus is on conceptual design and development of executable models for large systems. The viability of the framework is demonstrated through an application scenario: conceptual design and development of a navigation and control system for a rotor-craft UAV.     

基于UML的面向对象软件设计

UML是一种通用的可视化建模语言,用于对软件进行描述、可视化处理、构造和建立软件系统的文档。使用UML进行软件设计能够比较显著地提高软件的开发效率,保证软件的开发质量。以中华童装网的开发为例,介绍了一种使用面向对象的UML软件设计方法。     

一个通用的网络安全协同联动体系模型

鉴于现有的协同联动工作缺乏扩展性和统一性的问题,基于冯?诺伊曼体系提出一个网络安全协同联动通用体系模型,实现一个协同联动系统,并通过真实数据的实验验证体系模型及系统的有效性。实验结果表明,该协同联动体系模型具有良好的通用性、可扩展性和实际应用性,其相应系统能够有效地完成单源、多源安全事件的协同联动工作,挖掘多源安全事件之间的关联关系。     

CUDA到异构众核架构的线程映射模型

统一计算设备架构(CUDA)程序移植到其他异构众核架构时的线程数不匹配。为此,提出一种层次化的线程映射模型。在第1个映射层次上,将CUDA主机端线程和设备端线程分别映射到目标平台的主核和从核阵列上,在第2个映射层次上,采用线程循环的方法消除协作线程阵列(CTA)中线程间同步操作,将整个CTA映射到从核阵列的一个从核上。实验结果表明,该模型能使CUDA程序在其他异构众核系统上得到有效运行。     

铝合金复杂汽车零部件热成形-淬火一体化工艺参数优化

铝合金热成形-淬火一体化工艺将成形和热处理结合,能同时实现零件尺寸精度和性能的控制,是实现汽车轻量化的主要途径之一。但是在冲压成形尺寸相对较大、形状相对较复杂的铝合金板件时,依然存在各工艺参数难调试的问题。建立了AA6061铝合金的热变形统一黏塑性损伤本构模型,将其用于铝合金汽车B柱热冲压成形模拟,采用BP神经网络构建了工艺参数(板料成形温度,冲压速度,模具间隙)与成形性(最大减薄率,最大增厚率)之间的关系并结合遗传算法实现多目标优化,得到了AA6061铝合金热冲压的最佳成形工艺参数。优化之后,B柱的最大减薄率和最大增厚率分别从56.5%和14.2%降到了13.0%和10.0%,通过优化之后的工艺参数,制得了成形性良好、尺寸精度高的零件。结果证明了基于神经网络和遗传算法的热成形工艺优化方法的可行性和有效性。     

A new formulation for longitudinally stiffened webs subjected to patch loading

This study proposes a new formulation for patch loading longitudinally stiffened webs using genetic programming (GP) for the first time in the literature. The database for the GP formulation is based on extensive experimental results from the literature. The results of the GP based formulation are compared with existing models and design codes. The results indicate that the proposed GP formulation performs quite well compared to existing models and design codes.