时间偏差算法中通讯接口的研究及实现

时间偏差算法是一种实现并行离散事件模拟的协议,其目的在于利用并行平台并发地执行大规模离散事件的模拟,以缩短仿真时间。为保证结果的正确性,并行模拟必须解决同步问题。时间偏差算法利用虚拟时间来同步各模拟部分之间的执行,通讯接口是利用虚拟时间及回退策略实现同步的部分。对该部分进行了深入的研究,提出了一种优化的实现方案,并对其性能进行了分析。     

基于OPC技术的柴油机涂装管控一体化系统

针对远程控制系统难以实现和控制效果不理想的问题,设计了一种基于Profibus现场总线和OPC的柴油机涂装远程控制系统,采用MCGS组态软件实现与底层设备的数据交换并建立OPC服务器,OPC客户端以Simatic NET为集成软件,对远程OPC服务器进行数据存取和程序控制.详细地阐述了系统结构,以及现场控制层、过程监控层、信息管理层的组态过程,并给出OPC服务器的程序设计.应用结果表明,实现了涂装控制系统与工厂管理信息系统的互连,为全厂管控一体化提供了必要的技术支持,具有很好的实用价值.     

基于分布式数据库系统查询优化策略的研究

在分布式数据库系统中,由于数据的物理分布使得分布式查询处理增加了许多新的复杂性,不同的查询处理策略,其查询处理代价和复杂度是大不一样的。分布式数据库系统的查询优化和集中式数据库系统相比,显得更为重要。文章在充分讨论查询优化和策略的基础上,着重论述了一种分布式数据库系统查询优化策略是如何影响查询性能的。     

基于Pro/E二次开发的卫星装配设计研究

为解决卫星型号设计的周期长、投入大和效率低的问题,在Pro/E2.0的平台上,开发了卫星型号设计系统,实现了卫星型号设计的快速建模与装配以及卫星的质量特性分析、光压分析、遮挡分析、敏感器视场分析等分析计算功能。以卫星型号设计中的太阳电池翼的装配为例,详细阐述了利用二次开发工具Pro/ToolKIT实现数字化装配设计的程序设计思想。最后通过系统运行实例表明了参数化装配设计的准确性和高效性。     

基于UML的计算机联锁软件的分析与建模

有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。     

使用贝叶斯优化对遥感影像目标进行精确定位

针对大尺寸遥感影像目标检测中检测边框不精确的问题,提出使用高斯过程贝叶斯优化对遥感影像中的目标进行精确检测与定位。研究分为两个阶段,第一阶段使用基于边缘信息的EdgeBoxes算法对大尺寸遥感影像进行目标候选区域的选取,用分类器得到初始检测结果;为了得到更加准确的边框,在第二阶段,基于高斯过程的贝叶斯优化对每个目标的边框进行微调：①以目标初始边框为基准,在其周围选取与初始边框相交的边框集合,并得到一个高斯过程分布;②使用贝叶斯优化估计出下一个边框,并将其加入边框集;③求分类器对所有边框的得分,得分最高的边框作为下次迭代的基准边框;④重复若干次贝叶斯优化后得到最终的边框。实验结果表明：EdgeBoxes方法以较少的候选框可以得到较大的召回率,使用高斯过程的贝叶斯优化可以明显地提高检测边框的精度。     

JSTAMP/NV在多工位级进模冲压仿真中的应用

级进模作为一种复杂、精密的冲压模具,具有高效率、高精度和高寿命的优点,广泛应用于各个行业的冲压生产中。随着技术的发展,对级进模的成形质量要求越来越高,但传统的级进模设计中主要依靠经验,在制造过程需要反复修模,产品制造周期长。本文简述了级进模设计的特点,并对多工位级进模冲压成形数值模拟的方法及操作流程进行了探讨。最后,以某汽车结构件的多工位级进冲压为例,应用JSTAMP/NV软件对其成形过程进行数值模拟,并将该仿真结果与试模结果进行比较,结果表明仿真结果与试模结果吻合良好。     

基于G2G信息共享需求识别的G2B业务流程设计研究*

为了给公众和企业提供更好的服务,给政府决策者提供更准确及时的支持,政府部门间G2G信息共享势在必行。然而,由于政府业务繁多且程序复杂,许多政府部门对政府信息分布及共享需求并不清晰,给电子政务流程设计造成了一定的难度。为此,试图从跨组织信息资源管理的角度出发,首先对G2B传统业务流程中业务依托信息和产生信息进行分析,以确定各职能部门的信息需求状况;其次,通过分析不同部门间的业务信息关系,分别建立依托信息与依托信息、依托信息与产生信息以及产生信息与产生信息三种信息交集关系,从而识别部门间信息共享需求并分析可能     

软件过程中的范型研究

为实现软件工程的目标,有必要研究软件开发过程。论文规范了软件开发方法学、软件过程范型、模型和编程范型等概念;讨论了软件过程中各种范型之间的关系;研究了选择范型的原则和机制。本研究有助于软件实施。     

PCLAgenda:一个基于过程的CASE环境

本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开发过程，指导、控制和自动化软件开发工作，支持开发人员的合作和协调．ＰＣＬＡｇｅｎｄａ的核心是基于ＳＣＯＰ软件开发方法学的、面向活动的软件过程模型.