Satisfiability with Index Dependency

We study the Boolean satisfiability problem (SAT) restricted on input formulas for which there are linear arithmetic constraints imposed on the indices of variables occurring in the same clause.This can be seen as a structural counterpart of Schaefer’s dichotomy theorem which studies the SAT problem with additional constraints on the assigned values of variables in the same clause.More precisely,let k-SAT(m,A) denote the SAT problem restricted on instances of k-CNF formulas,in every clause of which the indices of the last k m variables are totally decided by the first m ones through some linear equations chosen from A.For example,if A contains i3 = i1 + 2i2 and i4 = i2 i1 + 1,then a clause of the input to 4-SAT(2,A) has the form yi1 ∨ yi2 ∨ yi1+2i2 ∨ yi2 i1+1,with yi being xi or xi.We obtain the following results: 1) If m 2,then for any set A of linear constraints,the restricted problem k-SAT(m,A) is either in P or NP-complete assuming P = NP.Moreover,the corresponding #SAT problem is always #P-complete,and the Max-SAT problem does not allow a polynomial time approximation scheme assuming P = NP.2) m = 1,that is,in every clause only one index can be chosen freely.In this case,we develop a general framework together with some techniques for designing polynomial-time algorithms for the restricted SAT problems.Using these,we prove that for any A,#2-SAT(1,A) and Max-2-SAT(1,A) are both polynomial-time solvable,which is in sharp contrast with the hardness results of general #2-SAT and Max-2-SAT.For fixed k 3,we obtain a large class of non-trivial constraints A,under which the problems k-SAT(1,A),#k-SAT(1,A) and Max-k-SAT(1,A) can all be solved in polynomial time or quasi-polynomial time.     

从6σ管理联想到电梯的生产、安装和维护

介绍了6σ（6西格玛）管理的概念，理念和意义，与ISO9000的关系以及对传统质量成本理论的挑战、并结合电梯、自动扶梯的生产，安装和维护，阐述了6σ管理对确保电梯、自动扶梯的生产安装质量和维修保养质量的深远意义。     

有线电视系统传输信号的处理分析

随着我国有线电视技术的不断进步,有线电视设备越来越多,规模也越来越大;有线电视传输系统负责对电视信号的接受、处理传输工作,足数字电视的核心部分。本文将就有线电视系统信号传输的处理作深入的分析。     

三组元光子晶体的宽带隙及缺陷模研究

运用时域有限差分(FDTD)方法计算了GaAs/玻璃/空气三组元光子晶体的透射频谱及缺陷模的传输特征,发现GaAs/玻璃/空气三组元体系的最低完全带隙宽度明显宽于玻璃/空气或GaAs/空气二组元体系,适当调整GaAs/玻璃比例可以得到宽带隙;光子晶体中的缺陷会形成局域模式,线型缺陷形成光波波导;设计适当的组合缺陷,并通过缺陷之间的耦合作用可以实现对光波传播的选择性输出.     

JZC—E激光导轨检测仪的应用

对应用JZC－E激光自动安平垂准仪检测电梯导轨垂直度的原理进行,分析是出检测实施细则。在实际作用中取得良好效果。     

矩形波导宽边偏置交叉缝研究

提出了一种新的矩形波导缝隙阵列的单元形式－宽边偏置交叉缝，并采用全域正弦基Ｇａｌｅｒｋｉｎ法对其散射特性和谐振特性进行了理论分析。数值结果表明，这种缝隙单元的散射作用与宽边偏置纵缝相似，二者均可以用等效传输线上的一个并联导纳来表示，但交叉缝的谐振长度比纵缝显著缩短，因而交叉缝阵列中单元间的互耦相对较弱，频带相对较宽。理论计算结果与实验测量数据的良好吻合验证了上述分析方法的准确性。     

自动化音视频比对在广电监测中的应用

本文主要结合江苏省广播电视监测台图像比对项目的建设情况,阐述在三网融合、多信源监测的情况下如何实现高效、易用、可扩展的音视频比对、鉴别工作。     

如何做好建筑材料的试验与检测

建筑材料质量的好坏直接关系到建筑工程的质量，因此把好建筑材料质量关，做好检测工作尤为重要。笔者根据多年从事检测试验工作经验就如何做好建筑材料的试验与检测提出了分析。     

2-APB通过下调TRPM7在小鼠皮肤创伤愈合中的作用

目的：探究2-氨基乙基二苯基硼酸酯（2-APB）对小鼠皮肤创伤愈合的促进作用及其可能的机制。 方法：将实验小鼠分为5组：Control组、二甲基亚砜（DMSO）组、低（50 mg/L）、中（100 mg/L）和高（200 mg/L）浓度2-APB组,在每只小鼠皮肤背部脊正中线两侧1 cm左右用圆形打孔器各打一个直径10 mm、深至皮下的皮肤创口,其中Control组仅用纱布包扎,不敷用各种药剂;DMSO组每天敷1 g DMSO/凡士林膏剂;2-APB组每天敷1 g相对应浓度的2-APB/凡士林膏剂,隔天拍照观察愈合情况,并于第21天取材,使用HE染色观察创面病理形态以及Western blot检测TRPM7、转化生长因子-β（TGF-β）、I型胶原（Collgen-I, Col-I）以及IL-1β表达情况。结果：与Control组和DMSO组相比,不同浓度的2-APB均可显著促进小鼠皮肤伤口愈合（P<0.01）,而DMSO组与Control组之间创伤愈合率无明显差异。HE染色结果显示,与Control组和DMSO组相比,2-APB可增加创面胶原含量以及真皮层的厚度（P<0.01）,而DMSO组与Control组之间无明显差异。同时,2-APB还可显著增加创面TGF-β和Col-I的表达,抑制TRPM7和IL-1β的表达。 结论：不同浓度2-APB（50、100和200 mg/L）对皮肤创伤愈合有促进作用,其机制可能与抑制TRPM7有关。