【摘要】测试生成在软件测试过程中起到很重要的作用,现有的生成测试例的方法大多依靠测试人员手工进行,不仅生成效率低下,生成的测试例在可用性方面也不尽如人意。着色Petri网(ColoredPetriNets,CIN)模型驱动的一致性测试生成方法是一种成熟的测试生成理论,能够有效地提升测试例的可用性。然而这种测试方法受限于单机环境下的建模工具CPNTools,无法进行自动测试生成。针对此问题,论文使用 […]

【摘要】绿茶是一种颇受消费者喜欢的饮品，我国是全球最重要的茶叶生产国之一，大约有四分之三的茶叶产自我国。绿茶中含有茶多酚、茶氨酸、茶多糖、生物碱、茶皂素、茶蛋白、维生素，矿物质等多种活性物质，在贮藏过程中，由于光照、高温、氧化等原因，极易造成茶叶风味、色泽及营养成分的劣变，进而降低其商品和饮用价值。因此，如何采用有效地贮藏保鲜技术提高绿茶的品质成为一个亟待解决的问题。目前常用的茶叶贮藏保鲜技术主要 […]

【摘要】本文将阻燃元素磷引入高分子链中,合成了溶剂型含磷阻燃醇酸树脂、水性含磷阻燃醇酸树脂、含磷阻燃聚酯树脂,然后采用硅烷偶联剂处理过的纳米二氧化硅对聚酯进行改性,制得阻燃纳米复合材料。采用红外光谱分析(FT-IR).热重分析(TGA)、极限氧指数(LOI)、垂直燃烧实验(UL94)、扫描电子显微镜(SEM)、EDS元素分析等测试手段对含磷高聚物的结构、热稳定性、成炭能力、阻燃性能等进行了研究和分 […]

【摘要】随着改革开放的推进，资产评估行业在我国得到了较快发展，为促进国有企业改制，证券市场化建设，资本市场发展等领域做出了重要贡献。但是，随着社会主义市场经济转型的不断深入，评估执业的范围越来越广，评估的业务越来越新，评估的准确性和质量要求越来越高，资产评估行业的发展也因此面临着越来越多的挑战和风险。近年来，一些关于评估失败的法律诉讼案件不断出现，严重影响了行业的信誉，阻碍了资产评估行业的长久健康 […]

【摘要】积极关注句子语义的研究是现代语言学的特征之一。存在句是俄罗斯学者多年前就开始积极关注的对象。俄语存在句是由俄罗斯语言学家(?)根据逻辑-语义原则提出来的。它是俄语简单句的基本类型之一,具有自身的结构和语义特征。本文着重论述俄语存在句的句法结构类型、各组成要素的语义特征及其功能,同时对俄语存在句的词序及否定存在句进行了探讨,旨在解决使用存在句时应注意的问题。本论文包括绪论、正文、结论和参考文 […]