Design of Irregular QC-LDPC Code Based Multi-Level Coded Modulation Scheme for High Speed Optical Communication Systems

In this paper, we focus on the design of irregular QC-LDPC code based multi-level coded modulation(MLCM) scheme by jointly optimizing the component code rate and the degree distribution of the irregular QC-LDPC component code. Firstly, the sub-channel capacities of MLCM systems is analyzed and discussed, based on which the optimal component code rate can be obtained. Secondly, an extrinsic information transfer chart based two-stage searching algorithm is proposed to find the good irregular QC-LDPC code ensembles with optimal component code rates for their corresponding sub-channels. Finally, by constructing the irregular QC-LDPC component codes from the designed ensembles with the aim of possibly enlarging the girth and reducing the number of the shortest cycles, the designed irregular QC-LDPC code based 16QAM and 64QAM MLCM systems can achieve 0.4 dB and 1.2 dB net coding gain, respectively, compared with the recently proposed regular QC-LDPC code based 16QAM and 64QAM MLCM systems.

基于坝系相对稳定理论的韭园沟小流域高标准淤地坝坝系建设研究

高质量淤地坝建设是黄土高原水土保持高质量发展的重要工作内容之一,也是贯彻落实黄河流域生态保护和高质量发展重大国家战略的重要工作之一。介绍了1953年至今绥德水土保持科学试验站淤地坝试验和建设历程,以及坝系相对稳定理论的概念、内涵和坝系相对稳定系数的确定情况。以绥德站水土保持试验示范小流域——韭园沟小流域为例,进行坝系布局、淤地坝工程结构和坝系相对稳定分析,论证了要实现淤地坝高质量发展,实现坝系相对稳定是关键。

山西省淤地坝除险加固工程设计中存在的问题分析及对策

淤地坝作为黄土高原地区治理水土流失的重要工程措施,在拦沙淤地、防洪减灾、改善生态环境等方面发挥着重要作用。然而,由于多种因素的影响,部分淤地坝存在不同程度的险情,需要进行除险加固。列举山西省淤地坝除险加固工程设计中存在的设计依据、工程等级划分、规范引用等方面的问题,并指出产生这些问题的原因,提出应对措施。以期在今后的设计中提高设计质量和水平。

高校体育的目标与改革思路

文章通过剖析我国大学体育教育现状 ,分析了我国大学体育课存在的危机 ,同时从教学目标、教学内容、教学形式、考核方式等几方面提出我国大学体育教育出路的设想。

基于SCADA系统的地区电网调度操作票系统的设计

提出了基于数据采集与监视控制系统(SCADA系统)的地区电网调度操作票系统的设计方案。利用SCADA系统作为支撑平台来获取电网模型和实时运行方式,解决了传统的操作票系统与SCADA系统之间接口的不稳定性,为智能成票提供了真实的环境。在接线图上进行点图模拟预演成票,并在模拟过程中提供精确严密的安全校验,确保生成操作票的正确性,达到调度操作前预分析和预控制目标。系统已经在衢州地调投入了运行,运行情况表明从很大程度上减轻了调度员的工作强度,提高了开票速度和质量,极大地提升了调度管理水平。

离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.

数控加工仿真中自由曲面的碰撞干涉检验

碰撞干涉检验是数控加工仿真的主要目的之一。文章解决了数控加工仿真中的自由曲面碰撞干涉的问题 :把碰撞干涉分为四种情况 ,对其分别提出不同的检验方法 ,并阐述了具体的解决方案。这些方法对 3 -5轴数控机床均适用。其中提出的刀具与曲面全局干涉的检查算法解决了求曲面到刀具最小距离的问题 。

索杆膜空间结构协同形态分析

针对索杆膜空间结构进行了协同形态分析。根据现有的索膜非线性有限元找形理论和索杆体系找力方法,并考虑施工成形过程,提出了一种新的适合于索杆膜空间结构形态分析的求解方法——形态迭代求解法,并编制了相应的程序,实现了算法。最后通过一个算例验证了形态迭代求解法的正确性并得到如下结论:按该文算法得到的找形结果满足力平衡方程、相容方程和建筑师给定的边界条件。设计验算时被动张拉索的预应力值应通过计算得到。该文程序可用于索杆膜空间结构考虑施工成形的设计验算。

测试用例自动生成方法的现状及研究

软件测试数据生成在软件系统开发费用中占很大比重。如果该过程能自动实现,则会极大地减少软件开发的周期和费用。测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析对应的输出数据。其中分析对应的输出数据是决定测试是否成功的关键环节。测试用例选取的一个中心原则,就是以用最少的测试用例找到尽可能多的错误。目前的工具尚不能完成自动生成测试用例这个环节,往往是只能采用人工选取的方法。按所采用的方法和研究对象的不同,将测试用例自动生成方法主要分为5类:基于有限状态集的测试,基于标注的转换系统的测试,针对面向模型的需求规格说明的测试,针对面向对象软件的测试,以及运用模型检查生成测试用例的方法。在简单介绍前4种方法之后,重点对模型检查的方法进行详细的分析和探讨。

扩展命题区间时序逻辑公式可满足性判定算法

针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法。首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性。如果在正则图上直接加上接受条件,即可得到公式的自动机模型。新算法的提出为带有星算子的扩展命题区间时序逻辑的模型检测解决了核心方法问题。仿真结果表明,与相关方法相比,基于扩展命题区间时序逻辑的新方法在描述与验证循环结构性质方面具有比较优势。

空间自由曲面五轴联动数控加工

介绍了五轴数控机床的运动方式,阐述了空间自由曲面五轴联动数控加工中刀具路径规划的基本方法:参数线法、CC路径截面线法、CL路径截面线法、导动面法等。之后对五轴加工中刀具轴向规划进行了论述:垂直于表面方式、平行于表面方式、倾斜于表面方式。最后归纳总结了刀具干涉的检测与处理的方法,并分别说明了其优缺点和适应范围。

时序逻辑程序的模型检测

时序逻辑程序的形式化验证对提高程序的正确性具有重要意义。以投影时序逻辑的可执行子集、框架投影时序逻辑语言Framed Tempura为研究对象,使用命题投影时序逻辑描述Framed Tempura程序的性质,将程序p和性质Ф统一表示在投影时序逻辑中,模型检测需要判定p→Ф是否有效,可转化为判定p∧Ф是否不可满足,这可以通过构造p∧Ф的正则图加以解决。最后,给出了Framed Tempura程序的模型检测实例。

媒介技术与广告形态的双动因制衡演进关系

媒介技术和广告形态互为演进的动力因素,二者相互纠缠,在互渗互进发展中不断渐进与跃迁,呈现多环节、多侧面的复杂过程。其间,从正向动因制约的角度看,媒介技术的特性更换决定着广告形态的复杂演化,主要表现在媒介技术的生命周期演化决定广告形态的属性变更与媒介技术的感官重组功能推进广告形态的知觉演变两方面;从反向动因回复与制衡的角度看,广告形态对媒介技术的特性具有选择与重塑的要式,主要表现为"在场"的横纵交叉与"不在场"的淘汰再现;二者动力分立且彼此制约,呈现双动因制衡的演进态势。

隧道穿越泥石流沟防治设计的几个问题探讨

为保障隧道的建设及运营安全,就当前隧道穿越泥石流沟防治设计存在的几个问题开展针对性研究。首先,对隧道穿越泥石流沟的形式进行归纳总结,通过理论分析和工程类比,给出不同穿越形式对应的设计要点及防治措施。其次,研究排导槽的最佳水力断面问题,排导槽的断面型态系数M越小,水力条件越优,并在此基础上,以直墙弓形排导槽为例,推导出不同槽型的断面型态系数。再次,进一步分析排导槽积淤的主要原因,对当前排导槽防淤积验算公式进行分析和整理,提出基于槽宽验算、槽内泥深及流速验算等公式的排导槽防淤设计验算方法与流程。最后,结合典型工程实例,根据上述流程,设计出合理的隧道建设方案和排导槽形状及其尺寸参数。

基于矩阵相似变换的并行流水线CRC实现

研究了通用并行化循环冗余校验（CRC）编码结构,分析了限制编码速度提高的主要原因,根据多项式理论推导了并行CRC编码的一般化方法.在此基础上,根据线性代数中的有理标准型理论对编码结构中的反馈运算矩阵进行相似变换,提出了CRC编码的高速流水线并行结构,并设计实现了多种不同并行度下的CRC编码器.设计结果表明,高速流水线并行CRC编码器结构相对于其他结构具有最优的编码速度和最优的时序特性,可以满足高速数据完整性校验的需求.

一种改进的有界模型检验子句规则

为有界模型检验提出了改进的子句规则。在节点分类的基础上,首先对精简布尔电路表示进行逻辑化简,去掉功能冗余节点;然后识别、记录和处理多元运算的操作数,把多元运算作为单个节点直接生成子句;最后合并相邻节点,根据合并后的逻辑关系生成变量和子句。实验结果表明,改进的子句规则普遍减少了可满足性问题的变量、子句数目和运行时间。

自动弯曲机弯曲模的CAD和CAM系统

本文介绍自动弯曲机弯曲模的ＣＡＤ、ＣＡＭ系统。文中分析常规方法设计弯曲模所存在的困难，提出弯曲成形动态模拟的思想，建立弯曲成形的数学模型和力学模型，介绍成型模拟的计算方法。文中发展了设计及修改凸轮廓线的方法，从而保证凸轮廓线上各点的几何连续。研究两种干涉检查方法（图形显示法，计算法），为模具和凸轮的合理设计提供了有效的评价依据。

基于filter过滤器技术的单点登录应用

如何对已存在的异构系统进行统一用户及权限管理,实现各系统的单点登录是目前大型国企网络系统集成的一个难点。分析目前烟草集团网络应用系统集成的现状,探讨利用单点登录技术构建身份认证的模式,对其中的关键技术和实现方法进行深入研究,最后将研究结果用于国内某烟草集团的网络系统集成中,验证了其有效性。

高职教育实施分层次教学探讨

对知识基础、学习能力和水平参差不齐的学生,实行分层次教学是必要的。实行分层次教学首先是教学目标的分层,其次教学方法的分层,最后是考核方式的分层。这三方面相互影响,同时建设,才能取得实效。

广义可能性计算树逻辑的两种范式

计算树逻辑(computation tree logic,CTL)的范式在模型检测方法中具有重要意义,但基于广义可能性测度的计算树逻辑的范式尚未有系统研究。为了进一步完善广义可能性计算树(generalized possibilistic computation tree logic,GPo CTL)理论,在现有的广义可能性计算树逻辑理论的基础上,参考经典计算树逻辑的范式,给出了广义可能性计算树逻辑的两种不同的范式——正态范式(positive normal form,PNF)和存在范式(existential normal form,ENF),及其对应的语构和语义解释。最后利用归纳假设法证明了任意的广义可能性计算树逻辑公式都有与之等价的PNF公式和ENF公式。