A Requirements Engineering Environment for Embedded Real-Time Software—SREE

The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.     

黄土盾构下穿不同地下非连续管线的模型试验

针对城市盾构隧道施工下穿既有输气管线引起管线沉降与受力问题,以河南省某在建高速公路为工程背景,进行室内模型试验和有限元数值模拟.考虑不同非连续管线接头间距、接头刚度和管隧间距的影响,探讨管隧正交工况下,隧道开挖对非连续管线沉降、弯矩及管土接触应力的影响.研究结果表明：黄土盾构正交下穿管线存在沉降集中区,在该区范围内,管线接头与管段相对刚度比的大小对管线平均沉降增长速率影响较大,相对刚度比由1.30减小至0.21,非连续管线平均沉降增长速率增大1.5倍;相对刚度比相对大小对非连续管线沉降和弯矩起到决定性作用;通过定义非连续管线综合刚度比,揭示不同综合刚度比下非连续管线最大沉降变化规律和管线最大正负弯矩相对变化规律,其中综合刚度比与管线最大沉降服从3次多项式拟合函数,管线的最大正弯矩值随着最大负弯矩值的改变服从4次多项式拟合函数;管线的管土接触应力变化均呈现“双峰型”变化,管土接触峰值应力随着接头间距的增大而增大;数值模拟表明,管线最大沉降随着管隧间距增大而呈现折线型减小,该转折点出现在管隧间距与隧道开挖直径比为1处.     

无穷维Jackson网络过程的存在性和遍历性

研究了无穷维Jackson网络过程的存在性.并且利用耦合方法研究了无穷维Jackson网络的随机可比性,进而得到它的遍历性.     

换向活塞式同步阀静动态特性仿真分析

通过对换向活塞式同步阀结构工作原理的分析，获得了简化分析模型，得到了该类同步阀的非线性状态空间方程，通过仿真，分析了影响同步阀动态性能和静态同步精度的主要因素，对同步阀的分析设计具有一定的指导意义．     

线圈型电磁斥力机构的分闸效率仿真及影响因素分析

电磁斥力快速操动机构在直流断路器、限流器及选相开关等领域具有广阔的应用前景。在分析线圈-线圈型电磁斥力机构工作原理的基础上,利用有限元软件Ansoft建立了线圈-线圈型电磁斥力机构场路耦合瞬态动力学特性分析的二维有限元模型。对线圈匝数和放电电容的充电电压分别在30~60 V和340~380 V范围内,线圈规格分别为1×8 mm、0.9×7.1 mm和0.8×6.3 mm的情况下的电磁斥力机构运动特性进行了仿真计算。根据计算结果能够获得分闸时间的长短,进而可以反映出分闸效率的高低。仿真结果表明,3个因素中充电电压影响最大,线圈规格的影响较小。充电电压的提高会使分闸效率得到极大的提高。同时,随着线圈匝数增大分闸效率先增加后减小。仿真结果中,线圈规格为0.9×7.1 mm、线圈匝数为40、充电电压为380 V时斥力机构有最大的分闸效率。     

高职机电类教师专业实践能力培养研究与实践

建设双师素质的教师队伍是培养生产、建设、管理、服务第一线需要的高素质机电类专业技能型人才的关键。研究者分析了高职院校专业教师实践能力培养的多种措施,并结合本学院特点,探索并实践了以构建"无界化"技术服务团、依托校内外先进的实训条件、项目运作为特点的教师专业实践能力提高研究,从项目的实施、解决的关键问题等方面对高职机电类教师专业实践能力的培养进行了阐述。     

镁固态电池

以层状结构的三硫化铌、二硫化钼、二硫化钨、五氧化二钒作为阴极材料，镁改型蒙脱石作为固体电解质，镁片作为阳极组装成镁固态电池。电池的开路电压在１．８６～２．１０Ｖ。电池以５０μＡ电流进行恒电流放、充电循环。讨论了不同次微结构蒙脱石固体电解质及复合阴极组份对电池性能影响。     

Franck－Kertz实验的讨论

本文讨论３Ｆ－Ｈ实验方案的设计思想，并选择适合的工作条件及合理的数据处理方法，使Ｆｒａｎｃｋ－Ｈｅｒｔｚ实验获得满意的实验结果。     

3 1维格点QCD的手征对称性自发破缺

把纯规范场的严格基态和费米场的变分真空态结合起来,研究3 1雏SU(2)、SU(3)群的真空结构,给出费米子真空凝聚〈ΨΨ〉与1/g~2的关系。