ACT、TED算法基于MILP搜索的积分分析

ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明:ACT和TED算法都存在8、9、10轮积分区分器,另外TED算法还存在7轮积分区分器.根据所搜索到的积分区分器,实现了两种算法的11轮密钥恢复攻击方案.利用ACT算法的9轮积分区分器向后扩展2轮进行11轮的密钥恢复攻击时,攻击数据复杂度为2^(36.39),时间复杂度为2^(36.39)次11轮加密,存储复杂度为2^(20).利用TED算法的8轮积分区分器向后扩展3轮进行11轮的密钥恢复攻击时,数据复杂度为2^(60.81),时间复杂度为2^(109.54)次11轮加密,存储复杂度为2^(59).

债权人保护视角下的离婚财产协议

离婚协议中有关财产及债务处理的条款存在诈害债权的情形时,可根据其性质参照适用或直接适用债权人撤销权的规定,且原则上应当属于无偿处分财产权益。相关条款无偿性的判断以法定的或司法裁判确定的财产分配比例为参考基准,当事人在条款中约定的分配比例显著超出合理基准,且实际影响债权人债权实现的,其超出部分构成可被撤销的诈害行为。债权人应当承担条款具有诈害性的举证责任,其行使撤销权的范围限于其债权和超出部分的数额,且应当在除斥期间内行使,以避免债权撤销权对离婚协议意思自治的过度介入。

活血化瘀中药对慢性萎缩性胃炎大鼠细胞增殖及凋亡的影响

【目的】在慢性萎缩性胃炎(CAG)大鼠模型上观察活血化瘀中药对CAG细胞增殖、凋亡的影响。【方法】对综合法制作的CAG大鼠模型给予活血化瘀中药预防及治疗。CAG的核仁组成区相关嗜银蛋白(AgNOR)计数采用AgNO_3染色法,增殖细胞核抗原(PCNA)指数采用抗生蛋白链菌素——生物素免疫组化标记(LSAB)法,细胞凋亡检测采用原位末端标记染色法。【结果】CAG大鼠的胃粘膜细胞AgNOR计数、PCNA指数及凋亡指数均明显高于正常组(均P<0.01);活血化瘀中药预防和治疗组对其均有明显的抑制作用(与模型组比较,P<0.05或P<0.01)。【结论】活血化瘀中药通过对CAG细胞增殖及凋亡的改变进而恢复CAG的细胞及腺体数目是其防治CAG的作用机理之一。

论物权法中车库的归属及相关法律问题

车库的归属是建筑物区分所有中的一项具体制度,该制度的设计不仅关系到广大城市居民的权益保护,也关系到整个小区的和谐。在现有的各种解决方案之中,《物权法(草案)》的设计虽然仍存在着缺陷,但相比较而言,是更合理的制度设计,因而应当在物权法中继续予以坚持。

关于幺半群上一类新的主弱内射性质（英文）

设n是一个正整数,定义了一类新的主弱内射性,称之为n-主弱内射性.利用这类新的性质给出了一些新的幺半群类的刻画.

预先设置防卫装置行为的刑法审视

预先设置自动防卫装置在何等条件下成立正当防卫,理论界研究不多,观点不一。因预先设置自动防卫装置具有特殊性,只有在满足特定条件的情况下此等行为才能成立正当防卫,具有合法性。惟如此,才既可以保障公民在特定情况下享有正当防卫权,又不至于使得私权过于膨胀至无边无沿,从而有利于和谐社会秩序的维护。

“区分原则”在矿业案件审判中的运用评析

矿业领域是国民经济的重要组成部分,而矿业权作为矿产资源的开发利用之方式,其交易的市场化对矿业领域的安全、秩序和效率都有重要作用。因此,在矿业权出让与流转交易中,必须坚持区分原则。本文以最高人民法院审理的矿业案件为例,考察和分析目前矿业权领域司法实践中负担行为与处分行为区分的运用情况,并指出其中缺憾之处,供参考。

俄《产品分割协议法》与萨哈林油气开发对我们的启示

俄罗斯自然资源非常丰富,为改善投资环境,吸引外资开发自然资源,俄1995年12月31日颁布了《产品分割协议法》,随后几年又对它进行了修改。《产品分割协议法》的出台促进了外资对俄矿产资源的勘探、开采和利用。萨哈林大陆架油气开发项目就是按产品分割协议进行的,萨哈林-2项目合作很成功,已如期产油。我国,尤其是黑龙江省应抓住机遇,仔细研究并利用《产品分割协议法》,借鉴萨哈林油气开发的经验,加速我省与俄油气资源合作的步伐。

不纯正不作为犯之作为义务来源的实质化

不纯正不作为犯以不作为的方式达到与作为犯相同的法律效果,其作为义务来源乃支撑刑罚处罚的实质依据。传统的四来源表征形式化的分类无法解释不作为行为性及原因力的问题,新的实质化理论层出不穷,“支配说”“功能说”“违法性说”等都在不同程度上完成了解释的使命,但面对“流于形式、疏于实质”的诟病仍然表现出束手无策之感。不同解释论对实质化的探讨,尚未得出一个能够全面评价作为义务来源的结论。

论实行行为在共犯人分类中的意义

共犯人的分类一直存在作用分类法与分工分类法的争执。从罪刑法定原则出发,强调在我国共同犯罪立法中以实行行为为基准确立实行犯概念的必要性,并尝试以实行犯的刑事责任为基准确定其他共犯的处罚,从而建立以单一分工分类法为标准的共犯人分类新体系。

工业产品的量体裁衣

随着社会的发展,人们的生活方式发生了很大的改变;产业结构的变化和生产方式的转变使标准化量产的弊端日益显露。文章中就这一问题 提出了工业产品"量体裁衣"的概念,并从理论和实际两方面进行探索研究。

“税费改革”与政府财政行为法制化问题研究

从我国现实中存在的税费比例失调现象入手 ,认为税费比例失调是我国政府财政行为不规范的突出表现 ,在市场经济中有着多方面的负面影响 ,而政府财政行为不规范的实质主要在于政府财政机制不规范。为实现政府行为的规范和法制化 ,从控制政府收费规模、规范政府收支机制及合理划分中央与地方的财政职权等方面提出了建议措施。

合乎历史 顺乎民意——论《反分裂国家法》出台的意义

《反分裂国家法》是中国政府为了反对和遏制“台独”势力分裂祖国,促进祖国和平统一所制订的一部法律。它体现了国家意志,代表了全中国人民的心声,是一部和平统一的法、一部促进两岸关系发展的法,也是一部中国自主解决台湾问题的法。它的出台有助于反对和遏制“台独”势力分裂国家,有助于促进两岸关系稳定发展,有助于维护台海地区的和平与稳定,合乎历史,顺乎民心。

论法律行为的部分无效与全部无效

关于民法典第156条的解释,究竟采取部分有效原则还是全部无效原则,学说上存在争议,这个问题存在区分实益。采取全部无效原则更有利于维护当事人的私法自治、更符合举证责任分配规则、更符合法史传统、更符合我国裁判实务。在进行意思表示解释时,应当分别从行为的一体性与可分性来进行判断。在一体性的判断上,需以当事人的意思优先,结合考虑经济上的紧密关联与相同当事人关联。在可分性的判断上,存在内容、当事人可分性与时间可分性。需要通过假定的当事人意思来进行价值权衡,从而判定法律行为是部分无效还是全部无效。

小区停车位、车库权属研究

分析了相关典型案例;尝试性阐述了小区停车位、车库的类型;指出了法律设计的缺陷;认为对小区停车位、车库的权属进行类型化的规定是解决问题的关键。

我国央地财政事权划分动态调整机制研究

基于财政事权行为所具有的行政行为属性,我国央地财政事权划分动态调整理应通过不同财政事权行为的多种作出方式予以实现。国务院和省级政府通过抽象财政事权行为和具体财政事权行为有效动态调整两级政府间不合理、不规范的财政事权,优化央地财政事权格局,防范系统性财政风险,进而构建权责清晰、财力协调、区域均衡的央地财政关系。这种动态调整机制具有经常性、局部性和行政性的特征,必须遵循依法调整、合理调整、程序正当、信赖保护等四个基本原则,通过对财政事权行为之授权、撤回、改变、撤销、废止、确认无效、委托等七种方式实现预期效果,不断提升我国现代财政治理水平。

美国在环境议题上的分歧及对中国的启示

美国曾经在环境保护和治理污染上做出了卓越的成绩,但是如今环境议题成为撕裂美国的重要议题。美国的共和党和民主党在环境议题上互相牵制,难以达成共识。最近,美国特朗普总统宣布退出应对气候变化的《巴黎协定》就是这种分歧的表现。但当美国1970年代开始环境立法治理污染的时候,美国社会上下和两大党之间高度一致。在此后,因为环境思想上的差异和代际转变,政党斗争、选举体制、利益集团等多方面原因,美国不同政治势力在环境议题上越发分裂。美国在环境议题上的分歧对中国如今解决环境问题有重要的启示意义:首先,现在我国社会上下一致应对环境问题的广泛共识很宝贵,应该抓住难得的机遇期,为未来环境治理积极立法,留下宝贵法治遗产。另一方面,随着人们在环境议题上的利益变得多元,中国应该在环境治理上整合各方面利益,防止中国未来的环保事业被利益集团绑架。最后,中国应该明确环境议题的概念远远大于治理污染,为未来环境事业扩展空间。

60GHz ROF-OFDM系统的变编码技术性能研究

本文提出采用变编码技术提高60GHz ROF-OFDM系统的传输性能。通过对60GHz毫米波OFDM信号在光纤传输中的色散效应进行理论分析,得到60GHz毫米波OFDM信号在传输过程中,随着传输带宽的增加以及传输距离的增长,OFDM信号的高频区域子载波会受到频率选择性衰减效应的影响,产生严重的幅度衰减,导致系统误码分布不均的情况出现。为了均衡误码分布,提高系统传输容量,我们提出将变编码技术应用于60GHz ROF-OFDM系统中。验证分析发现,在60GHz ROF-OFDM系统中使用变编码技术能够有效的提高ROF系统的接收灵敏度,增强系统的传输可靠性。并且在相同冗余度下,变编码技术比固定编码效率的Turbo编码性能更优。

公平责任案件的类型化研究

《民法典各分编(草案)》将《侵权责任法》第二十四条规定中的"根据实际情况"修改为"依照法律的规定",符合学界大多数学者观点。公平责任规则在司法实践中适用出现滥用、裁判标准不明等问题,草案的修改将有利于解决此类问题。但同时,这一修改会限制公平责任规则的适用,我们建议增加三种适用公平责任规则的情形:(1)机动车交通事故责任纠纷中的好意同乘类型案件;(2)生命权、健康权、身体权纠纷中的溺水死亡类型案件;(3)生命权、健康权、身体权纠纷中的意外事件案件。

英剧《黑镜:急转直下》中人物对白的言外行为研究

在电影、电视剧中所有说出的台词都叫对白,亦称“台词”。指影片中由人物说出来的语言或人物与人物之间的对话。对白是人物形象构建、表现人物交际、推动故事情节发展的重要手段。1955年,奥斯汀提出了言语行为理论,他提出“施事话语”和“记述话语”区分说,后他又提出了言语行为三分说:言内行为、言外行为和言后行为。该文以英剧《黑镜:急转直下》中人物对白为例,从言语行为理论的角度,着重分析人物对白的言外行为,阐释人物对白的语用意义。从中可以得出,分析人物对白的言外行为具有交际价值,可以更好地了解作品中人物想要表达的真实想法,对了解现实交际中对方话语的深层含义,更加得体、恰当地完成交际目的具有重要作用。