浅谈程控交换机的维护

以ZXJ1O程控交换机为例,探讨了交换机的原理及构造等问题,并进一步分析了程控交换机的设备维护的方法。     

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

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

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

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

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%.     

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

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