Design principles for the General Data Protection Regulation (GDPR): A formal concept analysis and its evaluation

Data and software are nowadays one and the same: for this very reason, the European Union (EU) and other governments introduce frameworks for data protection — a key example being the General Data Protection Regulation (GDPR). However, GDPR compliance is not straightforward: its text is not written by software or information engineers but rather, by lawyers and policy-makers. As a design aid to information engineers aiming for GDPR compliance, as well as an aid to software users’ understanding of the regulation, this article offers a systematic synthesis and discussion of it, distilled by the mathematical analysis method known as Formal Concept Analysis (FCA). By its principles, GDPR is synthesised as a concept lattice, that is, a formal summary of the regulation, featuring 144372 records — its uses are manifold. For example, the lattice captures so-called attribute implications, the implicit logical relations across the regulation, and their intensity. These results can be used as drivers during systems and services (re-)design, development, operation, or information systems’ refactoring towards more GDPR consistency.     

基于差频检测技术的高速AD单粒子翻转评估方法研究

本文基于差频检测的原理，提出一种在高频动态输入模式下，对高速高精度模数转换器（AD）的抗单粒子翻转效应进行评估的测试方法，并以一款8位3 GSPS高速AD为测试对象，设计开发了一套高速AD单粒子翻转效应测试系统，对目标器件进行了重离子试验。通过对试验结果的图像和错误数据进行分析，评估参试器件的抗辐照性能参数，为抗辐照高速高精度AD的加固设计提供数据支撑。     

无人机在输电线路巡检中的多种应用

无人机技术目前的快速发展使得我们国家输电线路自身的巡检能力得到了持续的提升,基于此本文在对无人机技术给予认识的情况下,在了解了输电线路巡检过程中的使用优势之后,还总结了无人机技术在当前我国线路巡检过程中的应用路径以及应用方法;之后使用案例分析的方式分析了无人机技术在当前输电线路巡检过程中的应用方法。     

基于学科竞赛的中医药类院校程序设计课程教学模式的探索

高素质人才培养是我国可持续发展战略、科教兴国战略以及人才强国战略等多项发展战略的一项基础性工程。本文针对中医药类院校程序设计类课程实践教学模式单一等教学实际，以“学科竞赛”为平台，“赛教结合”为理念，以《C语言程序设计》为例，从现存问题、赛教结合模式的引入、建立实施及其评价机制4个方面展开阐述，旨在提高学生学习积极性和能力。     

Comparison of co-current and counter-current flow in a bifunctional reactor containing ammonia synthesis and 2-butanol dehydrogenation to MEK

In this study, a multi-tubular thermally coupled packed bed reactor in which simultaneous production of ammonia and methyl ethyl ketone (MEK) takes place is simulated. The simulation results are presented in two co-current and counter-current flow modes. Based on this new configuration, the released heat from the ammonia synthesis reaction as an extremely exothermic reaction in the inner tube is employed to supply the required heat for the endothermic 2-butanol dehydrogenation reaction in the outer tube. On the other hand, MEK and hydrogen are produced by the dehydrogenation reaction of 2-butanol in the endothermic side, and the produced hydrogen is used to supply a part of the ammonia synthesis feed in the exothermic side. Thus, 30.72% and 31.88% of the required hydrogen for the ammonia synthesis are provided by the dehydrogenation reaction in the co-current and counter-current configurations, respectively. Also, according to the thermal coupling, the required cooler and furnace for the ammonia synthesis and 2-butanol dehydrogenation conventional plants are eliminated, respectively. As a result, operational costs, energy consumption and furnace emissions are considerably decreased. Finally, a sensitivity analysis and optimization are applied to study the effect of the main process parameters variation on the system performance and obtain the minimum hydrogen make-up flow rate, respectively.     

A study on the monitoring model development for quality measurement of internet traffic

The recent trend of integration among new network services such as the long-term evolution (LTE) based on internet protocol (IP) needs reputable analyses and prediction information on the internet traffic. The IP along with increased internet traffics due to expanding new service platforms such as smartphones will reflect policies such as network QoS according to new services. The establishment of monitoring methods and analysis plans is thus required for the development of internet traffics that will analyze their status and predict their future. The paper with the speed of Internet traffic model is developed for monitoring the state of the experiment and verified. The problem is that the proposed service Internet service provider (ISP) to resolve the conflict between the occurrences can be considerably Internet traffic and that the state of data may be helpful in understanding. The paper advancement policy to reflect the network traffic volume of Internet services and users irradiation with increased traffic due to the development and management of the analysis was carried out experimental measurements.     

Analysis of adhesively bonded CFRE composite scarf joints modified with MWCNTs

The main objective of the present work is to improve the performance of bonded joints in carbon fiber composite structures through introducing Multi-Walled Carbon Nanotubes (MWCNTs) into Epocast 50-A1/946 epoxy, which was primarily developed for joining and repairing of composite aircraft structures. Results from tension characterizations of structural adhesive joints (SAJs) with different scarf angles (5–45°) showed improvement up to 40% compared to neat epoxy (NE)–SAJs. Special attention was considered to investigate the performance of SAJs with 5° scarf angle under different environments. The tensile strength and stiffness of both NE-SAJs and MWCNT/E-SAJs were dramatically decreased at elevated temperature. Water absorption showed a marginal drop of about 2.0% in the tensile strength of the moist SAJs compared to the dry one. Cracks initiation and propagation were detected effectively using instrumented-SAJs with eight strain gauges. The experimental results agree well with the predicted using three-dimensional finite element analysis model.     

Stochastic free vibration analyses of composite shallow doubly curved shells – A Kriging model approach

This paper presents the Kriging model approach for stochastic free vibration analysis of composite shallow doubly curved shells. The finite element formulation is carried out considering rotary inertia and transverse shear deformation based on Mindlin’s theory. The stochastic natural frequencies are expressed in terms of Kriging surrogate models. The influence of random variation of different input parameters on the output natural frequencies is addressed. The sampling size and computational cost is reduced by employing the present method compared to direct Monte Carlo simulation. The convergence studies and error analysis are carried out to ensure the accuracy of present approach. The stochastic mode shapes and frequency response function are also depicted for a typical laminate configuration. Statistical analysis is presented to illustrate the results using Kriging model and its performance.     

Digital Microfluidics for Manipulation and Analysis of a Single Cell

The basic structural and functional unit of a living organism is a single cell. To understand the variability and to improve the biomedical requirement of a single cell, its analysis has become a key technique in biological and biomedical research. With a physical boundary of microchannels and microstructures, single cells are efficiently captured and analyzed, whereas electric forces sort and position single cells. Various microfluidic techniques have been exploited to manipulate single cells through hydrodynamic and electric forces. Digital microfluidics (DMF), the manipulation of individual droplets holding minute reagents and cells of interest by electric forces, has received more attention recently. Because of ease of fabrication, compactness and prospective automation, DMF has become a powerful approach for biological application. We review recent developments of various microfluidic chips for analysis of a single cell and for efficient genetic screening. In addition, perspectives to develop analysis of single cells based on DMF and emerging functionality with high throughput are discussed.     

A new numerical algorithm to check the observability and bad-data processing ability of the metering scheme

This paper provides a unified approach for the optimization of measurements placements employed for power system online monitoring through state estimation. The proposed methodology, which can be suitable for the mixed measure system, preserves state estimation observability and bad-data processing capability by employing numerical algorithms for observability checking, critical measurements and critical couple identification. First, node injection radix measurements and measurement categories are defined. According to the above definitions, the coefficient matrix can be solved. The analysis on the column vectors of the coefficient matrix can determine each measurement classification. Furthermore, the numbers of each measurement class contains can determine bad-data processing capability. The observability can be checked by the type number of measurements. The proposed method is illustrated with the IEEE39-bus system and the IEEE118-bus system. Results from the case studies are presented to demonstrate that the approach adequately fulfills the desired properties related to observability, bad-data processing, cost, and robustness.