T(X)-Subpramart和适应序列的a.s.收敛

引言设(Ω,F,P)即是一概率空间,(F_n)_(n≥1)是F的上升子σ-代数列,T~s和T分别表示(F_n)_(n≥1)的简单停时和有限停时全体。X=(x_n,F_n)_(n≥1)表示适应序列。为叙述简洁常省去“n≥1”记号而把(F_n)_(n≥1),(x_n)_(n≥1),(x_n,F_n)_(n≥1)记成(F_n),(x_n)和(x_n,F_n)。记     

关于几乎正规子群

引入了几乎正规子群的概念,应用某些子群的几乎正规性给出了有限群为可解群的两个充要条件和有限群为超可解群的一个充分条件,推广了文献中一些已知的结论.     

有限单元法 并行稀疏静力学和本征值求解

有限单元法（FEM）及其软件是求解大型工程应用的最有效工具之一。在这类应用问题中，有效的方程和本征值求解器扮演着至关重要的角色。稀疏矩阵及其求解技术已经足够成熟并在商用软件中实现。然而，截至目前，关于稀疏系数方程求解、Lanczos域分解或FEM并行计算的详细介绍的书籍尚不多见。     

Distributed modeling of the beginning and ending dates and durations of limited temperatures over the rugged terrain of Chongqing

A physically based empirical model was established for the beginning and ending dates (BED) of limited temperatures.Data used were daily mean temperatures from 34 conventional stations in the Chongqing region,measured from 1961 to 2000.Using this model in combination with the distributed modeling results of monthly mean temperatures,we developed a method for creating a distributed simulation of the BED and durations of limited temperatures in the rugged terrain of Chongqing.Spatial distribution maps were generated at a resolution of 100×100 m for the BED and durations of the limited temperatures of 0,10,15 and 20.Simulations suggest that the distributed model is able to successfully reveal the macroscopic trends and local distributions.For the modeled BED,the mean absolute bias error is 0.6-2.4 d.Cross-validation and case-year tests show mean absolute bias errors of 1.3-2.8 d and 0.7-2.5 d,respectively.Comparison shows that the simulation results are consistent with the field investigations.This implies that the simulations are as good as observations,thus providing a viable technique for simulating mountainous heat resources using conventional meteorological data.     

有限集上二元关系传递闭包的构造

二元关系的传递闭包是关系逻辑中的重要内容。直接由定义求传递性闭包不好求,所以,通过例子研究有限集上二元关系传递闭包的构造,给出相应的结论及其简化结论,并进行了证明和应用。     

一类无限Frobenius群的研究

在局部有限群中得到了类似有限Frobenius群的结论,即假设G是局部有限群,H是G的有限真子群,如果对任意g∈G-H满足H∩Hg=1,则G存在正规子群N使得G=HN,其中N={G-∪g∈GHg}∪{1},且N是幂零群.     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

知识应用在政府决策中的功能浅议

知识经济时代的到来更加凸显了知识在各种纽织中的重要性。知识的核心价值不在”产生”，而在”应用”，在于通过对知识的应用进而对大自然和人类社会进行改造和创造的伟大行动之中。对于政府而言．知识在政府决策中的应用由来已久，而其最大的功能就体现在知识能最大限度地拓展政府有限理性，提升决策的科学化水平。