可编程序控制器教学实验的开发

本文主要介绍作者采用E系列可编程序控制器开发出的几个实验.这些实验包含了可编程序控制器(PLC)最基本功能(逻辑、定时、计数等)的应用.     

基于CPLD工作模式可调的线阵CCD驱动电路设计

针对传统驱动电路一旦做出修改,则需对硬件或程序进行改变的缺点,以型号为TCD1707D的线阵CCD为例,介绍了一种工作模式可调的驱动方法.该方法是利用复杂可编程逻辑器件和控制外端结合,通过分别设置内外触发来实现的.在外触发模式下,利用外触发脉冲,可由用户控制CCD的曝光和信号输出时间;内触发时,可以调节CCD的积分时间和驱动频率.为提高信号输出质量,针对EMC问题给出了线阵CCD的外围驱动电路.实验结果表明,该方法调试方便、电路结构简单、集成度较高、输出信号可靠稳定、受干扰小,可配合多种用户需要,对高速精确测量及线阵推扫模式具有一定参考价值.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

HLT500高低温试验箱PLC控制系统

介绍了以PLC(可编程控制器)为核心的高低温试验箱电控系统,着重介绍了可编程逻辑控制器PLC的选择和可编程控制器的程序编译。     

模糊推理的灵敏度

借助于模糊逻辑连接词的灵敏度,定义了模糊推理系统的灵敏度,研究了几种常见的模糊推理系统的灵敏度,进一步估算了各种模糊推理机的灵敏度,并将模糊推理系统的灵敏度与模糊连接词灵敏度的关系用等式表示出来。     

前苏联和俄罗斯模糊理论研究与应用情况概述

对前苏联20世纪80年代及苏联解体后俄罗斯20世纪90年代的模糊理论研究与应用情况作了概述,列举了在人工智能认知的模糊原理、信息论的模糊性和模糊空间、随机模糊规划、工业用综合模糊控制系统等领域的研究成果,并列出90多篇（部）俄文文献资料。     

The Σ1-provability logic of HA

In this paper we introduce a modal theory ${\mathsf{iH}}_{\sigma }$ which is sound and complete for arithmetical ${\mathrm{\Sigma }}_1$-interpretations in $\mathsf{HA}$, in other words, we will show that ${\mathsf{iH}}_{\sigma }$ is the ${\mathrm{\Sigma }}_1$-provability logic of $\mathsf{HA}$. Moreover we will show that ${\mathsf{iH}}_{\sigma }$ is decidable. As a by-product of these results, we show that $\mathsf{HA}+\square \perp$ has de Jongh property.     

How gamma radiation processing systems are benefiting from the latest advances in information technology

This paper discusses how gamma irradiation plants are putting the latest advances in computer and information technology to use for better process control, cost savings, and strategic advantages.

Some irradiator operations are gaining significant benefits by integrating computer technology and robotics with real-time information processing, multi-user databases, and communication networks. The paper reports on several irradiation facilities that are making good use of client/server LANs, user-friendly graphics interfaces, supervisory control and data acquisition (SCADA) systems, distributed I/O with real-time sensor devices, trending analysis, real-time product tracking, dynamic product scheduling, and automated dosimetry reading. These plants are lowering costs by fast and reliable reconciliation of dosimetry data, easier validation to GMP requirements, optimizing production flow, and faster release of sterilized products to market.

There is a trend in the manufacturing sector towards total automation using “predictive process control”. Real-time verification of process parameters “on-the-run” allows control parameters to be adjusted appropriately, before the process strays out of limits. Applying this technology to the gamma radiation process, control will be based on monitoring the key parameters such as time, and making adjustments during the process to optimize quality and throughput. Dosimetry results will be used as a quality control measurement rather than as a final monitor for the release of the product. Results are correlated with the irradiation process data to quickly and confidently reconcile variations. Ultimately, a parametric process control system utilizing responsive control, feedback and verification will not only increase productivity and process efficiency, but can also result in operating within tighter dose control set points.     

Programmable and Self-Healable Liquid Crystal Elastomer Actuators Based on Halogen Bonding

Shape-changing polymeric materials have gained significant attention in the field of bioinspired soft robotics. However, challenges remain in versatilizing the shape-morphing process to suit different tasks and environments, and in designing systems that combine reversible actuation and self-healing ability. Here, we report halogen-bonded liquid crystal elastomers (LCEs) that can be arbitrarily shape-programmed and that self-heal under mild thermal or photothermal stimulation. We incorporate halogen-bond-donating diiodotetrafluorobenzene molecules as dynamic supramolecular crosslinks into the LCEs and show that these relatively weak crosslinks are pertinent for their mechanical programming and self-healing. Utilizing the halogen-bonded LCEs, we demonstrate proof-of-concept soft robotic motions such as crawling and rolling with programmed velocities. Our results showcase halogen bonding as a promising, yet unexplored tool for the preparation of smart supramolecular constructs for the development of advanced soft actuators.     

A selective colorimetric chemosensor based on calixarene framework for lanthanide ions-Dy and Er

A novel photochromic Schiff base derivative, 5,17-N,N′-(5,5′-di-methoxyl-benzlaldehyde)diimine-25,27-dipropoxy-calix[4]arene has been synthesized through incorporation of two imine groups into the upper rims of calix[4]arene. The experiments showed that the addition of Dy³⁺ or Er³⁺ ions to compound 4 results in the solution color change, but other metal ions caused less change. It indicated that the synthetic receptor can selectively recognize Dy³⁺ and Er³⁺ ion by naked eye over other lanthanide cations. Thus, these systems can be applied as chemosensor for Dy³⁺ and Er³⁺ ion in analytical chemistry.