Sharif Digital Repository

Avicenna introduces the primary propositions (or the primaries, for short) as the most fundamental principles of knowledge. (In this paper, we are not primarily concerned with the primary/first intelligibles as concepts/conceptions.) However, as far as we are aware, Avicenna’s primaries have not yet been independently studied. Nor do Avicenna scholars agree on how to characterize them in the language of contemporary philosophy. It is well-known that the primaries are indemonstrable; nonetheless, it is not clear what the genealogy of the primaries is (§2), how, epistemologically speaking, they can be distinguished from other principles (§3), what their phenomenology is (§4), what the cause of... 

Fetal electrocardiogram (fECG) monitoring is a beneficial method for assessing fetal health and diagnosing the fetal cardiac condition during pregnancy. In this study, an algorithm is proposed to extract fECG from maternal abdominal signals based on doubly constrained block-term (DoCoBT) tensor decomposition. This tensor decomposition method is constrained by quasi-periodicity constraints of fetal and maternal ECG signals. Tensor decompositions are more powerful tools than matrix decomposition, due to employing more information for source separation. Tensorizing abdominal signals and using periodicity constraints of fetal and maternal ECG, appropriately separates subspaces of the mother, the... 

Using of natural circulation concepts in nuclear and non-nuclear industry is very important. One of important methods in new designs of "innovative" fission reactor technologies is natural circulation scene. Natural circulation is based on buoyancy force; density differences between hot and cold legs including core and steam generators, and height of hot and cold zones. In this paper we studied natural circulation phenomena in two different heights of hot and cold zones by using of RELAP5 system code. Natural circulation Flow Map (NCFM) made for both cases and compared with experimental data. We have considered main components and systems of WWER-1000 plant in our model, such as pressure... 

In all light water reactors (LWR), natural circulation is an important passive heat removal mechanism. In the present paper, the natural circulation phenomena are studied with reference to step-wise coolant inventory reduction and a small break loss-of-coolant-accident (SBLOCA) in the cold leg of VVER-1000. The natural circulation flow map (NCFM) approach is considered to evaluate the natural circulation performance of the VVER-1000 NPP also comparing VVER-1000 and PWR systems. Three different elevations between heat source (core) and heat sink (steam generators) zones have been considered in order to characterize the buoyancy force in a VVER-1000. The influence of power and the cold legs... 

In this paper a novel structure of a zero- voltage transition PWM boost converter is proposed. The main switch and diode of the converter are turned on and off under zero voltage transition. In addition the auxiliary switch and both diodes operate in ZCT condition. The auxiliary circuit consists of a transformer, a snubber capacitor and two diodes. Without imposing much current stress, the switching loss reduces significantly. So a higher efficiency converter is achieved. The simple structure and a wide range of operating current are the advantages of the proposed converter, which make it useful for solar battery chargers etc. The operation principles of the proposed converter are explained... 

This paper presents the mathematical modeling of single-phase natural circulation of the University of Genoa's rectangular loop (LOOP#1) by a computer program and using RELAP5 system code. The mass, momentum and energy conservation equations in transient form were solved numerically using the finite difference method. One-dimensional linear stability analysis was performed for the single-phase natural circulation loop and the numerical perturbation technique was used in this analysis. The Nyquist criterion was employed to find the stability map of the LOOP#1. The obtained transient results using the first order upwind scheme of the fluid temperatures in various sectors of the LOOP#1 are... 

Feed-in tariff (FiT) is one of the most efficient ways that many governments throughout the world use to stimulate investment in renewable energies (REs) technology. For governments, financial management of the policy could be challenging as it needs a considerable amount of budget to support RE producers during the long remuneration period. In this paper, it has been illuminated that the early growth of REs capacity could be a temporary boost. And the socio-economic structure of the system will backlash the policy if some social mechanisms are not considered. Social tolerance for paying REs tax and potential investors’ trust emanated from budget-related mechanisms -which have rarely been... 

BACKGROUND: StrongestPath is a Cytoscape 3 application that enables the analysis of interactions between two proteins or groups of proteins in a collection of protein-protein interaction (PPI) network or signaling network databases. When there are different levels of confidence over the interactions, the application is able to process them and identify the cascade of interactions with the highest total confidence score. Given a set of proteins, StrongestPath can extract a set of possible interactions between the input proteins, and expand the network by adding new proteins that have the most interactions with highest total confidence to the current network of proteins. The application can... 

Evaluation of nuclear power plant performances during accidents is important in view of safety analysis. Several complex thermal-hydraulic system codes are developed for simulation of accidents and transients. Until 1989, only highly conservative methods were approved for evaluating the response of a nuclear power plant to a Large Break Loss of Coolant Accident (LB-LOCA). The conservative evaluation models did not simulate the actual phenomena occurring during a postulated LB-LOCA accurately. Therefore, many countries such as US (CIAU), France (IPSN), Germany (GRS), England (AEA), Spain (ENUSA) and Italy (CIAU) developed methods for calculating the uncertainty in the predictions of advanced... 

In this paper we introduce some general necessary conditions for the existence of graph homomorphisms, which hold in both directed and undirected cases. Our method is a combination of Diaconis and Saloff–Coste comparison technique for Markov chains and a generalization of Haemers interlacing theorem. As some applications, we obtain a necessary condition for the spanning subgraph problem, which also provides a generalization of a theorem of Mohar (1992) as a necessary condition for Hamiltonicity. In particular, in the case that the range is a Cayley graph or an edge-transitive graph, we obtain theorems with a corollary about the existence of homomorphisms to cycles. This, specially, provides...