节日期间要注意的理赔技巧

<正>春节即将到来,特整理出在节日期间应注意保险理赔事项,供大家参考:鞭炮"炸伤"汽车需第三方证明烟花爆竹炸坏了汽车,保险公司可以理赔,但是车主要有第三方证据即必须抓住肇事者。理赔的条件是:首先,车主必须对汽车投有车损险,车损险里有一条规定被保险车辆因火灾、爆炸等原因造成车辆损失,保险公司要负赔偿责任。烟花爆竹的伤害属于此类。但此项同样设了30%的免赔率。也就是说,保险车辆发生保险责任范围     

《船舶》投稿须知

<正>为将本刊办得更好,我们特向社会征集优秀稿件。稿件内容可涉及:船艇市场预测及技术发展趋势、船舶总体研究与设计、船舶结构与振动、船舶动力装置、船舶电气与通信、船舶舾装/特种装置、计算机技术与应用等。来稿需兼具科学性、先进性、创新性与可读性,具体要求如下:文题应简明确切,尽量不用副标题,控制在20个字以内。标题中不使用非规范缩略语、字符等。     

遗失驾驶证 成了“冤大头”

义乌上溪镇水碓村驾驶人沈堂茂(330725196810301315),7月30日到义乌车管所提交《身体条件证明》时,被工作人员告知:他于2007年5月16日10时30分在甬台温高速公路发生交通事故后,200元罚款至今未交,驾驶证无法审验。沈某大为惊愕!自考取驾驶证后,他从未驾车上过高速公路,肇事记录从何谈起?沈某苦苦回想,问题可能出在遗失的汽车驾驶证上。     

极大外平面图边面全色数的注记

设G是2-连通的平面图,证明了若G是最大度△（G）=5的极大外平面图,则其边面全色数χef(G)=5。     

"悬赏缉凶"若干法律问题的探讨--由一起刑事案件的侦查谈刑事证据制度的完善

由一起刑事案件侦查中对“悬赏缉凶”行为的争议谈起,对“悬赏缉凶”行为的性质进行了界定,分析了赋予被害人在公诉案件中调查取证权的可行性,并就此问题提出相关的立法建议．     

对称结构振型特性的一般性证明

对称结构大量的存在于实际工程中.对对称结构的力学分析通常都可采用相应的简化模型进行计算.在静力结构问题对称特性方面,已经进行了严格的证明并得出了完整的理论和结果.并已经被广泛应用.对对称结构动力分析中的若干性质虽也有些结论,但并不是普遍性的.这里利用数学物理方法,证明了对一般对称结构(包括由离散方法建立的对称力学模型),振型应该具有的一般性质.在对对称结构进行动力分析时利用对称结构本身的振型特性,可以大幅度简化计算.     

基于符号权重的一阶逻辑前提选择方法

为增强自动定理证明器从一阶逻辑问题的大规模前提中选择相关前提的能力，首先，提出符号权重计算公式，基于符号在问题中出现的频率获取不同符号对应的权重；其次，提出相关度计算公式，利用分配的符号权重计算问题中前提和结论间的相关度；同时，研究自适应相关度边界，用于判断前提与给定的结论是否相关；最后，在自动定理证明器中交互地结合前提选择和自动推理两个过程，可在充分选择相关前提的情况下及时停止前提选择过程.实验结果表明：在最优情况下，新提出的前提选择方法能够把参与证明的平均前提数量从1 876个降低到174个；与广泛使用的前提选择方法 E-SInE和Vampire-SInE相比，使用新方法能够帮助自动定理证明器E在MPTP2078基准测试集上分别提高19.49%和10.49%的证明率.