对综合指数体系分析形式的构想

众所周知,对于综合指数,一般根据不同的应用目的,同度量因素选用不同时期,但在应用综合指数体系分析时,通常都习惯于把数量指标指数的同度量因素固定在基期,而把质量指标指数的同度量因素固定在报告期,简称“数基质报”原则.形成这种习惯的原因有两个.

油气生产数据仓库多维分析形式语言RM_MDX设计

油气生产数据仓库系统需要强大而灵活的多维数据查询功能与表现能力。对通过MDX和SQL实现多维分析的优缺点进行了比较,在此基础上提出了应用于油气勘探开发数据的多维分析形式语言RM_MDX。该多维查询语言以MDX标准语法为基础,根据项目应用背景进行了简化和优化处理,并通过用户自定义函数(存储过程)技术对RM_MDX语言做进一步扩展和改善,使其在针对油气生产数据仓库上的多维分析功能更加强大和容易实现。

安全协议形式化分析方法研究综述

介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,因此详细介绍了一些常用的基于模型检测方法的工具。最后,总结了当前安全协议形式化分析方法的研究热点和未来的发展方向。

军事需求评估的形式化建模分析

为更加科学有效评估军事需求,通过需求评估“阶段划分、对象确定、指标构建”等步骤,系统阐述军事需求评估问题;形式化语言对需求论证阶段的方案需求值、落实阶段的能力生成值和检验评估阶段的需求满足值等指标重点描述,研究了需求评估的预期走势;基于Kalman滤波思想对提出的形式化模型进行实验算例分析。结果表明:评估结果能够逐渐逼近理想值,误差可以收敛;评估周期、评估初始值、预测误差、观测误差等因素对评估走势最终结果产生影响;综合评估结果与分项评估指标之间为非线性关系。因此,本文建立的形式化模型能够表征需求评估的基本规律,相关研究成果可以为军事需求评估提供理论参考和支撑。

受限环境下委托握手DTLS协议的形式化分析与改进

物联网设备有着资源受限的特性,往往处于受限的网络环境中,在这之上又面临着安全的挑战。目前常见的受限网络协议栈为CoAP-DTLS/UDP-6LoWPAN,传输层使用UDP,其安全性由DTLS协议维持。但DTLS协议作为TLS在UDP上的扩展,基于PKI连接建立的方式使其在直接应用到受限环境下会产生诸多性能上的问题。针对DTLS协议在受限环境下的性能问题,国内外的研究学者提出了诸多解决方式,包括但不限于改进加密算法、使用特定硬件、优化证书链、委托可信三方进行密钥协商(即将DTLS握手委托给第三方)。因此,对委托握手的DTLS协议使用Scyther进行形式化分析,得出其交付密钥材料时使用长期预共享密钥存在的安全问题,并提出重用TLS/DTLS协议中PRF函数的改进方式,对改进后的方法进行分析,证明了该方法能有效降低交付密钥材料时存在的风险。

基于身份认证的BACnet/IP分析与改进

为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和形式化分析方法对BACnet/IP进行安全性分析,发现协议漏洞并提出改进方案。BACnet/IP-SA协议使用设备的伪身份来保护真实身份信息,使用PUF响应进行认证,通过多信息集合的验证值来验证端身份的真实性并生成会话密钥。结合BAN逻辑和非形式化方法,对协议的安全性进行了证明。实验结果表明,所提方案能有效抵抗多类攻击和密钥泄露带来的安全威胁,在减少计算开销的同时增强了协议身份认证的安全性。

面向知识结构分析的模糊概念格模型

知识空间理论使用数学语言对学习者进行知识评价与学习指导,属于数学心理学的研究范畴.技能与问题是构成知识空间的两个基本要素,深入研究两者之间的关系是知识状态刻画与知识结构分析的内在要求.在当前的知识空间理论研究中,没有明确建立技能与问题之间的双向映射,从而难以提出直观概念意义下的知识结构分析模型,也没有明确建立知识状态之间的偏序关系,不利于刻画知识状态之间的差异,更不利于规划学习者未来的学习路径.此外,现有的成果主要集中在经典的知识空间,没有考虑实际问题中数据的不确定性.为此,将形式概念分析与模糊集引入知识空间理论,建立面向知识结构分析的模糊概念格模型.具体地,分别建立知识空间与闭包空间的模糊概念格模型.首先,建立知识空间模糊概念格,并通过任意两个概念的上确界证明所有概念的外延构成知识空间.引入粒描述的思想定义技能诱导的问题原子粒,由问题原子粒的组合判定一个问题组合是否是知识空间中的一个状态,进而提出由问题组合获取知识空间模糊概念的方法.其次,建立闭包空间模糊概念格,并通过任意两个概念的下确界证明所有概念的外延构成闭包空间.类似地,定义问题诱导的技能原子粒,由技能原子粒的组合判定一个技能组合是否是闭包空间中某一知识状态所需的技能,进而提出由技能组合获取闭包空间模糊概念的方法.最后,通过实验分析问题数量、技能数量、填充因子以及分析尺度对知识空间与闭包空间规模的影响.结论表明知识空间模糊概念不同于现有的任何概念,也不能从其他概念派生而来.闭包空间模糊概念本质上是一种面向属性单边模糊概念.在二值技能形式背景中,知识空间与闭包空间中的状态具有一一对应关系,但这种关系在模糊技能形式背景中并不成立.

基于形式概念分析的交通监测传感网络贪婪性同步拓扑算法

针对交通监测传感网络时间同步拓扑的能量有效性和场景适应性问题,提出一种基于形式概念分析的交通监测传感网络贪婪性同步拓扑算法GST-FCA。首先分析交通监测传感网络同步拓扑的场景适应性需求和能量有效性问题模型;其次,利用形式概念分析(FCA)对同层和相邻层传感节点的邻接特征进行关联性解析,根据最多邻居贪婪策略构建广播元组(BT)并划分同步集合;然后利用回溯广播改进传感网络时间同步协议(TPSN)算法的层探测广播策略,同时设计向上托管机制,增大已同步节点信息的共享范围,进一步缓解贪婪策略产生的局部最优解问题;最后对GST-FCA的能量有效性和场景适应性进行测试。仿真结果表明,相较于TPSN、LECFO等算法,GST-FCA在部署位置、部署规模、道路部署三个测试场景中的同步报文开销分别至少降低11.54%、24.59%和39.16%。由此可见,GST-FCA能缓解局部最优解问题并降低同步报文开销,而且能在同步拓扑满足上述三个场景适应性需求下达到良好的能量有效性。

一个切换认证的5G鉴权协议及其形式化分析

随着移动通信的发展,迎来了第5代移动通信技术(5G).5G认证与密钥协商(5G authentication and key agreement,5G-AKA)协议的提出主要是为了实现用户和服务网络的双向鉴权.然而,最近的研究认为其可能会遭受信息破译和消息重放攻击.同时,发现当前5G-AKA的一些变种不能满足协议的无连接性.针对上述缺陷,提出一个改进方案:SM-AKA.SM-AKA由两个并行子协议组成,通过巧妙的模式切换使更加轻量的子协议(GUTI子模块)被频繁采用,而另一个子协议(SUPI子模块)则主要用于异常发生时的鉴权.依据这种机制,它不仅实现用户和归属网之间的高效认证,还能提升鉴权的稳定性.此外,变量的新鲜性也得到有效维持,可以防止消息的重放,而严格的加解密方式进一步提升协议的安全性.最后,对SM-AKA展开完整的评估,通过形式建模、攻击假定和Tamarin推导,证明该方案可以达到鉴权和隐私目标,而理论分析部分也论证了协议性能上的优势.

浅论沃尔夫林形式分析法的三个创见

沃尔夫林关于艺术史的批评受到当时“艺术意志论”的影响,从艺术本体即形式的变化讨论风格形成的原因和特点。沃尔夫林假设两种风格的产生源于观看方式的改变,提出由古典艺术的触觉视觉转向巴洛克艺术的纯粹视觉艺术,从“线描与涂绘”的概念出发,引出其后的4对概念,对艺术风格的变化做了详尽的对比分析,由此证明艺术形式的“自律”,并得出了绘画史即装饰史的结论,对艺术史的研究影响深远。

形式分析法视角下的董其昌《婉娈草堂图》

沃尔夫林在《艺术风格学》中通过形式分析法比较分析文艺复兴时期和巴洛克时期艺术,归纳出有关艺术作品风格形式分类的五对基本概念:线描和涂绘、平面和纵深、封闭的形式和开放的形式、多样性的统一和同一性的统一、清晰性和模糊性。已有许多学者从沃尔夫林的风格理论中得到启发,运用沃尔夫林风格理论分析中国绘画,从而丰富了中国绘画赏析的研究内容与研究方法,拓展了研究思路。文章以董其昌的《婉娈草堂图》为研究对象,以沃尔夫林形式分析法中的五对概念作为研究方向与判断标准,通过对画作的构图形式、造型手段、透视关系、画面布局等方面的梳理研究,重新审视画面中的视觉要素,发现原本对立的概念关系变得辩证统一起来,从而发现《婉娈草堂图》画面中蕴含的独特丰富的形式美感,解读画家对传统的继承与创新。

亨利·卢梭丛林系列绘画形式分析

亨利·卢梭看似稚嫩的创作手法,反映卢梭对自然的探索,也体现其内心情感与艺术理想。他巧妙组织和呈现画面中的要素,使观众沉浸在丛林幻想中。围绕卢梭对自然的观察到对丛林的幻想,来分析卢梭的艺术特征,并从戏剧性的构图、简洁的造型、单纯的色彩三个方面,来对其丛林系列绘画进行形式分析。卢梭的绘画风格与形式处理展现了他对自然之美的追逐以及对人类与自然和谐共生的思考,具有独特的艺术价值和意义。

一种新的基于形式概念分析的漏洞分析预处理方法

漏洞分析技术已经成为企业应对安全问题的一个研究重点,通过对系统中已有漏洞进行分析,可以帮助企业和相关工作人员熟悉漏洞的特点与产生原因,甚至可以快速、高效地发现未知漏洞,避免资产损失。针对漏洞分析技术中漏洞预处理过程展开研究,提出一种新的基于形式概念分析的漏洞分析预处理方法,实现了对已有漏洞根据其特征快速进行聚类,并以图形化界面直观展示给用户的功能。实验表明新的漏洞分析预处理方法可以快速、准确地获得漏洞之间的所有关联,为用户进一步分析漏洞提供基础,符合企业及相关人员使用需求。

中华思想文化视域下“国家”主题术语集的语义、形式及功能分析

中华思想文化术语是浓缩中华优秀传统文化的关键词,本文基于语言学和术语学理论视角,形成以“国家”为主题的中华思想文化术语集,并对其进行语义、形式及功能分析,以加深对术语的理解,进而加深对中华优秀传统文化的理解,促进中华文化向外传播。

北京市冬季PM_(2.5)重污染环流形式分析及防治

本文以2022年1月28与29日北京地区典型细颗粒物(即PM_(2.5))重污染过程为例,依据大气颗粒物水平和垂直监测数据,常规及加密自动气象站数据和高时间分辨率风廓线数据,分析重污染过程中不同尺度环流形式,并制定精细化管理机动车与创建扬尘治理小组的防治措施。结果表明:弱高压场控制下,受低风速、强辐射逆温和下沉逆温影响,北京市冬季PM_(2.5)细颗粒物数量增长迅速;通过制定有效的防治措施,可有效降低北京市冬季PM_(2.5)浓度。

论新形式主义电影分析的价值性

与俄国形式主义理论不同,新形式主义电影分析理论主张主动积极的审美行为与陌生化、自动化的知觉假定。在电影分析中,它不仅具备受众对象广泛、分析工具多元的特点,而且对影片的技巧手法、历史语境等都采用了具体问题具体分析的方法,以免落入俗套。

一般决策形式背景的属性约简

决策形式背景是形式背景的重要扩展。属性约简是决策形式背景领域研究的热点问题。由现实数据所构建的决策形式背景通常是不一致的,文中面向实际应用,研究一般决策形式背景的广义属性约简方法。定义了一般决策形式背景的广义属性约简,并基于辨识函数给出了计算所有约简的算法。该算法具有良好的通用性,可应用于一致和不一致的决策形式背景。

基于ATL的公平电子商务协议形式化分析

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。

模糊形式概念分析与模糊概念格

针对在许多应用领域中,大多数信息都是复杂的、不确定的,而传统的形式概念分析不能表达这些模糊的、不确定的信息问题,介绍了将Zadeh的模糊数学理论与形式概念分析理论相结合所形成的模糊形式概念分析理论.给出并证明了在模糊形式背景下对象集合及属性集合的一些结论.建立了在模糊形式背景下的模糊概念格并证明了该模糊概念格仍然是一个完备格.最后用实例说明了这种模糊概念格的构造方法.