This paper presents a strategy for the optimisation of the operational conditions of the catalytic transformation of Bioethanol into Olefins (BTO) process. The variables to optimise are the main operating variables of the process (temperature, space-time and water content in the feed), and the objective function is to maximise the total production of olefins. The proposed strategy is based on e...

The United States Weather Surveillance Radar-1988 Doppler (WSR-88D) radar network has been upgraded to dual-polarization capabilities, providing operational and research meteorologists with a wealth of new information regarding the types and distributions of hydrometeors within precipitating storms, as well as a means for improved radar data quality. In addition to the conventional moments of r...

The objective of this work was to develop and to evaluate neuro-fuzzy systems as a methodology to describe coffee harvester machine operational performance when compared to multiple regression models. It was considered as input variables fruit maturation index, in the levels of 75.70, 87.00, 98.70%, operational speed, in the levels of 0.16, 0.26, 0.57m.s-1 and rods vibration, in the frequencies...

In addition to the four axioms of uncertainty theory, this paper presents the fifth axiom called product measure axiom. This paper also gives an operational law of independent uncertain variables and a concept of entropy of continuous uncertain variables. Based on the uncertainty theory, a new uncertain calculus is proposed and applied to uncertain differential equation, finance, control, filte...

Uncertain random variable is a tool to deal with a mixture of uncertainty and randomness. This paper presents an operational law of uncertain random variables, and shows an expected value formula by using probability and uncertainty distributions. This paper also provides a framework of uncertain random programming that is a type of mathematical programming involving uncertain random variables....

To substantially improve operational control of complex industrial plants, it is important to be able to predict the influences which process variables have on qualityrelevant target variables. The determination of influencing relationship and also the delay-time behaviour of various industrial processes makes it difficult to synthesis a quality prediction system. A hybrid modeling method combi...

The issue of the breakdown of the marriage bond in Western societies has become a routine object of social and moral concern, political and public debate. This is striking, given that in most non-western cultures still and in every society heretofore, marriage has been insisted upon as the required precondition for the mating of men and women as the act that initiates and sustains the family or...

This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalization conforms to Davidsonian Style, which is suitable for languages allowing expressions with zero-pronouns such as Japanese. We examine our system with actual data of legal documents. As a result, the system was 78% of ...

Second-order uniication is undecidable in general. Miller showed that uniication of so-called higher-order patterns is decidable and unitary. We show that the uniication of a linear higher-order pattern s with an arbitrary second-order term that shares no variables with s is decidable and nitary. A few extensions of this uniication problem are still decidable: unifying two second-order terms, w...

Abstract. We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discriminate among neighboring solutions on the basis of uniform information about each individual free variable. What we mean by uniform information, is information which does not depend on the solution: e.g. the num...