1 a typical simple one-side weaving section, as shown in Figure 1, the geometric variables of the weaving section are the length of the weaving section, L, and the number of lanes within the weaving section, N. Length of the weaving section is measured from a point where the entrance gore is 2 feet wide to a point where the exit gore is 12 feet wide. Vehicular flow is categorized into four gene...

Operational software like online transaction processing systems still take the lion’s share of business information systems. Though many Decision Support Systems (DSS) were developed, they failed to become mainstream products. The reason is lack of knowledge of availability, applicability, and interoperability. In this paper, we propose to exploit the vast resource of the Internet to give DSS a...

Operational software like online transaction processing s the lion’s share of business information systems. Though many D Systems (DSS) were developed, they failed to become mainstream reason is lack of knowledge of availability, applicability, and this paper, we propose to exploit the vast resource of the Int second chance. Contrasting to other approaches, our strategy i users and developers o...

In this paper we describe how the automated instantiation of assurance case arguments will require information to be extracted from multiple models of a system and its environment and engineering processes, e.g. safety and verification processes. For this to be done successfully the dependencies between the models must be explicitly, completely and correctly captured. We describe how a model-ba...

We extend the concept of weaving Hilbert space frames to the Banach space setting. Similar to frames in a Hilbert space, we show that for any two approximate Schauder frames for a Banach space, every weaving is an approximate Schauder frame if and only if there is a uniform constant C ≥ 1 such that every weaving is a C-approximate Schauder frame. We also study weaving Schauder bases, where it i...

Coming out from the process functional paradigm and using PFL – a process functional language, a generalized approach to weaving at the micro-structural level is presented. Exploiting the application of processes and PFL reflection property, we develop a generalized weaving scheme and we express it in the form of weaving pattern. Different specializations and extensions of weaving patterns occu...

Since current object oriented programming languages don’t have existing support for aspects, aspects are often supported through language extensions [1, 2]. Another approach is to use the existing language to encapsulate aspect behaviors, and provide an additional language to express cross cutting statements [3-5]. Finally, other systems [6]including the one described in this paper use features...

Air-jet weaving is an advanced weaving method with high efficiency and productivity. It is one of the most widely used methods of weaving in the world. In air-jet filling insertion, the motion of weft yarn is caused by friction between weft yarn and air blown through nozzle. After declamping and subjecting the yarn to air stream, its motion is not active but very complicated and influenced by ...