A state constraint is a new programming construct designed to restrict the domain of definition of a program. It can be used to decompose a program pathwise, i.e., to divide the program into subprograms along the control flow, as opposed to divide the program across the control flow when the program is decomposed into functions and procedures. As the result one can now construct and manipulate ...

The Rosenblueth point estimate method is one of the probabilistic analyses in estimating failure probability of a system, such as a slope. The essence of the approach is to use two point estimates, mean value7standard deviation, to present a variable in safety evaluation. The simple and straightforward framework leads to its wide application, but as a system governed by n variables (n is large)...

A new instruction adapts LZ77 compression for use inside running programs. The instruction economically references and reuses code fragments that are too small to package as conventional subroutines. The compressed code is interpreted directly, with neither prior nor on-the-fly decompression. Hardware implementations seem plausible and could benefit both memoryconstrained and more conventional ...

Sintering of silver attracts increasing attention in electronic packaging owing to superior bonding quality and high operation temperatures. However, the mechanical properties sintered joints strongly depend on fabrication parameters like sintering temperature, pressure or organic solvents paste. In consequence, characterization this material is a challenging task. present article, unified cons...

Due to the difficulty of constructing new quantum algorithms, frameworks that facilitate this construction are of great importance in quantum computing. These frameworks reduce the problem of coming up with a quantum algorithm to that of constructing some combinatorial object that is often much simpler to reason about. The implementation and analysis of an algorithm for the specified problem fo...

Bu çalışma, deneysel ve sayısal olarak kompozit yamalar ile tamir edilen çatlaklı sandviç kirişlerin eğilme darbe davranışını araştırmaktadır. Sandviç kiriş elemanları yüzey tabakaları, cam elyaf takviyeli kompozit, köpük çekirdek, PVC malzeme yapıştırıcı tabakalardır. Üst tabakasına çatlak oluşturularak hasar verilmiştir yama yapıştırılarak edilmiştir. Düşük hızlı davranışı, farklı malzemeleri...

In this investigation, the three-parameter Modified Mohr–Coulomb (MMC) fracture model and the determination of the material parameters are briefly described. The formulation of the post-initiation behavior is proposed by defining both the explicit softening law and the incremental damage evolution law. As opposed to the existing attempts to simulate slant fracture with material weakening before...