نتایج جستجو برای: joints and axes
تعداد نتایج: 16834260 فیلتر نتایج به سال:
Abstract Ultimate GemCutter verifies concurrent programs using the CEGAR paradigm, by generalizing from spurious counterexample traces to larger sets of correct traces. We integrate classical generalization with orthogonal across interleavings. Thereby, we are able prove correctness otherwise out-of-reach for interpolation-based verification. The competition results show significant advantages ...
Nowadays, aluminum and its alloys have extensive applications in marine and aerospace industrious owing to their excellent properties. Among these alloys, 5xxx series of aluminum alloys have also excellent corrosion resistance, high toughness and strength and also good weldability. Decrease in yield strength and also tensile strength due to the grain growth in the heat affected zone is of the m...
In this research, microstructure and mechanical properties of laser welded joints between 2304 duplex stainless steel and Inconel 718 nickel-based super alloy were investigated. Microstructural evolution in the various areas of welded joints and also the effect of welding parameters on the mechanical properties of dissimilar joints were studied. Response surface methodology based on the central...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید