The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

论携号转网行为的私法规制

以电信用户入网协议为切入点,电信用户的携号转网行为应受到《合同法》《消费者权益保护法》等私法规范的保护与限制。该行为引起的格式条款解释、合同终止、违约责任、损失赔偿等问题,不能仅靠《电信条例》等公法规范来调整。应当积极引导广大消费者用户以私法领域相关规定为依据,转变争议解决思维,拓宽纠纷处理途径,合理选择维权手段,以保护自身合法民事权益,与行业监管部门共同推动电信行业有序发展。     

A volatolomic approach using cerumen as biofluid to diagnose bovine intoxication by Stryphnodendron rotundifolium

An innovative volatolomic approach employs the detection of biomarkers present in cerumen (earwax) to identify cattle intoxication by Stryphnodendron rotundifolium Mart., Fabaceae (popularly known as barbatimão). S. rotundifolium is a poisonous plant with the toxic compound undefined and widely distributed throughout the Brazilian territory. Cerumen samples from cattle of two local Brazilian breeds (‘Curraleiro Pé-Duro’ and ‘Pantaneiro’) were collected during an experimental intoxication protocol and analyzed using headspace (HS)/GC–MS followed by multivariate analysis (genetic algorithm for a partial least squares, cluster analysis, and classification and regression trees). A total of 106 volatile organic metabolites were identified in the cerumen samples of bovines. The intoxication by S. rotundifolium influenced the cerumen volatolomic profile of the bovines throughout the intoxication protocol. In this way, it was possible to detect biomarkers for cattle intoxication. Among the biomarkers, 2-octyldecanol and 9-tetradecen-1-ol were able to discriminate all samples between intoxicated and nonintoxicated bovines. The cattle intoxication diagnosis by S. rotundifolium was accomplished by applying the cerumen analysis using HS/GC–MS, in an easy, accurate, and noninvasive way. Thus, the proposed bioanalytical chromatography protocol is a useful tool in veterinary applications to determine this kind of intoxication.     

Multiple Scan Chain Design for Two-Pattern Testing

Non-standard fault models often require the application of two-pattern testing. A fully-automated approach for generating a multiple scan chain-based architecture is presented so that two-pattern test sets generated for the combinational core can be applied to the sequential circuit. Test time and area overhead constraints are considered.     

微桥法镍膜的弹性模量和残余应力测量

利用MEMS技术制作了不同尺寸的镍(Ni)膜微桥结构样品。采用纳米压痕仪XP系统测量了微桥载荷与位移的关系,并结合微桥力学理论模型得到了两种不同尺寸的Ni膜的弹性模量和残余应力。结果表明,两种不同尺寸的Ni膜的弹性模量结果一致,为190 GPa左右,但是残余应力变化较大。与采用纳米压痕仪直接测得的带有硅(Si)基底的Ni膜弹性模量186.8 7.5 GPa相比较,两者符合较好。     

浅谈应用标准进行软件测试

国家标准GB T175 44规定了软件包的质量要求及针对这些要求如何对软件包进行测试的细则。质量要求从产品描述、用户文档、程序及数据三个方面进行了规定 ,测试细则依据这些规定制定。ISO IEC912 6 (1991)版由ISO IEC 912 6 (软件产品质量 )和ISO IEC14 5 98(软件产品评测 )两个标准代替 ,ISO IEC912 6表述了软件产品质量的内部质量、外部质量和使用中的质量 ,规定了内部质量、外部质量的六个质量特性 ,并细分为 2 1个子特性 ,使用中的质量规定了四个使用质量特性 ,使用质量是指六个软件产品质量特性的综合效果。进行软件测试时 ,可以依据GB T175 44中的规定组织测试过程再结合ISO IEC912 6中的质量特性及子特性的规定确定测试需求的内容和测试的重点 ,利用ISO IEC912 6质量的规定建立质量评级的标准。     

A solution of the DGLAP equation for gluon at low x

We obtain a solution of the DGLAP equation for the gluon at low x first by expanding the gluon in a Taylor series and then using the method of characteristics. We test its validity by comparing it with that of Glück, Reya and Vogt. The convergence criteria of the approximation used are also discussed. We also calculate εF ₂(x,Q)²/ε In Q ² using its approximate relations with the gluon distribution at low x. The predictions are then compared with the HERA data.