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

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

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

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

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

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

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

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

基于LabVIEW多功能虚拟仪器的应用开发

采用图形化开发软件L abV IEW设计出多功能教学用虚拟仪器.该仪器能与A 3000过程控制实验系统和AEDK-L abACT教学实验装置进行连接,具有信号检测、处理、存取、网络通讯和信号发生等功能.     

(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八组合磁力控制站测控系统中。实验结果表明，该通讯程序具有重要的工程应用价值。     

红外光电测控技术在工程机械上的应用

介绍了红外光电测控器的设计思路,以及这种红外光电测控装置在高等级公路防撞护栏清洗过程中的自动测控原理。     

西门子调速装置在传动控制系统中的通讯应用

介绍了西门子交直流全数字调速装置与西门子PLC如何实现数据通讯的方法，全数字调速装置通过计算机控制系统下达指令，完成对传动系统的控制，从而实现对多套传动控制系统的集中控制。