Petri nets (PNs) are widely used to model discrete event dynamic systems (computer systems, manufacturing systems, communication systems, etc). Continuous Petri nets (in which the markings are real numbers and the transition firings are continuous) were defined more recently; such a PN may model a continuous system or approximate a discrete system. A hybrid Petri net can be obtained if one part...

Reasoning with domains containing continuous numeric change remains an open challenge in planning. In this paper, we discuss how an established temporal planner, CRIKEY3, can be adapted to plan in domains containing linear continuous numeric change. In particular, we discuss how an LP can be used to scheudule action choices, and how the LPRPG heuristic (hitherto for non-temporal planning) can b...

The Zarankiewicz number z(b; s) is the maximum size of a subgraph of Kb,b which does not contain Ks,s as a subgraph. The two-color bipartite Ramsey number b(s, t) is the smallest integer b such that any coloring of the edges of Kb,b with two colors contains a Ks,s in the rst color or a Kt,t in the second color.In this work, we design and exploit a computational method for bounding and computing...

in this paper, a novel method for ranking of fuzzy numbers are proposed. in this method, decision maker is defined based on the center of mass at some cuts of a pair of fuzzy numbers in discreet version and center of mass on all of cuts of a pair of fuzzy numbers in continuous version. our method can rank more than two fuzzy numbers simultaneously. also, some properties of methods are described...

this research was an attempt to study reasons for creation of some of the important and sacred numbers and their reflection in architectural and urban spaces. this subject matter is important because significant and sacred numbers were used in design and construction of a number of historical spaces. the research objective was to discover some of the reasons for formation of important and sacre...

We discuss in general the construction of gauge-invariant non-local meson operators on the lattice. We use such operators to study the P and D-wave mesons as well as hybrid mesons in quenched QCD, with quark masses near the strange quark mass. The resulting spectra are compared with experiment for the orbital excitations. For the states produced by gluonic excitations (hybrid mesons) we find ev...

There are two different techniques that can be applied for fabricating a nerve cuff electrode: 1. traditionally used silicon rubber tubes or spirals and 2. micromechanical methods. Each technique has its own advantages and restrictions. A hybrid cuff combines desired properties of both: high flexibility, high possible numbers of integrated electrodes, high reproducibility and the ability to emb...

We compare the numeric performance of C, C# and Java on three small cases.