基于语义验证的可视化BPR建模工具

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。     

数字示波器垂直系统评价概述

基于数字示波器的结构原理,阐述数字示波器的垂直系统性能评价参数及其指标,研究直流增益、直流偏置、动态有效位数、信噪比和随机噪声的校准方法,有助于提高数字示波器垂直系统的校准水平。     

冲击扭矩作用下弹性圆柱壳中应力波导致的动力屈曲问题

圆柱壳的屈曲问题曾被许多力学工作者从不同的角度进行过研究．本文以半无限长弹性圆柱壳为研究对象，将冲击扭矩作用下圆柱壳的动力屈曲归结为由于扭转应力波的传播导致的分叉问题，最后将此分叉问题化为一个非线性方程组的求解，并对动力屈曲时横向惯性的影响进行了讨论，最后进行了数值分析，得到了一些有益的结论．     

非线性粘弹性板条高速运动时的混沌现象

本文考虑材料的粘性和非线性弹性性质，研究了高速运动时板条的混沌运动，建立了相应的非线性动力方程，利用Ｍｅｌｎｉｋｏｖ函数法给出发生混沌的临界条件，结合Ｐｏｉｎｃａｒｅ映射，相平面轨迹及时程曲线判定系统是否处于混沌状态，并对通向混沌的道路进行了讨论。     

受轴向冲击有限长弹性直杆中应力波引起的分叉问题

研究了有限长理想直杆受阶跃载荷作用的弹性动力屈曲问题。将直杆的屈问题归结为由轴向应力波传播而导致的杆的分叉问题，并考虑了应力波反射的影响。给出了分叉发生的临界条件并对具体实例进行了计算。最后对阶跃载荷及脉冲载荷对杆的动力屈曲的影响进行了讨论。     

对国军标中引线牢固性试验的几点看法

本文针对 GJB548A《微电子器件试验方法和程序》中引线牢固性试验的条件 A、B_2中有关试验目的,失效判据及程序简单介绍了笔者的几点看法。     

谈淡金属外壳检验项目的合理性

本文阐述了金属外壳检验项目的合理性，并对外壳检验项目中易同器件（要求）产生分歧之处提出了自己的看法。     

流媒体在有线电视中的应用

在介绍流媒体技术基本概念和主要原理的基础上,对流媒体的传输方式和传输流程进行具体说明,提出可供参考的流媒体传输的典型解决方案,对影响传输质量的主要因素和可构成一个完整解决方案的相关软硬件集成要求进行归纳分析,同时从有线电视网络宽带流媒体平台应达到的目标、有线电视网络宽带流媒体服务平台的系统组成和有线电视网络宽带流媒体系统的功能等几个方面阐述了宽带流媒体在有线电视网络中应用的具体实现.     

压缩封接及其应力计算公式简介

在半导体器件中,长期以来,多利用匹配封接的方法获得绝缘零件(亦称外壳)。其主要选用的材料为钼组玻璃与可伐合金相封接。众所周知,可伐合金的价格是昂贵的,将使产