应用程序用户界面设计

随着计算机软、硬件技术的发展，应用程序用户界面的重要性与日俱增，而在设计程序时如何合理的编排、处理界面元素，设计出美观实用的用户界面，本文将作出论述。     

特种支架在煤巷交岔点中的使用

矿井在深部煤层开采过程中，煤巷交岔点使用特种支架，会取得较好的技术、经济效益。     

试析庐隐小说的特点

本文试着分析庐隐小说的特点:浓厚的自叙传性质;以情感人的悲剧意识;对女性命运的追问;融情入景的笔调。旨在说明庐隐作品在中国现代文学史上的地位是应当切实加以肯定的。     

Bernoulli数模2r和3r的同余式

设{Bn}为Bernoulli数,m、n为自然数,本文证明了同余式(2-22n)B2n≡1-4n ∑mk=1(2n)/(2k)24kB2k (mod 24m 3)与(3-32n)B2n≡2-6n 2∑mk=1(2n)/(2k)32kB2k (mod 32m 1).取m=1,2,得到[5]中宣布的(2-22n)B2n(mod 27)与(3-32n)B2n(mod 35)的简单同余式.     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

关于Euler数的一些恒等式

将欧拉数的形如的累加和的递推关系式更具体。     

关于Fibonacci数列的两点注记

注记给出了Fibonacci数列两个重要公式的组合表达式,以及Fibonacci数与级数有关的两个新结果。     

Petri网络在无控制交叉口延误分析中的应用

选用比较适合描述系统组织结构和动态行为的Petri网络模型对主路优先通行的无信号交叉口运行过程建立HSPN模型．在此基础上，结合间隙接受理论，对无控制交叉口进行平均延误分析探索，为交叉口仿真控制软件的研发奠定了算法基础。     

关于树的几个问题

定义了树T的一个全序(《),证明了(《)的一个性质,运用这个性质证明了序数理论中的一些已知结论,使证明大为简化.     

B值极限鞅差序列的Brunk型大数定律

分别对于取值于p-致光滑空间的极限鞅、概率极限鞅和L1极限鞅的差序列证明了Brunk型大数定律，推广了Woyczynski中关于鞅的相应结论。