摘要：对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。

摘要：介绍了常见服用防水透湿织物的透湿原理以及其优缺点。并选取十种不同种类的防水透湿织物进行防水透湿性能的测试与评定。

摘要：探讨了不同服装材料对肩颈防护的影响。结果表明,热湿舒适性能最好的面料对肩颈防护的疗效更好。

摘要：本研究旨在设计和优化水中重金属污染在线监测装置,以解决传统方法无法满足实时监测需求的问题。通过结合先进技术和工程原理,开发出一种高效、准确的在线监测装置,并对其进行了系统性设计与优化。实验结果表明,该装置能够稳定、快速地检测水体中的重金属污染物,从而为环境监测领域的发展提供了有益参考。

摘要：为了探讨不同睡衣面料的服用效果,选取了市面上常见的蚕丝、棉、麻、涤纶4种面料对睡衣的服用性能进行了测试并分析。

摘要：广场舞服装是广场舞活动的重要媒介,为进一步了解广场舞服装的市场情况,采用问卷调查法探究了无锡市民对于广场舞服装的认识和需求。

摘要：主要介绍防水透湿面料的定义、分类及其服用性能,并研究它在服饰中的应用。

摘要：本实验通过单因素试验找到了红茶色素提取的最佳工艺。并探讨了使用红茶色素对改性后的棉织物进行染色的工艺。

摘要：为了改善针织运动护膝的热湿舒适性,以Coolplus纤维、涤纶丝和橡筋纱为原料开发出针织运动护膝,并测试了其透湿透气性以及力学性能。

摘要：综述了柔性织物传感器的分类,重点介绍了柔性织物压力传感器在医用康复领域的应用,最后对柔性织物应用于医用康复领域的研究进行总结和展望。