基于Web Services构建分布式高校信息系统

随着信息和网络技术的发展，信息化建设已成为高校的一项重要基础工作．本文系统分析了当前高校信息系统的现状和存在的问题，提出了基于Web服务(XML Web Services)技术构建分布式高校信息系统的架构和建设思路．     

计算机模拟在薄膜外延生长中的应用

计算机模拟是计算机技术的一个重要应用领域,具有高效、快捷、经济等多种特点.以Cu膜为例用Monte Carlo算法模拟了薄膜生长的随机过程,并提出了更加完善的模型.在合理选择原子间相互作用计算方法的基础上,考虑了原子的吸附、在生长表面的迁移及迁移所引起的近邻原子连带效应、从生长表面的脱附等过程.利用自行编写的4个软件模拟计算了薄膜的早期成核情况以及表征薄膜生长表面状况的粗糙度和表征薄膜内部晶格完整性的相对密度.结果表明,随着衬底温度的升高或入射率的降低,沉积在衬底上的原子逐步由众多各自独立的离散型分布向聚集状态过渡形成一些岛核,并且逐步由二维岛核向三维岛核过渡.在一定的原子入射率下,存在3个优化温度,成核率最高时的最大成核温度Tn,薄膜的表面粗糙度最低时的生长转变温度Tr,相对密度趋近于1时的相对密度饱和温度Td.三者均随入射率的对数形式近似线性增大,并且基本重合.这说明在一定入射率下这3个优化温度近似相等.这一现象的原因在于三者的形成机理都是基于原子的热运动.这一结论使探索工艺条件时不仅可以采用计算机模拟的方法,而且可以从早期最大成核条件预计沉积较厚薄膜的最佳生长工艺.同时发现,随着入射率的增大,相对密度不断减小.可是在不同温度区域入射率对早期成核率和表面粗糙度的影响不同.当温度较低时,随着入射率的增大,最大成核率基本不变,表面粗糙度不断增大;当温度较高时,随着入射率的增大,最大成核率不断增大,但表面粗糙度不断减小.     

环中的α-cut模糊理想

在环中引入α-cut模糊理想,给出判别模糊子集是α-cut模糊理想的充分必要条件;提出模糊子集值的概念,解决了(∈,∈∨q)-模糊理想的推广和模糊理想集合的排序问题;同时,在有限环中给出了模糊子集值的一种有效算法.     

基于PAC算法的流数据Top-k实时查询

针对流数据的Top-k查询问题,为降低对存储容量和处理时间的要求,利用概率近似正确(PAC)原理,提出了一种实时查询算法,通过随机抽样近似地估计流数据中最大的k个数据,并保证误差和可信度均在规定的范围内.该算法设置k个随机独立排序器,每个排序器独立地抽取N个数据并返回各自不同的最大值d,然后用这k个最大值排序获得该流数...     

广群中的模糊素关系

在广群中引入了模糊素关系、模糊强素关系及模糊弱素关系的概念，讨论了它们之间的关系及其基本性质．     

拟代数簇包含关系的判定算法

判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .文中给出了判定算法和计算实例     

码(基语言)序列与前缀码在保长意义下的优良性

本文引入了码序列的概念,证明了非负整数序列{k_i}是某字母表 X 上的码序列的充要条件为{k_i}满足(?)其中 N=|x|.由码序列的这个特性,我们得到:(i)任一码都与一前缀码保长等价;(ii)码是极大码的一个充分条件是(?)(iii)上述条件对于有限前缀码为极大前缀码是充分必要的.     

形式语言的Schreier描述系统

形式语言的描述问题,是形式语言研究中的一个重要课题。现有的为Chomsky所定义起来的一类形式语言,有所谓文法,自动机等描述方法。为开展形式语言代数理论的研究,我们移植群论中自由群子群的Schreier方法到语言上,建立了形式语言的Sehreier系统这一新的描述方法。 令∑为一有限集合,则我们有     

一种Ad Hoc网络收方发起的媒体接入控制算法

在结合多包接收技术以及功率控制的基础上提出了一种发射能级可控的应用于AdHoc网络的收方发起的媒体接入控制算法,并对其吞吐量和能耗作了分析。与RTS/CTS(requesttosend/cleartosend)握手机制相比,在一定假设条件下,网络吞吐量有着明显的提高,与此同时,系统发射功率最多可降低60%以上。