Formation of geothermal resources at lithospheric subduction zones

This paper examines in a very broad fashion the formation of geothermal resources at lithospheric subduction zones. Regions of highly silicic calc-alkaline Quaternary volcanoes and/or plutons have been identified as prime candidates for having high-temperature hydrothermal systems. Regions of large tholeiitic Quaternary volcanoes have been identified as prime candidates for having large moderate-temperature hydrothermal systems. In addition, active magmatic, phreatomagnetic, and/or tectonic fracturing must be occurring in order to keep any moderate to high temperature hydrothermal system from chemically sealing. Connate, meteoric and/or oceanic water sources must also be present. Owing to tectonic and magmatic processes, volcanic arcs of subduction zones represent regions of the crust that have anomalously high mechanical and heat energy. Such arc regions are expected to contain significantly more moderate to high temperature hydrothermal systems than what is presently known. Many of these arcs are briefly discussed with respect to their potential for containing such resources.     

纸厂浆纸动态优化产耗存数学模型研究及系统设计

针对纸厂的浆纸生产过程,通过建立浆纸动态优化产耗存数学模型,开发浆纸动态优化系统,用于计算系统的浆纸平衡情况,合理安排生产计划,预测设备维修时各工段的停车时间,并提供浆纸平衡的监控手段,避免生产过程的不正常波动.     

基于机器人三维模拟仿真的焊接生产线柔性主拼技术研究

为满足生产线柔性设计需求, 对柔性焊接生产线解决方案的难点进行了分析, 提出了基于机器人三维模拟仿真的生产线柔性主拼技术方案, 建立了机器人负载边界模型和基于负载边界模型的机器人选型及快换装置选型方案, 提出了网格式夹具设计方法, 以白车身柔性焊装生产线为例, 建立了面向柔性的网格式夹具设计方案以及网格式装配检测及应力分析, 并对面向柔性主拼中的离线编程技术及三维仿真中的项目权限管理和工作站模拟仿真工作流程进行了分析。该方案在某汽车厂NL-1&NL-2两个车型项目生产线的设计中应用焊接生产线上进行了应用验证, 能满足两车型生产线柔性主拼的需求。     

基于FSVM脱机手写体汉字分类识别研究

针对脱机手写体汉字特点,给出一种采用模糊支持向量机粗分类的方法。根据小波分解像素密度特征,利用模糊支持向量机对汉字进行粗分类。细分类识别提取外围特征,同时融合小波多网格特征,采用一对多算法进行细识别。仿真实验表明,该方法有较高识别率。     

多机器人三维仿真与离线编程系统设计

以支持二次开发的三维实体造型软件为开发平台,通用的C++为编程语言,开发了多机器人三维仿真与离线编程系统。离线规划的典型协作运动作业文件在仿真与真实系统中都完成了所规划的协作运动,由此验证了仿真系统具有多机器人三维仿真与离线编程功能。     

一种基于正弦映射的混沌交织器设计及应用*

移动信道编码中交织器的设计直接影响Turbo码的距离谱和性能,其主要作用是提高低重序列的输出码重和减小译码输出之间的相关性。随机交织器在数据帧较长时性能比较好,通过码序列位置重置实现交织,利用正弦函数的混沌映射有很好的随机性和瞬时正交性的特点,实现了一种新型混沌随机交织器,提高了交织器的误码率性能,并且在伽利略卫星系统中应用达到接近理论值的编码效率和误码率的特性。     

Proof systems for planning under O-approximation semantics

In this paper we propose Hoare style proof systems called PRD^0and PRKWD^0 for plan generation and plan verification under 0-approximation semantics of the action language AK.In PRD^0 （resp.PRKW0D）,a Hoare triple of the form{X}c{Y}（resp.{X}c{KWp}）means that all literals in Y become true（resp.p becomes known）after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems.     

基于OBE的工程图学混合式教学新体系

突如其来的疫情下“停课不停学”的线上教学,使得以成果导向教育(OBE)为理念的教学存在 特殊性。以《现代工程图学》课程为载体,提出突发事件下 OBE 在线教学应着眼于培养学生的图学素养,融 入计算机实体造型。教学重点集中在整合和挖掘教学资源、依托网络教学平台和加强工程能力培养,教学过程 强调以学生为中心的教学理念、加大多元化过程考核机制,拓宽制图课教学的知识面和受训面。构建了“课内 与课外相结合、线上和线下相结合、理论与实践相结合”的混合式制图教学新体系。并在机自专业制图课程教 学过程中加以实践,适度解决了远程教学中课堂互动性差、实践和测绘教学难以及上机实战少等问题,确保与 线下课程教学质量实质等效,为工程类基础课程教学提供改革思路。     

油田数据离线采集系统研究与设计

针对油田生产中数据采集的实时性需求和现有离线采集系统存在的维护工作量大、通用性差、上传不及时等问题,在已有采集系统的基础上,提出一种通用的离线采集系统。该系统采用组件的开发方式和XML文件的数据存储和映射方式,在本地存储加密数据文件,在网络正常的情况下进行传输或者通过手工报送的方式传输到服务器,并按照定制格式对应入库。该系统在很多在线采集中均适用,并且已经在油田生产采集系统中得到应用。     

An analysis method for correlation between catenary irregularities and pantograph-catenary contact force

Pantograph-catenary contact force provides the main basis for evaluation of current quality collection; however, the pantograph-catenary contact force is largely affected by the catenary irregularities. To analyze the correlated relationship between catenary irregularities and pantograph-catenary contact force, a method based on nonlinear auto-regressive with exogenous input （NARX） neural networks was developed. First, to collect the test data of catenary irregularities and contact force, the pantograph/catenary dynamics model was established and dynamic simulation was conducted using MATLAB/Simulink. Second, catenary irregularities were used as the input to NARX neural network and the contact force was determined as output of the NARX neural network, in which the neural network was trained by an improved training mechanism based on the regularization algorithm. The simulation results show that the testing error and correlation coefficient are 0.1100 and 0.8029, respectively, and the prediction accuracy is satisfactory. And the comparisons with other algorithms indicate the validity and superiority of the proposed approach.