形式分析

摘要： 19世纪以浮世绘为代表的日本美术开始逐步影响西方美术的风格演变,这一历经数百年形成的艺术风格在西方艺术中展现出东方性格。一方面,浮世绘的内在思想与西方美学理想产生共鸣,进而被西方艺术家以绘画作品解读重构;另一方面,浮世绘独特的形式特征,源自中国唐代版刻经书以及明朝刻本插图。文章即从形式分析的角度,比较中国传统绘画与日本浮世绘之间的异同,探讨其中的形式元素对西方绘画的影响。

摘要： 在经济和科技高速发展的社会背景下,为进一步提升电力资源供应质量,国家大力推进电网建设及改造工程,然而要想切实保障电网建设质量,就必须从多角度考虑,从全方位入手。针对电网主网工程建设而言,杆塔施工是其中最为基础也是最不容忽视的部分,其施工质量直接关联到主网后续运行的可靠性与稳定性,而杆塔施工技术又对其施工质量有着决定性影响,因此施工团队及人员可从技术角度出发,在实际作业中正确选用合适的施工工艺及技术,在提升杆塔施工质量基础上推动整个主网工程顺利开展。基于此,本文针对杆塔施工技术要点进行深入分析。

摘要： 本文从画面故事、人物、山石、树木以及戴进个人背景对《三顾茅庐图》进行图像上的形式分析,探究其个人绘画特点,以及这幅画的创作目的。梳理戴进从沿袭南宋一脉的院体派风格,逐步融合元代文人画的特点,发挥自身所创笔墨,最后将其融合于六尺大纸绢上的过程。文章旨在探究画面中透出的虚实相生、充满变化的美学价值。

摘要： 视觉文化研究作为一门学科越来越受到社会大众重视,由于视觉文化研究广泛地吸收多个学科的手段及内涵,在不同角度重新审视视觉图像的生成及阐释而突破了传统艺术批评的惯性,作为一种手段来讲是我们研究艺术作品时的一种重要的方法论。本文通过五种视觉文化研究的方法对王育桑2021年创作的《桃鸠春园图》进行分析。《桃鸠春园图》的创作是其苏州园林系列的延续。艺术家王育桑在对于中国传统艺术和中国传统绘画强烈的喜爱之情下运用了西方现代艺术创作的方法论,积极地对艺术的发展进行探索和创新的同时拓展了中国艺术的表现方式,也为中国艺术在世界艺术史上献上了浓墨重彩的一笔。

摘要： cqvip:【导读】李松睿《时代的面影:当代文艺论集》涉猎当代文学、影视、美术等多领域文本,融贯细腻的美学分析与犀利的社会历史批判,在字里行间触摸“时代的征候”“书写的困境”与“危机时刻的想象”,最终汇聚出时代的多重面影。这正彰显出文艺批评的思想能量:为批评赋权,正是为“我们”赋权,以期更为能动地回应来自现实的挑战。

摘要： 关于长篇小说的综述性论述往往集中在主题层面,而忽视了形式层面的考量.其实小说的主题始终是有限的,写来写去,每位作家面对的主题几乎一模一样.很多作家写了几十年,奉献了数十部作品,似乎到了创作的瓶颈期,甚至是"穷途末路",很难不重复自己,长篇书写呈现出的同质化局面自然形成."常态化"的主题如何营造出"陌生化"的效果,创造出新的艺术境界,是摆在作家们面前的一道难题.形式上的突破或许比主题上的新发掘更为有效.艺术是"有意味的形式",如何让形式更有意味,作家们在不断探索尝试.大致来看,作家们的探索表现为:采用较为独特的文本结构;对细节精雕细琢;主题表达多元发散;文体边界拓宽;等等.

摘要： 美国艺术家约翰·凯奇(John Cage,1912-1992)是第二次世界大战以后西方艺术界的领袖之一。凯奇晚年从事版画、水彩、素描创作,创作了千余件美术作品,开拓了架上绘画的形式语言与创作理念。本文拟对凯奇的美术作品进行研究,分析其艺术实践中蕴含的禅宗美学,并进一步探讨凯奇对禅宗美学的曲用所产生的意义。

摘要： 自19世纪末期开始,西方艺术研究方法逐渐向多元性、跨学科性转向.形式主义、图像学与情境逻辑分析都曾对艺术图像的意义问题作出深入阐释,并从"视觉形式"、"象征"与"艺术家创作情境"三种不同角度运用独特手段对艺术作品展开研究,其结论呈现出鲜明的理论气质与个性特征.以上三种不同的艺术图像阐释方法皆认为艺术作品的意义无法局限于对其表层意义的阐释,而应挖掘图像更深刻的历史、文化与哲学思想内涵.对更为深刻思想内涵的阐释显示出了三种不同的探索视觉艺术意义的方法实践与理论创见.因此,将沃尔夫林、潘诺夫斯基与贡布里希的视觉艺术阐释模式加以对比研究,对图像美学的发展、艺术研究范式的建构都意义重大,同时亦彰显出艺术史发展的时代脉络以及更丰富的图像阐释径路.

摘要： 针对石油市场的发展问题,本次研究通过对国内外石油市场的基本情况进行全面调研,对石油市场面临的形势进行全面分析,在此基础上,对石油市场的发展趋势进行全面研究,为了解石油市场的变化情况奠定基础.研究表明:目前,国际上的石油勘探开发主要由陆地向海洋转移,同时,由常规石油向非常规石油转移,对于我国的石油市场而言,由于石油价格不断降低,国内的原油产量也不断降低,我国在石油领域的对外依存度不断的升高,未来对石油市场进行全面改革已经成为了必然的发展趋势,需要对非常规原油以及海洋原油资源进行全面的勘探及开发作业.

摘要： 19世纪起流行于西方的形式主义影响了当时整个人文科学领域,时至今日也仍然是艺术史研究的重要方法之一.陈平教授一直以来关注美术史学史及艺术方法论问题,他从形式主义方法入手,对美术史研究和写作中的方法论进行了反思.他认为,关于艺术作品的形式与风格研究,现在仍然是美术史写作的基本方法.尽管传统形式主义方法对后现代一些作品的解释是有限的,但风格是一种普遍的、真实的现象,形式分析作为一种工具,也仍是有用的.同时,陈平对美术史写作方法提出了看法和建议,认为我们要了解方法论,又不能拘泥于方法论.

摘要： 本文在原型Petri网的基础上,首次给出了时延离散Petri网的形式定义及其运行规则,以及与此相关的一些相关结论与计算公式,最后结合算例分析了此形式分析方法的正确性与合理性.本文给出了时延离散Petri网的形式定义及其运行规则，通过分析得出计算公式和一些相关结论，最后结合算例验证了此形式分析方法的正确性与合理性。下一步工作是研究变迁激发量计算公式的有效算法及加权时延离散Petri网的相关情况。

摘要： 语言符号是形式和内容的结合体，除了字面意义外，符号在使用时还自动携带文体、语域等意义半影效果，而在这半影中与语言形式有紧密关系的还有言语蕴含、含义、先设等隐性信息。本文通过对隐性信息的一种即先设的毗连投射进行公式化的描述，来探讨属于语用学范畴的隐性信息的形式分析的可行性。

摘要： 通过建筑平面的形式分析的方式试图对路易·Ⅰ·康这位大师的思想进行诠释，意欲证明其作品与话语之间存在着紧密的联系。

摘要： 计算机网络的安全是一个日趋重要的课题，近年来所发生的安全侵害（如Internet蠕虫。。。）已经表明对这个领域的研究具有特别重要的意义。网络安全的一个重要方面是认证，它是访问控制和安全通信的基础。这篇文章论述了认证的目标、方法、认证协议的类型，以及认证协议的形式分析和它的实际应用。

摘要： 本文阐述了侵占罪与盗窃罪的在法律规定中的不同，从分析代为保管的性质入手，对代为保管的各种形式进行归纳，并对几种特殊的行为是否构成代为保管进行了论证。

摘要： 本文阐述了侵占罪与盗窃罪的在法律规定中的不同，从分析代为保管的性质入手，对代为保管的各种形式进行归纳，并对几种特殊的行为是否构成代为保管进行了论证。

摘要： 本文阐述了侵占罪与盗窃罪的在法律规定中的不同，从分析代为保管的性质入手，对代为保管的各种形式进行归纳，并对几种特殊的行为是否构成代为保管进行了论证。

摘要： 本文阐述了侵占罪与盗窃罪的在法律规定中的不同，从分析代为保管的性质入手，对代为保管的各种形式进行归纳，并对几种特殊的行为是否构成代为保管进行了论证。

摘要： 本发明提供一种尽管为简单的构造，也可进行高精度的分注处理的变形式分注管、变形式分注装置及变形式分注处理方法。其具有：两个以上的变形式分注管，具有可在由壁面所包围的内部收纳液体及气体并且在其壁部的一部分具有可变形的变形壁面的收纳部、以及与该收纳部连通并且可供由于该变形壁面的变形所导致的上述内部的膨服及收缩而被抽吸排出的液体流入流出的口部；以及分注头，用来支持一个或两个以上的该变形式分注管，并通过使该变形式分注管的变形壁面变形，来进行液体相对于该变形式分注管的抽吸排出。

摘要： 本发明公开了一种对时间敏感网络的调度及流量整形机制进行形式化分析的方法，包括：确定TSN调度及流量整形机制的组成部分；根据确定的各组成部分，抽象出简单的调度及流量整形模型；根据抽象模型，确定模型的精化方案；对精化模型进行形式化分析以及时间性能分析。本发明中，通过对TSN的调度和流量整形机制进行形式化建模，不仅可以通过推理验证来保证最终的协议标准是否满足时间敏感性的需求，确保协议标准的正确性和可靠性；而且，对抽象模型的改进代价较低，对于协议标准的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来比较不同调度机制的异同点及优缺点。

摘要： 一种基于形式概念分析技术的增量式实体摘要生成方法，包括如下步骤：S100：分别构造初始知识图谱RDF数据的初始形式背景k1及新增知识图谱RDF数据的新增形式背景k2；S200：分别构造初始形式背景k1的概念格C1及新增形式背景k2的概念格C2；S300：对概念格C1的外延和概念格C2的外延求交集，得到集合T；S400：由集合T中的外延元素，得到对应的内涵，构成最终的概念格；S500：基于所形成的最终的概念格，利用排序算法，得到实体摘要。该方法能够挖掘出最重要、最具代表性的三元组且在动态知识图谱背景下，能够有很好的处理性能。

摘要： 本发明公开了基于形式化验证的物联网协议安全性自动分析方法与系统，其中方法包括：基于物联网协议状态机构建协议需满足的安全属性，对物联网协议和其需满足的安全属性自动实现形式化描述，应用两种攻击场景对攻击者能力进行建模,基于动态优先策略实现形式化验证。本发明的基于形式化验证的物联网协议安全性自动分析方法能高效地将MQTT、CoAP和AMQP协议部署在多个物联网平台上的协议状态机转换为形式化语言，并进行自动化、系统性的安全分析。

摘要： 本发明公开了一种基于状态空间形式涡格法的阵风减缓分析方法，依据给定模型建立气动网格，根据状态空间形式涡格法建立模型附着涡涡强、尾涡涡强与机翼表面诱导速度的关系，插值得到有限元模态及舵面模态广义坐标与机翼表面诱导速度的关系后形成气动弹性耦合方程，气动弹性耦合方程同样为状态空间形式，给定阵风模型作为外激励，可进行气动弹性阵风分析；在气动弹性耦合方程的基础上以机翼某点加速度作为系统输出，经过控制器后形成舵面偏转输入信号，搭建闭环控制系统，进行气动弹性阵风减缓仿真分析。本发明的方法能够提高阵风分析精度，避免频域时域转换，提高分析效率。

摘要： 本发明提供一种尽管为简单的构造，也可进行高精度的分注处理的变形式分注管、变形式分注装置及变形式分注处理方法。其具有：两个以上的变形式分注管，具有可在由壁面所包围的内部收纳液体及气体并且在其壁部的一部分具有可变形的变形壁面的收纳部、以及与该收纳部连通并且可供由于该变形壁面的变形所导致的上述内部的膨服及收缩而被抽吸排出的液体流入流出的口部；以及分注头，用来支持一个或两个以上的该变形式分注管，并通过使该变形式分注管的变形壁面变形，来进行液体相对于该变形式分注管的抽吸排出。

摘要： 本发明提供一种基于形式概念分析的罪名预测方法和系统。该方法包括：步骤1：基于自然语言处理技术对既有案件裁判文书及相关法律法规进行处理，得到既有案件裁判文书及相关法律法规中的犯罪行为及罪名；步骤2：将既有案件裁判文书及相关法律法规中的犯罪行为及罪名处理为形式背景，并采用形式概念分析方法对所述形式背景进行处理，生成一系列含有犯罪行为与罪名相对应的值依赖蕴含式；步骤3：基于自然语言处理技术对待预测案件进行处理，得到所述待预测案件中所包含的犯罪行为，将所述待预测案件中犯罪行为与一系列所述值依赖蕴含式进行匹配，得到所述待预测案件中犯罪行为所对应的罪名。

摘要： 本发明涉及基于一种基于形式概念分析的黄河岸坝险情识别方法，属于数据处理技术领域。方法包括以下步骤：(1)获取黄河岸坝的历史告警、预警和虚警信息以及对应时间段内的黄河岸坝监测传感器发出的信号；(2)构建形式背景；(3)利用形式概念分析的方法对所述形式背景进行处理生成多个概念；(4)计算各概念中告警、预警和虚警的概率；(5)对待识别时间段内的黄河岸坝监测传感器发出的信号进行处理，将处理结果与步骤(3)中生成的概念的内涵进行匹配，根据匹配的概念中告警、预警和虚警的概率计算所述待识别的黄河岸坝监测传感器发出的信号为告警、预警和虚警信号的概率。本发明实现了对黄河岸坝险情的可靠识别。

摘要： 本发明公开了一种面向需求表格模型的形式化语义分析与检查方法，将机载安全关键软件的需求映射为基于命题逻辑与关系理论的数学模型，对其语义进行严格数学定义，然后设计一系列自动化算法来对需求的多层语义约束进行验证。

摘要： 本发明公开了一种面向以太坊公有链智能合约的形式化静态分析方法及装置。所述方法包括：获取以太坊公有链智能合约的源码，并提取所述源码的代码语句，生成所述源码的Solidity表达式和特征图谱；基于所述代码语句、Solidity表达式与所述特征图谱，将所述源码描述为XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示；根据所述XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示进行漏洞模式检测与优化模式检测，得到以太坊公有链智能合约的分析结果。本发明可在内存资源有限的环境中快速完成合约的全流程自动化分析，检测结果准确且鲁棒，能够发现以太坊上现有方法漏报的安全问题，可更好地助力智能合约的安全监管。