对称格路与恒等式

对一种简单而又重要的组合结构——对称格路进行了研究。记dn,mn,sn分别为长2n的对称Dyck格路,M otzkin格路,Schr¨oder格路的个数。利用Riordan阵理论得到了他们之间所满足的六个组合恒等式并给予两个组合解释。最后,得到了特殊Riordan阵系数所满足的恒等式。根据某些恒等式估计长为2n的对称Dyck路平均中间高度和平均落在x轴上的点的个数。     

基于关联规则探讨《温病条辨》药对的使用规律

目的:探讨《温病条辨》药对的使用规律。方法:以《温病条辨》三焦篇189个内服复方为研究对象,采用关联规则数据挖掘方法,设定最小支持度为5%,最小置信度为50%。计算药对的支持度和置信度,找出符合规则的药对。结果:筛选出高频药对22组,其中清热药对4组,养阴药对4组,清热养阴药对4组,祛湿药对7组,补气药对1组,补气温中散寒药对1组,温阳药对1组。符合强关联规则的核心药对6组,分别为黄连-黄芩、连翘-银花、连翘-竹叶、白芍-炙甘草、生地-麦冬、干姜-附子。结论:初步总结了22组高频药对的功效及使用规律,可为温病的治疗提供用药参考。     

光滑锥对分的极大元

对于第一象限中的光滑锥在对分下的极大元的个数问题给出了极大元的判别方法,证明了该问题对应于实代数簇在被超平面界定的区域内的整点等价类个数.在二维的情形下,证明了极大元唯一;在三维和更高维数的情形下证明了极大元个数无穷多,并分别给出了具体例子.     

广义α_1对角占优矩阵的判定准则

广义α1对角占优矩阵在数学、系统理论、弹性力学等诸多领域有着广泛的应用,但若是想判定一个矩阵是否是广义α1对角占优矩阵却是比较困难.利用构造的方法,通过对矩阵行标做划分,给出了判定广义α1对角占优矩阵的简洁方法.     

一种基于身份的代理门限环签名方案

在门限环签名体制中,任何t个或者多于t个环成员可以代表整个环产生一个有效的环签名,代理签名能够实现签名权利的委托.基于双线对难解性的问题,提出一个安全的代理门限环签名方案,少于t个代理环成员无法生成一个有效的代理门限环签名,验证者只能确定代理签名人来自某个环,无法获知代理签名人的身份信息.该方案满足匿名性,并在CDHP问题困难的前提下,满足适应性选择消息攻击下的不可伪造性.     

纸箱包装机连续高速纸板供给机构的设计探讨

纸板供给是高速纸箱包装机的瓶颈之一,为了满足80箱/min纸箱包装机的供板需求,提出垂直与水平相结合的解决方案。垂直输送技术比较成熟,实际应用比较普遍,为了提高水平输送速度,提出采用纸板水平短距离移动机构和对辊输送机构相配合的设计方案,对各部件工作原理及结构原理进行分析,论述设计的合理性和实用性,实现快速输送。     

纳米孔壳聚糖接枝四(对-羧基苯基)锰卟啉催化氧化乙苯

为模拟细胞色素P-450酶的催化空腔场所,提高壳聚糖接枝四(对-羧基苯基)锰卟啉(Mn TCPP)的催化活性。采用冷冻干燥法制备纳米孔壳聚糖(np-CTS),并用酰化反应接枝四(对-羧基苯基)锰卟啉获得仿生催化材料―Mn TCPP/np-CTS,同时制备相应的无孔催化材料―Mn TCPP/nonp-CTS。用紫外可见光谱(UV-vis),傅里叶变换红外光谱(FT-IR),X射线(XRD),热重分析(TG)和扫描电镜(SEM)技术对其进行表征,并用于催化空气氧化乙苯研究。催化结果表明:在最佳反应条件下(145℃,0.8 MPa),纳米孔壳聚糖接枝四(对-羧基苯基)锰卟啉比无孔催化材料催化活性提高26%,醇酮收率提高38%。实验结果表明:纳米级空腔有利于充分发挥所固载的锰卟啉催化活性,最大程度地提高固载仿生催化材料的催化效率。     

双线性对代理盲签名在电子选举中的应用

电子选举方案很好地解决了投票过程的安全性、不可重复性、合法性等要求,但在解决代理选民代理投票问题上,仍有待进一步研究。本文在基于双线性对代理盲签名技术基础上,提出一种代理选举的电子选举方案,通过对该方案的安全性和性能进行分析表明,在相同的安全性基础上,该方案无论是在通信量还是在计算量上,都具有一定的优势,实用性较强。     

基于分段趋近律的航天器对地凝视姿态滑模控制

为了提高航天器对地凝视条件下姿态控制精度和鲁棒性,设计了一种基于分段趋近律的姿态滑模控制器。首先,根据航天器轨道参数和目标点地理坐标计算出对地凝视期望姿态。然后,针对当前分段趋近律参数设计不灵活、实际应用存在抖振的缺陷,通过在第二段的幂次趋近律中增添一项线性项,设计了一种全新的分段趋近律。理论证明了该趋近律能有效克服抖振问题;并能在有限时间收敛到滑模面。进而,基于此趋近律设计了一种适用于航天器对地凝视的姿态滑模控制器。仿真实验结果表明,控制器可以获得0.01°的姿态凝视控制精度,在姿态跟踪过程中无抖振现象;并且对外界干扰具有一定的鲁棒性,从而验证了控制器的有效性。     

求解线性规划的几种方法

线性规划是运筹学中应用最广泛的一个分支,详细地分析了线性规划的非多项式算法和多项式算法;给出了求解线性规划问题常用的数学软件,并对这些软件做了介绍。最后给出了线性规划问题的原-对偶内点算法,数值实验表明该算法具有很好的收敛性与稳定性。