人文精神的缺失与重建——苗族传统服饰的技术发展

随着现代化生产的发展,苗族传统服饰的技术形式受到了巨大的影响和冲击。大规模机械化复制生产的出现,在解放个体劳动力的同时,也造成了人文精神的缺失。本文从品质标准的弱化、审美品格的丢失和市场消费的易主三个方面,阐述代际传承过程中引发的苗族传统服饰人文精神缺失的关键问题。笔者认为,我们可以从继承服饰制作中手作精制的礼仪、提升对苗族文化的认同感两个方面着手,尝试在现有技术形式的助推之下,重建苗族传统服饰中的人文精神,使其在当下的文化场域内获得给养,找到持续发展的更多可能性。

采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。

通信顺序进程的扩充及其在协议形式化技术中的应用

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成。

一种基于RSL的协议形式化描述技术的研究

This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.

通信协议的形式化技术研究

本文研讨适应于计算机网络或分布式计算机系统通信协议的形式化技术.文中系统地论述和分析了协议及其服务的形式描述,设计验证与实现验证的基本理论,主要方法和实现技术;提出了一种基于有限状态机(FSM)和通信顺序进程(CSP)相结合的混合形式描述方法,针对CSMA/CD协议,给出了该混合模型的形式描述实例.

基于CFSM的协议形式化技术研究

本文主要研究了基于通信有限状态机（ＣＦＳＭ）的协议形式化技术。文中以协议ＰＯＬＬ－ＥＮＤ（ＰＥ）和ＡＣＫ－ＮＡＣＫ（ＡＮ）为例，研讨了应用ＣＦＳＭ的协议形式描述、验证及转换问题，提出了基于ＣＦＳＭ的协议验证方法和协议转换算法，并以协议ＰＥ和ＡＮ为实例证实了所建议方法及算法的可用性和有效性。

形式描述技术:直观LOTOS的提出和研究

计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行了重大改进,提出直观LOTOS的概念。

基于形式化技术的帧中继拥塞控制协议一致性测试

帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。

论网络广告技术形式的演化

所谓网络广告是指利用电脑连接而形成的信息通讯网络作为广告媒体，采用相关的电子多媒体技术设计制作，并通过电脑网络传播的广告形式。目前的网络广告主要以互联网（Internet）为媒体发布。

基于形式化技术的帧中继信令协议一致性测试研究

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。

安全协议中的形式化验证技术

伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议。文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向。

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 .

教师行为举止的价值及其技术形式

教师行为举止是教师在其教育信念及教育价值指引下的教学技能、技巧和艺术的全部意义。它是教育价值与技术形式的完美统一。教师行为举止的价值取向包括让学生感受到教师的爱与期望、让学生体验生命过程、让学生的主体意识保持清晰、尊重学生的欲望与创造等方面;教师行为举止的技术形式包括在理解中对话、在建构和谐中表达体态语言、在肯定自我中关注小节等三个方面。

形式化技术及其工业应用:现状与展望

近些年来 ,形式化技术的工业应用得到了长足的发展 ,并愈来愈引起研究人员的关注。形式化技术的成功应用归咨于 :便于理解和描述的严格、可视规格语言的建立 ;可用于系统分析、验证的自动或半自动验证工具的开发。形式化技术的工业应用不仅可以增强所开发系统的可靠度 ,而且可提高系统开发的效率、同时节省系统开发成本。本文对形式化技术及其工业应用的现状进行了综述 ,并对该领域的未来研究进行了若干展望。

基于CSP和RSL的协议形式化描述技术研究

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.

古罗马万神庙:形式、建造技术与空间意象探究

古罗马万神庙是西方古代重要的代表建筑,但是长期以来,国内建筑界对这座建筑的了解始终不甚确切,对它不同组成部分的修建时序、对其大穹顶的结构和建造技术等方面的理解多有模糊甚至偏差之处。本文试图对该建筑进行深入解读,一方面纠正以往教学参考资料对其解说的偏差,另一方面分析该建筑独特的形式、建造技术和空间意象的背景和渊源,以深入理解它在古罗马建筑历史中的意义和地位,并从中理解古罗马建筑的共性特征以及建筑与相关推动者之间的关系,使其历史能够成为更加生动的、可与当代进行比较理解的文本。

电子商务系统形式化分析与验证技术综述(Ⅱ)

应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足, 确保系统的正确性和健壮性.本文将目前用于电子商务系统的形式化方法划分为四大类,综合分析并比较了各类方法的应用特点,并指出了进一步地研究工作.

基于形式化技术的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,本文采用一种形式化技术——有穷状态机来描述电梯系统的规格说明,有穷状态机技术准确、无歧义,可以正确地描述一个系统。

用形式化技术求河内塔的并行解

论文以求河内塔 (HanoiTower)问题的并行解为例 ,介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是 ,先将复杂的问题和复杂的并行环境分离 ,仔细分析用户需求并进行形式化规格 ,求得正确的解 ,然后逐步求精 ,并保证在逐步求精的过程中不失去正确性 ,最后阶段再得到可以运行的并行程序。

形式化技术应用于软件逆工程的实践研究

形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少。介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。