UML状态图的形式化建模及其分析

为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过"记忆单元",完成复合状态的"记忆恢复"和"记忆刷新".基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义.      

不同螺旋体浓度旋波介质吸波性能的研究

利用空间测量方法对不同浓度手性旋波介质的吸波性能进行了测量。实验表明,手性螺旋的浓度可以做为调节旋波介质吸波性能的一个灵敏参量。在非手性基体中加入适当浓度的螺旋体可有效提高手性介质的吸波性能。手性螺旋体的基体中的浓度有一最佳浓度匹配点,该浓度点在３．２％和４．０％之间。在设计高吸收宽频段的手征性吸波材料时,应考虑螺旋体在手性介质中的浓度匹配。     

判定平面立体棱线对投影面相对位置的新方法

根据空间几何元素直线,平面所具有的方向性,找出相交两平面与其交线之间方向性的内在规律,提出了判定平面立体棱线对投影面相对位置的新方法。     

技术图书馆计算机集成管理历程

本文从确定软件、建立书目数据库和开通三个子系统等方面介绍了图书馆进行计算机集成管理的历程。     

2219铝合金变极性等离子弧穿孔立焊工艺研究

通过典型不等厚度2219铝合金变极性等离子弧(VPPA)穿孔立焊焊接工艺试验,研究了VPPA立焊工艺特性和工艺参数对焊缝成形的影响,并评定了接头的综合性能,确定了接头的最佳焊接工艺。试验表明,采用匹配的工艺参数进行VPPA立焊,可形成稳定穿孔效应和良好成形,其焊缝无任何气孔、夹杂,力学性能和接头质量高于TIG焊缝。     

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

高度表天线窗成型工艺改进

从原材料、固化体系、糊制工艺三个角度分析了天线窗表面发白的原因,选用了中温咪唑类催化固化体系,摸索出了均匀施胶、排泡的手糊成型方法及固化参数。试验结果表明,改进后制品满足产品技术条件中的电气性能、力学性能指标要求,并通过了例行试验的考验,改善了产品外观质量,提高了产品质量稳定性和环境抵御能力。     

双排离散孔在凸表面上气膜冷却有效温比的传质实验研究

本文采用传质实验的方法,对叉排双排离散孔在凸表面上的气膜冷却特性,做了精确地测量,以大量实验数据为依据,总结出在凸表上气膜冷却有效温比分布特征,为设计者提供了有实际参考价值的依据。      

前缘喷淋射流对导叶压力面冷却特性的影响

为了评估涡轮导叶的前缘喷淋射流对压力面多排气膜孔冷却特性的影响,在高亚声速风洞中进行了实验,获得了有无前缘喷淋射流时叶片表面的气膜冷却效率和传热系数。叶栅进口雷诺数(基于叶片弦长)范围为2.0×105~4.0×105,出口等熵马赫数为0.95,叶片前缘和压力面分别都包含6排圆形孔,质量流量比的范围分别为2.46%~4.57%和2.00%~3.71%。实验结果表明:在没有前缘喷淋射流时,压力面前半段的气膜冷却效率受质量流量比的影响较小,而后半段的气膜冷却效率随着质量流量比升高而增大。前缘喷淋射流使压力面多排气膜孔的冷却效率提高了20%~70%,并且使气膜冷却效率沿流向分布更均匀。不论是否有前缘喷淋射流,压力面的传热系数比都随质量流量比升高而增大,沿流向看,前缘喷淋射流提高了压力面前缘和尾缘区域的传热系数比而对压力面中间区域影响较小。     

磁力支承复合水润滑轴承动力学及摩擦学性能研究

为减小轴承接触摩擦力及其对轴系振动的影响,基于磁力支承技术,设计一种全新的集成永磁支承力的复合式水润滑轴承,并对其摩擦学及动力学性能进行分析.研究发现:该设计能有效改善轴承润滑状态,最小液膜压力能提高79.6％,最大液膜压力减小幅度达75.7％,同时,艉轴稳定性保证在1～8,远大于其稳定性阈值0.02,该设计为未来船舶...