网络验证研究综述

随着计算机网络规模和复杂度的日益增长,网络管理人员难以保证网络意图得到了正确实现,错误的网络配置将影响网络的安全性和可用性.受到形式化方法在硬软件验证领域中成功应用的启发,研究人员将形式化方法应用到网络中,形成了一个新的研究领域,即网络验证(network verification),旨在使用严格的数学方法证明网络的正确性.网络验证已经成为当下网络和安全领域的热点研究,其研究成果也在实际网络中得到了成功应用.从数据平面验证、控制平面验证和有状态网络验证3个研究方向,对网络验证领域的已有研究成果进行了系统总结,对研究热点内容与解决方法进行了分析,旨在整理网络验证领域的发展脉络,为本领域研究者提供系统性文献参考和未来工作展望.

《民法典》中婚姻效力瑕疵的封闭性

《民法典》婚姻家庭编中关于婚姻效力瑕疵的规定应该解释为具有封闭性。从法政策的视角看,欺诈行为只有在涉及婚姻实质时才会影响婚姻效力,而法定的涉及婚姻实质的欺诈只有隐瞒重大疾病这一种;重大误解不足以构成撤销婚姻的事由;采取虚伪表示不影响婚姻效力的立场,反而更加有助于减少假结婚、假离婚等行为,且有利于维护婚姻登记公信力,至于附带的经济损害则可以通过区分身份行为和财产行为的法律技术加以救济;除未达法定婚龄者外,其他人不纯因其行为能力欠缺而致婚姻效力受影响,否则相当于变相剥夺了弱势群体结婚的权利;《民法典(草案)》中曾规定“以伪造、变造、冒用证件等方式骗取婚姻登记”,是为了解决“被结婚”这种特殊的婚姻不成立问题。从教义学的视角看,结婚的意思可以分为实质结婚意思和形式结婚意思,在我国法中,二者只要具备其一,就符合“自愿结婚”的要求,可以成立有效的婚姻。

形式概念内涵的一种快速求法

形式概念分析理论对于知识发现、信息检索、机器学习、软件工程等领域是一种很有效的研究工具。在它的应用中,概念的快速求法具有举足轻重的作用,研究人员已经提出了许多求概念的算法,这些算法都离不开形式背景并不可避免地对形式背景进行多次访问,对于大的形式背景来说,会大大降低算法的效率。提出用属性树方法求概念的内涵,只对形式背景进行一次扫描,就可以求出全部概念的内涵,从而可求出所有的概念。实验表明,该算法的效率要高于Ganter算法的效率,并且可以进行并行计算。

基于形式概念的粗糙近似

证明了对象(属性)概念的外延(内涵)是构成概念外延(内涵)的基本单位,由此提供了通过外延(内涵)基本元来构造形式概念的方法。定义了几种基于外延基本元和内涵基本元的上、下近似,给出了近似算子的性质,并讨论了这些近似算子之间的相互关系。

威胁评估发展刍议

与数据融合低层级问题相比,威胁评估系统解决方法的发展成效并不明显。针对这一现状,理清其难点所在;基于假设生成、评价和提炼的思路构建威胁评估体系结构框架,提出威胁态势假设三要素及推理途径,并拓展了有意图威胁模型;最后为便于计算机实现,基于集合论和谓词演算对威胁评估中涉及的概念、推理和置信传播进行形式化方法表述。开拓了新的威胁评估解决思路,为进一步发展威胁评估理论及应用打下基础。

基于概念内涵最小生成子的伪内涵计算方法

伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.

城市滨水区物质空间形态的分析与呈现

本文简要梳理了城市滨水区形态基本概念,探讨滨水区形态分析的三种目标取向,进而提出滨水区内部形态的梯级构成及其相应的"结构——类型"方法。

实质故意形式化检讨

晚近十余年来,刑法学界出现了将我国刑法中的"单一实质故意"与德国、日本刑法中的"双重形式故意"等同化并用后者取代前者,即"实质故意形式化"的动向。但依据法治国原则,实行罪刑法定,司法机关必须接受立法机关的价值引领,刑法释义也必须以刑法规范为依据。这就决定了犯罪故意概念的界定必须以规范文本为依据,不能将我国刑法术语与德国、日本刑法术语相混淆。实质故意形式化的思想根源是认为四要件存在缺陷,有必要用阶层论的观念来解释我国刑法的相关概念和规定。但这违反了罪刑法定原则,又忽视了刑法中认定犯罪主观要素的逻辑。鉴于四要件理论也不能全面解说我国刑法典,三阶层理论与四要件理论同作为犯罪论体系,都不能代替刑法典规则作为认定犯罪根本依据的作用。

基于不相关属性集合的属性探索算法

作为形式概念分析理论中的一个重要工具,属性探索算法能够以问题为导向,交互式地逐步发现系统知识,在知识的发现和获取中居于核心地位。但是,当形式背景的规模较大时,属性探索算法的计算过程过于耗时,严重制约了算法在当前大数据时代的推广与应用。耗时瓶颈主要存在于“寻找下一个与专家交互的问题”这一环节,传统算法在此过程中存在大量冗余计算。针对这个问题,在分析伪内涵和内涵与蕴涵集合的内在逻辑关系的基础上,提出并证明了3个定理,根据定理给出了一种基于不相关属性集合的属性探索算法,该算法在计算伪内涵与内涵的过程中,借助提出的定理,跳过违反该逻辑关系的属性集合是否为伪内涵或者内涵的判断过程,减小了算法的搜索空间,从而降低了算法的时间复杂度。所提算法最好的时间复杂度为O(mn^(2)P^(2)),最坏的时间复杂度为O(mn^(3)P^(2))。实验结果表明,与传统算法相比,该算法具有较为明显的时间性能优势。

基于形式概念分析的图像场景语义标注模型

为生成有效表示图像场景语义的视觉词典,提高场景语义标注性能,提出一种基于形式概念分析(FCA)的图像场景语义标注模型。该方法首先将训练图像集与其初始的视觉词典抽象为形式背景,采用信息熵标识了各视觉单词的权重,并分别构造了各场景类别概念格结构;然后再利用各视觉单词权重的均值刻画概念格内涵上各组合视觉单词标注图像的贡献,按照类别视觉词典生成阈值,从格结构上有效提取了标注各类场景图像语义的视觉词典;最后,利用K最近邻标注测试图像的场景语义。在Fei-Fei Scene 13类自然场景图像数据集上进行实验,并与Fei-Fei方法和Bai方法相比,结果表明该方法在β=0.05和γ=15时,标注分类精度更优。

制度安排对河湖治理中农民参与意愿与行为悖离的影响研究

基于陕西、宁夏两省680份农民微观数据,采用倾向得分匹配法(PSM)实证分析制度安排对农民参与意愿和行为悖离的影响及机制,并比较不同村庄规模、农民年龄和性别的组群差异。结果表明:制度安排能够显著抑制农民参与意愿与行为悖离,且非正式制度的作用效果大于正式制度,正式制度的影响净效应为13.4%,非正式制度的影响净效应为25.4%;制度安排对特大型村和中小型村的村民作用效果更显著,相较于其他年龄段,制度安排对49岁以下的农民影响效应更为显著,且男性较女性更易于参与意愿向行为的转化。进一步的机制分析发现,制度安排能够抑制农民参与意愿与行为悖离的深层原因在于激发农民的能力感知、提高参与预期。据此,建议推进环境政策等正式制度的多元化机制,强化非正式制度,充分发挥制度安排在农民参与行为转变过程中的内在驱动作用。

“形式化”·“语义化”·“意向化”——现代斯拉夫文论中“文学性”追问的不同路径之比较

“特征论者”雅可布森以“形式化”视界提出“文学性”命题,“功能论者”穆卡若夫斯基以“语义化”视界拓展“文学性”空间,“合成论者”英加顿则是以“意向化”视界进入“文学性”生成机制。他们在言说“文学性”这一命题时,实际上很少关心什么是文学性,而更多地专注于“文学性”何以生成;他们在使用“文学性”这一概念时,实际上很少是在对文学是什么加以界说,而更多地是在言说文学研究科学化的路径。他们的探索表明:“文学性”理论的建构是可以不断深化的。

过多的水平性表达——论三联海边图书馆的设计意图与形式策略

本文从设计意图与形式策略一致性的角度出发,分析了北戴河新区三联海边图书馆形式生成过程中的得与失。

基于TSP度量模型的FCA扩展应用

TSP开发过程强调用数据说话,要求较高的精确度,这对于大多数软件企业难以达到,因此应遵循一种“适度度量”的策略。对过程数据的分析不仅可以减少度量的工作量,还可为后续的开发及过程的改进提供参考和建议。该文提出了将形式概念分析(FCA)应用于TSP度量模型中,通过基于概念格的关联规则,挖掘出了有价值的信息。通过实验项目验证了该方法的有效性和实用性。

犯罪故意:立法比较与学理阐释

我国刑法采取不区分构成要件故意与罪责故意的单一的实质故意概念的立场,不存在三阶层赖以存在的犯罪论体系之基础。《刑法》总则第14条第1款明文规定了"故意"的概念内涵,并且将"社会危害性认识"作为成立"故意"的条件,这与不定义"故意"概念的德国刑法、日本刑法等形成了鲜明的对比,与德国、日本刑法学理上给"故意"所下的定义存在较大的差距,也不同于规定单一的实质故意概念的俄罗斯刑法。认为我国刑法可以与三阶层体系完美契合的观点,明显忽视了我国刑法规定单一的实质故意概念这一规范障碍,违背了罪刑法定原则。而且,双重的形式故意概念不具有合理性,它会导致一些案件处理的复杂化。无论是出于逻辑自洽还是功能自足的考虑,我国采取中国特色的单一的实质故意概念,不承认"故意的双重地位",都是一种明智的选择。

内涵缩减与分类规则求解

概念格是数据分析与知识提取的一种有效工具,具有精确性和完备性等特点。目前,基于概念格的分类规则提取算法很多,但在提取到规则的数量上和规则的形式上并不能达到令人满意的效果。针对基于概念格的分类规则提取方法进行了研究,在改进内涵缩减的增量式计算方法基础上给出了基于内涵缩减的确定的分类规则和近似的分类规则的提取方法,通过有效限制计算内涵缩减的节点的范围降低了内涵缩减的计算规模,利用分类规则基,降低了需要计算的分类规则的数量,提高了分类规则的提取效率。为验证本研究提出分类关联规则的挖掘方法,用C++实现了上述算法。测试结果表明,本文给出的算法是有效的。

论刑法理论中的违法性认识

刑法理论中的违法性认识不应仅局限于故意犯罪的场合来讨论。在把刑法理论中的违法性认识分为实质的违法性认识与形式的违法性认识之后,违法性认识应被扩展到过失犯罪场合和刑罚论中予以讨论。实质的违法性认识即社会危害性认识也是过失犯罪的成立必须联系的一个因素。实质的违法性认识与形式的违法性认识通常互为表里。形式的违法性认识既影响罪之成立,又影响刑之轻重。

江西省普通高校本科大学生学历投资意愿与水平及其影响因素研究

本研究基于10所高校的498份调查数据,采用Heckman两阶段模型对江西省高校本科大学生的学历投资意愿与水平及其影响因素进行实证分析。实证结果显示,有学历投资意愿的学生占据被调查学生的86.75%。此次研究表明,目前学历投资处于热潮环节,高学历投资意愿与低学历投资水平并存,学历投资现状有待改善。其中,专业、兴趣、综合测评排名、院校宣传、家庭经济状况以及父母是否支持与学生的学历投资意愿呈现显著性相关关系;性别、年龄、专业、兴趣以及学历意识与学历投资水平呈现显著性相关关系。

思维的具体内容论——兼为逻辑的形式主义辩护

思维的具体内容一直是人们反对逻辑形式主义的工具,认为形式逻辑脱离了思维的具体内容,不能产生真理,不是真理的逻辑。但遗憾的是,人们在何为思维的具体内容上却远未达成一致意见,有时指思想内容,有时指事物本身,当然,有时也指经验内容。因此理清思维的具体内容,并具体分析其给逻辑基本问题造成的混乱,对逻辑本身的发展具有特别的意义。逻辑的本质就是要"抛弃"思维的具体内容,走形式主义的道路。

基于AIDL语言的轨迹描述方法

针对轨迹预测和陆空信息的实时交互问题,基于形式语言理论,提出了航空器意图通用模型——AIDL语言,并对将轨迹分解为轨迹原子的方案进行了深度剖析。AIDL语言指令具有完备性,且可以关联雷达数据,从而来实现陆空信息的实时信息交互。提出实例,通过指令操作对航空器某种经济爬升的轨迹进行了描述。实例证明:AIDL语言在地空通信同步的基础上,能完成对航空器轨迹的实时描述,方便管制部门实时掌握航空器状态及更合理的调配空域。