Formal modelling of a sheet metal smart manufacturing system by using Petri nets and first-order predicate logic

Lü, Juan; Ou, Chengyi; Liao, Chen Chung; Zhang, Zhenkun; Chen, Kai; Liao, Xiaoping

doi:10.1007/s10845-020-01602-0

Cited by 7 publications

(2 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Especially in the design of home furnishing and furnishings, the transformation from function-based to more beautiful and practical value, if the hard decoration is the “skeleton” of the building, the soft furnishing and furnishings of the home are the “flesh and blood” essence of its space part. The embodiment of modern home furnishings in the interior space presents a variety of designs with different styles [ 1 ]. The smart home is based on housing as a platform, using integrated wiring technology, communication technology, automatic control technology, and other related technologies to analyze the communication mode between the home and outside.…”

Section: Introductionmentioning

confidence: 99%

“…Especially in the design of home furnishing and furnishings, the transformation from function-based to more beautiful and practical value, if the hard decoration is the "skeleton" of the building, the soft furnishing and furnishings of the home are the " esh and blood" essence of its space part. e embodiment of modern home furnishings in the interior space presents a variety of designs with di erent styles [1].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Smart Home Product Layout Design Method Based on Real-Number Coding Genetic Algorithm

Nan

2022

Computational Intelligence and Neuroscience

View full text Add to dashboard Cite

Aiming at the problems of poor layout design efficiency of smart home products and low rationality of layout planning, a layout design method for smart home products based on a real-number coding genetic algorithm is proposed. The principles of smart home product layout design are analyzed and the smart home system architecture based on the Internet of Things is designed. Divide the combination of smart home product layout space according to spatial function, extract the visual features of smart home product layout, build a smart home product layout optimization model based on the two constraints of the total area and individual area of smart home product spatial layout, and design a real-coded genetic algorithm. The model is solved to improve the global convergence of the algorithm, and the optimization method for the layout of smart home products is obtained. The experimental results show that the layout design method of smart home products based on a real-number coding genetic algorithm can accurately extract the layout features of smart home products and accurately classify the number of pairs of homes. The efficiency of layout design and rationality of layout planning of smart home products are better, which reflects the effectiveness of this method.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%