数控机床操控器人机界面优化设计研究

目的控制器和显示器共同组成数控机床控制面板的整体界面,是机床接受与执行命令的交互平台。从人机交互角度,聚焦于控制器的界面布局进行优化设计。方法基于人机工程学理论的优化流程,采用现场访谈、现场观察等方法,将人机工程学的理论转化为具体考核指标。结论从人机工程学的研究角度出发,结合工业设计、用户体验设计学等内容,从功能区域分区、操纵器色彩设计等方面优化数控机床控制器的界面,提高系统整体效能及使用者满意度,为数控机床系统开发设计提供参考。     

Physics-Informed Multistage Machine Learning Strategy for the Nanomachining-Induced Plastic Deformation Behavior

The evolution of the dislocation density induced by the nanomachining process dominates the plastic deformation behaviors of materials, thus affecting the mechanical properties significantly. However, a challenging topic related to how to establish an accurate model for predicting the dislocation density based on the limited simulations and experiments arises due to the complicated thermal–mechanical coupling mechanism during the machining process. Herein, a multistage method integrating machine learning, physics, and high-throughput atomic simulation is proposed to investigate the effect of cutting speed on the dislocation behavior in polycrystal copper. Compared with the traditional one-step machine learning method, the constraint of physical features effectively improves the accuracy and generalization ability of the model. The results indicate that the dislocation behaviors depend on the competition between the cutting force and temperature. In the low-cutting speed, the predominated role of the cutting temperature leads to a rapid decline of the dislocation density. In contrast, the dislocation density tends to be stable under a high-speed cutting process due to the dynamic balance between the effects of the cutting force and temperature. Notably, the proposed strategy provides a new and universal framework to design the machining parameters to obtain high-quality products.     

Neural Machine Translation by Fusing Key Information of Text

When the Transformer proposed by Google in 2017, it was first used for machine translation tasks and achieved the state of the art at that time. Although the current neural machine translation model can generate high quality translation results, there are still mistranslations and omissions in the translation of key information of long sentences. On the other hand, the most important part in traditional translation tasks is the translation of key information. In the translation results, as long as the key information is translated accurately and completely, even if other parts of the results are translated incorrect, the final translation results’ quality can still be guaranteed. In order to solve the problem of mistranslation and missed translation effectively, and improve the accuracy and completeness of long sentence translation in machine translation, this paper proposes a key information fused neural machine translation model based on Transformer. The model proposed in this paper extracts the keywords of the source language text separately as the input of the encoder. After the same encoding as the source language text, it is fused with the output of the source language text encoded by the encoder, then the key information is processed and input into the decoder. With incorporating keyword information from the source language sentence, the model’s performance in the task of translating long sentences is very reliable. In order to verify the effectiveness of the method of fusion of key information proposed in this paper, a series of experiments were carried out on the verification set. The experimental results show that the Bilingual Evaluation Understudy (BLEU) score of the model proposed in this paper on the Workshop on Machine Translation (WMT) 2017 test dataset is higher than the BLEU score of Transformer proposed by Google on the WMT2017 test dataset. The experimental results show the advantages of the model proposed in this paper.     

数据分析及无损编码技术在电脑袜机上的应用

该文主要介绍了袜机数据的整合及对整合的效率进行了分析,有效的减小了数据所占用的位数;根据袜机数据的特点且存在大量的重复性字符,我们应用无损编码技术对袜机数据冗余部分进行压缩,通过比较几种无损编码技术的平均压缩率,得出了最适合袜机数据的压缩方式。     

An axiom system for sequence-based specification

This paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself.     

Measurement of enterprise knowledge by state characterization

Abstract: Enterprise production is becoming more and more knowledge oriented nowadays and knowledge management is playing a key role in making commercial profit and maintaining enterprise competence. Knowledge characterization and measurement are the bases of knowledge management, and this paper aims to develop a method for characterizing and measuring knowledge in a comprehensive and practical way. Knowledge in its static state is modelled as a vector, whose values vary with the situation, and changes in state are modelled as a finite state machine.     

如何在嵌入式系统上运行OSGI架构

嵌入式计算应用已经广泛运行在各种平台,普遍应用于各个领域,文中主要介绍在嵌入式系统上运行OSGI架构的相关操作和运行。     

Automatic detection of breast cancers in mammograms using structured support vector machines

Breast cancer is one of the most common cancers diagnosed in women. Large margin classifiers like the support vector machine (SVM) have been reported effective in computer-assisted diagnosis systems for breast cancers. However, since the separating hyperplane determination exclusively relies on support vectors, the SVM is essentially a local classifier and its performance can be further improved. In this work, we introduce a structured SVM model to determine if each mammographic region is normal or cancerous by considering the cluster structures in the training set. The optimization problem in this new model can be solved efficiently by being formulated as one second order cone programming problem. Experimental evaluation is performed on the Digital Database for Screening Mammography (DDSM) dataset. Various types of features, including curvilinear features, texture features, Gabor features, and multi-resolution features, are extracted from the sample images. We then select the salient features using the recursive feature elimination algorithm. The structured SVM achieves better detection performance compared with a well-tested SVM classifier in terms of the area under the ROC curve.     

佳点集遗传覆盖算法

针对覆盖算法中识别精度与泛化能力之间的一对矛盾,结合佳点集遗传算法思想,提出佳点集遗传覆盖算法。通过在覆盖种群中引入竞争,淘汰不好的覆盖,保留较优的覆盖,减少了覆盖个数和拒识样本个数,从而提高了整体覆盖种群的分类能力。与Lib-SVM、领域覆盖、交叉覆盖的对比实验证明了该算法具有良好的分类识别精度与泛化能力。     

并行计算模型参数动态分析软件包设计

并行计算模型的发展引入越来越多的模型参数。对并行计算模型参数动态采集分析软件包DEMPAT的整体框架进行研究,实现基于硬件性能计数器的存储层次参数采集模块。实验表明,该模块能够准确快速地获取存储层次参数且具有较好的可移植性。