基于综合矩阵的城市公交网络模型的公交换乘研究及算法实现

提出建立基于综合矩阵的城市公交网络模型。该模型以城市道路网络为基础,并结合了现有公交网络。运用建立的综合矩阵模型结合布尔算法原理提出了改进的布尔算法,并成功应用于城市公交换乘求解,运用该方法在站点客流量约束条件下进行求解,最后对建立的模型进行了示例验证。     

一种小支持度布尔关联规则的挖掘方法

关联规则挖掘算法一般用于发现强关联规则,对于小支持度规则的挖掘则缺少有效的算法.利用事务数据的时间特性,将事务数据集划分成若干子集,对子集进行挖掘,并在得到的规则集基础上建立规则矩阵,过滤矩阵,得到一种挖掘事务数据集中小支持度布尔关联规则的新方法.     

最优近似粗糙集的矩阵计算

在粗糙集理论与应用研究中,由近似空间导出粗糙集的上、下近似集是它的核心基础。但是这种刻画只是给出一个范围,为了更精确刻画目标概念,推广粗糙集的应用,针对粗糙集的最优近似集的计算问题,提出一种基于矩阵的计算方法,为此引入布尔矩阵、关系矩阵、集合矩阵、集合相似度矩阵等定义,通过对目标概念与其近似集之间相似度讨论,得到它们之间相似度变化规律,由此建立粗糙集最优近似集的矩阵新判断与算法。最后通过实例对上述结论作进一步说明。     

布尔逻辑公式中文字和小项的可消性

本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。     

一种基于图论与最大路径的关联规则挖掘算法

关联规则的挖掘目标是发现数据项集之间的关联关系或相关关系,是数据挖掘中的一个重要课题。对于超大数据集,传统算法效率较低,对其加以改进,给出了一种基于图论与最大路径的关联规则挖掘算法。该算法将事务集构造成布尔矩阵,经矩阵清理后,将其转换为图的形式,根据关联规则图生成邻接矩阵。当取步长为k且k2时,按行从第一个非0元素开始遍历,寻找最大权值路径,此时连接所得元素的行列索引即频繁k+2项集。实验结果表明该算法减少了对数据集的扫描次数,针对大数据集,相较于传统的Apriori算法能够显著缩短时间,大大提高效率。     

基于多值开关级代数的逻辑设计自动化

本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。这些算法包括：由真值表导出最简布尔表达式的算法；由布尔表达式导出与各种MOS电路相应的开关级代数表达式的算法；由开关级代数表达式导出其等价的MOS元件联接关系表的算法；从而初步实现了组合MOS电路的逻辑设计自动化。     

逆韦布尔分布下n中取k系统的随机比较

研究了元件寿命服从特征寿命参数不同,形状参数相同的逆威布尔分布下,两个由独立元件构成的串联系统分散序的随机比较问题,并给出元件特征寿命不同,形状参数相同(或不同)的逆威布尔分布下,两个由独立元件构成的并联系统在洛伦茨序、星序以及失效率序之间的随机比较.同时给出了满足各种随机序时其分布所含参数间的相应关系.     

基于修正的威布尔分布的最小风险投资组合的理论研究

投资组合的风险和收益变量完全由它们收益的多元分布的信息所决定,传统的投资组合理论都是假定资产收益服从正态分布,而实证表明它具有明显的尖峰厚尾性.为了解决这个问题Sornette提出了一种修正的威布尔分布,文中基于修正的威布尔分布计算出了独立资产和共单调资产情形下投资的组合,并推导出最小风险投资组合的组成.     

混合砂混凝土弯曲疲劳性能研究

开展了混合砂混凝土在3种应力水平下的弯曲疲劳试验,进行了混凝土疲劳寿命的威布尔分布检验,拟合了平均弯曲疲劳寿命的lg S-lg N方程、考虑失效概率的F-lg S-lg N方程,计算了混凝土疲劳极限强度。结果表明:混合砂混凝土的疲劳寿命符合两参数威布尔分布;相同应力水平下,随着失效概率的减小,疲劳寿命随之减小。混合砂混凝土疲劳寿命N=2×106时,疲劳强度折减系数为58%。     

基于神经网络的汽车制动系可靠性分析

以某轻型客车制动系统为例进行可靠性分析,利用威布尔过程对这些数据进行了拟合,用人工神经网络方法进行参数估计,计算所获得分布的参数值,绘制出可靠度曲线。     

基于泛布尔代数的交通信号控制的数据挖掘

提出了将基于泛布尔代数理论的数据挖掘技术应用到城市交通信号控制中。针对城市单个T形交叉路口的交通流控制,利用这种新的数据挖掘技术对其进行了初步分析,采用了多相位实时控制策略;对提取的决策规则,建立起决策系统的泛布尔模型。仿真结果表明,通过这种新的数据挖掘技术得出的控制模型,对实时改善交通流的管理和控制,效果优于传统的交通流控制技术。     

基于布尔可满足性的动态路径优化算法

在对现有的经典路径优化算法性能进行分析基础上,指出现有算法的缺点。通过对布尔可满足性理论的研究,提出基于布尔可满足性的路径优化算法,并结合记忆机制,将其应用在动态路径优化中,减少最短路径的搜索时间和不必要的重复搜索,体现该算法的优势。最后,利用该算法对一简单路网进行验证。     

一种新的远端移动代理的安全保护机制

在目前的移动代理系统中，保护主机免受恶意代理攻击的研究已经取得了很大的进展，而对于远端移动代理免受恶意主机攻击的问题，尚没有很好的解决方案，文中提出了一种利用JavaCard为远端移动代理，提供安全的执行环境的保护机制，并在此基础上引入了基于布尔代数运算的代码分割算法以提高本方案的安全性．实验结果证明该方案具有较好的安全性和健壮性．     

在对称卡诺图上化简多输出布尔函数

用解析法或卡诺图对比法化简多输出的开关电路,既不直观,又易漏项,而且工作繁琐,使用不便.本文把多输出的化简移入对称卡诺图中进行,可准确求出最简布尔式.此法也可往计算机上进行,使用方便,容易掌握.     

图的增广支配数

增广ｐ一中心是在原有的服务设施基础上增加ｐ个设施为网络中的顶点提供紧急服务,因此增广ｐ一中心问题比经典的ｐ一中心问题更具有实际意义。本文提出了图的增广支配集、增广支配数的概念,这些概念与增广ｐ一中心问题密切相关,给出了求任意图全部极小增广支配集的布尔方法,提出了一个线性时间的算法求树的增广支配数。     

基于VRML数控车削加工全景仿真技术研究

针对数控加工仿真依赖于昂贵CAD／CAM软件平台局限性，基于VRML，建立虚拟数控车削加工环境，利用参数化特征造型技术，将加工工件抽象成系列单体特征，取代繁复布尔运算，实现数控车削全景仿真。     

关于剩余格的正则滤子

基于一般的剩余格,引进了正则滤子的概念,给出了正则滤子的一些特征刻画,并且建立了正则滤子与其它一些特殊滤子(G-滤子、MV-滤子、Boolean滤子)之间的内在联系.证明了一个剩余格为正则剩余格当且仅当它的每个MP滤子是正则滤子.     

Research on Modeling of Genetic Networks Based on Information Measurement

Introduction Alongwiththecomingofpostgenome,the researchaboutgeneticnetworksgainedmoreand moreconcern[1-3].Thebiologyorganismincludes threenetworks-geneticnetworks,proteinnet-worksandmetabolicnetworks.Theresearchof metabolicnetworksisaboutenzymaticactivityof energytranslationincell.Theproteinnetworks concerninteractionsofproteins.Theproteinnet-worksareverycomplexduetotheirlargenumber.Thegeneticnetworksareaboutregulationinterac-tionsbetweengenes,proteinandothermolecules.Becauseproteinnetworks…