柔性手腕装配作业分析及实验研究

本文采用矢量表示法分析了柔性手腕轴-孔插入过程中插入力的计算,实验表明理论计算值与实际测量值良吻合。在文中,还分析了插入过程中的“卡阻”、“楔紧”现象,提出了为使插入作业顺利进行应该保证的条件。     

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation

The high computational complexity of advanced reasoning tasks such as reasoning about knowledge and planning calls for efficient and reliable algorithms for reasoning problems harder than NP. In this paper we propose Evaluate, an algorithm for evaluating quantified Boolean formulae (QBFs). Algorithms for evaluation of QBFs are suitable for experimental analysis of problems that belong to a wide range of complexity classes, a property not easily found in other formalisms. Evaluate is a generalization of the Davis–Putnam procedure for SAT and is guaranteed to work in polynomial space. Before presenting the algorithm, we discuss several abstract properties of QBFs that we singled out to make it more efficient. We also discuss various options that were investigated about heuristics and data structures and report the main results of the experimental analysis. In particular, Evaluate is orders of magnitude more efficient than a nested backtracking procedure that resorts to a Davis–Putnam algorithm for handling the innermost set of quantifiers. Moreover, experiments show that randomly generated QBFs exhibit regular patterns such as phase transition and easy-hard-easy distribution.     

An Algorithm to Calculate Optimal Homogeneous Systems of Parameters

When a homogeneous system of parametersf₁,...,f_nis chosen for a graded algebraA, it is important for subsequent computations that the degrees, deg(f_i), are as small as possible. More precisely, one would like the product or the sum of the degrees to be minimal, depending on the application.This article investigates which degree vectors can occur as the degrees of a homogeneous system of parameters. From this, an algorithm is derived which constructs an optimal homogeneous system of parameters. Here the notion of what is considered asoptimalis part of the input. An important application is the case whereAis the invariant ring of a finite linear group. There is an implementation of the algorithm in Magma which applies to this case.     

安全阀阀瓣传感器优化设计及实验研究

为解决生产装置长周期运行与安全阀年检之间的矛盾,安全阀现场检测技术越来越重要.在将弹簧安全阀阀瓣设计成传感器的思路基础上,进一步采用方形膜片传感器结构来采集泄放口的压力变化,从而实现安全阀运行状态参数的检测.进行了结构优化设计,得到高响应传感器的设计方案,通过现场排放实验验证,表明新阀瓣传感器满足安全阀基本性能要求,同时也具有现场检测功能.     

一种测量和评估网络安全性的方法

基于网络数据传输过程中的主动防御模型,提出了一种对网络数据传输过程中的安全性进行测量、量化和评估的方法.它利用主动防御模型中的诱骗数据报文,在对攻击进行诱骗的同时,根据网络状态参数对网络数据传输的安全性进行测量和评估.该方法为网络数据传输策略的制定和网络数据的安全传榆提供了有效的标准.     

多参数可控的电磁生物效应综合实验装置

介绍了一种研究电磁生物效应的实验装置,采用半导体作为制冷器件,并设计了可调的电场和磁场装置和温度控制系统,可以完全通过电脑中的软件界面进行操控和测量,以探求最佳的电磁控制参数来防止生物细胞中冰晶形成以保护低温下组织细胞的存活。     

Understanding the Effect of Handedness on Both-Handed Task Performance: An Experimental Study based on a Haptic-Controlled,Simulation-Based Surgical Skill Training Scenario

Understanding the performance on both-handed tasks, such as endoscopic surgery, is critical to better organize and develop appropriate instructional systems to improve the necessary skills of surgeons. However, in the literature, only a limited number of studies have investigated the effect of handedness on both-handed task performance. This study aimed to provide an understanding of the participants’ performance differences while performing both-handed tasks through a haptic user interface in a simulated virtual environment specifically developed for surgical training purposes. Twenty-four surgeons attending a medical school in Turkey voluntarily participated in the study. The duration, accuracy, and collision measures were automatically recorded by software. The results revealed that the left-handed participants performed the both-handed tasks (camera: nondominant hand, tool: dominant-hand) in a significantly shorter time than the right-handed participants. This study also showed that haptic-controlled simulation-based surgical skill training systems can potentially provide measures for better understanding the individual behaviors and deliver alternative training environments specific to individual requirements.     

轻量级RFID双向通信认证协议优化方案

以轻量级RFID双向通信认证的设计与实现为研究目标,针对目前存在的轻量级RFID算法空白,所有权转移问题难以解决,现有协议未经过实际检验等问题,基于ECC算法机制,开展设计研究,取得了轻量级RFID双向通信认证协议的逻辑设计、源代码编写、硬件调试、上位机软件编写、可靠性测试等成果,可直接投入实际运用。文章从现有RFID安全认证协议出发,精心论证,认真分析,确保每一步认证的安全性,实现了授权访问、双向认证、标签匿名性、可用性,有效地保护了标签和数据库双向安全,满足RFID系统的安全需求。     

Design of a Robust Optimal Decentralized PI Controller Based on Nonlinear Constraint Optimization For Level Regulation: An Experimental Study

This paper presents the development of a new robust optimal decentralized PI controller based on nonlinear optimization for liquid level control in a coupled tank system. The proposed controller maximizes the closed-loop bandwidth for specified gain and phase margins, with constraints on the overshoot ratio to achieve both closed-loop performance and robustness. In the proposed work, a frequency response fitting model reduction technique is initially employed to obtain a first order plus dead time (FOPDT) model of each higher order subsystem. Furthermore, based on the reduced order model, a proposed controller is designed. The stability and performance of the proposed controller are verified by considering multiplicative input and output uncertainties. The performance of the proposed optimal robust decentralized control scheme has been compared with that of a decentralized PI controller. The proposed controller is implemented in real-time on a coupled tank system. From the obtained results, it is shown that the proposed optimal decentralized PI controller exhibits superior control performance to maintain the desired level, for both the nominal as well as the perturbed case as compared to a decentralized PI controller.      

化学反应釜最优温度控制系统的设计与实现

根据化学反应釜温度控制的工艺要求,为使其釜内温度控制更高效、稳定。设计了一套仅使用一种导热油进行温度调节的控制系统。并通过MATLAB和Simulink仿真的手段,求出了基于ITAE准则下的串级PID最优控制器参数。     

一种抗干扰通信系统评估模型的设计与实现

利用仿真技术进行抗干扰通信系统性能评佰一种实用、经济且有效的方法。本文以地域通信网为背景,建立了通信模型,给出了系统的设计框图以及主流程图。     

基于PT100的高精度温度采集系统设计与实验研究

介绍了温度采集系统的硬件、软件设计和实验研究.系统由下位机和上位机构成,下位机硬件主要由温度传感器PT100、由仪用放大器AD620构成的调理电路、A/D转换器MAX197和微控器AT89S52构成,上位机为PC机.下位机软件用C言语编写,上位机软件用VB6.0设计而成.在恒流源的激励下,PT100的阻值随温度的变化转换成电压的变化,调理电路对电压信号进行放大、变换,输出0 V～5 V的标准信号,经A/D转换送下位机,再通过串行通信上传给PC机进行存储、显示和图形化.系统采用分段线性化算法,利用MATLAB软件进行最小二乘法线性拟合,得到不同温度区间上的标度变换算法.与WZPB-1型标准铂电阻温度计的对比实验结果表明该系统的测量精度优于±0.1℃,系统工作稳定、可靠.     

蓄热式加热炉钢温预报与炉温优化设定研究

在分析新型蓄热式钢坯加热炉的炉型结构与炉温制度特点的基础上,基于钢坯在炉内受热辐射和钢坯内热传导的机理,设计了二维非稳态导热钢温预报模型,并给出了适用该模型的炉温优化策略.该模型能够对出炉钢坯进行网格化钢温预报,具有精度高,通用性强,能够实现炉内钢坯温度分布的在线预报的特点.仿真研究表明,所提出的炉温优化策略能较大地提高钢坯的加热质量.     

环境温度对压力仪表现场检定影响的实验研究

运用模拟实验的方法,针对环境温度对压力仪表在现场检定的影响进行了实验研究与分析,给出了实验结果.     

基于提升小波任意参数的目标检测方法及其硬件实现

将提升小波的提升项作为可调参数,通过训练使其具有目标的特征,利用提升后的滤波器提取出目标,从而实现目标的检测。仿真实验表明：此方法比传统的模板匹配方法速度大大提高。为使基于小波变换的目标检测算法能应用在实际检测跟踪系统上,分析在DSP系统中实现基于小波变换的目标检测算法的可能性和优势,并给出以双DSP为核心器件TMS320C6203的实时图像处理系统,从而为目标检测算法的硬件实现奠定实验基础。     

立体视觉传感器优化设计技术研究

依据几何成像原理建立了对称式立体视觉传感器的参数模型,通过对此模型坐标测量误差及传感器各参数误差传递函数的分析,研究了立体视觉传感器结构参数及其误差传递规律对传感器综合测量精度的影响关系特性,分析了有效视场、坐标测量精度和传感器结构参数之间的关系,给出了立体视觉传感器结构参数的设计原则与方法步骤,对立体视觉传感器的结构进行了优化设计,对比了传统结构和新式结构的优缺点,并在文章最后介绍了实际应用以及达到的精度.     

基于PAC的自动温度控制实验系统设计

当前,传统的以PLC为基础的教学实验系统已不能全面地反映工控产品及其相关先进技术的最新发展水平,利用PAC设计的控制系统已经成为最受欢迎的工业控制方案之一。该文结合国内外PAC技术的发展现状,介绍了一种基于PAC设计的自动温度控制实验系统。该实验系统以信号盒和信号发生器产生的模拟信号为被控对象,能够较好地实现被控对象的自动化控制。     

红外亮温和云参数信息对降水识别能力的研究

利用卫星可见光/红外资料遥感降水有其独特的优势,依据该资料反演获得的云光学厚度和云滴有效半径被证明能够对降水判别产生明显效应。以现有两种降水云识别方案为基础,进一步考察云顶红外亮温信息的价值,探索了红外亮温、云光学厚度及云滴有效半径综合信息对降水事件的指示能力。选取2006和2007年夏季热带测雨卫星(TRMM)可见光/红外辐射计(VIRS)和测雨雷达(PR)的融合观测资料,以PR探测为真值,采用3种二元预报评价因子对识别结果进行了评估,并与现有降水云识别方案进行了比较。研究表明:由于引入了云顶红外亮温信息,降水云识别能力比仅采用光学厚度和有效半径的方案明显提高。无论陆地还是海洋区域,新增红外亮温信息之后,能够更有效地识别弱降水,出现降水误判和漏判的区域面积比现有方案更小。特别是在洋面上,降水云识别比率达79%,而同时对非降水云的误判率仅为8%,相应其CSI、ETS和HSS因子值明显提升。以此为基础建立的IPCTC方案适用于常见星载多通道可见光/红外探测仪,可应用于卫星实时降水监测。     

微波加热钛精矿试验建模及温度控制器设计

微波加热物料是一个复杂的过程。在加热的过程中,物料温度会受到介质物理参量的温变等因素的影响。通过开展微波加热钛精矿试验,获取试验数据,并得到飞升曲线;结合Cohn Coon公式和温控对象的特点,建立微波加热钛精矿的对象模型。在此模型的基础上,分别采用经典PID和Smith预估两种控制策略,对微波加热过程中的温度进行控制;利用Matlab环境下的Simulink工具,对两种控制过程进行仿真分析研究,并对其结果进行比较分析。分析结果表明,经典PID策略有明显局限。它对具有大时滞、非线性、时变性,以及不确定性等复杂性特征的系统(微波加热等)的控制效果不理想。而采用具有鲁棒性的Smith预估策略,能够极大程度地减小微波加热过程中的超调量,使控制性能得到提升。