构件化嵌入式软件设计模型非功能性质验证的工具实现

嵌入式软件的非功能性质是系统高可靠性的重要构成部分.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证.对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现,包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现,以及一个通信构件组合系统的实例应用分析.     

受水利工程影响的乌江流域洪水预报方法浅析

乌江流域是我国重要的水电能源基地之一,流域内已建或在建有多座梯级水电站。这些水电工程的建设,改变了流域的局部水文特性,导致洪水传播时间和降雨的产汇流时间缩短,给流域的水文预报增加了困难。鉴于此,在分析流域暴雨洪水特性和原有洪水预报方案的基础上,深入研究了流域内各主要水电站对洪水预报的影响,针对实际情况调整预报方法,并找出预报的难点和疑点。通过对2010年7月9日乌江洪水预报实践表明,调整后的预报方案能够取得较为满意的预报结果。     

基于CORBA的分布式工作流模型研究

介绍了面向动态联盟与过程集成,基于对CORBA技术和工作流技术的分析,构建了一种基于CORBA的分布式工作流模型,为解决企业间的动态过程集成问题,提出了一种有意义的方法。     

高速电主轴转子系统动力学分析

本文介绍了某型电主轴的结构设计,在ANSYS中建立轴承—主轴系统三维有限元模型,采用Subspace模态提取法进行结构分析,计算出电主轴的前6阶固有频率和振型,验证了该电主轴设计的合理性。     

哈尔滨市高架桥下空间利用优化研究

城市高架桥下空间作为解决城市交通问题的衍生空间,是城市空间的组成部分,与土地利用、城市交通、市民生活、景观体系之间关联紧密。以哈尔滨高架桥下空间利用为视角,介绍哈尔滨市高架桥的建设情况、区域分布及高架桥的建筑形式构成;从利用方式、功能协调、景观及管理等方面指出高架桥下空间的利用现状及问题;提出高架桥下空间利用应以交通效率优先、功能整体性、公益功能为主、景观及生态性为原则;并针对性地从整体设计、区域适应性、时间梯度利用、绿化与景观建设及管理方面论证桥下空间利用优化的模式与策略。     

10 kV电容器组切换在用户侧产生的电压放大现象

分析了切换10kV并联电容器组时，在400V用户母线上产生的暂态过电压的放大现象。对影响暂态过电压放大的各种因素，如10kV补偿电容器的容量、用户侧用于补偿功率因数的补偿电容器的容量和阻抗、用户侧降压变压器的容量以及系统阻尼等，用电磁暂态分析程序(EMTP)作了全面的仿真分析。指出了放大暂态电压对用户设备的影响，并讨论了抑制放大暂态过电压的措施。文章还指出，解决暂态电压放大的较好办法是在用户侧功率因素补偿电容器上串接一电感以形成谐波滤波器。     

复合压力传感器研制

为满足行业配套组件的发展需求,研制了一种新型复合压力传感器。该传感器采用分体结构设计,将压力信号转换成深度信号,利用精密的信号处理电路,将微弱的深度信号进行放大、比较等处理,可同时输出连续量电信号和阶跃量信号。该传感器具有精度、过载倍数和可靠性高,温度系数小,耐腐蚀等特点,整体性能均高于单一功能类的产品。     

基子WEB技术的行业公共数据中心研究与应用

本文结合上海敏捷制造网络化工程项目的实施,对行业建立共享的公共信息数据中心的相关内容进行了简单分析,并针对机床制造行业提出了较详细实现方案.     

标准建模语言U M L及其扩展机制

标准建模语言ＵＭＬ概述 １.ＵＭＬ的形成 公认的面向对象建模语言出现于２０世纪７０年代中期。从１９８９年到１９９４年,其数量从不到１０种增加到了五十多种。２０世纪９０年代中,一批新方法出现了,最引人注目的是Ｂｏｏｃｈ １９９３、ＯＯＳＥ和ＯＭＴ－２等。 Ｂｏｏｃｈ是面向对象方法最早的倡导者之一,他提出厂面向对象软件工程的概念。Ｂｏｏｃｈ１９９３比较适合于系统的设计和构造。Ｒｕｍｂａｕｇｈ等人提出了面向对象的建模技术（ＯＭＴ）方法,采用了面向对象的概念,并引入各种独立于语言的表示符。这种方法用对象模型…     

对CO2焊接应用与维修工作的几点建议(上)

从车轮合成ＣＯ２自动焊机的应用情况出发,多方面分析了该焊机发展的趋势及原因,总结了影响ＣＯ２焊接应用与维修的因素,提出了做好焊机维修工作的几点建议。