نتایج جستجو برای: mechanized
تعداد نتایج: 2131 فیلتر نتایج به سال:
In this paper we give a partially mechanized proof of the correctness of Steane’s 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this represents the largest and most complicated verification task yet carried out using Quantomatic.
In traditional mathematics it is legitimate to apply a (partial) function to an argument outside of its domain, but the resulting term is treated as having no value. Moreover, the informal logic of traditional mathematics is two-valued despite the presence of nondenoting terms. This paper shows how this traditional approach to partial functions can be implemented in mechanized mathematics systems.
The United States National Institute for Occupational Safety and Health, through an informal partnership with industry, labor, and the United States Mine Safety and Health Administration, has developed and tested a new instrument known as the Personal Dust Monitor (PDM). The new dust monitor is an integral part of the cap lamp that coal miners normally carry to work and provides continuous info...
Some aspects for improving the technical level and flexibility of assembly welding production domestic shipyards are discussed in paper. It is noted that a number have integrated mechanized lines foreign manufacturers: metal processing, manufacture ship hull structures, their painting, etc. As rule, such equipped with high-performance technological equipment; however, they ineffective condition...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید