در این مقاله یک مدل ریاضی برای مسئله سیستم تولیدی همکارانه ساخت بر اساس سفارش با رعایت انصاف تخصیص بار‌های تولید طراحی شده است. اهداف اصلی مدل، کمینه‌سازی هزینه‌‌های کل و حداکثر استفاده از منابع به‌منظور عادلانه شرایط عدم­قطعیت کنترل پارامتر‌های غیرقطعی روش برنامه‌ریزی فازی ‌شده نتایج نشان می‌دهد افزایش نرخ عدم‌قطعیت، می­یابد. ازآنجاکه ظرفیت کارخانه‌ها ثابت است، مقدار تقاضا، هر کارخانه نیز می­ی...

Egocentric tactile perception is crucial for skilled hand motor control. In order to better understand the brain functional underpinnings related to this basic sensorial perception, we performed a tactile perception functional magnetic resonance imaging (fMRI) experiment with two aims. The first aim consisted of characterizing the neural substrate of two types of egocentric tactile discriminati...

This work provides both a speci cation and a proof of correctness for the system PDP (Prolog Distributed Processor) which make use of Abstract State Machines (ASMs). PDP is a recomputation-based model for parallel execution of Prolog on distributed memory. The system exploits OR parallelism, Independent AND parallelism as well as the combination of both. The veri cation process starts from the ...

Periodic mesoporous materials of the type (R'O)(3)Si-R-Si(OR')(3) with benzene as an organic bridge and a crystal-like periodicity within the pore walls were functionalized with SO(3)H or SO(3) (-) groups and investigated by small-angle neutron scattering (SANS) with in situ nitrogen adsorption at 77 K. If N(2) is adsorbed in the pores the SANS measurements show a complete matching of all of th...

In recent years increasing attention hasbeen given to the fluctuations of serum enzymes in neoplastic disease. It is thought that increased activity of certain enzymes in cancer cells and in damaged tissues results in the release of enzymes into the serum. Among many enzymes that have recently received interest, in relation to malignant neoplasia, are lactic dehydrogenase (SLD) (Wr6blewski, 195...

The prevalence of and the risk factors for fatty liver have not undergone a formal evaluation in a representative sample of the general population. We therefore performed a cross-sectional study in the town of Campogalliano (Modena, Italy), within the context of the Dionysos Project. Of 5,780 eligible persons aged 18 to 75 years, 3,345 (58%) agreed to participate in the study. Subjects with sus...

Three networks/projects involving 27 European countries were established to investigate the quality of second-line drug (SLD) susceptibility testing with conventional and molecular methods. 1. The "Baltic-Nordic TB-Laboratory Network" comprised 11 reference laboratories in the Baltic-Nordic States. They performed SLD testing in the first phase with a panel of 20 Mycobacterium tuberculosis strai...

Research in children with language problems has focussed on verbal deficits, and we have less understanding of children‟s deficits with nonverbal sociocognitive skills which have been proposed to be important for language acquisition. This study was designed to investigate elicited nonverbal imitation in children with specific language delay (SLD). It is argued that difficulties in nonverbal im...

The majority of abstract interpretation models defined for Prolog use abstract operations which do not have explicit counterpart in the SLD-resolution. We propose, in this paper, an operational semantics closely related to these models. We prove his equivalence with the SLDresolution and then we use it to prove the consistency of one of abstract semantics presents in [7, 8, 9]. Key-words: Logiq...