朔州市分县分级降水预报实验研究

选取数值预报产品与朔州市6县(区)夏季(6月至8月)降水资料，采用最优子集回归方法，研究了朔州市分县分级降水预报指导产品，用以提高朔州市汛期降水天气的客观预报水平。     

反模糊子环和反模糊理想

本文给出环上模糊子集的和,差,积运算,并且利用和,差,积运算性质,推导出反模糊子环的等价条件及其性质,提出反模糊理想的概念并研究了其性质。     

第二类stirling数的一个恒等式

证明一些恒等式,并给出了当n≥8时的第二类Stirling数{n n-4}     

基于树型角色的访问控制策略及其实现

对于工作职能耦合度高、业务呈交叉状的企业,传统的基于用户或角色的访问控制(RBAC)策略已难以实现信息系统的权限管理．文中结合RBAC的基本思想,提出了一种分层的树型角色访问控制(TRBAC)模型,并在应用程序层实现了基于角色的权限管理方案,实践表明,TRBAC简化了用户、角色和许可三者之间的配置规则,方便了系统的授权管理．     

集成知识系统的权责控制

集成知识系统由各类知识系统主体组成, 用于整合企业不同研发部门产生的不同领域的知识. 在整合各领域知识过程中, 需要通过权责控制实现主体活动范围的界定与分析, 以维持主体自治与系统管制之间的平衡, 适应领域知识之间复杂多变的依赖关系. 为了满足这一需求, 提出了权责模型, 在假定主体进程与系统进程间存在共同约定的基础上, 构造了功用空间和上下文代数等结构, 又以此为基础构造了权责空间, 并完成了权责运算及权责关系等形式化工作. 权责模型为集成知识系统实现权责控制提供了一个可行而又有效的方案, 通过权责和权责关系可以完成描述主体活动、界定主体自律范围以及分析权责关系冲突等工作.     

图的L(d~■,1~■)-标号

将图的L(d ,1) 标号问题推广到L(dm,1n) 标号 ,并将其转化成该图的m 方图的L(d ,1n) 标号 .给出了求一般简单图的L(d ,1n) 标号的两种算法 .     

关于函数严格单调性的一个注记

对于几乎可导的连续函数,给出了严格单调的一个充要条件,证明了定义在区间D上的几乎可导函数f(x)严格递增(严格递减)当且仅当f’(x)在D上几乎非负(几乎非正),且D~+(D~-)是D的调子集,其中D~+={x∈D:f'(x)>0}(D~-={x∈D:f'(x)<0})。这改进了有关函数严格单调性的一些结果。     

实数域上一类凸灰子集及其性质

运用灰集合理论，采用区间分析的方法，研究了论域为实数域的一类凸灰子集，给出了正规凸灰子集的概念，并得到了有关它的一些运算规律和性质。     

Co-regular集上的可计算算子

Co-regular集是R^d上的一类集合, 在 第二类能行性理论（简称TTE）的框架下, 研究co-regular集组成的类P上若干算子的可计算性, 这些算子主要包括交、 并、 象、 原象、 补集的内部运算和开集的co-regularization等. 结果表明, 此前提出的所有不等价表示式中, 只有个别表示式对这 些算子是可计算的.     

有限集合上封闭集族的计数（续）

设集合X={}a1,a2,a3,,an,f（n,m）表示X的含m个元素的不同封闭集族的数目.证明了f（n,6）=7n-7/2·6n＋5n＋1-4n＋1＋2·3n-2n-1,其中n=1,2,3,….