模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

厌氧-SBR联用法处理味精模拟废水

考察了厌氧-好氧联用法对味精废水处理效果,对废水的COD、氨氮、正磷酸盐去除效果进行研究.研究结果表明,进水COD为2500 mg/L左右,氨氮在136 mg/L左右,正磷酸盐在5.7mg/L左右,出水的COD去除效率为96.7%、氨氮的去除率为96.8%、磷的去除效率92.3%,其出水质量浓度都达到了国家排放标准.     

试论中国区际仲裁裁决司法协助制度中的几个问题

中国内地与港、澳、台之间相互承认与执行仲裁裁决的区际司法协助问题历来是两岸四地研究区际法律冲突、区际司法协助的学者们关注讨论的问题。尤其是为解决中国目前两岸四地的区际仲裁裁决司法协助,内地和港澳地区签订了《关于内地与香港特别行政区相互执行仲裁裁决的安排》、《关于内地与澳门特别行政区相互认可和执行仲裁裁决的安排》两个"安排"之后,安排中存在的问题及其差异更是引发学者们讨论的兴趣。安排中各地区对管辖法院、区际裁决的认定、公共秩序的适用等问题尚存差异,从两岸四地相互认可和执行仲裁裁决的实践看,其问题逐渐显露。这些问题在实现统一区际司法协助立法中值得思考和探讨。     

路由器级拓扑发现目标地址选择问题研究

路由器级拓扑发现对于获取Internet网络拓扑结构具有重要意义,而如何获得拓扑发现的目标地址是其面临的一个主要问题.现有的方法主要使用Internet上公布的BGP(Border Gateway Protocol)前缀,若对其不加处理,对所有的网络前缀都进行探测,所产生的网络负荷和算法收敛时间将难以接受.同时,在选择目标地址时也需要考虑完备性,以保证对目标网络的覆盖程度.文中对已有的"桩网络法"进行改进,实验证明提高了目标地址的真实性以及对目标网络覆盖的完备性.     

实变函数教学中基数概念的直观化

基数的概念、可列集的讨论,都可采用一一对应的方法使其既直观又容易理解,该思想可以证明2个集合是否对等,从而判定基数是否相同,借助于基数可以将集合进行分类,从而使无穷集合也有大小之分。以此为基点,对一些相关结果给出了全新的直观化诠释     

一种基于本体的文本聚类方法

基于本体的文本聚类方法,在文本表示上引入WordNet,并定义了关键概念集,使用WordNet中的概念节点及概念间的语义关系减少文本特征向量维数,提高聚类效果.聚类过程中,算法使用文本的关键概念集和概念特征向量计算文本相似度,利用文本的关键概念集标注聚簇为聚类结果中的各个簇提供解释.实验结果表明,该方法有效地减少了文本特征向量的维数,提高了文本聚类效果以及聚类结果的可解释性.     

手背静脉特征提取算法

提出一种基于有限Radon变换(FRAT)的手背静脉识别新方法.在考虑手背静脉图像"线状"特点的基础上,先将手背静脉图像"分块",再对分块后的图像进行FRAT变换,并提出一种向量非均衡分布可得最大值的方法,提取手背静脉图像纹理特征,最后通过特征匹配进行分类识别.结果表明:与传统的Hough变换和离散Radon变换相比,新方法提高了目标直线特征的检测速度;在有800个样本的数据库上进行实验,获得了96.5%的识别率,表明了算法的有效性.     

Rankine被动应力状态粮仓的Janssen行为

本文针对两种不同尺寸的颗粒,研究了仓底压力的最小值随填充质量和粮仓直径的变化关系,所得结果能用Janssen公式很好拟合,但其中的径向与轴向应力比值约为2,远大于通常粮仓工程规范中的Jaky公式估算值0.4,说明仓底压力最小时粮仓的应力状态靠近Rankine被动态。研究结果表明尽管粮仓的应力状态不尽相同,但它们都能较好地遵守Janssen提出的假设。     

五阶色散KdV方程的交替分段显-隐差分格式

对五阶色散KdV方程给出了一组非对称的差分格式,用这些差分格式与显、隐差分格式组合,构造了一类具有本性并行的交替分段显-隐格式,证明了格式的线性绝对稳定性。数值试验表明,这种方法有很好的精度。     

基于J2EE技术构建WEB OA系统

介绍使用目前企业级应用开发中常用的J2EE开源框架Strutsl,Spring,flibemate及开源工作流引擎JBPM构建一个WEB自动化办公系统.其中重点介绍的功能为工作流程和公文的管理.