基于OBDD的描述逻辑εL循环术语集推理

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.

高校自治背景下贫困资助政策体系的问题研究

随着校府关系的转变,高校贫困资助政策体系中尚存一些问题。从法律位阶来看,规范性法律文件多,法律法规少是高校权责不明问题的首要原因。从内容来看,涉及"奖、助、贷"等多个方面与多个主体,在奖助问题上,确定了高校自治权的行使范围,其救济途径有待完善。在贷款问题上,高校行政权、主体资格与义务失调的问题有待解决。学生权利逐渐得到保障,应当进一步明确政府不得转移的核心职能与高校自治权的限度。

探究上海市各高校贫困生资助体系的问题及其优化策略

文章以上海高校在校贫困生所受资助状况及贫困生对其满意程度为研究视角，针对如何更好地完善政府补助、学校补贴、社会捐助及学生自助的四位一体化措施进行详细分析与研究，总结当前上海市不同高校的贫困生资助方式现状特点，并对其所存在问题提出合理化建议。

行政复议实质性化解行政争议的机制问题

“潜在之诉”主要指尚在行政复议阶段的行政争议,如果得不到化解,就可能发展为行政诉讼。基层检察院通过矛盾多元调解协作机制,提前介入诉前行政复议阶段,运用调查核实手段,查清相关事实,发挥司法审查作用,定分止争,促成和解,同时确保和解的自愿性与合法性。虽然针对化解“潜在之诉”,实践中已经进行了大量探索,但是理论层面特别是行政复议本身的机制运行特点上,仍需要加强探究,才能为检察机关开展“潜在之诉”的争议化解提供更充足的依据。通过分析行政复议制度本身的机制运行特点,思考在复议阶段开展争议化解工作时,需要注意的共性问题和难点,以期为检察机关开展此项工作提供参考。

企业职务舞弊刑事风险防控研究

企业随着世界经济趋势蓬勃发展的同时,经济与制度诱因致使企业内部职务舞弊行 为高发。在反腐倡廉背景下,打击公职人员贪腐行为举措走上正轨,民营企业员工职务 舞弊行为也不容忽视。据国内首家刑事风险防控专业报告分析,自2014 年至 2017 年年 度统计,民营企业家腐败罪名触犯频次按 267、 328、 478、 593 次稳步增加,其中,贪污 和挪用资金罪是一种高频率犯罪。