基于进程管理的气象文件监控处理

文件实时监控处理过程在控制程序处理过程中被广泛运用。本文结合文件处理的实际工作,描述了文件处理程序的监控处理过程,实现了基于进程管理的文件监控处理与预处理过程的协同工作。     

有关电子政务中行政审批的若干思考

在电子商务的实施过程中,“网上行政审批”是非常关键的建设内容,但是,在效率、安全、稳定、可信度等方面仍存在着一些问题。电子签章等数字证书技术的不断发展,将会为网上行政审批提供网络安全保障。     

Formal testing from timed finite state machines

In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where temporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our formalism allows three different ways to express the timing requirements of systems. Specifically, we consider that time requirements can be expressed either by means of fix time values, by using random variables, or by considering time intervals. Different implementation relations, depending on both the interpretation of time and on the non-determinism appearing in systems, are presented and related. We also study how test cases are defined and applied to implementations. Test derivation algorithms, producing sound and complete test suites, are also presented. That is, by deriving these test suites we relate the different notions of passing tests and the different implementation relations. In other words, for a given correctness criterion, a system represents an appropriate implementation of a given model if and only if the system successfully passes all the test belonging to the derived test suite.     

阿克苏河-塔里木河水系水质污染状况及其可持续发展策略研究

阿克苏河-塔里木河是干旱区纯耗散型内陆河,受人类活动影响,阿克苏河-塔里木河的水质受到不同程度的污染.利用塔河源流之一的阿克苏河中两个监测断面[龙口、西大桥]和塔河干流上游两个监测断面(阿拉尔、十四团)的实测数据对阿克苏河-塔里木河断面水质污染状况进行了分析.初步分析结果表明:①龙口、西大桥监测数据(除SS超标外)均达到国家Ⅲ类水体标准,阿拉尔、十四团监测数据(除SS超标外)均达到国家V类水体标准;②该水系的主要污染物为悬浮物、矿化度、总硬度、氯化物、硫酸盐等,说明该河的污染主要是盐碱化,其中悬浮物对该水系污染最为敏感,这主要和自然因素(水土流失、区域本底值等)有直接的关系.在此基础上对阿克苏河-塔里木河水污染源原因进行了分析,并且提出了阿克苏河-塔里木河流域可持续发展策略.总之,该水系由于天然地质环境、农田排入等因素,维持“中等污染”程度.该河受工业污染不明显,但要防止今后工业废水的大量排入.     

A new coupled high-order compact method for the three-dimensional nonlinear biharmonic equations

This paper presents a new family of fourth- compact finite difference schemes for the numerical solution of three-dimensional nonlinear biharmonic equations using coupled approach. The numerical solutions of unknown variable and its first- derivatives as well as v(=Δ u) are obtained not only in the interior but also at the boundary. A prominent contribution of this work is that the boundary conditions for the variable v are approximated more accurately, which plays an important role for the efficiency of calculation. Finally, numerical experiments are conducted to verify the feasibility of this new method and the high accuracy of these schemes, including the steady Navier–Stokes equation in terms of vorticity-stream function formulation.     

多孔Co3O4纳米片的制备及其电化学性能研究

采用溶剂热法制备片状Co(CO3)0.5(OH).0.11H2O前驱物,经400℃煅烧2 h即可得到多孔Co3O4纳米片.通过场发射扫描电镜(FESEM)和透射电镜(HRTEM)观测了纳米片的形貌,利用X射线衍射(XRD)分析了纳米片的结构,通过循环伏安、恒流充放电和交流阻抗测试了材料的电化学电容性能.结果表明:多孔Co3O4纳米片厚度约为50 nm,孔径主要分布在10 nm左右;0.5 A/g恒流充放电情况下,比容量高达707 F/g,当电流密度高达8 A/g时比容量依然高达547 F/g;同时,该材料循环1 000次后,容量保持率为97.4%.     

塔里木河流域中游绿洲地下水资源评价——以沙雅县为例

地下水资源是我国西部地区水资源的主要组成部分,对地下水资源全面科学的调查和评价,是解决水资源问题的基础性工作。本文尝试采用水均衡方法的同时进行数值模拟的方法对塔里木河流域中游绿洲沙雅县地下水水资源进行评价。结果表明:通过地下水资源均衡计算,绿洲地下水处于正均衡状态,通过数值模拟法计算,绿洲地下水处于负均衡状态。水均衡方法对较大区域地下水资源评价方便易行,但是局部地区精细化计算能力不足,由于多数补给项采用补给系数法计算,结果误差偏大;数值模拟方法对各种尺度研究区均可以进行模拟计算,但是对已有基础资料要求较高,模拟过程充分考虑实际水文地质条件及地下水位动态拟合精度,各源汇项计算精度优于水均衡评价方法结果。两种方法结合应用可更好地用于地下水资源评价。对沙雅县的地下水资源进行评价和分析,目的是科学合理开发利用地下水,保持水土平衡,促进沙雅县经济可持续发展。     

新疆巴里坤县拉伊格来克膨润土矿Ⅰ矿段膨润土矿物学特征

拉伊格来克膨润土矿主要是由玄武岩、玄武安山岩及中酸性火山碎屑岩于火山盆地沉积,后经过流体作用发生水解蚀变而成。结合成矿地质背景,从矿物学角度研究了矿区Ⅰ号矿段膨润土的矿石特征、蒙脱石化学成分、物化性质、矿物组构、应用属性等,结果表明：蒙脱石平均含量68.01％; w （Al2O3）18.45％,含量相对较高;矿石胶质价（＞100 mL/15 g）、膨胀容（36.0 mL/g）、比表面积（395 m2/g）均偏高; ENa ＋/CEC＞69.0％; X射线衍射分析, d（001）在1.22～1.35 nm。综合认为该矿段膨润土主要属钠基和钙钠基,蒙脱石相对含量高,质地优,耐热性能强,是一种优质的膨润土矿产资源。     

不同入射角下的雷达后向散射系数图像模拟

选择了新疆渭库三角洲(库车县、新和县、沙雅县)为实验区,利用Ulaby和Chapp的后向散射模型分别模拟了HV极化和HH极化的入射角为20°、24°、30°、33°、37°和40°的雷达后向散射系数图像。分析了不同入射角下图像各点后向散射系数值的散点图以及统计特征,得出由于入射角度的变化,两种极化的图像后向散射系数值变化较大,其变化趋势均符合余弦函数曲线分布,且模拟SAR图像很好的保留了地面散射信息。     

维吾尔语词法中音变现象的自动还原模型

该文针对维吾尔语的音变现象,提出了一种自动还原模型。与以往方法不同的是,此模型中我们把音变现象泛化,先假设维吾尔语中所有语音都有音变现象,从而将还原问题转化为类似于词性标注问题,再利用标注的方法解决了还原操作。在新疆多语种信息技术重点实验室手工标注的《维吾尔语百万词词法分析语料库》上做了实验,还原模块作为维吾尔语词法分析器的一部分,把词法分析器功能的F值从84.1%提高到了91.4%,同时维吾尔语中词缀数目最多、变形情况最复杂的动词词干的还原正确率也达到了88.6%,实际应用中完全可以被接受。