Inconsistent idealizations and inferentialism about scientific representation

Inferentialists about scientific representation hold that an apparatus's representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my own solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus's parts and hence violates representational “gameplay”.     

完全模糊线性规划及其近似计算

在扩充LR-模糊数定义的基础上,讨论了完全模糊约束条件的近似表示和转化定理;在新的模糊数序关系下,将完全模糊线性规划问题直接转化为分明的线性规划进行求解;与已有的结果进行了比较,并给出了算例.     

核稀疏概念编码算法及在图像表示中的应用

稀疏编码算法是一种常用的图像数据表示方法.为了处理高度非线性分布的数据,文中提出了一种核稀疏概念编码算法,并应用于图像表示.该算法首先对邻域图进行谱分析,提取数据的几何流形结构信息;然后将原始特征空间数据映射到高维特征空间中,利用谱回归在高维特征空间中来计算基向量;最后在高维特征空间中对每个样本逐个进行表示.文中算法不仅能有效地处理非线性结构数据,而且只需求解一个稀疏特征值问题和两个回归问题,计算简单有效.在Yale、ORL和PIE图像库的聚类实验表明,文中算法的准确率和归一化互信息均优于其它几种对比算法.     

铝胺钻井液在青东古1井的应用

通过优选抑制剂和封堵剂，确定了铝胺钻井液体系配方，配合相应的现场维护处理工艺，解决了沙河街组地质构造复杂，断层、地应力及层理性泥岩易导致井壁失稳等问题，保证了沙河街组的井壁稳定，使该井提前完钻，提高了钻井时效．该井的钻探成功为深化研究青东区块成藏条件提供了基础资料，有助于该区块进一步的勘探开发．     

Underdetermined DOA estimation and blind separation of non-disjoint sources in time-frequency domain based on sparse representation method

This paper deals with the blind separation of nonstation-ary sources and direction-of-arrival （DOA） estimation in the under-determined case, when there are more sources than sensors. We assume the sources to be time-frequency （TF） disjoint to a certain extent. In particular, the number of sources presented at any TF neighborhood is strictly less than that of sensors. We can identify the real number of active sources and achieve separation in any TF neighborhood by the sparse representation method. Compared with the subspace-based algorithm under the same sparseness assumption, which suffers from the extra noise effect since it can-not estimate the true number of active sources, the proposed algorithm can estimate the number of active sources and their cor-responding TF values in any TF neighborhood simultaneously. An-other contribution of this paper is a new estimation procedure for the DOA of sources in the underdetermined case, which combines the TF sparseness of sources and the clustering technique. Sim-ulation results demonstrate the validity and high performance of the proposed algorithm in both blind source separation （BSS） and DOA estimation.     

Image separation using wavelet-complex shearlet dictionary

This paper presents a new method for image separation through employing a combined dictionary consisting of wavelets and complex shearlets. Because the combined dictionary sparsely represents points and curvilinear singularities respectively, the image can be decomposed into pointlike and curvelike parts as accurate as possible. The proposed method based on the geo- metric separation theory introduced by Donoho in 2005 shows that accurate geometric separation of the morphologically distinct fea- tures of points and curves can be achieved by l1 minimization. The experimental results show that the proposed method can not only be effective but also greatly reduce the computing time.     

广义BabyTKK代数的Boson-fermion场下的不可约模

研究对应于欧式空间中最小（非格）半格S的babyTKK李代数^g（T（S））的泛中心扩张广义babyTKK代数^g（T（S））的一类boson-fenmion场下的不可约表示，这里T（S）为半格S∈R^υ（υ=2）上的Jordan代数。     

框架问题的机制化实现与具身化进路——表征主义和反表征主义的困境与出路

心灵表征理论较易机制化,但在处理框架问题方面却遇到了困难。针对心灵表征理论的这个问题,德雷福斯等人提出了反表征主义的海德格尔式的具身理论。具身理论虽然可以解决框架问题,但它还处于隐喻阶段,如何使它实现机制化仍然面临诸多困境。     

苏通大桥主桥中跨顶推辅助合龙技术

通过综合国外顶推合龙工艺和国内温度配切合龙工艺优点，提出了全新的顶推辅助合龙工艺，并介绍了顶推辅助合龙工艺实施条件、关键施工参数和主要工艺措施的计算分析要点以及实施情况。     

Geometric error control in the parabola-blending linear interpolator

This paper considers geometric error control in the parabola-blending linear interpolation method （Zhang, et al., 2011）. Classical model of chord error by approximation with contact circle on the parabolas leads to incorrect result. By computing the geometric error directly without accumulating the approximation error and chord error, the authors realize correct geometric error control by establishing inequality constraints on the accelerations of the motion.