公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

中国和美国信贷冲击跨境溢出效应的比较研究

本文构建了基于符号约束识别的GVAR模型,并用以考察中国和美国的信贷市场冲击对全球41个国家的不同溢出效应.研究结果表明,中国紧缩性信贷市场冲击对本国实体经济有显著的负效应,但仅限于短中期;而美国信贷冲击对本国乃至全球经济都具有相当大且持久的负影响.中国信贷冲击的跨国效应较小,且主要通过贸易渠道.中国信贷市场的本国冲击能解释中国产出近10%的波动,但无论是本国效应还是跨境传导,总需求冲击仍是驱动中国经济周期波动的最主要力量.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

浅论高校图书馆的财务管理

结合工作实际,阐述了图书馆财务管理的基本内容及其重要性,探讨了图书馆财务工作的基本规范化管理,强调了加强馆内财务预算管理的问题.     

基于模型的汽油机电子节气门控制器设计

摘要： 建立了电子节气门系统模型，并通过系统辨识方法得出模型参数.根据被控电子节气门的摩擦力和非线性回位弹簧模型，设计了前馈非线性补偿控制器.将经过前馈非线性补偿后的电子节气门系统简化成线性系统，并对该线性系统进行H无穷控制器的设计.对设计的H无穷控制器进行离散化，并加入比例控制环节来弥补控制器离散化导致的性能下降.经过试验验证，在前馈非线性补偿器、H无穷控制器和比例控制的作用下，被控电子节气门的性能达到了设计需求.     

云南老厂矿区煤层气地质条件

在分析矿区地质条件、煤岩及煤储层特征的基础上,探讨研究区煤层气地质条件.结果表明:老厂矿区龙潭组和长兴组含煤性好,煤层厚度大并且分布稳定,煤质以无烟煤为主,生烃量大,生烃能力强;煤岩组分稳定,镜质组含量高,对甲烷吸附性强;煤层孔隙度较低,渗透率中等;解吸率和储层压力偏高,中等含气性,含气量在6.02 ～ 18.95 m3/t.研究区构造类型和水文地质条件相对简单,围岩封盖及地下水封堵作用强,利于煤层气的富集成藏.综合分析认为,老厂矿区属中型富甲烷煤层气目标区,煤层气成藏地质条件优越,煤层气资源丰富,开采条件优越.     

Fe~(3+)-水合红菲绕啉二磺酸钠分光光度法测定异烟肼

基于异烟肼分子结构中的酰肼基具有较强的还原性,可将Fe~(3+)还原为Fe~(2+),选择水合红菲绕啉二磺酸钠作为Fe~(2+)的显色剂,建立了可见分光光度法测定异烟肼的新方法.在最佳实验条件下,异烟肼的浓度在0.04~3.2μg·mL-1范围内符合比尔定律,表观摩尔吸光系数ε=1.14×104 L·mol~(-1)·cm~(-1),检测限为0.033μg·mL~(-1).方法可用于异烟肼片剂和尿样中异烟肼含量的测定.     

中职教学中FANUC系统数控车床对刀方法研究

在数控生产中,对刀是十分重要的一个环节.哪怕是有了正确的加工程序,也会因为不会对刀而加工出废品.加工质量的好坏与对刀的精度有着直接的关系,对刀的效率也极大地影响着加工效率,从而影响生产效率,影响生产成本.在学生的日常数控实习实训中,也总会出现很多对刀带来的问题.该文就以FANUC Oi 系列数控车床为例,通过原理和实例结合,研究常用的对刀方法.     

基于变量选择-神经网络模型的复杂路网短时交通流预测

摘要： 针对传统交通流预测模型正在由单断面历史数据处理向多断面、多时刻历史数据处理转变,但在考虑各断面间的影响时,多变的交通状况往往会使预测模型复杂化的问题,引入一种多元线性回归最小绝对收缩和选择算子方法(Lasso),并利用其优秀的变量选择能力,在复杂路网多断面中选出相关性较高的断面；结合神经网络(NN)的非线性特性,提出了Lasso NN组合模型.结果表明：Lasso NN模型在路网交叉口对未来15 min交通流数据预测的误差率低于9.2%；在非交叉口的误差率低于6.7%,总体优于各自单独使用得出的结果.     

基于交通信号灯信息的混合动力汽车节能预测控制方法

针对传统混合动力汽车控制方法不考虑已知道路交通信号灯信息对车辆能量管理影响的问题,提出了基于交通信号灯信息的混合动力汽车节能预测控制智能优化策略。通过建立混合动力汽车系统的简化模型,并采用连续广义最小残量方法求解模型预测控制问题。运用MATLAB/Simulink进行仿真,仿真结果验证了交通信号灯信息模型的有效性,以及所设计的模型预测控制算法大幅度提高混合动力汽车的燃油经济性的能力和实时控制性能。研究结果表明所提出的控制策略可以实现车辆行驶轨迹的优化控制,显著提高了车辆的燃油经济性,并满足系统的实时最优控制要求。