摘要：在研究关于 CSP并发指称语义的不同研究方法的基础之上 ,利用广义状态的概念和完备距离空间作为指称的方法 ,讨论了 OCCAM的一个子集 OCCAM/ TOY的并发语义。针对目前交叠并发语义研究方法的问题和不足 ,首先在 OCCAM/ TOY的语法中引入了一类具体的原子语句 ,并从语义上考虑了原子语句的语义对整个程序语义的影响 ;其次 ,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理 ,描述了单个通信步骤的语义及其对程序的影响。在构造语义域时 ,利用完备距离空间作为指称 ,讨论了在距离空间范畴中语义域议程的解的存在性 ;并且在定义语义函数时 ,保证了递归定义的语义函数的存在性。给出了 OCCAM/ TOY的完全意义上的并发指称语义 ,既体现了由于并发而导致的执行过程的不确定性 。

摘要：交通信号数字指示灯识别是根据数字指示灯的特征分析图像内容,找出数字指示灯目标并加以分类识别的过程,包括预处理、定位、分割以及识别等过程。本文采用基于颜色-形状特征的目标检测算法和基于BP神经网络的识别算法,设计一种较为简单、准确的数字信号灯的识别方法。仿真实验表明,本算法具有较高的准确率和执行效率。

摘要：针对水下机器人推进器控制及其运行状态监测问题,研究了推进器控制系统脉冲宽度调制(PWM)信号及电流信号降噪方法。针对基于典型串联接地方式建立的推进器控制电路中, PWM信号的纹波幅值及占空比波动都较大的问题,设计了一种冗余接地电路,该电路在主控中央处理器和模拟转脉冲宽度调制模块之间单独增加一条地线,以避免信号受到电源地线的干扰。针对推进器工作电流信号数据中噪声干扰较强,以及基于小波分解降噪后电流数据与真实电流数据的误差仍然较大的问题,提出了一种基于小波分解和七点滑移平均交叉耦合的耦合降噪方法。水池试验结果表明,冗余接地电路与典型串联接地电路相比,具有更小的纹波幅值和占空比波动;利用所提耦合降噪方法的电流数据与原始电流数据和小波分解降噪后电流数据相比,与真实电流数据的误差更小。试验结果验证了上述方法的有效性。

摘要：介绍了当前常见的网络流量监测方法,针对SeeLink网络流量监测系统的系统目标,从中选择了基于SN-MP协议的方法,围绕该方法给出系统总体设计方案.并通过数据的采集、分析、处理等步骤实现了系统的各个功能模块.

摘要：形态和结构一直是相互交织的两个概念。小到台灯、沙发,大到建筑,形态和结构都是不可拆分的概念。建筑形态的选择受到外界因素的制约,而不同的建筑形态又决定了其内在结构,反之亦是如此。文章以建筑为例,探讨形态与结构的关系。通过对形态结构的词义分析、历史发展、影响形态与结构的因素研究,结合实际案例分析,总结探究出形态与结构的关系是交织发展的,是一种你中有我,我中有你不可分割的关系,通过对二者关系的研究,引发设计师们的思考。

摘要：将独立成分分析(ICA)、模糊支持向量机(FSVM)以及三叉决策树相结合并应用于人脸识别。首先对人脸图像做独立成分分析,提取有利于分类的面部特征的主要独立成分,然后在特征空间中,用FSVM和三叉决策树相结合设计人脸分类器。在ORL人脸库上的实验结果表明,该算法能够取得较好的分类效果。

摘要：水浴温度的精确控制是实现温度测量仪器正常工作的关键。系统针对金陵科技学院图书馆的干挂石材幕墙的热工性能测试中使用的PT100热电阻的温度检测校准要求,基于PID控制理论,以三菱PLC FX3U-32MT为控制器,使用触摸屏、电机搅拌电路、加热电路、供水电路实现水浴的智能高精度恒温控制。并在监控界面中设置了三级密码权限管理,保证了系统的安全可靠。实验测试结果表明系统的控制精度高,过调量小,工作稳定可靠。

摘要：研究了3-溴香豆素磺酰脲类化合物降血糖活性与化学结构之间的关系,为进一步设计合成该类化合物提供理论依据。研究方法是首先选择14个化合物进行药效学研究,然后再对这些化合物利用MM2分子力学计算有关结构参数并进行定量构效关系研究,研究结果表明3-溴香豆素磺酰脲的降血糖活性与化合物的最小能量呈负相关,初步结论是该类化合物脲基取代基为脂肪基时,化合物的能量相对较小,降血糖活性较高。

摘要：GIS应用日趋广泛,但目前单独一个GIS系统难以满足多种应用模型的需要,利用Web服务将空间分析功能共享与组合是一种可行的快速解决办法.本文借鉴面向服务架构概念和Web服务技术,将空间分析功能封装为空间分析服务,对GIS空间分析服务间的几种基本逻辑关系进行了抽象与总结,提出了利用Web服务组合构建空间分析模型的思想,并以GIS中水文分析模型为例对模型构建过程中的空间分析服务封装、组合以及模型构建几个阶段进行了研究和实践,实现了在Web环境下水文分析模型的平台构建.

摘要：文中以羊毛纱为基材,吡咯为单体,以氯化铁作为氧化剂,基于吡咯聚合的方式制备羊毛与聚吡咯复合导电纱,探讨氯化铁浓度对复合导电纱表面形貌、增重率、电导率及力学性能的影响。结果表明:在本试验范围内,导电处理过程中随氯化铁浓度的增加,羊毛纱表面及内部吸附更多的吡咯单体,更多单体参与了反应,纱线的电导率逐渐提高,当氯化铁浓度为0.9 mol/L时,聚吡咯基本完全覆盖到纱线表面,并形成连续的较为均匀的膜状结构,纱线的导电性能达到最好,纱线经导电处理后的断裂强度和断裂伸长率有所增加。