检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

SAT求解局部搜索行为分析与概率控制策略

SAT求解局部搜索行为分析与概率控制策略

作者：张峥华华中科技大学

学位级别：硕士

SAT问题(Satisfiability problem)，是第一个被证明的NPC(Non-deterministicPolynomial Complete)问题，在计算机科学理论和应用中具有重要的意义。对于理论研究，它是计算复杂性理论的奠基石，所有的NPC问题都可以在多项式时间内转化为... 详细信息

SAT问题(Satisfiability problem)，是第一个被证明的NPC(Non-deterministicPolynomial Complete)问题，在计算机科学理论和应用中具有重要的意义。对于理论研究，它是计算复杂性理论的奠基石，所有的NPC问题都可以在多项式时间内转化为SAT问题。对于工业应用，SAT可用于解决等价性验证、有界模型检测、电子设计自动化、统计物理学等多方面问题。因此，高效实用的SAT算法和技术是目前研究的热点。局部搜索算法是目前求解SAT问题比较有效的算法，Sattime算法是典型的局部搜索算法，曾在2011年的SAT问题国际求解大赛中获得随机类型算例组的银牌。它是基于Novelty系列的算法，在选择翻转变元时它利用了子句满足的历史信息，对其求解过程进行行为分析与模式挖掘可以发现变元与子句间蕴含的因果关系。建立数据库记录局部搜索算法的求解行为，对翻转事件进行数据挖掘，包括关联规则模式挖掘和频繁序列模式挖掘。通过对挖掘结果进行分析，发现Sattime算法有时会出现先后选择同一个变元的现象，这种现象可能使搜索过程产生回环。从而提出两种概率控制策略：加强子句选择策略和加强变元选择策略。将这两种策略应用到Sattime算法中，形成新的局部搜索算法Sattime-P。使用Sattime算法和Sattime-P算法对不同类型的算例进行求解，对比它们的平均翻转次数、平均求解时间。实验结果表明使用改进策略的Sattime-P算法在大多数情况下减少了平均翻转次数，提高了求解效率。

关键词： SAT问题局部搜索算法数据挖掘关联规则频繁序列

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于加强概率控制策略的SAT局部搜索算法

计算机工程与应用 2017年第14期53卷 56-60,110页

作者：洪剑珂张峥华许贵平北京林业大学信息学院北京100083 华中科技大学计算机学院武汉430074

局部搜索算法是目前求解SAT问题比较有效的方法,而Sattime算法是在SAT国际大赛中获得大奖的一种典型局部搜索算法。在Sattime算法的求解过程中,记录变元翻转事件流数据库,通过数据分析与模式挖掘,发现Sattime算法的局部搜索行为中会出... 详细信息

局部搜索算法是目前求解SAT问题比较有效的方法,而Sattime算法是在SAT国际大赛中获得大奖的一种典型局部搜索算法。在Sattime算法的求解过程中,记录变元翻转事件流数据库,通过数据分析与模式挖掘,发现Sattime算法的局部搜索行为中会出现相邻搜索步选择同一个变元的现象,即所谓的回环现象,从而降低了求解效率。为解决此问题,提出两种概率控制策略:加强子句选择策略和加强变元选择策略,并将这两种策略应用到Sattime算法中,形成新的局部搜索算法Sattime-P。实验结果表明,与Sattime算法相比,改进后的Sattime-P算法求解效率有显著的提升。该方法也对其他局部搜索算法的改进具有参考价值。

关键词： SAT问题局部搜索概率控制子句布尔变元

三结合五着力——上海市闵行区“争当人民调解能手”活动组织有力

在线全文

学校读者我要写书评

暂无评论

人民调解 2011年第10期 17-18页

作者：张峥华上海市闵行区司法局

今年以来,上海市闵行区司法局认真贯彻落实司法部和市司法局的工作部署,紧密结合自身实际,积极采取措施,扎实推进＂争当人民调解能手＂活动,取得了成效。

关键词：上海市闵行区人民调解活动组织能手工作部署司法局司法部

在线全文

学校读者我要写书评

暂无评论

让可调解信访案件能调尽调

人民调解 2019年第7期 23-24页

作者：张峥华上海市闵行区司法局

2015年2月,上海市闵行区司法局联合区信访办印发《关于加强'访调对接'工作的实施意见》,启动区级层面'访调对接'工作试点。2017年2月,区司法局、区信访办在全区推广'访调对接'工作,印发《关于进一步加强基层信访与人民调解对接工作机制... 详细信息

2015年2月,上海市闵行区司法局联合区信访办印发《关于加强'访调对接'工作的实施意见》,启动区级层面'访调对接'工作试点。2017年2月,区司法局、区信访办在全区推广'访调对接'工作,印发《关于进一步加强基层信访与人民调解对接工作机制建设联动化解信访矛盾的实施意见》,推动'访调对接'工作重心下沉到街镇。

关键词：信访案件信访矛盾人民调解工作

基于PTN网络实现TD无线政务城市业务调度方案

在线全文

学校读者我要写书评

暂无评论

信息通信 2012年第6期25卷 242-243页

作者：张峥华中国移动湖北公司设计中心湖北武汉430010

TD网络的建设和应用一直是国家、运营商和厂商共同关注的焦点。工信部正式批复将湖北省黄石市列入全国第一个TD电子政务试点城市,在黄石移动TD网络的建设过程中,采用了PTN网络作为各类业务的传输平台。在实际工程中,当PTN网络与核心网... 详细信息

TD网络的建设和应用一直是国家、运营商和厂商共同关注的焦点。工信部正式批复将湖北省黄石市列入全国第一个TD电子政务试点城市,在黄石移动TD网络的建设过程中,采用了PTN网络作为各类业务的传输平台。在实际工程中,当PTN网络与核心网对接时,由于PTN网络承载的业务种类较多且传输颗粒较大,将业务分别传送至不同的核心网设备比较困难。本文结合工程的实例,创新的提出一套PTN网络业务调度方案,使PTN网络能够灵活地调度各类业务至核心网。

关键词： TD PTN 业务调度

在线全文

学校读者我要写书评

暂无评论

全业务运营环境下传送网建设模式探讨

电信快报（网络与通信） 2009年第11期 17-20页

作者：张峥华湖北万维通信工程规划设计有限公司湖北省武汉市430015

随着电信运营商重组和年初3G牌照的发放,三大运营商已开始进行全业务运营的竞争。全业务运营开始后,由于运营商各自的基础传送网络形态不尽相同,所以在今后的传送网建设中各自的侧重点也不一致。文章从网络建设的角度,首先对全业务运营... 详细信息

随着电信运营商重组和年初3G牌照的发放,三大运营商已开始进行全业务运营的竞争。全业务运营开始后,由于运营商各自的基础传送网络形态不尽相同,所以在今后的传送网建设中各自的侧重点也不一致。文章从网络建设的角度,首先对全业务运营环境下各种不同类型的业务特点进行分析,再对各类业务的带宽需求进行计算,最后依照各类业务的特点对不同业务的接入方式进行划分,对后期传送网规划建设应关注的方向进行说明。

关键词：全业务网络建设 PTN PON

在线全文

学校读者我要写书评

暂无评论

3G网络建设期传输网建设方向浅析

电信快报（网络与通信） 2009年第3期 17-19页

作者：张峥华湖北万维通信工程规划设计有限公司湖北省武汉市430010

在3G网络建设中,如何建设3G传输网络是值得关注的问题。文章从网络规划建设的角度,对几种主流的3G传输网络建设采用的技术进行了比较,分析了在过渡时期、3G时期和HSDPA(高速下行分组接入)阶段省内传输网络较为合适的应用技术,对3G网络... 详细信息

在3G网络建设中,如何建设3G传输网络是值得关注的问题。文章从网络规划建设的角度,对几种主流的3G传输网络建设采用的技术进行了比较,分析了在过渡时期、3G时期和HSDPA(高速下行分组接入)阶段省内传输网络较为合适的应用技术,对3G网络对端站的传输需求进行计算,对HSDPA阶段的传输网络需求进行估算。

关键词： 3G网络传输网络 MSTP技术带宽

在线全文

学校读者我要写书评

暂无评论

把群众满意作为衡量工作的最高标准

人民调解 2014年第4期 10-11页

作者：张峥华范潇赢上海市闵行区司法局

2011年1月，上海市闵行区某公交公司驾驶员戴某驾驶大客车与吴某驾驶的轻便摩托车相撞，造成吴某死亡。交警部门不能确定事故发生时路口信号灯情况，事故成因无法查清，事故责任无法认定，导致赔偿数额难以确定。闵行区交通事故人民调... 详细信息

2011年1月，上海市闵行区某公交公司驾驶员戴某驾驶大客车与吴某驾驶的轻便摩托车相撞，造成吴某死亡。交警部门不能确定事故发生时路口信号灯情况，事故成因无法查清，事故责任无法认定，导致赔偿数额难以确定。闵行区交通事故人民调解委员会受理了此纠纷，调解员向双方释明相关法律法规，依法依理进行调解，并着重做戴某的工作，最终使双方就赔偿数额达成了一致。

关键词：群众满意人民调解委员会上海市闵行区标准事故成因赔偿数额轻便摩托车驾驶员

在线全文

学校读者我要写书评

暂无评论

司机疏忽驾驶货车撞人酿惨剧 B02