区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

核电厂应急监测计划的关键问题及探讨

应急监测计划是核电厂应急计划的重要支持性文件,是核电厂应急监测准备和响应的重要依据。本文从核电厂事故应急监测方案、监测方法、监测设施设备配置、应急监测响应、监测能力的保持、质量保证等关键问题进行分析研究,提出相关建议,为核电厂应急监测计划的制订提供参考。     

脱硫胶粉在乳化改性沥青中的应用

考察了不同规格胶粉及不同脱硫程度的脱硫胶粉对橡胶改性乳化沥青性能的影响,结果表明,采用100目胶粉即可制备出橡胶改性乳化沥青,但乳化沥青的性能较差;采用活化度为50%左右的100目脱硫胶粉制备乳化沥青时,脱硫胶粉的用量相比于胶粉可大幅提高;在通过外掺100目50%左右活化度的脱硫胶粉(质量分数15%,以沥青计,下同)和质量分数2%的苯乙烯-丁二烯-苯乙烯嵌段共聚物改性的乳化沥青中添加质量分数1%的丁苯胶乳,所制备橡胶改性乳化沥青无筛上剩余物,5 d储存稳定性为2.9%,蒸发残留物的25℃针入度、软化点和5℃延度分别为55 (0.1 mm)、64.5℃和22.5 cm,能够满足乳化改性沥青的技术指标要求。     

云花皱织物的设计与开发

设计与开发了云花皱织物。络筒工序以"高车速、小张力、降毛羽、提产量"为工艺原则;整浆联合工序以"高车速、贴伏毛羽、减磨兼顾增强"为工艺原则;银丝不上浆,按照色经排列要求放在相应的伸缩筘中,并控制好张力;银丝和黑色花式线应穿在规定的综框;织造工序以"高车速、大张力、早开口"为工艺原则。经过对织造准备工序和织造工序的优化使得织造效率达到90%以上,下机一等品率达到93%,入库一等品率达到99%。     

Invited review: Reproducible research from noisy data: Revisiting key statistical principles for the animal sciences

Reproducible results define the very core of scientific integrity in modern research. Yet, legitimate concerns have been raised about the reproducibility of research findings, with important implications for the advancement of science and for public support. With statistical practice increasingly becoming an essential component of research efforts across the sciences, this review article highlights the compelling role of statistics in ensuring that research findings in the animal sciences are reproducible—in other words, able to withstand close interrogation and independent validation. Statistics set a formal framework and a practical toolbox that, when properly implemented, can recover signal from noisy data. Yet, misconceptions and misuse of statistics are recognized as top contributing factors to the reproducibility crisis. In this article, we revisit foundational statistical concepts relevant to reproducible research in the context of the animal sciences, raise awareness on common statistical misuse undermining it, and outline recommendations for statistical practice. Specifically, we emphasize a keen understanding of the data generation process throughout the research endeavor, from thoughtful experimental design and randomization, through rigorous data analysis and inference, to careful wording in communicating research results to peer scientists and society in general. We provide a detailed discussion of core concepts in experimental design, including data architecture, experimental replication, and subsampling, and elaborate on practical implications for proper elicitation of the scope of reach of research findings. For data analysis, we emphasize proper implementation of mixed models, in terms of both distributional assumptions and specification of fixed and random effects to explicitly recognize multilevel data architecture. This is critical to ensure that experimental error for treatments of interest is properly recognized and inference is correctly calibrated. Inferential misinterpretations associated with use of P-values, both significant and not, are clarified, and problems associated with error inflation due to multiple comparisons and selective reporting are illustrated. Overall, we advocate for a responsible practice of statistics in the animal sciences, with an emphasis on continuing quantitative education and interdisciplinary collaboration between animal scientists and statisticians to maximize reproducibility of research findings.     

Graduate Student Literature Review: Considerations for nutritional grouping in dairy farms

Each cow in a group has different nutritional requirements even if the group is formed by cows of similar age, number of lactations, and lactation stage. Common dairy farm management setup does not support formulating a diet that accurately matches individual nutritional requirements for each cow; therefore, a proportion of cows in the group will be overfed and another proportion underfed. Overfeeding and underfeeding cows increases the risk of metabolic diseases, decreases milk production, and increases nutrient waste. Consequently, profitability of dairy farms and the environment are negatively affected. Nutritional grouping is a management strategy that aims to allocate lactating cows homogeneously according to their nutritional requirements. Groups of cows with more uniform nutritional requirements facilitates the formulation of more accurate diets for the group. Current availability of large data streams on dairy farms facilitates the design of algorithms to implement nutritional grouping. Our review summarizes important factors to consider when grouping cows, describes nutritional grouping approaches, and summarizes benefits of implementing nutritional grouping in dairy farms.     

我国非煤矿山安全生产发展历程与技术需求

对我国非煤矿山安全生产的发展历程与现状进行了综述与分析,论述了目前安全生产技术发展的思路。在此基础上,详细讨论了适应目前我国非煤矿山安全生产发展的技术需求。     

GBS-35型定向钻进铺管钻机的研制与应用

介绍了GBS-35型定向钻进铺管钻机的结构特点、技术规格、生产试验及施工情况等。