A Layer-Stripping Method for 3D Near-Surface Velocity Model Building Using Seismic First-Arrival Times

In order to improve the efficiency of 3D near-surface velocity model building, we develop a layer-stripping method using seismic first-arrival times. The velocity model within a Common Mid-Point (CMP) ...     

Reconsideration on Homogeneous Quadratic Riemann Boundary Value Problem

The homogeneous quadratic Riemann boundary value problem (1) with Hoelder continuous coefficients for the normal case was considered by the author in 1997. But the solutions obtained there are incomplete. Here its general method of solution is obtained.     

n个Schrodinger算子积自伴域

本文讨论了由微分算式l=-d2/dt2 q(t)生成的具有某种边界条件的n个正则Schrodinger算子Li(i=1,…,n)的积Ln…L2L1自伴性问题,证明了积算子Lm…L2L1自伴的充分必要条件为=L*n 1-i(i=1,…,[n 1/2]).     

粉末冶金陶瓷模工艺中的快速脱蜡新技术

粉末冶金陶瓷模工艺是一种先进的过净形成形工艺．本文报道该工艺中一种新的脱蜡技术．采用快速加热、管径集中热量和定向导热传热综合方法，在陶瓷模和大部分蜡模材料处于较低温度下，使蜡模材料来不及发生显著的热膨胀而直接蒸发，得到脱蜡干净、外形完整的陶瓷模．     

矿山酸性废水的治理及综合回收

研究了ｐＨ值、中和剂、硫化物等对沉淀除去酸性矿山废水中有害金属离子的影响以及回收废水中重金属离子的可能途径．确定了ＣａＣＯ３除铁－Ｈ２Ｓ沉铜、锌－石灰乳中和絮凝沉淀处理矿山酸性废水的工艺．出水水质可达到国家排放标准．硫化渣中含铜量达３２％，含锌量７．２％，可以综合回收铜、锌等有价金属．     

Desargues定理的推广

本文将射影几何著名的Desargues透视三点形定理推广到四面体和三维射影空间的完全n(n≥4)点形(体)中。     

平果铝高压溶出过程结疤形成影响因素探索

平果铝高压溶出过程，结疤的形成是不可避免的，而且对生产带来的危害也很大。对结疤形成影响因素的研究，对于生产中结疤的治理，强化氧化铝生产具有十分重要的意义。     

三峡库区移民区曲溪小流域能源利用分析

通过分析小流域的能源资源现状、不同时期能源需求变化对生态环境的影响、秸秆利用对坡耕地生产力的影响、经济发展对生物质能需求影响、节能及替代能源对生物质能需求的影响等,提出了解决能源问题,促进生态环境持续改善的对策.     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.