SDL语言及其在TD—PRS终端开发中的应用

SDL语言是CCITT推荐的规范与描述性语言，由ITU—T发展和标准化，被定义在兰皮书Z．100建议中，采用FSM的概念来描述对象。作为国际标准化的正式语言，它被用来规范描述实时系统，因此主要论述了规范描述语言SDL及其在TD—PRS终端开发中的应用。     

Windows下使用SPI过滤网络数据包

在Windows平台下 ,尽管具体的实现方法有所不同 ,但是防火墙的基本原理都是基于对网络数据包的过滤 .SPI是Winsock 2提供的一种工作在用户模式下的过滤数据包的新特性 .对SPI的工作原理和具体实现做了详细的分析     

Optimal Dispatching of Large—scale Water Supply System

This paper deals with the use of optimal control techniques in large-scale water distribution networks. According to the network characteristics and actual state of the water supply system in China, the implicit model, which may be solved by utilizing the hierarchical optimization method,is established. In special, based on the analyses of the water supply system containing variable-speed pumps, a software tool has been developed successfully. The application of this model to the city of Shenyang (China) is compared to experiential strategy. The results of this study show that the developed model is a very promising optimization method to control the large-scale water sup-ply systems.     

A UDDI Based Shared Resources Management Mechanism in Virtual Enetrprises .

Service and information resources are two kinds of major shared resources in virtual enterprises, where, service resources include third party‘s service resources and enterprise‘s legacy service resources, and information resources include database resources and file resources. Since service and information resources have distributed, autonomic, remotely bound as well as some other similar characteristics, an implementation mechanism on managing shared resources based on UDDI are presented. XML instances are used to describe resources authorization information, WSDLbased special XML instance represents information resource metadata, and these XML instancesare referenced by tModel for realizing the purpose of managing shared resources metadata based on UDDI.     

An iterative algorithm in potential-field inversion

1　Principle and MethodAll the problems of potential- field inversioncan be concluded that of solving nonlinear functionas follows:b =f( x) ( 1 )where x =( x1,x2 ,… .xn) T,xj( j =1 ,2 ,… ,n)indicate geometricparameters and physical parame-ters of the object;b=( b1,b2 ,… ,bm) T,bi( i=1 ,2 ,… ,m) indicate potential- field measurements.Main algorithms for expression( 1 ) are leastsquare method ( include damping least squaremethod ) ,gradient method ( conjugate gradientmethod and variable met…     

鄂尔多斯盆地低渗透油田注水开发的调整与优化

根据鄂尔多斯盆地成功开发的主要特低渗油田——安塞、靖安、华池油田长6、长3油层的储层特征及开发实践,提出了改善特低渗油田注水开发效果的注采参数、注水方式优化及调整技术,从而达到提高单井产量及最终采收率,降低开发投资和生产成本,以提高整体开发效益的目的.     

数学新课程在西南地区适应性调查研究

数学新课程改革与实验顺利展开的关键在于全国统一性与地方多样性的有机协调和互动融合．为此，通过对西南新课改实验区管理者、教师、学生、家长及师范生的调查，初步解析了制约新课程实施过程中多样性和统一性有机协调的相关因素，诊断出数学新课程在西南地区的适应性水平，提出了相应的理论思考和实践建议．     

永磁非金属液体电磁泵磁场数值分析

将电磁泵体求解场域按二维平面场处理,考虑了外磁场对永磁体的磁化效应,用有限元法对永磁非金属液体电磁泵的磁场进行了数值分析,得到了该电磁泵气隙中的磁密曲线以及载流海水在气隙中流动所受到的电磁力.实验证明该数值分析的结果是准确的,这些数据为永磁非金属液体电磁泵的设计和应用提供了可靠依据,同时也说明了可用永磁体代替价格昂贵的超导磁体应用于非金属液体电磁泵的磁极设计.图7,参7.     

强连续余弦算子函数的不可约性

讨论了强连续余弦算子函数的不可约性及其共轭扰动余弦算子函数的不可约性,建立了以下两个结果:1)设(X,‖·‖)为Banach格,{C(t)}t≥0是正的强连续余弦算子函数,B∈B(X,XΘ)是一个正算子,那么,扰动余弦算子函数{CB(t)}t≥0是不可约的充要条件为:J={0}及J=x是仅有的满足C(t)J J,K(λ)J J的闭理想,这里t≥0,K(λ)=R(λ2,AΘ)B.2)设{C(t)}t≥0是Banach格上的具有生成元为A的正余弦算子函数,则以下论断等价:①{C(t)}是不可约的;② 0>0;③对λ>S(A),R(λ2,A)是强不可约的;④对λ>S(A),R(λ2,A)是不可约的.     

一般流行病患病人数与人口数量之间的关系

就患病治愈后有很长免疫期的一般传染病传播过程进行研究,建立了该类疾病传播过程的动态微分方程模型.通过模型求解和数据实验测试,在假设传染强度为10-5并且恢复系数是0.2的条件下,得到结论:人类要战胜相应类别的传染病,应该尽可能把城市生活区规划成不超过2万人口的小区.