Risk identification and safety assessment of human-computer interaction in integrated avionics based on STAMP

To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.

Identification and distribution of 13003 landslides in the northwest margin of Qinghai-Tibet Plateau based on human-computer interaction remote sensing interpretation

The periphery of the Qinghai-Tibet Plateau is renowned for its susceptibility to landslides.However,the northwestern margin of this region,characterised by limited human activities and challenging transportation,remains insufficiently explored concerning landslide occurrence and dispersion.With the planning and construction of the Xinjiang-Tibet Railway,a comprehensive investigation into disastrous landslides in this area is essential for effective disaster preparedness and mitigation strategies.By using the human-computer interaction interpretation approach,the authors established a landslide database encompassing 13003 landslides,collectively spanning an area of 3351.24 km^(2)(36°N-40°N,73°E-78°E).The database incorporates diverse topographical and environmental parameters,including regional elevation,slope angle,slope aspect,distance to faults,distance to roads,distance to rivers,annual precipitation,and stratum.The statistical characteristics of number and area of landslides,landslide number density(LND),and landslide area percentage(LAP)are analyzed.The authors found that a predominant concentration of landslide origins within high slope angle regions,with the highest incidence observed in intervals characterised by average slopes of 20°to 30°,maximum slope angle above 80°,along with orientations towards the north(N),northeast(NE),and southwest(SW).Additionally,elevations above 4.5 km,distance to rivers below 1 km,rainfall between 20-30 mm and 30-40 mm emerge as particularly susceptible to landslide development.The study area’s geological composition primarily comprises Mesozoic and Upper Paleozoic outcrops.Both fault and human engineering activities have different degrees of influence on landslide development.Furthermore,the significance of the landslide database,the relationship between landslide distribution and environmental factors,and the geometric and morphological characteristics of landslides are discussed.The landslide H/L ratios in the study area are mainly concentrated between 0.4 and 0.64.It means the landslides mobility in the region is relatively low,and the authors speculate that landslides in this region more possibly triggered by earthquakes or located in meizoseismal area.

OPTIMIZATION DESIGN OF HYDRAULIC MANIFOLD BLOCKS BASED ON HUMAN-COMPUTER COOPERATIVE GENETIC ALGORITHM

Optimization design of hydraulic manifold blocks (HMB) is studied as acomplex solid spatial layout problem. Based on comprehensive research into structure features anddesign rules of HMB, an optimal mathematical model for this problem is presented. Usinghuman-computer cooperative genetic algorithm (GA) and its hybrid optitation strategies, integratedlayout and connection design schemes of HMB can be automatically optimized. An example is given totestify it.

STUDY ON HUMAN-COMPUTER SYSTEM FOR STABLE VIRTUAL DISASSEMBLY

The cooperative work between human being and computer based on virtual reality (VR) is investigated to plan the disassembly sequences more efficiently. A three-layer model of human-computer cooperative virtual disassembly is built, and the corresponding human-computer system for stable virtual disassembly is developed. In this system, an immersive and interactive virtual disassembly environment has been created to provide planners with a more visual working scene. For cooperative disassembly, an intelligent module of stability analysis of disassembly operations is embedded into the human-computer system to assist planners to implement disassembly tasks better. The supporting matrix for stability analysis of disassembly operations is defined and the method of stability analysis is detailed. Based on the approach, the stability of any disassembly operation can be analyzed to instruct the manual virtual disassembly. At last, a disassembly case in the virtual environment is given to prove the validity of above ideas.

Recent Advances on Human-Computer Dialogue

Human-Computer dialogue systems provide a natural language based interface between human and computers. They are widely demanded in network information services, intelligent accompanying robots, and so on. A Human-Computer dialogue system typically consists of three parts, namely Natural Language Understanding （NLU）, Dialogue Management （DM） and Natural Language Generation （NLG）. Each part has several different subtasks. Each subtask has been received lots of attentions, many improvements have been achieved on each subtask, respectively. But systems built in traditional pipeline way, where different subtasks are assembled sequently, suffered from some problems such as error accu- mulation and expanding, domain transferring. Therefore, researches on jointly modeling several subtasks in one part or cross different parts have been prompted greatly in recent years, especially the rapid developments on deep neural networks based joint models. There is even a few work aiming to integrate all subtasks of a dialogue system in a single model, namely end-to-end models. This paper introduces two basic frames of current dialogue systems and gives a brief survey on recent advances on variety subtasks at first, and then focuses on joint models for multiple subtasks of dialogues. We review several different joint models including integration of several subtasks inside NLU or NLG, jointly modeling cross NLG and DM, and jointly modeling through NLU, DM and NLG. Both advantages and problems of those joint models are discussed. We consider that the joint models, or end-to-end models, will be one important trend for developing Human-Computer dialogue systems.

颈椎前路Hybrid手术和颈椎后路单开门椎管扩大成形术治疗多节段脊髓型颈椎病临床疗效分析

目的:分析颈椎前路Hybrid手术和颈椎后路单开门椎管扩大成形术(EODL)治疗多节段脊髓型颈椎病的疗效,探讨多节段脊髓型颈椎病患者手术方式的选择。方法:对2017年7月—2020年7月在首都医科大学附属北京中医医院手术治疗的70例多节段脊髓型颈椎病患者进行回顾性分析,根据手术方式不同,分为前路组35例和后路组35例,前路组患者行Hybrid手术[颈椎前路椎间盘切除融合术(ACDF)联合人工颈椎间盘置换术(ACDR)],后路组患者行EODL。记录2组患者住院时间、手术时间、术中出血量和术后引流量,通过日本骨科协会(JOA)评分、JOA改善率、颈椎残障功能指数(NDI)、疼痛视觉模拟评分(VAS)和术后满意度评分进行疗效评价,统计2组患者术后并发症发生情况。结果:与后路组比较,前路组患者术中出血量、术后引流量、住院时间和手术时间均明显减少(P<0.01),术前各项评分差异无统计学意义(P>0.05)。末次随访时,与后路组比较,前路组患者JOA评分和JOA改善率明显升高(P<0.01),NDI评分和VAS评分明显降低(P<0.01)。与术前比较,末次随访时2组患者JOA评分明显升高(P<0.01),NDI和VAS评分均明显降低(P<0.01)。按术后满意度评分评价,2组患者术后满意度均较高。2组患者术后并发症发生率比较差异无统计学意义(P>0.05)。结论:颈椎前路Hybrid手术和EODL在治疗多节段脊髓型颈椎病方面均取得了较为满意的疗效。Hybrid手术具有出血量少和手术时间短等优点,临床上应根据患者实际情况选择最适宜的术式。

A Study of Electromyogram Based on Human-Computer Interface

In this paper, a new control system based on forearm electromyogram （EMG） is proposed for computer peripheral control and artificial prosthesis control. This control system intends to realize the commands of six pre-defined hand poses： up, down, left, right, yes, and no. In order to research the possibility of using a unified amplifier for both electroencephalogram （EEG） and EMG, the surface forearm EMG data is acquired by a 4-channel EEG measurement system. The Bayesian classifier is used to classify the power spectral density （PSD） of the signal. The experiment result verifies that this control system can supply a high command recognition rate （average 48%） even the EMG data is collected with an EEG system just with single electrode measurement.

基于Hybrid A^(*)算法的变压器声级巡检系统研究与设计

随着国内变电站数目逐步增加,采用固定式声级监测终端对变压器声级检测的方式已经满足不了日常检测的需求。为解决固定式声级监测终端方式成本高、维护复杂、设备利用率低等问题,该文率先提出了一种变压器声级巡检系统,并设计了最优声级巡检路径。通过场地定位传感器生成变压器场地栅格图信息,采用Hybrid A^(*)算法将场地栅格图信息生成符合国标所要求的最优声级巡检路径检测点;针对所开发的变压器声级巡检装置,采用生成的巡检路径对变压器进行声级测定作业,对测定的声级数据进行分析处理。测试结果表明,该文开发的系统与设计算法的变压器声级巡检时间、检测效率以及数据的采集准确性都优于固定式声级监测终端方式,系统完成变压器声级巡检全过程的成功率可达95%。

Activation Redistribution Based Hybrid Asymmetric Quantization Method of Neural Networks

The demand for adopting neural networks in resource-constrained embedded devices is continuously increasing.Quantization is one of the most promising solutions to reduce computational cost and memory storage on embedded devices.In order to reduce the complexity and overhead of deploying neural networks on Integeronly hardware,most current quantization methods use a symmetric quantization mapping strategy to quantize a floating-point neural network into an integer network.However,although symmetric quantization has the advantage of easier implementation,it is sub-optimal for cases where the range could be skewed and not symmetric.This often comes at the cost of lower accuracy.This paper proposed an activation redistribution-based hybrid asymmetric quantizationmethod for neural networks.The proposedmethod takes data distribution into consideration and can resolve the contradiction between the quantization accuracy and the ease of implementation,balance the trade-off between clipping range and quantization resolution,and thus improve the accuracy of the quantized neural network.The experimental results indicate that the accuracy of the proposed method is 2.02%and 5.52%higher than the traditional symmetric quantization method for classification and detection tasks,respectively.The proposed method paves the way for computationally intensive neural network models to be deployed on devices with limited computing resources.Codes will be available on https://github.com/ycjcy/Hybrid-Asymmetric-Quantization.

复杂建设环境下基于Hybrid A^(*)算法的铁路平面线形绿色优化设计

随着“双碳经济下绿色铁路”理念的兴起,将“绿色生态”融入到铁路平面线路优化已成为近年来的研究热点。本文以铁路建设成本与生态破坏成本的协同优化为目标,引入并改进了一种自动驾驶导航算法(Hybrid A^(*)算法),以适应复杂的铁路设计问题,同时考虑最小曲线半径、最大曲线半径、最短曲线长度、最短夹直线长度、缓和曲线长度等铁路线形约束。研究结果表明:(1)改进后算法以离散网格方式整合外部环境因素,实现渐进式全局探索,获取接近全局最优的铁路线路设计结果;(2)该方法在复杂外部环境约束下,无需预设水平交点位置和数量,可自动生成符合线路-环境耦合约束的优化平面线路方案。

Design and Implementation of the Image Interactive System Based on Human-Computer Interaction

Based on the traditional Human-Computer Interaction method which is mainly touch input system, the way of capturing the movement of people by using cameras is proposed. This is a convenient technique which can provide users more experience. In the article, a new way of detecting moving things is given on the basis of development of the image processing technique. The system architecture decides that the communication should be used between two different applications. After considered, named pipe is selected from many ways of communication to make sure that video is keeping in step with the movement from the analysis of the people moving. According to a large amount of data and principal knowledge, thinking of the need of actual project, a detailed system design and realization is finished. The system consists of three important modules: detecting of the people's movement, information transition between applications and video showing in step with people's movement. The article introduces the idea of each module and technique.

Regulatable Orthotropic 3D Hybrid Continuous Carbon Networks for Efficient Bi-Directional Thermal Conduction

Vertically oriented carbon structures constructed from low-dimen-sional carbon materials are ideal frameworks for high-performance thermal inter-face materials(TIMs).However,improving the interfacial heat-transfer efficiency of vertically oriented carbon structures is a challenging task.Herein,an orthotropic three-dimensional(3D)hybrid carbon network(VSCG)is fabricated by depositing vertically aligned carbon nanotubes(VACNTs)on the surface of a horizontally oriented graphene film(HOGF).The interfacial interaction between the VACNTs and HOGF is then optimized through an annealing strategy.After regulating the orientation structure of the VACNTs and filling the VSCG with polydimethylsi-loxane(PDMS),VSCG/PDMS composites with excellent 3D thermal conductive properties are obtained.The highest in-plane and through-plane thermal conduc-tivities of the composites are 113.61 and 24.37 W m^(-1)K^(-1),respectively.The high contact area of HOGF and good compressibility of VACNTs imbue the VSCG/PDMS composite with low thermal resistance.In addition,the interfacial heat-transfer efficiency of VSCG/PDMS composite in the TIM performance was improved by 71.3%compared to that of a state-of-the-art thermal pad.This new structural design can potentially realize high-performance TIMs that meet the need for high thermal conductivity and low contact thermal resistance in interfacial heat-transfer processes.

Hybrid model for BOF oxygen blowing time prediction based on oxygen balance mechanism and deep neural network

The amount of oxygen blown into the converter is one of the key parameters for the control of the converter blowing process,which directly affects the tap-to-tap time of converter. In this study, a hybrid model based on oxygen balance mechanism (OBM) and deep neural network (DNN) was established for predicting oxygen blowing time in converter. A three-step method was utilized in the hybrid model. First, the oxygen consumption volume was predicted by the OBM model and DNN model, respectively. Second, a more accurate oxygen consumption volume was obtained by integrating the OBM model and DNN model. Finally, the converter oxygen blowing time was calculated according to the oxygen consumption volume and the oxygen supply intensity of each heat. The proposed hybrid model was verified using the actual data collected from an integrated steel plant in China, and compared with multiple linear regression model, OBM model, and neural network model including extreme learning machine, back propagation neural network, and DNN. The test results indicate that the hybrid model with a network structure of 3 hidden layer layers, 32-16-8 neurons per hidden layer, and 0.1 learning rate has the best prediction accuracy and stronger generalization ability compared with other models. The predicted hit ratio of oxygen consumption volume within the error±300 m^(3)is 96.67%;determination coefficient (R^(2)) and root mean square error (RMSE) are0.6984 and 150.03 m^(3), respectively. The oxygen blow time prediction hit ratio within the error±0.6 min is 89.50%;R2and RMSE are0.9486 and 0.3592 min, respectively. As a result, the proposed model can effectively predict the oxygen consumption volume and oxygen blowing time in the converter.

Reform of Human-Computer Interaction Course based on Mobile Application Interaction Design

With the popularity of new intelligent mobile devices in people’s lives,the development of mobile applications has paid increasing attention to the interactive experience of users.As the content of traditional Human-Computer Interaction(HCI)course and teaching material is out of date,it cannot meet the needs of mobile application interaction design and enterprises for students.Therefore,we need a new generation HCI course based on intelligent mobile devices to study the relationship between users and systems.The HCI course not only teaches students HCI theory and model,but also needs to cultivate students’interaction-oriented design practical ability.This paper proposes a set of HCI teaching material design and teaching methods for improving HCI class quality on mobile application interaction design,so as to make students more suitable for the employment requirements of enterprises.

p-d Orbital Hybridization Engineered Single-Atom Catalyst for Electrocatalytic Ammonia Synthesis

The rational design of metal single-atom catalysts(SACs)for electrochemical nitrogen reduction reaction(NRR)is challenging.Two-dimensional metal-organic frameworks(2DMOFs)is a unique class of promising SACs.Up to now,the roles of individual metals,coordination atoms,and their synergy effect on the electroanalytic performance remain unclear.Therefore,in this work,a series of 2DMOFs with different metals and coordinating atoms are systematically investigated as electrocatalysts for ammonia synthesis using density functional theory calculations.For a specific metal,a proper metal-intermediate atoms p-d orbital hybridization interaction strength is found to be a key indicator for their NRR catalytic activities.The hybridization interaction strength can be quantitatively described with the p-/d-band center energy difference(Δd-p),which is found to be a sufficient descriptor for both the p-d hybridization strength and the NRR performance.The maximum free energy change(ΔG_(max))andΔd-p have a volcanic relationship with OsC_(4)(Se)_(4)located at the apex of the volcanic curve,showing the best NRR performance.The asymmetrical coordination environment could regulate the band structure subtly in terms of band overlap and positions.This work may shed new light on the application of orbital engineering in electrocatalytic NRR activity and especially promotes the rational design for SACs.

Enhancing rock fragmentation prediction in mining operations:A hybrid GWO-RF model with SHAP interpretability

In the mining industry,precise forecasting of rock fragmentation is critical for optimising blasting processes.In this study,we address the challenge of enhancing rock fragmentation assessment by developing a novel hybrid predictive model named GWO-RF.This model combines the grey wolf optimization(GWO)algorithm with the random forest(RF)technique to predict the D_(80)value,a critical parameter in evaluating rock fragmentation quality.The study is conducted using a dataset from Sarcheshmeh Copper Mine,employing six different swarm sizes for the GWO-RF hybrid model construction.The GWO-RF model’s hyperparameters are systematically optimized within established bounds,and its performance is rigorously evaluated using multiple evaluation metrics.The results show that the GWO-RF hybrid model has higher predictive skills,exceeding traditional models in terms of accuracy.Furthermore,the interpretability of the GWO-RF model is enhanced through the utilization of SHapley Additive exPlanations(SHAP)values.The insights gained from this research contribute to optimizing blasting operations and rock fragmentation outcomes in the mining industry.

Dual-ion carrier storage through Mg^(2+) addition for high-energy and long-life zinc-ion hybrid capacitor

Cation additives can efficiently enhance the total electrochemical capabilities of zinc-ion hybrid capacitors (ZHCs).However their energy storage mechanisms in zinc-based systems are still under debate.Herein,we modulate the electrolyte and achieve dual-ion storage by adding magnesium ions.And we assemble several Zn//activated carbon devices with different electrolyte concentrations and investigate their electrochemical reaction dynamic behaviors.The zinc-ion capacitor with Mg^(2+)mixed solution delivers 82 mAh·g^(-1)capacity at 1 A·g^(-1) and maintains 91%of the original capacitance after 10000 cycling.It is superior to the other assembled zinc-ion devices in single-component electrolytes.The finding demonstrates that the double-ion storage mechanism enables the superior rate performance and long cycle lifetime of ZHCs.

Electrostatic Interaction-directed Construction of Hierarchical Nanostructured Carbon Composite with Dual Electrical Conductive Networks for Zinc-ion Hybrid Capacitors with Ultrastability

Metal-organic framework(MOF)-derived carbon composites have been considered as the promising materials for energy storage.However,the construction of MOF-based composites with highly controllable mode via the liquid-liquid synthesis method has a great challenge because of the simultaneous heterogeneous nucleation on substrates and the self-nucleation of individual MOF nanocrystals in the liquid phase.Herein,we report a bidirectional electrostatic generated self-assembly strategy to achieve the precisely controlled coatings of single-layer nanoscale MOFs on a range of substrates,including carbon nanotubes(CNTs),graphene oxide(GO),MXene,layered double hydroxides(LDHs),MOFs,and SiO_(2).The obtained MOF-based nanostructured carbon composite exhibits the hierarchical porosity(V_(meso)/V_(micro)∶2.4),ultrahigh N content of 12.4 at.%and"dual electrical conductive networks."The assembled aqueous zinc-ion hybrid capacitor(ZIC)with the prepared nanocarbon composite as a cathode shows a high specific capacitance of 236 F g^(-1)at 0.5 A g^(-1),great rate performance of 98 F g^(-1)at 100 A g^(-1),and especially,an ultralong cycling stability up to 230000 cycles with the capacitance retention of 90.1%.This work develops a repeatable and general method for the controlled construction of MOF coatings on various functional substrates and further fabricates carbon composites for ZICs with ultrastability.

Dynamic constraint and objective generation approach for real-time train rescheduling model under human-computer interaction

Real-time train rescheduling plays a vital role in railway transportation as it is crucial for maintaining punctuality and reliability in rail operations.In this paper,we propose a rescheduling model that incorporates constraints and objectives generated through human-computer interaction.This approach ensures that the model is aligned with practical requirements and daily operational tasks while facilitating iterative train rescheduling.The dispatcher’s empirical knowledge is integrated into the train rescheduling process using a human-computer interaction framework.We introduce six interfaces to dynamically construct constraints and objectives that capture human intentions.By summarizing rescheduling rules,we devise a rule-based conflict detection-resolution heuristic algorithm to effectively solve the formulated model.A series of numerical experiments are presented,demonstrating strong performance across the entire system.Furthermore,theflexibility of rescheduling is enhanced through secondary analysis-driven solutions derived from the outcomes of humancomputer interactions in the previous step.This proposed interaction method complements existing literature on rescheduling methods involving human-computer interactions.It serves as a tool to aid dispatchers in identifying more feasible solutions in accordance with their empirical rescheduling strategies.

Hybrid手术对Stanford B型主动脉夹层疗效的研究进展

主动脉夹层主要通过使用假体移植物的开胸手术修复来治疗。在过去的10年里,胸主动脉腔内修复术(TEVAR)已成为一种创伤更小、潜在更安全的治疗方法。然而,单一的微创腔内修复术在缺乏足够的锚定区的Stanford B型主动脉夹层(TBAD)患者上有其局限性。因此,结合了外科手术及胸主动脉腔内修复术的Hy‐brid手术(或称为杂交手术),通过外科手段重建左颈总动脉和左锁骨下动脉的弓上分流术,再结合微创腔内修复术,显著减少患者在外科手术中并发症的发生率,且提高了那些常规胸主动脉腔内修复术缺乏理想锚定区患者的生存率。