899 resultados para Almost always propositional logic


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Content Addressable Memory (CAM) is a special type of Complementary Metal-Oxide-Semiconductor (CMOS) storage element that allows for a parallel search operation on a memory stack in addition to the read and write operations yielded by a conventional SRAM storage array. In practice, it is often desirable to be able to store a “don’t care” state for faster searching operation. However, commercially available CAM chips are forced to accomplish this functionality by having to include two binary memory storage elements per CAM cell,which is a waste of precious area and power resources. This research presents a novel CAM circuit that achieves the “don’t care” functionality with a single ternary memory storage element. Using the recent development of multiple-voltage-threshold (MVT) CMOS transistors, the functionality of the proposed circuit is validated and characteristics for performance, power consumption, noise immunity, and silicon area are presented. This workpresents the following contributions to the field of CAM and ternary-valued logic:• We present a novel Simple Ternary Inverter (STI) transistor geometry scheme for achieving ternary-valued functionality in existing SOI-CMOS 0.18µm processes.• We present a novel Ternary Content Addressable Memory based on Three-Valued Logic (3CAM) as a single-storage-element CAM cell with “don’t care” functionality.• We explore the application of macro partitioning schemes to our proposed 3CAM array to observe the benefits and tradeoffs of architecture design in the context of power, delay, and area.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Follicle flushing has been proved to be ineffective in polyfollicular in vitro fertilization. To analyze the effect of flushing in monofollicular in vitro fertilization we aspirated and then flushed the follicles in 164 cycles. Total oocyte yield/aspiration was 44.5% in the aspirate, 20.7% in the 1(st) flush, 10.4% in the 2(nd) flush and 4.3% in the 3(rd) flush. By flushing, the total oocyte yield increased (p < 0.01) by 80.9%, from 44.5 to 80.5%. The total transfer rate increased (p < 0.01) by 91.0%, from 20.1 to 38.4%. The results indicate that the oocyte yield and the number of transferable embryos can be increased significantly by flushing.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The sensitivity of crime rates to social, economic and political influences has long aroused the interest of sociologists who have attempted to explain what kind of relationships might be associated with variations in crime rates between different social groups at different times. The earliest views were put forward by Emil Durkheim, and while later writers have developed (R.K. Merton, L. Srole, A, K. Cohen, etc.) have developed some aspects of his ideas further, his basic ideas of the divorce of the individual from normative standards and the lack of social integration are still valid. Ms. Voicu-Minea looked at the theoretical background in detail but then limited it to a specific social group, the family, asking first why certain individual within vulnerable families and/or negative social influences commit offences while others do not. In modern times the family has undergone massive structural and functional changes. Its former economic function, which once endowed it with a great capacity for social inclusion, has generally vanished, while its formerly crucial role in children's education has been massively reduced. These changes, which are still not complete, can lead to dysfunction and in certain social contexts such as that in post-communist Romanian society, this risk of dysfunction is still greater as unfavourably social circumstances more easily affect such families. The number of cases of juvenile delinquency in Romania has increased sharply ever since the end of the communist system and in 1996 reached the level of 18,317 cases. The sample examined included 1012 juvenile delinquents aged between 14 and 18, taken from all areas of Bucharest. Over 80% of charges related to theft, with more serious offences being relatively rare. The children underwent a series of psychological tests, accompanied by a questionnaire relating to family situation. The results showed that juvenile delinquency in Romania is overwhelmingly male, with 91.8% of offences being committed by boys. Two thirds of the research group were under the age of 16 and only just over one third attended school, with over half having left school before the legal age. While the majority of subjects had a lower than average level of education, they did not always recognise this, with two thirds seeing their level of education as being as good as or better than average. Nearly half the children (43%) did not live with both natural parents and majority came from families with three or more children. This applied both to their original families and to the families in which they were living at the time of the survey. The overwhelming majority of families were living in or around Bucharest, but under one third originated from there. Almost 25% of parents were under-schooled and around one third were unqualified workers. At least 30% of families lived in inadequate accommodation and family incomes were generally low. Ms. Voicu-Minea does however point out that over half the minors from the sample saw their family income as satisfactory or even more than satisfactory. When factors such as bad relationships between parents, corporal punishment, alcohol consumption and criminal records of family members were taken into account, the picture was bleak, making it understandable why over 36% of subjects had run away from home at least once, and in many cases repeatedly and for longer periods. The overwhelming majority of offences (80.8%) were committed in groups of between 2 and 11 persons, usually "friends" but in about 10% of cases member's of the family. IQ tests put about 75% of the sample at slightly under average, the difference being too slight to account for the behaviour problems of the majority. Personality tests, however, showed a different picture. Over 70% of those tested manifested an acute need of tenderness and a similar number a high level of potential aggressiveness. Almost half of the minors expressed such feelings as intolerance or a desire for revenge, and Ms. Voicu-Minea found a clear weakness of the Self. Around half the sample expressed sentiments of abandonment, renunciation and solitude.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.