区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

"所"字研究述评

“所”是一个由来久远、语言学界多有争议的文言虚词。本文从“所”的本义、“所”的用法源流、“所”的词性、专书“所”的研究、“所”与相关虚词的比较研究、“所”字研究的新途径等六个方面,对语言学界有关“所”字研究的成果,作了客观简要的历史性回顾和评述。     

流变与整合的汇聚点——试论西方音乐之父巴赫

西方音乐之父巴赫。天才式地将巴洛克时期对立与冲突的音乐观念、风格和创作手法等有机地融合、贯穿起来，完成了音乐历史的整合从而推动了音乐历史的发展。仅从技术层面来讲。他是西方音乐史上继往开来的复调大师。同时也以他的创作实践预示了和声时代的到来，他是音乐历史流变与整合的汇聚点。文章在此基点上进行探讨，并试图在人文与技术层面的论述中，引起更多的人们对巴赫的重新审视与热爱。     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

一种改进的阈值分割算法在复合材料图像处理中的应用

针对纤维增强复合材料微观结构图像的特点,提出了一种改进的基于模糊思想的阈值分割算法,该算法利用整体阈值、局部阈值和像点梯度信息之间的关系,构造了一个双输入单输出的模糊逻辑系统,合理计算出像点的最佳分割阈值.实验结果证明了算法的有效性.     

基于CPLD半整数分频器的设计

本设计是应用CPLD器件的特点和应用范围,利用VHDL硬件描述语言以及原理图的输入方式设计出占空比可调的半整数分频器,从而满足根据更改N值来实现不同分频系数分频器的设计要求。     

粗糙图与它的结构

将粗糙集理论和传统图论相结合，给出基于粗糙集思想的传统图的等价定义及粗糙图的定义，并进一步给出了粗糙图的矩阵表示及粗糙图的粗糙性分析．粗糙图推广了传统的图论结果，是可用于不确定性问题研究的图，它是分析系统粗特征的有效新工具．     

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

反讽之一种:关于《前门遇马队记》的解读

反讽,是周作人散文中一种独特的诗学命题。通过对《前门遇马队记》的细读,分析作者、读者、叙述者在情感与价值逻辑上的距离,考察反讽产生的诗学途径,并进一步阐释抽绎其内在形态与含蕴的生命观。     

基于VB6.0的PC机和S7-200PLC间的数据通讯

以SIEMENS公司S7200 PLC为例，用VB实现S7-200PLC在自由口通讯方式下与上位机的通讯。讨论了通讯系统的构成、通讯方式的设置，给出了软件程序和实验结果。该系统已成功应用于3．3kV八组合磁力控制站测控系统中。实验结果表明，该通讯程序具有重要的工程应用价值。