Truth‐table Schnorr randomness and truth‐table reducible randomness

Schnorr randomness and computable randomness are natural concepts of random sequences. However van Lambalgen’s Theorem fails for both randomnesses. In this paper we define truth‐table Schnorr randomness (defined in 6 too only by martingales) and truth‐table reducible randomness, for which we prove that van Lambalgen's Theorem holds. We also show that the classes of truth‐table Schnorr random reals relative to a high set contain reals Turing equivalent to the high set. It follows that each high Schnorr random real is half of a real for which van Lambalgen's Theorem fails. Moreover we establish the coincidence between triviality and lowness notions for truth‐table Schnorr randomness. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

中国高新技术产业投入产出表和社会核算矩阵编制的方法与应用

在详细分析高新技术产业投入产出表和社会核算矩阵编制方法原理的基础上,基于最新的2007年135×135部门中国投入产出表,通过对其中的部门进行合并与拆分,得到了53个传统部门和12个高新技术产业部门的65×65部门的高新技术产业投入产出表.并在此基础上编制了9部门简化的社会核算矩阵,进一步地,本文在对简化的SAM进行扩展后得到了17部门细化的社会核算矩阵.最后,采用社会核算矩阵乘数分解和结构化路径方法研究了高新技术产业对国民经济各部门的带动效应.     

论平均预期寿命与平均死亡年龄

首先回顾了平均预期寿命和平均死亡年龄的定义,并总结了当前文献中提到的两者的区别,就其中存在的问题提出了质疑,并以中国人寿保险业经验生命表和中国企业生命表为例,验证了平均预期寿命与平均死亡年龄在数值上是一样的,并在理论上做了证明.结论是两者并不是"有本质区别的"并且两者都会受到死亡年龄结构的影响,同时得到了,平均剩余寿命加上年龄区间的下限值就等于该年龄人口的平均死亡年龄.     

储油罐的变位识别与罐容表标定模型

用数学建模方法试图研究解决储油罐变位识别与罐容表标定问题.首先精确推导了无变位以及纵向倾斜时罐内储油量与油位高度的函数关系,且设计了两种系统误差补偿方法.一种是基于等效思想的δ值法,另一种拟合法.其次,确定变位参数时依然使用补偿思想,将球冠体部分的储油体积和系统误差统一为整体拟合成油位高度h的三次多项式,并应用最小二乘...     

基于TestStand的医疗仪器产品性能自动测试系统研制

为解决传统人工测量方式对电子医疗仪器产品板卡性能检验中测量效率低、测量不准确和测量手段复杂等问题,提高生产效率和板卡的质量控制,对虚拟仪器技术以及自动测试系统技术进行了研究。研制开发了一种基于TestStand和LabVIEW的电子产品性能自动测试系统。自动测试系统通过控制TestStand引擎调用待测试板卡的测试序列实现对不同板卡的测试,测试序列是由各测量程序配置组成。设计的测试参数集中配置、项目分组测试以及测试产品目录自动生成方案,提高了系统的通用性、扩展性以及灵活性。实验和实际应用表明,该系统在应用中具有很高的测试效率和测量准确性并且操作简便。     

The 13-modular character table of 2.Suz.2

We compute the 13-modular character table of the bicyclic extension 2.Suz.2 given in the Atlas. This completes the last unknown modular character table of a bicyclic extension of the sporadic simple group Suz. We explain an issue of compatibility between different modular tables and partially recompute the 7-modular table of 2.Suz.2 in order to avoid such problems.     

Consideration of data load time on modern processors for the Verlet table and linked-cell algorithms

Neighbor search algorithms are widely used in molecular dynamics for the direct computation of short‐range pairwise interatomic potentials. These algorithms are based on the Verlet table (VT) and linked‐cell (LC) methods. It is widely believed that the VT is more efficient than the LC. The analysis of these methods shows that in case when the average number of interactions per particle is relatively large, or more specifically, the particle density ρ and skin radius r_skin meet the condition (4π/6) ρr/27 ? 1, which may be true for most simulations of liquids, the number of memory data load operations in the LC is much less than that in the VT. Because memory access on modern processors is a bottleneck, this advantage of the LC should be and was in fact used, and a code outperforming the VT by a factor of almost 2 was obtained. Some modifications of the VT were proposed to reduce its disadvantage concerning memory data loading. The key modifications included automated skin radius tuning during simulations and compression of the VT to minimize duplications of atom identifiers in its nearby rows. Although these modifications had improved the performance, the VT failed to regain the superiority over the LC. The methods were tested in the MOLKERN simulation software by using SIMD and multithreading. © 2011 Wiley Periodicals, Inc. J Comput Chem, 2011     

开放性物理实验网络管理系统

我们设计了基于ASP技术的开放性物理实验网络管理系统,该系统可使学生通过校园网选修实验项目和安排实验时间,为学生提供了一种选修自己感兴趣实验的途径;老师也可通过该系统进行实验教学管理。     

双光栅并联匹配解调技术的工程化研究

在分析和综合其他数据处理方案优缺点的基础上,提出了一种基于分区查表法的有效数据处理方案.该方案先确定待处理的电压商值在三段近似线性曲线上所属区域,再执行查表法将其和微应变量一一对应.这种处理方案不但解决了传统单匹配解调技术中的双值和可测试范围小的问题,而且提高了测试准确度.根据实验结果,采用普通的光纤光栅对,系统可传感的应变范围可达525 με,准确度可达±1 με.