Nowadays, modern SAT solvers are able to efficiently solve many industrial, or real-world, SAT instances. However, the process of development and testing of new SAT solving techniques is conditioned to the finite and reduced number of known industrial benchmarks. Therefore, new models of random SAT instances generation that capture realistically the features of real-world problems can be benefi...

The internal structure of urban construction land expansion (UCLE) is closely related to urban sustainability, and the UCLE in China’s port city has a unique pattern. This study attempted to monitor the internal structure evolution of UCLE based on construction land transfer data in Ningbo’s central city from 2002 to 2015. Equality fan analysis and kernel density analysis were applied to charac...

Economic growth in pre-industrial Europe was driven by the expansion of the market. The ‘market’ was a complex commercial structure made up of merchant firms, merchant associations, and organized markets. This paper provides an overview of the pre-industrial commercial structure, of how it functioned, and of how it evolved. JEL Categories: N13, D23, L14, L81, O12 *This paper is a draft chapter ...

A new decoupling control structure is presented for complex industrial processes, which consists of a feedback controller, a decoupling compensator and a feedforward compensator for unmodeled dynamics. Using this structure, an intelligent decoupling control system is established which realizes an adaptive decoupling control strategy for industrial processes with integrated complexities by using...