{X,Y}-Cyclacene Graphs with Next Nearest Neighbor Interactions

Eigensolutions of {X( = C,B,N),Y( = C,B,N)}-cyclacene graphs with next nearest neighbor (nnn) interactions have been obtained in analytical forms by adapting n-fold rotational symmetry followed by two-fold rotational symmetry (or a plane of symmetry). Expressions of eigensolution indicate the subspectral relationship among such cyclacenes with an even number of hexagonal rings e.g., eigenvalues of {X,Y}-di-cyclacene are found in the eigenspectra of all such even cyclacenes. Total π-electron energies and highest occupied molecular orbital and lowest unoccupied molecular orbital (HOMO–LUMO) gaps are calculated using the analytical expressions obtained and are found to vary negligibly with the variation of nnn interactions in such cyclacenes. Total π-electron energy is found to increase due to increase in restriction intensity of nnn interactions, whereas the HOMO–LUMO gap of polyacenecs having the even number of hexagonal rings and with one electron at each site (atom) decreases with increase in the restriction intensity since such systems contain degenerate half-filled HOMO (bonding or nonbonding) that are much more vulnerable for perturbations imposed through nnn interactions.     

基于压缩机-支架系统的异常噪声研究

针对某乘用车发动机转速在1 573 r/min，压缩机开启时车内噪声异常的问题，对样车进行试验分析与诊断，对压缩机-支架系统进行仿真分析，提出改进方案并验证改进效果。利用LMS声振信号采集系统采集振动噪声数据，采用频谱分析、阶次追踪等方法，并结合压缩机-支架系统模态仿真结果，确定车内异常噪声是压缩机轴频21阶与压缩机-支架系统3阶模态频率接近发生共振造成的。通过优化支架结构来提高压缩机-支架系统3阶模态频率以此来避免共振，并换装橡胶驱动盘缓和压缩机输入扭矩波动。将改进结构进行整车试验，结果表明：匀速工况空调开启时问题转速下，车内噪声降低了2.5 dB(A)；匀加速工况空调开启时发动机转速1 500~1 650 r/min区间，车内噪声无峰值，其余转速空调开启时改进前/后车内噪声基本不变，噪声波动趋势平缓。     

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

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

A review of topic modeling methods

Topic modeling is a popular analytical tool for evaluating data. Numerous methods of topic modeling have been developed which consider many kinds of relationships and restrictions within datasets; however, these methods are not frequently employed. Instead many researchers gravitate to Latent Dirichlet Analysis, which although flexible and adaptive, is not always suited for modeling more complex data relationships. We present different topic modeling approaches capable of dealing with correlation between topics, the changes of topics over time, as well as the ability to handle short texts such as encountered in social media or sparse text data. We also briefly review the algorithms which are used to optimize and infer parameters in topic modeling, which is essential to producing meaningful results regardless of method. We believe this review will encourage more diversity when performing topic modeling and help determine what topic modeling method best suits the user needs.     

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的加固设计提供数据支撑。     

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

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

Quantifying co-creative writing experiences

Collaboration with artificial intelligence (AI) is a growing trend even in the field of creativity. This paper examines which quantitative metrics can be used to comparatively analyse human-computer co-creativity with children. To study this question, 24 schoolchildren of age 10–11 wrote a poem with three co-creative poetry writing processes: a human-computer, a human-human, and a human-human-computer process. The computational participant in the processes was an AI-based application called the Poetry Machine. The children were asked to evaluate their user experience with a 5-point Likert-type questionnaire after each writing process and a comparative questionnaire after finishing all processes. The metrics used in the evaluation were immediate fun, long-term enjoyment, creativity, self-expression, outcome satisfaction, ease of starting and finishing writing, quality of ideas and support from others, and ownership.

Significant differences were found in fun, long-term enjoyment, quality of ideas, support, and ownership. The high number of statistically relevant results was enabled by exposing all participants to all writing processes, and the comparative questionnaire. The human-human-computer process was evaluated the best in long-term enjoyment and the human-computer process the weakest in support and idea quality. Creativity and ease of finishing writing turned out to be outlining metrics for the co-creative processes.     

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

高素质人才培养是我国可持续发展战略、科教兴国战略以及人才强国战略等多项发展战略的一项基础性工程。本文针对中医药类院校程序设计类课程实践教学模式单一等教学实际，以“学科竞赛”为平台，“赛教结合”为理念，以《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.