极大平面图的色数研究(续)

以文献《极大平面图的色数研究》为基础,对“加点法”所遗漏的极大平面图进行再研究,证明了这些极大平面图也是四着色的。     

（∈,∈∨q（λ,μ））-模糊子坡?

坡代数在自动机理论、逻辑二元关系、疾病诊断、马可尔夫链等领域有重要作用。本文首先给出了(∈,∈∨q(λ,μ))-模糊子坡的概念,并研究了它的等价刻画,得到了(∈,∈∨q(λ,μ))-模糊子坡的并仍是(∈,∈∨q(λ,μ))-模糊子坡。其次,利用反扩张原理获得了(∈,∈∨q(λ,μ))-模糊子坡同态像与原像的性质。再次,通过引入模糊集的反直积的概念,给出了(∈,∈∨q(λ,μ))-模糊子坡在反直积运算下封闭的结论。最后,引入诺特子坡、阿丁子坡的新概念,并讨论了诺特子坡及阿丁子坡与(∈,∈∨q(λ,μ))-模糊子坡的关系。     

计算机病毒运行条件的分类研究

从程序语言的角度出发,应用一一映射的方法,建立起计算机病毒规范与运行条件的同构模型．在此基础上,提出了计算机病毒运行条件的基于共性的分类方法,并给出了其在病毒防范领域中的应用方法．该分类法的应用领域包括：软件开发人员的参考指南,计算机软件工程领域的研究素材,以及病毒测试人员或审计人员的“条件核查列表”．     

交换超立方体的拓扑性质与嵌入问题研究

 交换超立方体(Exchanged hypercube)作为超立方体的一种变型网络,降低了网络规模增大时所需要的拓扑连接的开销.本文根据交换超立方体的图形化定义,得到交换超立方体的公式化定义,证明了交换超立方部分子网与超立方网同构,提出EHS(s,t)和EHT(s,t)的概念,并在此概念的基础上证明了交换超立方体中只存在长度不小于4的偶数圈,证明了交换超立方体的顶点连通度和边连通度都为min{s+1,t+1}.为使交换超立方体具有更广阔的应用范围,本文还提出了超立方体在交换立方网中的三种嵌入策略,证明了n=s+t+1时,n-1维超立方体Q_n-1能够同胚地嵌入到交换超立方体EH(s,t)中.     

Process specification generation from communications service specifications

This paper proposes an algorithm for generating process specifications from communications service specifications described by a graph grammar. In this work, it is assumed that a communications system consists of homogeneous processes and that there is no global database. Processes that share a relationship form a global state, and a communications service defines global state transitions caused by inputs to the processes. A global state is represented by a labeled directed graph and a global state transition is described by a graph replacement rule. A process specification is regarded as a distributed algorithm whose purpose is to achieve the global state transitions described by the graph replacement rules. The communication time complexity of the generated distributed algorithm does not depend on the number of graph replacement rules.     

Graph-based recognition of morphological features

Automatic recognition of the shapes of objects represented as solid models is very important in design optimization. Object shape also governs ease of manufacture, ease of orientability, field use and all other life-cycle applications. Characteristic attributes of an object shape such as chamfers, protrusions and depressions, play a significant role in process planning, design for manufacture, etc. These attributes are popularly known as morphological features. In this paper, the problem of identifying such morphological features is divided into two phases: the feature extraction phase and the feature classification phase. In feature extraction, the mechanical part is decomposed into its constituent features such as holes, protrusions and depressions based on the connectivity class in the edge-face graph of the part. In feature classification, on the other hand, the extracted features are identified and classified. This paper describes a feature classification scheme based on topological and geometric attributes of a morphological feature. The feature classification scheme outlined in this paper is capable of identifying new features with minimal human interface.     

平面闭链机构的缩杆邻接矩阵变更研究

针对平面闭链机构运动特性集成的问题,对闭链机构的设计过程、闭链机构运动链数目综合过程、缩杆邻接矩阵表示、去同构链、去呆链等方面进行了研究,以此获得了各杆件不同自由度的缩杆邻接矩阵数目表。通过对各缩杆邻接矩阵的比较,提出了少杆与多杆机构局部同构的识别方法,建立了平面闭链少杆机构向多杆机构的过渡过程,在此基础上给出了平面闭链机构的缩杆邻接矩阵变更过程。最后,运用平面闭链机构缩杆邻接矩阵变更方法对现有的飞剪机构进行了改进,验证了该变更过程的可行性。研究结果表明:平面闭链多杆机构可以由少杆机构添加若干杆件及运动副获得。     

“格式塔”视阈中的古诗品鉴

格式塔心理学强调整体，推崇知觉的识别与组织作用。该学派提出的“同构论”、“整体性”、“直觉现”原则，从文学接受的角度为诠释文本的意象构成、发掘独特的审美意蕴提供了一个新视角，至今对诗歌鉴赏仍具有启发意义。     

基于AutoCAD的电气原理图识别

提出自动识别使用AutoCAD绘制电气原理图的方法．该方法利用拓扑图表示电气符号，采用图的同构算法识别电气符号，并在识别出电气符号的基础上识别电路线．该方法能够以较高的准确率自动识别电气原理图．     

同构图形在包装创意设计中的应用探析

目的针对国内商品包装设计同质化严重的现状,思考相应的方法和对策,从而提升包装设计的特色和创意,诱导消费行为。方法通过问卷调查的形式了解现代消费者消费倾向,阐述同构图形在包装创意设计中的作用,对同构图形在包装创意设计中的具体应用进行深入系统的研究,发现并提取相关设计理论经验和方法,揭示同构图形设计在商品包装创意设计中的重要地位。结论在商品同质化日益严重的时代背景下,突出个性、不断创新在当下包装设计中显得至关重要。同构图形作为包装创意设计中最生动、有趣的创意表现形式,是吸引消费者关注最有效直接的手段,以其最具视觉冲击力、独特的传播形式使包装设计达到最佳的视觉感召力,具有极高的艺术性和商业价值,对提高消费者购买力有积极的推动作用。