EXTENSION OF THE RELATIONAL DATABASE AND ITS ALGEBRA WITH ROUGH SET TECHNIQUES

This paper describes a database model based on the original rough sets theory. Its rough relations permit the representation of a rough set of tuples not definable in terms of the elementary classes, except through use of lower and upper approximations. The rough relational database model also incorporates indiscernibility in the representation and in all the operators of the rough relational algebra. This indiscernibility is based strictly on equivalence classes which must be defined for every attribute domain. There are several obvious applications for which the rough relational database model can more accurately model an enterprise than does the standard relational model. These include systems involving ambiguous, imprecise, or uncertain data. Retrieval over mismatched domains caused by the merging of one or more applications can be facilitated by the use of indiscernibility, and naive system users can achieve greater recall with the rough relational database. In addition, applications inherently “rough” could be more easily implemented and maintained in the rough relational database.     

基于物联网技术的监狱人员定位可视化管理系统

提出了一种监狱人员定位可视化管理系统的设计和实现方法。该系统基于WLAN的RTLS定位技术,实现对服刑人员、干警、访客等人群的可视化定位管理。文章结合监狱的应用需求,首先给出了系统的总体设计原则;同时在总体原则约束下,对系统功能、总体实现方案、实现框图、应用流程、网络安全等部分进行阐述,给出了标签软硬件设计、定位管理系统的平台选型和软件架构;最后对设计的系统进行了测试。测试结果显示,该可视化定位管理系统的定位精度达到了预期效果。在进一步优化和完善后,即可大规模推广使用。     

A fuzzy hierarchical reinforcement learning based scheduling method for semiconductor wafer manufacturing systems

Scheduling semiconductor wafer manufacturing systems has been viewed as one of the most challenging optimization problems owing to the complicated constraints, and dynamic system environment. This paper proposes a fuzzy hierarchical reinforcement learning (FHRL) approach to schedule a SWFS, which controls the cycle time (CT) of each wafer lot to improve on-time delivery by adjusting the priority of each wafer lot. To cope with the layer correlation and wafer correlation of CT due to the re-entrant process constraint, a hierarchical model is presented with a recurrent reinforcement learning (RL) unit in each layer to control the corresponding sub-CT of each integrated circuit layer. In each RL unit, a fuzzy reward calculator is designed to reduce the impact of uncertainty of expected finishing time caused by the rematching of a lot to a delivery batch. The results demonstrate that the mean deviation (MD) between the actual and expected completion time of wafer lots under the scheduling of the FHRL approach is only about 30 % of the compared methods in the whole SWFS.     

Building a right digital twin with model engineering

In recent years, the concept of digital twin (DT) is attracting more and more attention from researchers and engineers. But there is still no consensus on what a right DT is. On one hand, some common models are renamed as DTs. On the other hand, some DTs extremely pursue ‘the same’ as physical objects, which bring unnecessary complexities to them. In this paper, we try to answer two questions from the point of view of model engineering: how to define a right digital twin, and how to build a right digital twin. The concept and related technologies of model engineering are introduced. Some basic principles and a set of metrics for a right DT are given. An evolutionary concurrent modeling method for DT (ECoM4DT) is proposed not only inheriting the theory from classic M&S methods but also highlighting the characteristics of DT compared with traditional models to systemically guide the DT modeling process.     

A CALPHAD-type Young's modulus database of Ti-rich Ti–Nb–Zr–Mo system

Accurate Young's modulus is the necessity for the design of biomedical Ti alloys. A combinatorial method of the diffusion couple, nanoindentation, electron probe microanalysis (EPMA), and CALculation of PHAse Diagrams (CALPHAD) techniques has been utilized to construct the Young's modulus database of Ti alloys with various compositions in the present work. Two groups of body-centered cubic (bcc) Ti–Nb–Zr–Mo quaternary diffusion couples annealed at 1273 K for 25 h were experimentally prepared. Subsequently, the composition-dependent mechanical properties in the wide compositional range of Ti-based alloys were obtained by using EPMA and nanoindentation probes. Finally, on the basis of the measured Young's moduli in the present and previous work and the modeling parameters of Young's modulus of Ti–Nb–Zr system, the Young's modulus database of bcc Ti–Nb–Zr–Mo system was established through the CALPHAD approach. The CALPHAD-type database of bcc Ti–Nb–Zr–Mo system can provide the accurate Young's moduli of Ti alloys with wide compositions.     

一种制做三维牙——颌骨光弹性模型的新方法

本文提出一种用“整体浇注法”制做三维牙——颌骨光弹性模型的新方法,即用价格便宜的石膏做阴模,先制出与真实牙几何相似的牙光弹性模型和模拟牙周膜的乳胶套,将它们粘接好,然后将其放入颌骨石膏阴模的适当位置,浇入环氧树脂混合液,用“二次固化法”进行固化,即可制成三维牙——颌骨整体光弹性模型。此法能保证模型与实物的严格几何相似和牙周的边界条件相似,使实验精度大大提高且工艺简单、成本低。     

Adenovirus-Mediated Inducible Expression of a PD-L1 Blocking Antibody in Combination with Macrophage Depletion Improves Survival in a Mouse Model of Peritoneal Carcinomatosis

Immune checkpoint inhibitors (ICIs) have demonstrated remarkable efficacy in a growing number of malignancies. However, overcoming primary or secondary resistances is difficult due to pharmacokinetics issues and side effects associated with high systemic exposure. Local or regional expression of monoclonal antibodies (mAbs) using gene therapy vectors can alleviate this problem. In this work, we describe a high-capacity adenoviral vector (HCA-EFZP-aPDL1) equipped with a mifepristone-inducible system for the controlled expression of an anti-programmed death ligand 1 (PD-L1) blocking antibody. The vector was tested in an immune-competent mouse model of colorectal cancer based on implantation of MC38 cells. A single local administration of HCA-EFZP-aPDL1 in subcutaneous lesions led to a significant reduction in tumor growth with minimal release of the antibody in the circulation. When the vector was tested in a more stringent setting (rapidly progressing peritoneal carcinomatosis), the antitumor effect was marginal even in combination with other immune-stimulatory agents such as polyinosinic-polycytidylic acid (pI:C), blocking mAbs for T cell immunoglobulin, mucin-domain containing-3 (TIM-3) or agonistic mAbs for 4-1BB (CD137). In contrast, macrophage depletion by clodronate liposomes enhanced the efficacy of HCA-EFZP-aPDL1. These results highlight the importance of addressing macrophage-associated immunoregulatory mechanisms to overcome resistance to ICIs in the context of colorectal cancer.     

Mold-filling characteristics of AZ91 magnesium alloy in the low-pressure expendable pattern casting process

The magnesium (Mg) alloy low-pressure expendable pattern casting (EPC) process is a newly developed casting technique combining the advantages of both EPC and low-pressure casting. In this article, metal filling and the effect of the flow quantity of inert gas on the filling rate in the low-pressure EPC process are investigated. The results showed that the molten Mg alloy filled the mold cavity with a convex front laminar flow and the metal-filling rate increased significantly with increasing flow quantity when flow quantity was below a critical value. However, once the flow quantity exceeded a critical value, the filling rate increased slightly. The influence of the flow quantity of inert gas on melt-filling rate reveals that the mold fill is controlled by flow quantity for a lower filling rate, and, subsequently, controlled by the evaporation of polystyrene and the evaporation products for higher metal velocity. Meanwhile, the experimental results showed that the melt-filling rate significantly affected the flow profile, and the filling procedure for the Mg alloy in the low-pressure EPC process. A slower melt-filling rate could lead to misrun defects, whereas a higher filling rate results in folds, blisters, and porosity. The optimized filling rate with Mg alloy casting is 140 to 170 mm/s in low-pressure EPC.     

大型薄壁铝铸件表面沟槽缺陷的产生及消除

针对大型薄壁铝铸件内腔表面出现的沟槽缺陷,从差压铸造、树脂砂、铸件结构等工艺条件方面探讨了产生的机理,并通过试验和对比研究,确定排气不畅是该缺陷的首要引发因素,找到了消除该缺陷的工艺方法,提出了相关预防措施,避免了因此产生的废品损失.