基于PLC的鼓风机防喘振控制系统

为确保鼓风机安全、稳定地运行,设计了一套基于PLC的双重化冗余防喘振控制系统。该系统以某石化公司硫磺回收装置中鼓风机的控制过程为背景,分析了鼓风机发生喘振的原因。同时,重点介绍了防喘振控制系统的硬件配置,防喘振控制器的原理,以及防喘振控制线的设计。最后,在CFC+SCL编程语言的基础上,实现了鼓风机的防喘振控制策略与逻辑组态编程。

双重软件体系结构描述框架XYZ/ADL

体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础.

庄子与柏格森的语言观之比较

柏格森指出了语言符号的局限性,认为它是僵化的、静止的和空间化的,因而无法表达动态的、整体性的和时间性的心理绵延,庄子也论述了言不尽意的语言观。他们都认识到语言不能表达直觉,不能认识实在,而他们的哲学著作都具有文学特质,都采用诗一般的语言,构建了他们独特的诗化哲学。

方面化中间件平台全息视图语言——HVL4DCAM

为满足方面化双核中间件平台DCAM面向按需计算的自适应需求,并支持系统平台的实时重构为目的的中间件计算环境,通过分析现有面向方面体系结构描述语言,提出了一种基于XML的中间件平台全息视图语言——HVL4DCAM。HVL4DCAM可以实时解析运行于平台之上的构件和方面的状态以及它们之间的动态关系,实现了构件和方面的对称性描述,提升方面的可重用性。基于HVL4DCAM描述了运行于DCAM之上的绩效考核系统中的构件及方面的关系,以及它们与DCAM平台的关系,并给出了进一步研究的内容。

典型话语逻辑语言双重视角的个案分析

传统逻辑以自然语言为媒介,逻辑系统和语言系统因其功能的差别导致结构体系和表述方式的差别,两个系统的解释范畴构成交叉关系。就具体的话语分析时,两个系统可以兼容,可以互补,可以对立。语言的表述系统有语形、语义、语值、语境,传统逻辑的表述系统有概念、判断、推理。话语解构时,要明确其目的而选择不同的解释系统,要力争二者的协调兼容,避免二者的对立排斥。