摘要：本发明公开了一种面向路径的测试数据自动生成方法，目的是提出一种无数据依赖关系分析的能够用于白盒、黑盒的测试数据自动生成的方法。本发明约束构造器根据当前程序输入和各输入变量的增量执行路径W上的语句，不分析W上的语句之间的数据依赖关系，构造W上各谓词函数的线性算术表示，然后建立输入变量的线性约束系统；约束求解器采用线性规划、线性整数规划、线性混合整数规划和最小二乘解法相结合的方法求解线性约束系统，经过若干次迭代寻找所需的测试数据。本发明构造线性约束系统的效率高，生成测试数据的能力强，既能用于白盒测试，又能用于黑盒测试；通用性和可移植性好，适用范围广。

摘要：本发明提供一种钠离子二次电池，正极的正极活性物质包含含钠过渡金属氧化物(Na_aLi_bM_xO_2±α)。上述M包含选自锰(Mn)、铁(Fe)、钴(Co)和镍(Ni)中的至少2种。并且，作为负极使用钠金属或与钠合金化的金属。作为非水电解质使用在非水溶剂中溶解有电解质盐(钠盐)的物质。作为非水溶剂，可以列举环状碳酸酯、链状碳酸酯、酯类、环状醚类、链状醚类、腈类、酰胺类等和由这些组合形成的非水溶剂。

摘要：一种节流式流量计，它包括：要进行测量的流体穿过其内部的一缸体；和用来形成沿着垂直于缸体的中心轴线穿透缸体的一节流结构的一管子，该管子的直径比所述缸体的内径小，其特点在于，在垂直于流动方向的最为节流的横截面上形成一第一压力测量孔，在所述缸体的、位于离开最为节流的横截面一缸体内径的1/2或更多的距离处的上游的壁上形成一第二压力测量孔。

摘要：本发明提供一种可容易地形成反射层，并且可有效地使光射出的照明装置。照明装置(1)包括多个半导体发光元件(5)、反射层(3、23)、多个导体部(4c、25a)以及透光性粘接层(6)。半导体发光元件(5)包括透光性基板(11)以及形成在基板(11)上的半导体发光层(12)。反射层(3、23)具有可使半导体发光元件(5)相互间隔地排列的大小。导体部(4c、25a)形成在反射层(3、23)上，并且与半导体发光元件(5)电连接着。粘接层(6)通过将半导体发光元件(5)的基板(11)粘接在反射层(3、23)上，而将半导体发光元件(5)保持在反射层(3、23)上。

摘要：本发明涉及印刷布线板用屏蔽膜以及印刷布线板。获得对于从大的弯曲半径至变为小的弯曲半径(1.0mm)的反复弯曲及滑动，金属层难以发生破坏的印刷布线板用屏蔽膜以及印刷布线板。印刷布线板用屏蔽膜(10)具有在绝缘层(1)的单面形成的金属层(2)，绝缘层(1)的单面表面的算术平均粗糙度(JIS?B?0601(1994年))为0.5～5.0μm，并且，金属层(2)以沿着绝缘层(1)的单面表面成为波纹结构的方式形成。本发明的印刷布线板通过在基体膜上贴附印刷布线板用屏蔽膜(10)而形成。

摘要：本发明公开了一种口腔速崩片，其特征在于：所述片剂可通过常规的片剂生产设备来制备，并且具有令人满意的适于实际应用的硬度，并且(例如)潮湿等因素难以引起该片剂性质的改变(即，片剂硬度降低以及在口腔中崩解时间延长)。所述口腔速崩片的硬度为40N或更高，在口腔中可在60秒以内崩解，并且该片剂通过压缩成型以下成分的混合物而制备：(a)活性成分，(b)具有良好水润湿性的赋形剂，(c)具有良好可压缩成型性且基本不会引起赋形剂的水润湿性降低的水不溶性聚合物，以及(d)崩解剂。

摘要：本发明公开了一种口腔速崩片，其特征在于：所述片剂可通过常规的片剂生产设备来制备，并且具有令人满意的适于实际应用的硬度，并且(例如)潮湿等因素难以引起该片剂性质的改变（即，片剂硬度降低以及在口腔中崩解时间延长）。所述口腔速崩片的硬度为40N或更高，在口腔中可在60秒以内崩解，并且该片剂通过压缩成型以下成分的混合物而制备：(a)活性成分，(b)具有良好水润湿性的赋形剂，(c)具有良好可压缩成型性且基本不会引起赋形剂的水润湿性降低的水不溶性聚合物，以及(d)崩解剂。

摘要：本发明的目的在于提供一种在萤火虫生物发光系统中维持了荧光素酶的发光活性的被修饰的萤火虫荧光素及萤火虫荧光素类似物。本发明的目的特别在于提供一种萤火虫生物发光系统中的发光波长与现有的发光基质相比向长波长一侧偏移了的新的发光基质。本发明提供苯并噻唑环部分的7位被修饰了的荧光素。此外，本发明提供苯环部分的6位被修饰了的荧光素类似物。进而，本发明提供6-（二烷基氨基）-2-萘基部分的5位被修饰了的荧光素类似物。

摘要：本发明公开了一种口腔速崩片，其特征在于：所述片剂可通过常规的片剂生产设备来制备，并且具有令人满意的适于实际应用的硬度，并且(例如)潮湿等因素难以引起该片剂性质的改变（即，片剂硬度降低以及在口腔中崩解时间延长）。所述口腔速崩片的硬度为40N或更高，在口腔中可在60秒以内崩解，并且该片剂通过压缩成型以下成分的混合物而制备：(a)活性成分，(b)具有良好水润湿性的赋形剂，(c)具有良好可压缩成型性且基本不会引起赋形剂的水润湿性降低的水不溶性聚合物，以及(d)崩解剂。

摘要：本发明的一种车辆鸣笛响度的控制方法及系统。包括获得当前车速，并识别当前车速所处的速度区间为高速区间、中速区间或低速区间；基于速度区间匹配鸣笛响度区间，以供车辆的行车喇叭在目标鸣笛响度区间执行鸣笛动作；其中，高速区间匹配第一鸣笛响度区间，中速区间匹配第二鸣笛响度区间，低速区间匹配第三鸣笛响度区间。本发明根据不同的行车速度匹配鸣笛响度区间。解决了车辆鸣笛响度大小不能根据车辆的行车速度进行调节的问题。当车辆处于高速行驶时，调大车辆鸣笛响度，提醒行人车辆注意安全。车辆处于中低速行驶时，调小车辆鸣笛响度，避免惊吓到人群。因此本发明的控制方法及系统，使得车辆鸣笛响度精准的匹配行车速度，保证车辆的行驶安全。