复对称内积空间的等角基

该文讨论了复对称内积空间中存在等角基和标准正交基的条件及结果，给出闵柯夫斯基空间Ｍ＾ｎ不存在标准正交基的证明。     

事务框架下主动规则的并发控制算法

探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系,提出一个关发控制算法,并基于层次可串行性标准证明算法的正确性。     

方阵分解为二对称阵之积的初等证法

矩阵论中矩阵的分解是很重要的内容。本文借助于矩阵的Jordan标准形给出一种方阵分解为二对称阵之积的初等证明方法。     

纯量矩阵的几个充要条件

利用矩阵乘法的可交换性、矩阵特征向量、对角化、相似标准形,给出了纯量矩阵的几个充要条件,对文献[1]的主要结论给出了一个等价命题,并提供了一种简便的证明方法.     

汽车半主动悬架的神经网络控制

针对目前标准BP神经网络的缺点,提出基于高阶导数的多记忆BP算法,将能量函数的 阶导数与最速下降方向相结合,构造出一个新的最速下降方向,从而提高了神经网络的学习速度。证明了该算法相对于传统梯度算法的快速性,然后给出了该算法的实现方法,并进行了算例仿真。为了证明其实效性,设计了汽车半主动悬架神经网络控制器。结果证明,该算法便捷、实用、有效。     

关于Jordan标准形

该文首先定义线性变换(矩阵)的最小多项式，讨论它的若干性质，并给出求过渡矩阵的方法，从而得到Jordan标准形的一种比较简洁的证明。     

高校关爱贫困生健康成长的对策研究——以黄河科技学院为例

<正>自实行收费制以来,我国高校的收费标准不断提高。目前,一般高校的学费标准在4000元左右,民办高校和对外合作办学高校则高达10000元以上。目前,河南省普通高校中贫困大学生的比例约为20%~25%。根据调阅大学生三级贫困证明表、问卷调查、接待和走访有关同学及其家长发现,当今在校学生贫困状况令人担忧。他们家庭情况千差万别,而共同的特点是贫     

一类二次曲面在正交变换作用下的几何解释

证明并给出了二维空间中一类正交变换的几何意义,并将这一结论推广到三维空间中的一类正交变换;通过三维空间中的此类正交变换的几何意义,得到了一类二次曲面如何由标准的二次曲面旋转而得到的具体过程.     

低品位硅藻土选矿提纯及生产食品助滤剂的研究

本文论述了对吉林省桦甸市低品位硅藻土进行热浮选－磁选－酸煮提纯的研究工作，结果证明，利用这种提纯方法，很容易使低品位硅藻土达到用作食品助滤剂的企业标准．本文还提出了生产食品助滤剂的工艺流程     

基于AHP的大学生综合素质测评模型

采用层次分析法分析了高校大学生综合素质测评的现状,用一致性检验标准进行检验,并对目前大学生综合素质测评模型存在的问题进行纠正和改进.通过实验证明,改进后的综合素质测评模型更符合目前大学生综合素质培养要求.     

关于认证机构及认证管理系统的研究

把认证管理系统的分布式结构抽象为无圈有向图,在图中讨论了如何通过不同的有向道路得到相同的有效证书.在这个分布式结构中,引入了可信度的概念,并解决了当用户对认证机关不是完全相信时应如何得到最终有效证书的问题.修正了[7]中引入的不确定性应满足的原则,并证明了PGP(一种电子邮件应用软件)满足提出的可信原则.     

基于双区块链的PKI模型

公钥基础设施（public key infrastructure,PKI）体系为实施电子商务、电子政务、办公自动化等提供了非常重要的安全服务。该文以区块链和智能合约为基础构建了证书颁发机构（certificate authority,CA），提出基于双区块链的分布式PKI模型，以医疗PKI为应用场景，用区块链和智能合约技术管理证书和病人信息，保证了证书发布和撤销的透明性，实现了病人信息的隐私保护和访问控制，解决了传统的PKI中存在的单点故障、多CA互信、证书发放不安全、证书透明性以及快速验证等问题。安全性分析和实验表明该模型可以解决传统PKI和现有单链PKI模型中存在的多种问题，有效保护了病人的隐私，并显著提高了证书发放和验证的效率。     

一种与路由结合的802.16多跳双向认证SA管理机制

先提出了一种更为强健高效的PMP双向SA(安全关联)认证机制,只在首次认证时传递证书,降低了网络传输开销.随后提出了一种和次优路由结合的mesh多跳双向认证SA管理机制.与原有机制相比,这两种机制是前向安全的,对中间节点的攻击具有强安全性,同时,mesh多跳双向认证SA管理机制在按需路由建立前使用次优路由传递管理信息可减少服务流建立时延.     

基于区块链的云存储数据完整性验证方案

针对云存储服务数据完整性存在的问题,借鉴目前远程数据完整性验证方案,提出基于区块链的云存储数据完整性验证方案。首先,将完整性证明存储在具有防篡改特性的区块链上,构建了可问责的数据完整性证明;同时以区块链上的智能合约代替第3方审计者对数据进行完整性验证。在验证阶段加入了对数据副本的完整性验证,并强制要求云存储服务存储至少一份数据副本。此外,首次引入第3方仲裁机构,利用可问责的数据完整性证明对恶意的云存储提供商和用户的非法请求进行完整性仲裁。最后经过分析和实验证明该方案是安全的,可行的。     

一个新的无证书不可否认签名方案

无证书密码体制（CL-PKC）是新近提出的一类新型公钥密码体制.它保持了基于身份的密码体制（ID-PKC）不需要使用公钥证书的优点,又较好地解决了基于身份的公钥体制所固有的密钥托管问题.对无证书体制下安全高效的签名方案的研究是受到高度关注的研究课题.本文用双线性对和零知识证明协议,构造了一种新的无证书不可否认签名方案.     

高职教育与职业资格证书教育关系的研究

高职教育作为与社会需求结合最为密切，以就业为向导的高等教育类型，具有鲜明的职业属性，与“以职业活动为导向、以职业能力为核心”的职业资格证书制度有着极其密切的联系。为适应日趋激烈的就业竞争，许多高职院校纷纷大力推行并实施学历证书与职业资格证书并重的“双证书”教育模式，取得了较好的成效。处理好高职教育与职业资格证书教育的关系，在职业院校的发展中显得十分重要。     

高职教改中职业标准设置探析

在高职院校实行职业资格证书制度是高职教育深化改革的一个趋势,也是加快高技能人才队伍建设、促进高职生就业的重要举措。     

关于群的弱同态的一个结论

设G1,G2为群,映射f:G1→G2是弱同态映射,通过在G1中构造同态元集和反同态元集,证明了f不是同态映射就是反同态映射.与相关文献相比,该证明过程简洁明了.     

一个基于组件的CA认证中心的设计

CA认证是保证网络数据安全传输的有效的技术手段,如何建设一个灵活的、便于维护和升级的CA认证中心系统更是意义重大．本文提出了一种基于组件技术的分层的CA认证中心结构．该系统结构灵活,易于扩展,并采用UML作为设计工具．     

论高校女子七项全能运动的训练特点

本文分析了多年来高校女子七项全能在训练中存在的问题，对女子七项全能运动的训练特点进行了全面探讨，提出了符合高校特点的训练方法。经实践证明采用该训练方法符合高校训练规律，有利于提高运动成绩。