As the scale of current systems become larger and larger and their complexity is increasing gradually,research on executable models in the design phase becomes significantly important as it is helpful to simulate the ...As the scale of current systems become larger and larger and their complexity is increasing gradually,research on executable models in the design phase becomes significantly important as it is helpful to simulate the execution process and capture defects of a system in advance.Meanwhile,the capability of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a system.To deal with the lack of official specifications and the fundamental theory basis for capability requirement,we propose a cooperative capability requirements(CCR)meta-model as a theory basis for researchers to refer to in this research domain,in which we provide detailed definition of the CCR concepts,associations and rules.Moreover,we also propose an executable framework,which may enable modelers to simulate the execution process of a system in advance and do well in filling the inconsistency and semantic gaps between stakeholders’requirements and their models.The primary working mechanism of the framework is to transform the Alf activity meta-model into the communicating sequential process(CSP)process meta-model based on some mapping rules,after which the internal communication mechanism between process nodes is designed to smooth the execution of behaviors in a CSP system.Moreover,a validation method is utilized to check the correctness and consistency of the models,and a self-fixing mechanism is used to fix the errors and warnings captured during the validation process automatically.Finally,a validation report is generated and fed back to the modelers for system optimization.展开更多
为了筛选适宜塞外红苹果冷藏的保鲜袋,研究了在0~0.5℃的贮藏条件下,0.01、0.02、0.04mm厚度的PE(聚乙烯,polyethylene)保鲜袋结合1-甲基环丙烯(1-methylcyclopropene,1-MCP)缓释剂处理对果肉硬度、可溶性固形物含量、可滴定酸含量、外...为了筛选适宜塞外红苹果冷藏的保鲜袋,研究了在0~0.5℃的贮藏条件下,0.01、0.02、0.04mm厚度的PE(聚乙烯,polyethylene)保鲜袋结合1-甲基环丙烯(1-methylcyclopropene,1-MCP)缓释剂处理对果肉硬度、可溶性固形物含量、可滴定酸含量、外观及风味以及原果胶含量、可溶性果胶含量、纤维素含量、乙醇含量、乙醛含量、总抗氧化能力、过氧化氢含量等品质指标的影响。结果表明,与CK相比,不同厚度的保鲜袋结合1-MCP缓释剂处理均能有效延缓塞外红果肉硬度、可溶性固形物含量、可滴定酸含量的下降速度,抑制原果胶含量的降低和可溶性果胶含量的升高,延缓乙醇、乙醛高峰的出现时间,维持果实总抗氧化能力在较高的水平。综合比较认为:0.02 mm PE袋+1-MCP缓释剂和0.01 mm PE袋+1-MCP缓释剂2个处理的贮藏保鲜效果相对较好,贮藏120 d及货架5 d期间,能保持果实较好的硬度、外观及风味,有效延缓果实的衰老;0.04 mm PE保鲜袋贮藏的果实果皮出现褐变,而且果肉有异味,不适宜用于塞外红果实冷藏。展开更多
基金supported by the National Key R&D Program of China(2018YFC0806900)the China Postdoctoral Science Foundation Funded Project(2018M633757)+1 种基金the Primary Research&Development Plan of Jiangsu Province(BE2016904,BE2017616,BE2018754,BE2019762)Jiangsu Province Postdoctoral Science Foundation Funded Project(2019K185).
文摘As the scale of current systems become larger and larger and their complexity is increasing gradually,research on executable models in the design phase becomes significantly important as it is helpful to simulate the execution process and capture defects of a system in advance.Meanwhile,the capability of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a system.To deal with the lack of official specifications and the fundamental theory basis for capability requirement,we propose a cooperative capability requirements(CCR)meta-model as a theory basis for researchers to refer to in this research domain,in which we provide detailed definition of the CCR concepts,associations and rules.Moreover,we also propose an executable framework,which may enable modelers to simulate the execution process of a system in advance and do well in filling the inconsistency and semantic gaps between stakeholders’requirements and their models.The primary working mechanism of the framework is to transform the Alf activity meta-model into the communicating sequential process(CSP)process meta-model based on some mapping rules,after which the internal communication mechanism between process nodes is designed to smooth the execution of behaviors in a CSP system.Moreover,a validation method is utilized to check the correctness and consistency of the models,and a self-fixing mechanism is used to fix the errors and warnings captured during the validation process automatically.Finally,a validation report is generated and fed back to the modelers for system optimization.
文摘为了筛选适宜塞外红苹果冷藏的保鲜袋,研究了在0~0.5℃的贮藏条件下,0.01、0.02、0.04mm厚度的PE(聚乙烯,polyethylene)保鲜袋结合1-甲基环丙烯(1-methylcyclopropene,1-MCP)缓释剂处理对果肉硬度、可溶性固形物含量、可滴定酸含量、外观及风味以及原果胶含量、可溶性果胶含量、纤维素含量、乙醇含量、乙醛含量、总抗氧化能力、过氧化氢含量等品质指标的影响。结果表明,与CK相比,不同厚度的保鲜袋结合1-MCP缓释剂处理均能有效延缓塞外红果肉硬度、可溶性固形物含量、可滴定酸含量的下降速度,抑制原果胶含量的降低和可溶性果胶含量的升高,延缓乙醇、乙醛高峰的出现时间,维持果实总抗氧化能力在较高的水平。综合比较认为:0.02 mm PE袋+1-MCP缓释剂和0.01 mm PE袋+1-MCP缓释剂2个处理的贮藏保鲜效果相对较好,贮藏120 d及货架5 d期间,能保持果实较好的硬度、外观及风味,有效延缓果实的衰老;0.04 mm PE保鲜袋贮藏的果实果皮出现褐变,而且果肉有异味,不适宜用于塞外红果实冷藏。
