无声的表达——浅析绘画中人物手部的表现

手,是人体的触觉、劳动以及表情器官,也在人物的表现中,有效的补充了面部表情,在人体美中占有着非常特殊的地位,同时,手带给人的视觉效果仅次于面部表情,因此,在一幅人物画中,手部的表现形态是非常重要的组成部分。手被称为人物的第二张"脸",通过中西方人物绘画的比较,分析与研究绘画中人物手的作用、表现及其所代表的内涵。     

材料在工业设计中的艺术表现

材料的开发、使用和完善始终贯穿于人类的发展史,工业设计的过程实质上是对材料的理解、认识和改造的过程。产品形式的选择不仅是用来提供功能,同时也用来建立产品的美感,唤起人们心中的美好联想和感觉,以及对产品的使用欲望。材料在其中扮演了一个核心的角色,如何选择材料已经被广泛深入地研究。该文章通过对具体案例的分析,阐述了如何恰当地运用材料及其加工工艺来创建产品的个性特征。     

装饰绘画在现代设计中的应用

装饰绘画是一种装饰性的艺术,是融装饰性与实用性为一体的一种美术形式,它是以自然对象为媒介,但又不受自然对象的约束,追求其造型和修饰表现形式的艺术性,装饰语言的突出性,从而达到绘画与工艺的理想结合。本文通过对中国装饰绘画分析,领悟中国装饰绘画的精髓,让我们进一步认识到装饰绘画艺术在现代设计中的重要地位,借鉴装饰绘画元素,探索现代设计及在设计的应用,并赋予其新的审美观念和新的表现形式,使人们更进一步了解现代设计的装饰艺术。     

大型数据库应用系统中基于角色的权限管理方案

本文分析了大型数据库应用系统的特征,将基于角色的访问控制的基本思想引入到系统的权限管理中,提出了一种在系统应用程序层实现基于角色的权限管理方案,使系统的权限管理更加简单、安全、高效、更加符合企业的业务管理规范。本文给出了方案的具体实现。     

抠像技术在AE应用中的表现

抠像技术是影视制作中常见的技术之一,尤其是在很多影视特技场面上的处理都是对抠像技术的具体应用,随着经济的发展和计算机信息技术的进步,抠像技术也取得了相应的发展,而且,抠像技术在AE应用中的表现方式也呈现出多样性,同时,抠像技术对背景的颜色处理技术也相对先进,其主要是利用一种特定的技术手段从画面中提取通道,一般情况下,人们把这种提取通道的方式称之为抠像技术,这种技术是提取画面通道最重要的方式之一,本文将主要阐述抠像技术在AE应用中的表现方式以及其特有的作用。     

视频点播在大型体育赛会中的应用研究

阐述视频点播技术对大型体育赛会的重要意义，就视频点播技术如何适应大型体育赛会赛需求进行讨论，提出了一种适合大型体育赛会需求的视频点播方案，并介绍一个能够满足这种需求的视频点播原型系统的功能特点。     

内地画家西藏主题绘画表现的主要特征

西藏独特的地域文化,吸引了无数的内地采风艺术家。以青藏高原和藏族风情为主题的油画创作从20世纪50年代至今从来没有间断过。内地画家的西藏主题绘画创作的出发点、绘画语言特点、艺术内涵的挖掘层面,成为研究内地采风画家的西藏主题绘画特点的不可忽视的组成部分。     

装饰材料与室内空间设计研究

随着经济的不断发展和人们生活水平的不断提高,装饰材料在原有的基础上也得到了进一步的开发和利用。从总体上来看,现代装饰材料有了新的发展,我们不能把装饰材料当成一种纯粹的物质,每一种装饰材料都是有其自身特性的。只有善于利用装饰材料的特性并结合具体使用空间的功能需求,杜绝对装饰材料盲目的堆砌,这样才能够使装饰材料发挥出最佳的功能,创造出舒适的室内空间环境。     

绘画中的构成应用

在现代造型艺术领域,平面构成研究的是视觉形态的创造规律。这是一种将造型要素中提取出的纯粹形式符号放置于二维平面里,并遵从形式美法则和视觉审美心理进行解析和重塑,从而组建出理想形态的行为。平面构成的基础性首先表现在它的专业基础地位与先导作用,包括构图、色彩、质感、表现力和美感等造型因素在内,是其它艺术造型的条件和基础。     

大型水利工程建设期智慧应用探索

针对大型水利工程建设过程中协调困难、现场安全与质量难以监管到位、进度因素复杂难以控制等难题,围绕“安全、质量、成本、进度”等工程控制管理体系的建立与落地,结合工程全生命周期管理要求,对工程建设期智慧应用进行总体规划,建立统一的数据、技术及应用标准规范,利用云计算、流程引擎、物联网、大数据、BIM和GIS等关键信息技术,通过搭建所有参建单位使用的统一协同平台,部署覆盖工地现场管控的自动感知与智能预警,汇聚数据资源池,可视化数据综合分析等,实现工程建设管理流程与信息技术的深度融合,为工程的建设管理提供管理手段与辅助决策支撑工具。目前已在珠江三角洲水资源配置工程建设管理中实际应用,可有效落实对工程建设管理各环节的精细化管理,保障工程建设管理的标准化、规范化,为行业大型水利工程提供智慧水利建设的典型解决方案和实践案例。     

上下文相关图文法的表达能力分析

上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性.     

k-选择网和Pi演算的表达能力

文中定义了Petri网的一子类系列:k-选择网,它形成一个后类包含前类的Petri网子类的无穷序列,证明了此无穷序列的并集等于Petri网类,自由选择网是k=1的k-选择网,即1-选择网.在证明自由选择网系统可以用Pi演算表达的基础上,文中进一步证明了所有2-选择网系统可以用Pi演算表达.     

The Problem of Expensive Chunks and its Solution by Restricting Expressiveness

Soar is an architecture for a system that is intended to be capable of general intelligence. Chunking, a simple experience-based learning mechanism, is Soar's only learning mechanism. Chunking creates new items of information, called chunks, based on the results of problem-solving and stores them in the knowledge base. These chunks are accessed and used in appropriate later situations to avoid the problem-solving required to determine them. It is already well-established that chunking improves performance in Soar when viewed in terms of the subproblems required and the number of steps within a subproblem. However, despite the reduction in number of steps, sometimes there may be a severe degradation in the total run time. This problem arises due to expensive chunks, i.e., chunks that require a large amount of effort in accessing them from the knowledge base. They pose a major problem for Soar, since in their presence, no guarantees can be given about Soar's performance.In this article, we establish that expensive chunks exist and analyze their causes. We use this analysis to propose a solution for expensive chunks. The solution is based on the notion of restricting the expressiveness of the representational language to guarantee that the chunks formed will require only a limited amount of accessing effort. We analyze the tradeoffs involved in restricting expressiveness and present some empirical evidence to support our analysis.     

浅谈西方绘画抽象性的形式体现

在西方绘画的表现方式中有一定的抽象性因素存在。西方绘画由"极似"走到"极不似",这种抽象因素对各种表现形式具有广阔的涵盖力、溶解性。从横向来说,它是对现实生活中各种具体事物的形态、动态、情趣、意象等的抽离和升华;从纵向来说,它是在漫长的人类艺术实践中由内容到形式的积淀过程。     

浅议当代油画语言的表达

当代油画语言的表达突破旧的艺术格局已成不争的事实,在当下的艺术格局中,架上油画也存在写实、写意、抽象三种观念上的虽有争议的界定,但在多元艺术的社会大环境下,不管何种样式的绘画,对绘画语言形式及相应内涵的探索成为当代架上艺术家的主要努力方向,以形式美为重要的表现目标便成为当代油画语言表达的一个共同的特征。     

On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)

In this paper I compare the expressive power of several models of concurrency based on their ability to represent causal dependence. To this end, I translate these models, in behaviour preserving ways, into the model of higher dimensional automata, which is the most expressive model under investigation. In particular, I propose four different translations of Petri nets, corresponding to the four different computational interpretations of nets found in the literature.I also extend various equivalence relations for concurrent systems to higher dimensional automata. These include the history preserving bisimulation, which is the coarsest equivalence that fully respects branching time, causality and their interplay, as well as the ST-bisimulation, a branching time respecting equivalence that takes causality into account to the extent that it is expressible by actions overlapping in time. Through their embeddings in higher dimensional automata, it is now well-defined whether members of different models of concurrency are equivalent.     

Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees

We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infinite set F. The chosen domain is the set of trees whose nodes, in possibly infinite number, are labelled by elements of F. The operation linked to each element f of F is the mapping (a ₁,..., a _n ) b, where b is the tree whose initial node is labelled f and whose sequence of daughters is a ₁,..., a _n .We first consider tree constraints involving long alternated sequences of quantifiers .... We show how to express winning positions of two-person games with such constraints and apply our results to two examples.We then construct a family of strongly expressive tree constraints, inspired by a constructive proof of a complexity result by Pawel Mielniczuk. This family involves the huge number (k), obtained by top down evaluating a power tower of 2's, of height k. By a tree constraint of size proportional to k, it is then possible to define a tree having exactly (k) nodes or to express the multiplication table computed by a Prolog machine executing up to (k) instructions.By replacing the Prolog machine with a Turing machine we show the quasi-universality of tree constraints, that is to say, the ability to concisely describe trees which the most powerful machine will never have time to compute. We also rediscover the following result of Sergei Vorobyov: the complexity of an algorithm, deciding whether a tree constraint without free variables is true, cannot be bounded above by a function obtained from finite composition of simple functions including exponentiation.Finally, taking advantage of the fact that we have at our disposal an algorithm for solving such constraints in all their generalities, we produce a set of benchmarks for separating feasible examples from purely speculative ones. Among others we notice that it is possible to solve a constraint of 5000 symbols involving 160 alternating quantifiers.     

数据可视化在物流系统中的应用研究

数据可视化技术是通过计算机图形和图像处理技术,把数据转换成图形或者图像,在屏幕上显示出来。以达到清晰有效地传达与沟通信息的作用。简述了数据可视化的概念,阐述了数据可视化在物流系统中可行的技术架构,分析了数据可视化技术在物流系统中的应用现状和前景。     

论中国画中的形、神、意

中国古代绘画的发展源远流长,其中理论的影响尤甚。以形写神的理论直接对写实主义的绘画影响巨大,产生了唐、五代、北宋等现实主义杰作;以神写形的理论则催生了后来画坛作为主流文人画的产生。