A digital twin-driven approach towards traceability and dynamic control for processing quality

Processing quality is the basis for ensuring product quality, and reflects the development needs and application value of realizing intelligent manufacturing. Aiming at the low efficiency of quality problems traceability, poor timeliness and unpredictability of quality control in the machining process, digital twin technology can provide a new intelligent solution based on interaction and integration between physical workshop and virtual workshop. Therefore, a digital twin-driven approach towards traceability and dynamic control for processing quality is proposed in the paper. Firstly, a Bayesian network model for the analysis of factors affecting processing quality (BN_PQ) is introduced, which determines the relevance and influence weight of each factor to processing quality. Secondly, in order to integrate multi-source heterogeneous data to trace the processing quality, a multi-level scalable information model and association mechanism are established. Moreover, the construction method of the IoT system in manufacturing unit for dynamic control of processing quality are introduced, in which the collection method of real-time data is discussed. The contents of digital twin data for processing quality constraints (DTD_PQ) and the management method are elaborated. Then, the digital twin-driven dynamic control method of processing quality is proposed. The conceptual model of the digital twin database and the operating logic for dynamic control of processing quality are described in detail. Finally, the interactive operation and core technologies of DTD_PQ towards traceability and dynamic control of processing quality are analyzed. By choosing examples of machining the connecting rod of diesel engine and the prototype system that has been developed, the effectiveness of the proposed method is verified.     

ECCbAS: An ECC based authentication scheme for healthcare IoT systems

Smart technology is a concept for efficiently managing smart things such as vehicles, buildings, home appliances, healthcare systems and others, through the use of networks and the Internet. Smart architecture makes use of technologies such as the Internet of Things (IoT), fog computing, and cloud computing. The Smart Medical System (SMS), which is focused on communication networking and sensor devices, is one of the applications used in this architecture. In a smart medical system, a doctor uses cloud-based applications such as mobile devices, wireless body area networks, and other cloud-based apps to provide online therapy to patients. Consequently, with the advancement and growth of IoT and 6G wireless technology, privacy and security have emerged as two of the world’s most important issues. Recently, Sureshkumar et al. proposed an authentication scheme for medical wireless sensor networks (MWSN) by using an Elliptic Curve Cryptography (ECC) based lightweight authentication protocol and claimed that it provides better security for smart healthcare systems. This paper will demonstrate that this protocol is susceptible to attacks such as traceability, integrity contradiction, and de-synchronization with the complexity of one run of the protocol and a success probability of one. Furthermore, we also propose an ECC based authentication scheme called ECCbAS to address the Sureshkumar et al. protocol’s vulnerabilities and demonstrate its security using a variety of non-formal and formal methods.     

Mozilla项目缺陷修复追踪关系研究

软件可追踪性为软件工程的很多活动提供了非常重要的支持,如变更影响分析、回归测试、版本控制以及一致性检验等。在开源软件项目中,缺陷数据和版本数据之间的缺陷修复关联是一种重要的软件追踪关系。研究开源软件项目缺陷和版本两种制品间的缺陷修复关联,选取大型开源项目Mozilla作为研究对象,在深入了解所获得数据的整体分布情况后,针对Mozilla项目的产品Firefox浏览器,利用Fellegi-Sunter模型挖掘缺陷数据与commit数据之间的缺陷修复关联并建立二者之间的追踪关系,最后对挖掘出的缺陷修复追踪关系进行结果分析。该项工作为开源项目制品间追踪关系的研究提供了经验参考。     

基于RFID与二维码技术的农产品可追溯系统设计

近年来食品安全事件频繁发生,而运用监控、预警、追踪、追溯等技术在食品生产的关键环节上进行的质量监控是有效保障食品质量安全的重要手段。本文通过运用射频识别技术与二维码技术,构建了一种农产品可追溯系统,并给出了具体的系统设计方案。该系统不仅为消费者提供了详细的农产品信息,而且为企业的生产管理和农产品的质量监控提供了良好的操作平台。     

食品安全方针与管理体系

随着人们生活水平的提高,人们对食品的要求越来越高。为保证食品的安全卫生,促进食品工业的发展,食品质量安全的管理体系必须建立和完善,本文综述了良好生产操作规范体系、卫生标准操作程序、危害分析与关键控制点、食品可追溯体系、国际标准化组织、良好农业规范、质量安全等管理体系的定义、发展及其应用等方面。     

Tracing the geographic origin of poultry meat and dried beef with oxygen and strontium isotope ratios

Two promising isotope ratios, the δ¹⁸O of the water fraction, as extracted by azeotropic distillation, and the ⁸⁷Sr/⁸⁶Sr of the ash fraction were tested for their applicability to determine the geographic origin. In two sampling phases, in total 78 fresh poultry breast meat and 72 dried beef samples, independent from each other and originating from different countries, were analysed. The δ¹⁸O was measured with isotope ratio mass spectrometry and the isotope abundance ratio of ⁸⁷Sr/⁸⁶Sr with a multicollector inductively coupled plasma mass spectrometer. With δ¹⁸O it was possible to distinguish (p < 0.001) poultry and dried beef samples according to their country of origin. The beef data suggests that the procedure of processing is of only low additional influence on δ¹⁸O and, if so, it seems to reduce the initial between-country differences. The ⁸⁷Sr/⁸⁶Sr ratio did not give sufficient indications for differentiation by geographic origin in either poultry meat or dried beef in the smaller, first phase, data set and was therefore not further tested.     

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification

A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis is suggested. For requirements verification and validation (V&V) tasks, our technique uses software inspection, requirement traceability, and formal specification with structural decomposition. Software inspection and requirements traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for requirements, which is an integrated approach that enables easy inspection by combining requirement traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for requirements. Called the nuclear software inspection support and requirements traceability (NuSISRT), the tool incorporates software inspection, requirement traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of requirement traceability. In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS).     

几个群签名方案的不可追踪性

一个群签名方案允许每一个群成员代表群匿名进行签名。在发生争议时，群管理员能够追踪一个合法群签名的签名者。本文中，我们用一个新的简单攻击来说明几个群签名方案不具有可追踪性。     

企业信息管理系统中产品质量跟踪与追溯的研究与实现

针对不同行业生产方式和运作特点的差异导致产品质量监督过程各异的问题,提出了一种通用灵活的,适合各类企业进行产品质量跟踪追溯要求的模型.突破以往模型对批次标识等单一依据的依赖,通过路径配置工具,设置跟踪追溯路径及路径上各节点间的关联关系;继而,跟踪追溯模型满足对路径上任意两节点间的跟踪追溯要求,并能同时查询该路径上符合跟踪追溯条件的信息.通过在某涂料企业MES管理系统中的具体实施说明其可行性,有效性.