منابع مشابه
Mathematical Modeling of the Weaving Structure Design
An equivalence relation in the set of all square binary matrices is described in this work. It is discussed a combinatoric problem about finding the cardinal number and the elements of the factor set according to this relation. We examine the possibility to get some special elements of this factor set. We propose an algorithm, which solves these problems. The results we have received are used t...
متن کاملDeveloping a Model for Estimating Weaving and Non-Weaving Speed within Highways Weaving Segments (Tehran)
In weaving section due to a strong need for lane changing, a type of turbulence is created in traffic flow; so, the speedand the capacity of the weaving section decreases. Therefore, investigation of the weaving section is very important.However, due to shortage of the manual for urban principal arterials (highways), calibration of these models is necessary.One of these models...
متن کاملOptimal design of an Indian carpet weaving loom structure
Present looms to weave the carpets in India are made of wood, which are susceptible to termite attacks and low service life. Besides, the high tension in the warps is generated manually through the pull of a rope by 2-3 persons. In order to avoid the above difficulties, an improved metallic loom was developed at IIT Delhi in 2001, which made weaving easy but the cost of loom is high. In this pa...
متن کاملFrom Weaving Schemes to Weaving Patterns ∗
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...
متن کاملProof Weaving
Mulhern Automated proof assistants provide few facilities for incremental development. Generally, if the underlying structures on which a proof is based are modified, the developer must redo much of the proof. Yet incremental development is really the most natural approach for proofs of programming language properties [5, 12]. We propose " proof weaving " , a technique that allows a proof devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sen'i Kikai Gakkaishi (Journal of the Textile Machinery Society of Japan)
سال: 1983
ISSN: 0371-0580,1880-1994
DOI: 10.4188/transjtmsj.36.6_p291