【摘 要】
:
Trivium是进入到eSTREAM计划最终方案的一个序列密码体制,而在其初始化过程中存在可滑动对。SAT求解器可以有效地求解非线性方程组,然而一般的SAT求解器在求出一个解之后便会结
论文部分内容阅读
Trivium是进入到eSTREAM计划最终方案的一个序列密码体制,而在其初始化过程中存在可滑动对。SAT求解器可以有效地求解非线性方程组,然而一般的SAT求解器在求出一个解之后便会结束。对MiniSAT求解器中的算法进行改进,使之可以得出方程所有解。将改进的算法应用于Trivium中可滑动对的求解,得到了初始化拍数从111到120的所有可滑动对。相比于使用Grobner基方法,求解效率有了极大的提高。
其他文献
经皮冠脉支架置入术用于治疗冠心病,具有创伤小、安全、成功率高、患者康复快、住院时间短等优点,使其应用越来越广泛。但冠脉支架置入术后会有许多并发症,如支架内血栓的形成、
猴妈妈带着三个孩子摘了一大堆桃子。一回到家里,三个孩子就争着去吃,猴妈妈说:“孩子们,这些桃子可是我们一个星期的零食,你们可不能一下子吃完哦。
当代大学生的人生观、价值观的主流是积极向上的,他们渴望成才,准备献身事业、报效祖国,积极思考国家的命运和自己的社会角色,其危机感和使命感明显增强。但我们也清楚地看到
1 病历报告患者,女,55岁,因妄闻、多疑、行为怪异20年,于1990年6月住入本院,诊断偏执性精神分裂症,住院15年来,先后服用氯丙嗪、奋乃静、氯氮平等抗精神病药物,疗效欠佳.每月
建立了在多天线认知无线网络中认知信道和天线空间自由度联合分配的数学模型,提出了信道和空间自由度联合分配算法,结合路由选择算法对分配算法进行优化.仿真表明,通过信道分
1病例资料患者程某,女,44岁,发现子宫肌瘤10余年,近期出现腰酸坠胀不适,故来院就诊,要求手术治疗。查体:子宫增大,如孕4个月大小,形态失常,表面可触及突起,无压痛,双侧附件区
手术室是对患者实施手术治疗和抢救的场所,工作节奏快,不安全因素多。近年来,各种手术医疗事故时有发生,不仅给患者造成无法挽回的损失,也损坏了医务人员的形象。要保证护理
证明了n进m出多输出布尔函数代数免疫度的上界不大于“(n—m)/2”,并分析了多输出布尔函数的代数免疫度与平衡性和非线性度之间的关系,证明了具有平衡性和高非线性度是多输出布尔
这是一个真实案例。男孩.11周岁。早餐:1个馒头(2两)、2碗粥(4两)、1个煮鸡蛋、半盘凉拌菜。