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.     

伪随机序列中本原多项式生成算法

伪随机序列在现代通信技术中有着非常重要的作用，其技术关键是实现本原多项式。该文根据本原多项式的定义和相关代数理论，给出了寻找本原多项式的通用算法和计算机实现方法，并通过验，证明了算法的正确性。     

ANSYS载荷工况在CK6132主轴分析中的应用

有限元方法是在工程分析中广泛应用的数值方法.CK6132主轴承受弯矩、转矩和拉压载荷,属于组合变形,介绍了利用ANSYS的载荷步建立CK6132主轴应力分析模型,通过载荷工况(Load Case)对CK6132主轴力载荷步和转矩载荷步求和,分析计算CK6132主轴的最大应力的方法.对构件组合变形时的应力和变形的ANSYS分析有一定的指导作用.     

基本农田规划纠纷的预防和调处建议

基本农田规划要需要遵从城乡的整体规划,以"面对现实"、"依照科学"、"公平公正"等态度预防和调处规划纠纷。然而很多时候农田规划时由于没有事先协商一致,缺乏相应的科学论证基础,再加上基层工作条件和工作能力落后,以致规划纠纷难以预防和调处。文章将在分析基本农田规划纠纷预防与调处能力现状的基础上,进一步提出纠纷预防和调处的建议措施。     

基于ITIL框架的面向视听新媒体运行维护指标体系研究

视听新媒体运行维护指标体系作为视听新媒体系统的重要组成和支撑部分,对于提高视听新媒体运行维护管理水平具有重要意义。在当前条件下应不断完善。本文参考ITIL的成熟实践经验,结合视听新媒体的技术特性,系统论述了构建该体系的背景、思路、主要内容、注意事项,希望能给相关运维团队提供技术建议。     

基于Nyquist脉冲副载波调制的短距离光纤传输技术研究

提出了一种适用于强度调制直接检测(IM/DD) 光系统的信号调制格式。这种基于Nyquist脉冲half cycle副载波调制(SCM)信号能有效提高频谱效率,为了减少传递函数引起的系统的性能 恶化,采 用了数字预均衡和后均衡实现对光纤损伤的补偿;建立了偏振复用(PDM)IM/DD系统 平台, 分析了Nyquist脉冲SCM信号在系统中的PAPR性能,实现了72Gbit/s 64-QAM N yquist脉冲SCM信号经过20km标准单模光纤(SMF)传输后其误码性能 小于前向纠错(FEC)阀值3．8×10－3。     

学校高清数字录播教室的建设

高清录播教室的建设需要一套完整的系统设计方案,需从教室的使用功能出发,对环境条件、室内装修、设备选型及音视频技术等方面进行探讨,本文通过工程案例对录播教室的建设过程进行介绍。     

C~4ISR系统技术参考模型研究

C4ISR系统技术参考模型是C4ISR系统技术体系结构的核心。根据C4ISR系统的特点,结合工作流管理系统中的工作流参考模型和CORBA技术,建立了C4ISR技术体系结构的技术参考模型,探讨了模型的组成和功能,为C4ISR系统的综合集成提供了一种有效的技术实现途径。     

基于内容标引的网络音视频传输监测技术研究

首先简要介绍了互联网音视频传输监测现状,其次对主动监测技术方案的技术需求进行分析,以互联网音视频传输内容为研究对象提出了基于内容标引的主动监测技术方案,为内容感知和传输监测提供了新的手段.之后较为详细地论证了内容标引及相关关键技术如生成、嵌入与检测等.最后对标引嵌入和检测两个关键环节搭建原型系统进行功能及性能验证.     

活动图像压缩编码标准与CCIR601建议的兼容性

本文讨论了各种压缩编码标准的输入输出信号格式和ＣＣＩＲ６０１标准的兼容性及其应用。