期刊文献+
共找到1,479篇文章
< 1 2 74 >
每页显示 20 50 100
Evaluation of Integer Programming Solvers to Improve the Efficiency of Individual Work Planning
1
作者 Keiichi Takahashi 《Open Journal of Modelling and Simulation》 2025年第1期51-64,共14页
This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digiti... This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives. 展开更多
关键词 Mixed Integer programming Scheduling Optimization Work Planning Book Scanning Gantt Chart
在线阅读 下载PDF
Dynamic forecasting and optimal scheduling of by-product gases in integrated iron and steel works 被引量:4
2
作者 Qi Zhang Hui Li +4 位作者 Jia-lin Ma Hua-yan Xu Bo-yang Yu Gang Wang Shan Jiang 《Journal of Iron and Steel Research International》 SCIE EI CAS CSCD 2019年第5期529-546,共18页
The by-product gases, which are generated in ironmaking, coking and steel making processes, can be used as fuel for the metallurgical processes and on-site power plants. However, if the supply and demand of by-product... The by-product gases, which are generated in ironmaking, coking and steel making processes, can be used as fuel for the metallurgical processes and on-site power plants. However, if the supply and demand of by-product gases are imbalanced, gas flaring may occur, leading to energy wastage and environmental pollution. Therefore, optimal scheduling of by-product gases is important in iron and steel works. A BP_LSSVM model, which combines back-propagation (BP) neural network and least squares support vector machine (LSSVM), and an improved mixed integer linear programming model were proposed to forecast the surplus gases and allocate them optimally. To maximize energy utilization, the stability of gas holders and boilers was considered and a concise heuristic procedure was proposed to assign penalties for boilers and gas holders. Moreover, the optimal level of gas holder was studied to enhance the stability of the gas system. Compared to the manual operation, the optimal results showed that the electricity generated by the power plant increased by 2.93% in normal condition and by 22.2% in overhaul condition. The proposed model minimizes the total cost by optimizing the boiler load with less adjustment frequency and the stability of gas holders and can be used as a guidance in dynamic forecasting and optimal scheduling of by-product gases in integrated iron and steel works. 展开更多
关键词 Iron and steel works BACK-PROPAGATION neural network Least SQUARES support vector machine Mixed INTEGER linear programMING Dynamic forecasting Optimal scheduling
原文传递
A FINITE ELEMENT—MATHEMATICAL PROGRAMMING METHOD FOR ELASTOPLASTIC PROBLEMS BASED ON THE PRINCIPLE OF VIRTUAL WORK
3
作者 朱昌铭 金永杰 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1993年第7期635-642,共8页
By expanding the yielding function according toTaylor series and neglecting the high order terms, the elastoplastic constitutive equation is written in a linear complementary form. Based on this linear complementary f... By expanding the yielding function according toTaylor series and neglecting the high order terms, the elastoplastic constitutive equation is written in a linear complementary form. Based on this linear complementary form and the principle of virtual work, a finite element-complementary method is derived for elastoplastic problem. This method is available for materials which satisfy either associated or nonassociated flow rule. In addition, the existence and uniqueness oj solution for the method are also discussed and some useful conclusions are given. 展开更多
关键词 elastoplasticity principle of virtual work mathematical programming FEM
在线阅读 下载PDF
The Program for the Development of Chinese New and Renewable Energy (1996-2010) Worked Out
4
《Electricity》 1996年第4期21-21,共1页
The State Science and Technology Commission, State Economic and Trade Commission, and State Planning Commission of China have jointly worked out the Program for the Development of Chinese New and Renewable Energy rece... The State Science and Technology Commission, State Economic and Trade Commission, and State Planning Commission of China have jointly worked out the Program for the Development of Chinese New and Renewable Energy recently. 展开更多
关键词 2010 The program for the Development of Chinese New and Renewable Energy Worked Out
在线阅读 下载PDF
PILOT PROGRAM OF KNOWLEDGE INNOVATION AT INSTITUTE OF THEORETICAL PHYSICS
5
《Bulletin of the Chinese Academy of Sciences》 1999年第4期238-243,共6页
Ⅰ. REVIEW The Institute of Theoretical Physics (ITP) of the CAS was founded in 1978 with the personal approval of Comrade Deng Xiaoping, in the same year when the Third Plenary Session of the Central Committee of the... Ⅰ. REVIEW The Institute of Theoretical Physics (ITP) of the CAS was founded in 1978 with the personal approval of Comrade Deng Xiaoping, in the same year when the Third Plenary Session of the Central Committee of the CPC (Communist Party of China) was convened. Over the past 20 years, the Institute has been striving to explore a road for sound development in a bid to achieve the following targets: In regard to research, the institute strives 展开更多
关键词 ITP PRO PILOT program of KNOWLEDGE INNOVATION AT INSTITUTE of THEORETICAL PHYSICS INNOVATION CAS WORK ORAL AT
在线阅读 下载PDF
New Five-Year Program and Progress of China's Human Rights Cause——A study of the guidelines set by the Fifth Plenary Session of the Seventeenth Central Committee of the Communist Party of China
6
作者 LI JUNRU 《The Journal of Human Rights》 2011年第2期2-5,共4页
The Proposal for the Twelfth Five-Year Plan for China's Economic and Social Development (2011-2015)(herein after referred to as the "Proposed Plan" for short) provides a complete range of guidelines for China'... The Proposal for the Twelfth Five-Year Plan for China's Economic and Social Development (2011-2015)(herein after referred to as the "Proposed Plan" for short) provides a complete range of guidelines for China's im-mediate and long-term development. 展开更多
关键词 work A study of the guidelines set by the Fifth Plenary Session of the Seventeenth Central Committee of the Communist Party of China New Five-Year program and Progress of China’s Human Rights Cause CPC
原文传递
HIV care services and the executive orders of the United States on USAID:Insights from the Philippines
7
作者 Rowalt Alibudbud 《Asian Pacific Journal of Tropical Medicine》 2025年第4期147-148,共2页
In January 2025,the United States issued executive orders that could potentially curtail lesbian,gay,bisexual,transgender,queer,and other sexual and gender minorities(LGBTQ+)rights and federal aid to developing countr... In January 2025,the United States issued executive orders that could potentially curtail lesbian,gay,bisexual,transgender,queer,and other sexual and gender minorities(LGBTQ+)rights and federal aid to developing countries,such as public health programs under the United States Agency for International Development(USAID)[1,2].In the Philippines,USAID has played an important role in funding and supporting initiatives to address the country’s local HIV epidemic[2,3]. 展开更多
关键词 executive orders USAID HIV care services hiv epidemic public health programs funding supporting initiatives United States
暂未订购
状态感知的可信执行环境内核模糊测试方法
8
作者 邱云飞 郭梦鋆 张强 《信息安全研究》 北大核心 2026年第3期198-209,共12页
可信执行环境(trusted execution environment,TEE)被广泛使用,其内核安全已成为一个重要的关注领域.模糊测试作为识别操作系统内核漏洞的有效方法,已广泛应用于TEE安全研究.然而,传统的模糊测试工具由于TEE的隔离性而不能直接用于TEE内... 可信执行环境(trusted execution environment,TEE)被广泛使用,其内核安全已成为一个重要的关注领域.模糊测试作为识别操作系统内核漏洞的有效方法,已广泛应用于TEE安全研究.然而,传统的模糊测试工具由于TEE的隔离性而不能直接用于TEE内核.覆盖引导的模糊器通常会丢弃触发新状态而覆盖相同代码的测试用例,限制了它们在发现漏洞方面的有效性.针对以上问题,提出了一种状态感知的TEE内核模糊测试方法.首先,设计了一种建模和跟踪方法,通过状态变量的值表示程序状态,保留触发新状态的测试用例,克服了覆盖引导的模糊器的局限性.其次,提出了新的通信方案以解决TEE的隔离性引发的问题.并提出了新的种子保存和选择算法,以更好地引导模糊器探索漏洞.最后,结合N-Gram模型指导测试用例生成过程,优化测试框架性能.目前已经实现了一个Trusty-Statefuzz原型,并在fuchsia、自主开发的微内核操作系统nebula以及OP-TEE上进行了模糊测试并评估.结果表明,Trusty-Statefuzz在发现新代码和漏洞方面是有效的.它发现了9个未知漏洞和23个已知漏洞,比现有模糊测试工具Syzkaller提升13%的代码覆盖率和27%的状态覆盖率. 展开更多
关键词 模糊测试 可信执行环境 程序状态 内核 N-GRAM模型
在线阅读 下载PDF
Solid Works环境下牙嵌离合器标准件库开发 被引量:1
9
作者 方舟 曹岩 白瑀 《西安工业大学学报》 CAS 2007年第4期337-341,共5页
在Solid Works环境下开发的面向《机械设计手册》的标准件库由尺寸参数数据库、交互式用户界面和建模功能函数组成.根据国家标准中的尺寸表格形式,设计出简洁清晰的牙嵌离合器尺寸数据库.由符合设计人员思维模式的用户界面调用尺寸参数... 在Solid Works环境下开发的面向《机械设计手册》的标准件库由尺寸参数数据库、交互式用户界面和建模功能函数组成.根据国家标准中的尺寸表格形式,设计出简洁清晰的牙嵌离合器尺寸数据库.由符合设计人员思维模式的用户界面调用尺寸参数库,并采用参数化的程序驱动法在建模功能函数和尺寸参数库之间建立数据传递关系,达到尺寸驱动的目的.实现了用户界面友好、可扩充、使用方便的牙嵌离合器标准件库.本文所采用的方法是在Solid Works环境下实现通用三维标准件库的良好途径. 展开更多
关键词 SOLID works 标准件 二次开发 参数化 程序驱动法
在线阅读 下载PDF
Analysis and modeling of web services flow using π-calculus
10
作者 何涛 缪淮扣 钱忠胜 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期315-318,共4页
In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of we... In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated. 展开更多
关键词 business process execution language (BPEL) web services work flow Π-CALCULUS
在线阅读 下载PDF
用VB实现Solid Works对零件的参数化设计 被引量:5
11
作者 王文彬 吴文英 《机械》 2003年第6期65-66,72,共3页
介绍了零件三维建模的参数化设计 ,通过可视化程序设计语言VisualBasic来调用三维建模软件SolidWorks绘制出所需的零件 ,这样使得图形绘制简单 ,编辑方便 。
关键词 三维建模 参数化设计 可视化程序设计语言 VB 机械设计
在线阅读 下载PDF
基于Solid Works的外啮合直齿插齿刀参数化设计
12
作者 徐莹 黄元贵 《工具技术》 北大核心 2005年第12期45-47,共3页
介绍了一个基于SolidWorks API而开发的外啮合直齿插齿刀CAD软件。该软件能完成插齿刀齿形参数与结构参数的计算、三维实体造型及工程图的生成,并以实例验证了该软件的可行性。
关键词 SOLID works 应用程序接口 参数化设计 外啮合直齿插齿刀 变位系数
在线阅读 下载PDF
Differential effects of physical activity and sleep duration on cognitive function in young adults 被引量:5
13
作者 Kazuko Kato Kunihiro Iwamoto +3 位作者 Naoko Kawano Yukihiro Noda Norio Ozaki Akiko Noda 《Journal of Sport and Health Science》 SCIE 2018年第2期227-236,共10页
Purpose: Although exercise and sleep duration habits are associated with cognitive function, their beneficial effects on cognitive function remain unclear. We aimed to examine the effect of sleep duration and daily ph... Purpose: Although exercise and sleep duration habits are associated with cognitive function, their beneficial effects on cognitive function remain unclear. We aimed to examine the effect of sleep duration and daily physical activity on cognitive function, elucidating the neural mechanisms using near-infrared spectroscopy(NIRS).Methods: A total of 23 healthy young adults(age 22.0 ± 2.2 years) participated in this study. Exercise amount was assessed using a uniaxial accelerometer. We evaluated total sleep time(TST) and sleep efficiency by actigraphy. Cognitive function was tested using the N-back task, the Wisconsin Card Sorting Test(WCST), and the Continuous Performance Test—Identical Pairs(CPT-IP), and the cortical oxygenated hemoglobin levels during a word fluency task were measured with NIRS.Results: Exercise amount was significantly correlated with reaction time on 0- and 1-back tasks(r = —0.602, p = 0.002; r = —0.446, p = 0.033,respectively), whereas TST was significantly correlated with % corrects on the 2-back task(r = 0.486, p = 0.019). Multiple regression analysis,including exercise amount, TST, and sleep efficiency, revealed that exercise amount was the most significant factor for reaction time on 0- and 1-back tasks(b = —0.634, p = 0.002; b = —0.454, p = 0.031, respectively), and TST was the most significant factor for % corrects on the 2-back task(b = 0.542, p = 0.014). The parameter measured by WCST and CPT-IP was not significantly correlated with TST or exercise amount. Exercise amount, but not TST, was significantly correlated with the mean area under the NIRS curve in the prefrontal area(r = 0.492, p = 0.017).Conclusion: Exercise amount and TST had differential effects on working memory and cortical activation in the prefrontal area. Daily physical activity and appropriate sleep duration may play an important role in working memory. 展开更多
关键词 Cortical oxygenation Executive function EXERCISE Sustained attention Total sleep time Working memory
在线阅读 下载PDF
SHFuzz:A Hybrid Fuzzing Method Assisted by Static Analysis for Binary Programs 被引量:1
14
作者 Wenjie Wang Donghai Tian +4 位作者 Rui Ma Hang Wei Qianjin Ying Xiaoqi Jia Lei Zuo 《China Communications》 SCIE CSCD 2021年第8期1-16,共16页
Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzi... Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions. 展开更多
关键词 hybrid fuzzing static analysis concolic execution binary programs
在线阅读 下载PDF
最新石油地下数据形象化软件Rock Works 2004 被引量:1
15
作者 滕蔓 庞兴 庞晓红 《石油工业计算机应用》 2004年第3期23-25,6,共3页
将油气田的丰富地下数据,借助计算机软件,形象化地创作成图文并茂的各种新型的2D或3D图形,可以方便石油勘探、开发人员的研究、分析和利用。本文介绍地下数据形象化软件RockWorks2004的功能及其在石油工业上的应用。
关键词 S200 3D图形 数据 计算机软件 图文并茂 功能 形象化 石油工业 开发人员 石油勘探
在线阅读 下载PDF
Optical neuroimaging of executive function impairments in food addiction 被引量:1
16
作者 Tania Alexandra Couto Meng-Yun Wang Zhen Yuan 《Journal of Innovative Optical Health Sciences》 SCIE EI CAS 2022年第1期141-155,共15页
This study investigated the neural mechanisms located in the prefrontal cortex(PFC)involved in maintaining addictive-like eating behavior.Therefore,we aimed toll a gap in the existing literature and help clarify the f... This study investigated the neural mechanisms located in the prefrontal cortex(PFC)involved in maintaining addictive-like eating behavior.Therefore,we aimed toll a gap in the existing literature and help clarify the food addiction(FA)cycle by inspecting the relationship between the executive control and psychopathology involved in the FA cycle.Twenty-three students recruited from the University of Macao participated in this study.We investigated a hemodynamic response captured by NIRS recordings,activated during n-back,set-shifting,and go/nogo paradigms.Moreover,we investigated the FA symptoms through the YFAS clinical inventory to better understand the relationship between hemodynamic response and clinical symptomatology in college students.First,the hemodynamicndings conrm that altered cognitive control in executive function performance appears to be linked to addictive-like eating behaviors,which in turn conrms a circuit similarity between FA and the substance abuse population(SUD)as reported in previous fMRI studies.Secondly,the psychologicalndings conrm the signicant association between the working memory decits and symptoms severity which suggest the role of self-control and regulation in limiting the storage resources as a potential trigger to develop overconsumption episodes in the FA cycle.Ourndings highlight how disrupted self-control and regulation of craving and negative a®ect induced by mental imagery might shape and overload the working memory storage as a potential trigger to develop binge eating episodes to maintain the FA cycle.In conclusion,the use of fNIRS in the context of eating disorders studies represents a valuable application,noninvasive,and patientfriendly tool,providing new insights into understanding the addiction cycle and treatment guidelines. 展开更多
关键词 Food addiction executive functions working memory SELF-CONTROL optical neuroimaging.
原文传递
Effectiveness of hospital disinfection and experience learnt from 11 years of surveillance 被引量:1
17
作者 Chun’ai Tao Yongxin Gan +2 位作者 Weidong Su Zhutian Li Xiaolan Tang 《The Journal of Biomedical Research》 CAS CSCD 2019年第6期408-413,共6页
This survey was designed to assess the sanitation status of hospitals and the compliance of hospital staff to disinfection strategies within the past 11 years.A total of 199 provincial affiliated tertiary or secondary... This survey was designed to assess the sanitation status of hospitals and the compliance of hospital staff to disinfection strategies within the past 11 years.A total of 199 provincial affiliated tertiary or secondary public hospitals from 2007 to 2017 were investigated and seven critical categories,namely indoor air,work surface,hand hygiene,ultraviolet(UV) irradiation intensity,use of disinfectants,sterilization of medical items,and effects of steam sterilizer,were monitored.The average qualified rates were(94.74±3.54)%(810/855),(97.25±1.65)%(1 876/1 929),(87.57±4.60)%(2 508/2 864),(95.00±4.50)%(1 196/1 259),and(98.76±1.14)%(1 599/1 619) for indoor air,work surface,hand hygiene,UV irradiation intensity,and sterilization of medical items,respectively.In terms of other categories,a few samples were not qualified:3/1 575 for use of disinfectants and 1/243 for effects of steam sterilizer.The hospital disinfection monitoring and supervision program effectively improved the effectiveness of disinfection.Routine monitoring and supervision must be conducted to ensure a safe hospital treatment environment. 展开更多
关键词 hospital disinfection indoor air hand hygiene work surface ultraviolet irradiation intensity surveillance program
暂未订购
Optimal synthesis of compression refrigeration system using a novel MINLP approach 被引量:1
18
作者 Tao Yang Yiqing Luo +1 位作者 Yingjie Ma Xigang Yuan 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2018年第8期1662-1669,共8页
The optimal design of a compression refrigeration system(CRS) with multiple temperature levels is very important to chemical process industries and also represents considerable challenges in process systems engineerin... The optimal design of a compression refrigeration system(CRS) with multiple temperature levels is very important to chemical process industries and also represents considerable challenges in process systems engineering. In this paper, a general methodology for the optimal synthesis of the CRS, which simultaneously integrates CRS and Heat Exchanger Networks(HEN) to minimize the total compressor shaft work consumption based on an MINLP model, has been proposed. The major contribution of this method is in addressing the optimal design of refrigeration cycle with variable refrigeration temperature levels. The method can be used to make major decisions in the CRS design, such as the number of levels, temperature levels, and heat transfer duties. The performance of the developed methodology has been illustrated with a case study of an ethylene CRS in an industrial ethylene plant, and the optimal solution has been examined by rigorous simulations in Aspen Plus to verify its feasibility and consistency. 展开更多
关键词 Optimal design Compression refrigeration system (CRS) Chemical process Process systems Compressor shaft work Mixed Integer Nonlinear programming (MINLP)
在线阅读 下载PDF
基于COFF和自举表文件的DSP执行程序提取器设计及实现
19
作者 郝玉涛 孙建祥 安占新 《航天控制》 CSCD 北大核心 2021年第3期63-68,75,共7页
介绍了基于COFF和自举表文件的DSP执行程序提取器设计方案及实现技术,包括两种文件的解析算法、软件实现、功能验证、性能评估以及在新一代运载火箭型号中的应用情况。使用提取器,能够快速、自动生成带有CRC校验信息的DSP执行程序,提高... 介绍了基于COFF和自举表文件的DSP执行程序提取器设计方案及实现技术,包括两种文件的解析算法、软件实现、功能验证、性能评估以及在新一代运载火箭型号中的应用情况。使用提取器,能够快速、自动生成带有CRC校验信息的DSP执行程序,提高了生成效率、正确率、可靠性以及使用的安全性。 展开更多
关键词 CofF 自举表 DSP 执行程序 提取器 运载火箭
原文传递
Dynamic Simulation of Solid Adsorption Solar Refrigerator System with AC/CH<sub>3</sub>OH as a Working Pair
20
作者 Anan Pongtornkulpanich 《Energy and Power Engineering》 2014年第12期459-465,共7页
Solid adsorption system, one of alternative refrigeration systems, is utilized to provide cold for refrigerator or air-conditioner and can be operated by assistance of solar heat. System performance study through comp... Solid adsorption system, one of alternative refrigeration systems, is utilized to provide cold for refrigerator or air-conditioner and can be operated by assistance of solar heat. System performance study through computer usage to develop simulation program and simulate behaviors of system operation can give designed system which suits for user’s need. Also, the present study aims to develop dynamic simulation program of solid adsorption refrigeration system operated by solar assistance to simulate behaviors of system operation and its performance. Flat plate collectror is utilized to provide thermal energy for system’s adsorber and activated carbon/methanol is used to be a suitable working pair. Simulation procedure starts with various solar radiation intensities as input energy on solar collector and water is used as collector working fluid. Behavior of system operation can be considered to be 4 steps as isosteric heating, isobaric desorption, isosteric cooling and isobaric adsorption, respectively. This research studies the effect of varying solar radiation intensity on temperature, pressure of adsorber, adsorption ratio at each steps of system operated ranging from 6:00 am (the first day) to 6:00 am (the next day) and system performance which is defined as coefficient of performance, COP. In addition, the simulation result shows monthly average COP of 0.43 compared to a result of another previous research work under the same operating condition and the percentage error is 7.5%. 展开更多
关键词 Lumped Parameter Dynamic Simulation program SOLID ADSORPTION Refrigeration SYSTEM SOLAR Energy Working Pair
暂未订购
上一页 1 2 74 下一页 到第
使用帮助 返回顶部