网络协议的形式化分析与设计

随着形式化方法和技术的日趋完善,网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础,渗透到网络协议分析、综合、测试等各环节的软件工程方法。本文从网络协议的基本要素、协议的形式化模型介绍了网络协议,并从协议的性质描述、不变性分析、可达性分析、基于有序二叉判决图的符号模型检验对网络协议进行了形式化设计与验证,最后进行了测试。     

东巴舞舞台文化符号审视与应然模式构建

东巴舞作为纳西族东巴文化的重要载体及展现,已经成为当地舞台文化的重要组成内容。基于当前东巴舞舞台文化符号在展现过程中的缺失与当前观众对东巴舞文化符号迫切需求的态势,本文采用文献资料法、逻辑分析法、调查分析法等研究方法,在解析东巴舞舞台文化符号群基础上,从东巴舞舞台器物文化符号、制度文化符号、精神文化符号和行为文化符号进行审视,基于存在的问题构建东巴舞舞台文化符号应然模式,促进东巴舞文化的传承与发展。     

妈祖文化传播中视觉符号的运用前景

论述视觉符号在＂读图时代＂具有很大的影响力,妈祖文化传播如何更好地应用视觉符号来扩大自身的影响,已经引起了政府和民间的重视。从视觉符号与文化传播的关系入手,进而分析视觉符号传播的优势,试图为妈祖文化传播找到更多的新途径、新方法。     

高清晰度数字电视中的符号定时检测算法

分析研究了欧洲数字视频地面广播（DVB－T）系统，提出了基于FPGA的COFDM接收机同步解决方案，对该方案中的符号定时同步，步骤同步和采样钟同步作了简要阐述了，经大量的同步算法仿真分析，提出一种新的符号定时检测算法：通过设置门限、保持窗宽和相应时延可准确估计符号起始位置及频偏，相应的FPGA硬件电路经高清晰度数字电视功能样机调试证明，该算法实现复杂度低且性能优良。     

关于Diophantine方程x~3±1=2pqry~2

设p,q,r为奇素数,p≡13 mod 24,q≡19 mod 24,(p/q)=-1.利用同余式、平方剩余、递归序列、Legendre符号的性质、Pell方程解的性质等证明了:(A)若r≡5 mod 12,则方程G:x3-1=2pqry2仅有平凡解(x,y)=(1,0);若r≡11 mod 12,则方程G最多有2组正整数解.(B)若r≡11 mod 12,则方程H:x3+1=2pqry2仅有平凡解(x,y)=(-1,0);若r≡5 mod 12且(pq/r)=-1,则方程H最多有2组正整数解.     

基于语境约定的植物景观设计

植物是园林景观重要元素,植物景观对环境生态平衡、人与自然和谐起到不可代替的作用。语境与符号、语言存在复杂的关联性,植物语境与符号影响景观舒适性、生态性与文化性。景观语境是由语形基础、语义规则、语用边界等内容组成约定过程。以中共贵州省委党校室外环境为研究区域,结合植物资源、景观元素等划分语境区域,赋予不同功能区域植物元素符号内涵,联合语境元素构建植物景观语境,营造整体与局部景观内涵。通过植物本身色彩、结构、形态等要素为中介,运用语境约定机制,强调植物文化象征的设计意义与景观语境内涵。     

一种新的导音辅助OFDM符号定时算法

提出的算法仅利用一个导音符号来进行符号定时恢复，适合与突发模式的正交频分多路(OFDM)信号，而且OFDM帧同步和符号同步能一次完成，简化同步实现的复杂度，算法采用自相关计算，对载波频率偏移具有较强的鲁棒性。仿真结果表明，即使在频率选择性衰落信道中，提出的算法也能快速地实现符号定时同步。     

米老鼠周边产品探析

米老鼠形象既是一种具有情感和美学特征的动漫艺术符号,又是一种特殊的文化符号,更是一种极具造型特征的视觉语言符号．通过探讨米老鼠周边产品的现状与发展趋势,探索米老鼠形象在产品设计中的基本要素与应用规律,旨在从米老鼠模式中汲取营养,并应用到产品设计中去．     

装潢艺术设计教学改革中的创意素描

《设计素描》是我们学习设计专业的一门基础课程,而创意素描是装潢设计艺术专业在设计素描课程中的一个重要课题,通过这一课题的训练和学习来改变学生以往在传统素描学习过程中的观察方法和思维模式,绘画形式亦不再以如实再现为目的,而是通过体验与观察,抓住事物的本质,对其进行再创造再提升的过程。创意素描这一课程强调的是偶发的直觉体验和意象表现,这种表现不仅是表现眼睛所看见的真实,更多的是人的内心体验的表现,是创作者一种激情的表达。这一教学内容的改革,极大的提高了学生的想象力与创造力,对于装潢艺术设计专业来说,能更好的达到其应有的教学目的,完善其教学体系,为学生今后的设计实践打下坚实的专业基础。     

论颜色符号系统的模糊性

颜色在我们身边无所不在,世界上的各个民族每天都在用他们的语言对颜色进行描述和分类,而无论是哪一个民族的语言的颜色词,它们在概念上和内涵上都是模糊的,这是因为语言和文化这两个符号系统都是模糊的。