中小型渔船制冷技术的研究进展

远洋渔船带有制冷装置，而100吨以下的中小型渔船因其柴油机的限制，无法安装压缩机式制冷机。出海作业时，均需携带冰块做渔产保鲜。本文介绍压缩式渔船制冷的现状，回收渔船尾气余热的吸收式制冷系统，吸附制冷的冷冻水系统，吸附式制冰系统等实验装置。其中吸附式制冷系统具有良好的开发价值。     

Hierarchical intelligent control with flexible AC transmission systems application

A novel hierarchical intelligent controller configuration is proposed using an artificial neural network as a control-mode classifier in the supervisory level and a set of pre-designed controllers in the lower level. Controller outputs are modified nonlinearly by the classifying signals in a structure resembling one artificial neuron with adaptively changed weights. The lower-level local controllers are implemented using neural networks. An illustrative example of this approach is based on the transient stabilization of a single-machine infinite-bus system studied in Flexible AC Transmission Systems (FACTS) research.     

一种网络服务自动部署方法

为满足网络服务使用者对网络服务部署的功能性和非功能性需求,运用Petri网的方法进行了互联网动态多变环境下的网络服务自动部署的研究,建立了一种基于Petri网的网络服务部署网模型,从形式化的角度描述了网络服务功能的部署情况,提出了一种按照服务质量来选择最优网络服务部署的算法。仿真的结果表明,与目前常用的固定部署算法和随机部署算法相比,按照该方法得到的网络服务部署能最好地满足服务使用者对服务的非功能性方面的需求。     

A process-control and diagnostic tool based on continuous fuzzy Petri nets

The use of Petri nets and fuzzy logic in intelligent process control has caught the attention of many researchers. In this paper, a Continuous Fuzzy Petri Net (CFPN) tool which integrates the three technologies of fuzzy control, Petri nets and real-time expert systems is presented. The CFPN approach can deal with real-time continuous inferencing, for the purpose of process monitoring and diagnostics, at a high level in the presence of uncertainty. This tool has been implemented in the G2 real-time expert-system environment and is currently being used by ESSO Canada.     

Modelling of induced aeration in turbine aerators by use of radial basis function neural networks

Gas induction in agitated vessels with turbine impellers can be modelled accurately by means of radial basis function neural nets. The results obtained with the radial basis neural net were significantly better than those obtained by multivariate regression models or standard back propagation neural nets. Moreover, by using the radial basis function neural net model, it was possible to conduct a sensitivity analysis of the variables affecting aeration. Increased medium density showed a strong adverse effect, while variation of the viscosity can cause an increase or a decrease in the rate of aeration, depending on the prevailing process conditions.     

FMS实时控制系统动态建模方法(一)

在建立FMS物理对象的功能模型，状态转移图（STD），面向对象的Petri网（OPN）模型的基础上，本文将着色Petri网与面向对象技术相结合，提出了一种实时控制系统的建模方法－面向对象的着色Petri网（OCPN）建模方法，此建模方法在无锡职业学院的FMS的实时控制系统中得到验证。     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

Implementing optimized pairings with elliptic nets

In this paper,we use elliptic nets to implement the optimized Ate pairings and optimal pairings on the Barreto-Naehrig curves with embedding degree 12.In order to do the arithmetic of elliptic curves over finite fields with elliptic nets,we first give some basic properties of elliptic nets associated to elliptic curves over finite fields and the expression of Miller function in terms of elliptic nets.Then we give formulae to compute some optimized pairings with elliptic nets,which is a new method to implement pairings.This method with elliptic nets has time complexity comparable to Miller’s algorithm and it can be optimized.