水利规划生态适宜性研究

选择生物丰度指数、植被覆盖指数、水资源指数、土地退化指数、污染负荷指数5类基本因子，组成生态适宜性评价指标，评价值在0．067-1．500之间变化，对结果进行再处理、聚类，划分毗河供水规划的生态适宜分区。结合区域生态、环境特征和要求，对水利规划作出相应的调整。毗河供水规划整体布局较合理，大型建设项目未处于生态需特别保护的区域。各水库农业灌溉的同时，也能发挥生态功能，为周围环境提供用水，对区域生态与环境有促进作用。     

Ionic liquids as electrolytes

Salts having a low melting point are liquid at room temperature, or even below, and form a new class of liquids usually called room temperature ionic liquids (RTIL). Information about RTILs can be found in the literature with such key words as: room temperature molten salt, low-temperature molten salt, ambient-temperature molten salt, liquid organic salt or simply ionic liquid. Their physicochemical properties are the same as high temperature ionic liquids, but the practical aspects of their maintenance or handling are different enough to merit a distinction. The class of ionic liquids, based on tetraalkylammonium cation and chloroaluminate anion, has been extensively studied since late 1970s of the XX century, following the works of Osteryoung. Systematic research on the application of chloroaluminate ionic liquids as solvents was performed in 1980s. However, ionic liquids based on aluminium halides are moisture sensitive. During the last decade an increasing number of new ionic liquids have been prepared and used as solvents. The general aim of this paper was to review the physical and chemical properties of RTILs from the point of view of their possible application as electrolytes in electrochemical processes and devices. The following points are discussed: melting and freezing, conductivity, viscosity, temperature dependence of conductivity, transport and transference numbers, electrochemical stability, possible application in aluminium electroplating, lithium batteries and in electrochemical capacitors.     

基于树莓派的多串口多总线服务器设计

基于树莓派、USB-hub、USB/串口转换器和Linux操作系统设计一种串口服务器。本文重点介绍了该串口服务器的硬件结构,以及软件架构和3个主要任务的详细设计方法。该串口服务器带有多个串口,具有支持多总线、传输距离远、传输协议多样、低成本及低功耗的特点,已成功应用到工业现场的信号采集和设备监控中,满足长期稳定和实时的性能要求。     

利用Volterra级数的低噪声放大器线性增强设计

针对单级宽带低噪声放大器（LNA）非线性难以定量分析以及难以将电路设计与线性指标联合设计的问题,提出利用Volterra级数和双极非线性模型相结合的方法优化电路线性度。该方法从SiGe双极管非线性模型出发,提取影响线性度的模型参数,并利用维塔里级数和双极管非线性模型导出器件非线性传输函数,推演出其与IIP3的相互关系,量化各个参数的非线性比重,提出优化线性度的电路设计方法。研究结果表明,在1.5-20GHz的宽频工作频带下,单级低噪声放大器的输入和输出均可实现良好的匹配（<-10dB）,达到16dB的增益,噪声系数在整个频带下小于3.6dB,IIP3可达-7.73dBm。     

基于Raspberry Pi的可视化温湿度测量系统设计

二次设备必须在较为适宜的环境温湿度下运行,为了提高温湿度测量速度和准确性,基于Raspberry Pi嵌入式系统和Java语言,开发了一套对二次屏柜温湿度进行测量的系统.该系统具有GUI可视化界面,通过鼠标即可控制温湿度测量的启动和停止,在连续测量时,测量结果通过控件变化动态显示.该系统集合温湿度一起测量,可布置在重点屏柜内,有利于运维人员及时掌握二次屏柜温湿度变化,在温湿度超限时能及时采取处理措施.     

Pi演算对图灵机的表达

为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。     

基于ProVerif的安全协议形式化分析与验证

形式化方法是分析与验证安全协议属性的强有力的工具.在对一阶定理证明器ProVerif深入研究的基础上,对简化的Needham-Schroeder认证协议进行了形式化分析.     

基于树莓派和Java语言的温湿度远程实时测量系统的设计

为了提高变电站内温湿度监测水平,基于树莓派嵌入式系统和Java语言开发了一种温湿度远程实时测量系统,本系统包含客户端、服务器、温湿度测量模块三层硬件架构,客户端和服务器都连接在互联网或局域网中,采用Java语言编程,实现客户端与服务器之间多种通讯模式,客户端可显示可视化控制界面和测量结果。系统运行表明,由于树莓派同时作为现场测量模块的控制器和服务器,数据库在树莓派服务器端生成,数据库文件不会受客户端连接状态的影响,客户端不必时刻与服务器连接,在需要时可连接任一接入系统的树莓派服务器,连接效率大大提高,本系统还可根据实际需要改变服务器和客户端数量、客户端的控制界面,具有很大的灵活性和很强的可扩展性。     

智能家居和楼宇的实时监控系统设计

为了实现对家庭安全的实时监控,设计了智能家居和楼宇监控系统.其中,智能家居系统采用ZigBee技术,实现了对家电的远程控制.楼宇监控系统采用WiFi和路由技术,实现了对家庭情况的实时监测.本文重点介绍了系统的结构以及硬件、软件的设计,所设计的系统模型可以应用到实际生活中,极大地方便了我们的生活.     

郫县豆瓣酱种类对川菜风味的影响

通过电子鼻指纹分析系统研究六种不同品牌的郫县豆瓣酱对麻婆豆腐、回锅肉、水煮肉三种川菜风味的影响,结果表明：巧酿坊牌和恒丰源牌的郫县豆瓣酱适宜制作麻婆豆腐,宏润牌、巧酿坊牌和七里香牌的郫县豆瓣酱适宜制作回锅肉,宏润牌、七里香牌、丹丹牌的郫县豆瓣酱适宜制作水煮肉。