Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

完全非线性偏微分方程解的Gevrey微局部正则性

本文中，我们首先简要回顾了Gevrey类中的仿微分运算，然后考察了相关的完全非线性偏微分方程的象征的一些性质。作为应用，我们得到解在椭圆点附近的Gevrey微局部正则性。     

具有模糊数的模糊多目标群体决策优选模型与方法

多目标群体决策问题是运筹学的一个重要研究领域，目前已经提出了一些有效的决策方法。但对目标值和权重均为模糊数的模糊多目标群体决策问题却研究不多，本对此类模糊多目标群体决策问题进行了探讨，利用相对正理想方案与相对负理想方案概念定义了相对差异距离，进而建立了模糊多目标群体决策优选模型与方法，并通过战役决心方案的评价说明了该方法是可行、有效的，可作为军事决策与决策支持系统的备选方法。     

层次分析法参数化的随机模型

建立了层次分析法参数化的随机模型，通过计算难度系数，得出权向量，从而有利于广泛应用且真实可靠。     

利用微悬臂梁表面应力研究聚N-异丙基丙烯酰胺分子的构象转变

提出了一种基于微悬臂梁传感技术研究大分子折叠/构象转变的新方法.通过分子自组装的方法将热敏性的聚N-异丙基丙烯酰胺(PNIPAM)分子链修饰到微悬臂梁的单侧表面,用光杠杆技术检测温度在20-40 ℃之间变化时由于微悬臂梁上的PNIPAM分子在水中的构象转变所引起的微悬臂梁变形.实验结果显示:在升温过程中,微悬臂梁的表面应力发生了变化并且导致微悬臂梁产生了弯曲变形,这个过程对应着微悬臂梁上的PNIPAM分子从无规线团构象到塌缩小球构象的构象转变.在降温过程中,微悬臂梁发生了反方向的弯曲变形,这对应着PNIPAM分子从塌缩小球构象向无规线团构象的构象转变.整个温度变化过程中构象转变是连续进行的,而在低临界溶解温度(约32 ℃)附近转变幅度较大,这与自由水溶液中PNIPAM分子的无规线团-塌缩小球构象转变相对应.实验结果还显示:由于PNIPAM分子在塌缩过程中氢键的形成和链段间可能的缠结效应,整个温度循环过程中微悬臂梁的变形是不可逆的且有明显的迟滞效应.     

Er3+掺杂的Bi2O3-B2O3-SiO2玻璃的光谱性质

测试了Bi₂O₃-B₂O₃-SiO₂玻璃中的Er³⁺离子的吸收光谱、发射光谱、⁴I_13/2的荧光寿命、拉曼光谱,及OH^-的傅里叶红外吸收光谱。应用Judd-Ofelt理论计算了该玻璃中的Er³⁺离子的J-O参数、振子强度、⁴I_13/2能级的寿命,从而利用测得的⁴I_13/2的荧光寿命得出了⁴I_13/2能级的量子效率(15%)。由于较低量子效率可能与OH^-有关,所以计算了玻璃中的OH^-浓度,发现其浓度较高(1.66×10¹⁹cm^-1,相当于Er³⁺浓度的3倍)。应用McCumber理论和四能级模型计算了Er³⁺离子的受激发射截面和荧光发射光谱的半峰全宽,结果与通过吸收光谱计算所得基本吻合。根据透射率和折射率的关系计算了折射率,发现和测量值相差很大,说明有较大的散射,通过拉曼光谱和显微镜测试,认为是玻璃中的微小气泡造成的。     

球形拓扑中复杂形状生物膜泡的获得及其稳定性分析

通过在Surface Evolver软件中建立一些与目标形状相似的初始形状，经长时间演化后，得到了实验上已经观察到的具有D_2h和D_3h对称性的海星形生物膜泡.通过跟踪不同形状膜泡的Hessian矩阵的本征值，确定了双凹圆盘与海星形及哑铃形之间的相变是不连续的，其间所经历的三角扁盘及椭圆扁盘形中间相在SC模型中通常是不稳定的. 关键词： SC模型 生物膜泡 Surface Evolver     

SWOT模型分析方法在天津电力发展战略中的应用

面对激烈的市场竞争和复杂多变的社会环境，确定企业的战略方向已成为企业经营管理的首要任务。本文采用定性分析与定量分析相结合的方法构造了一个用于制定企业战略的SWOT战略分析模型，并结合天津电力公司发展现状，应用此模型分析确定了天津电力公司所应采取的发展战略。     

一个仅在有限个点连续且可微的函数

本文构造了一个 n元实函数 f ( x1,… ,xn) ,这个函数定义在整个 n维空间 Rn。除了在任意指定的 m个点 P1,P2 ,… ,Pm 处连续且可微外 ,在其它点上皆不可微、皆不连续。不妨设 Pi 点的坐标为 ( ai1,… ,ain) ( i=1 ,… ,m)。定义 Rn上的实函数f ( x1,… ,xn) =D( x1,… ,xn) mi=1[ nj=1( xj-aij) 2 ]其中　D ( x1,… ,xn) =1　当 x1,… ,xn 全为有理数0　其它 ,则有如下命题命题 1 :f ( x1,… ,xn)仅在 P1,P2 ,… ,Pm 点连续。证明 :先证明 f ( x1,… ,xn)在 Pi 点连续。显然 f ( Pi) =0 ( i=1 ,… ,m)。当 P( x1,… ,xn)→ Pi 有 li…