一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

四-对羟基苯基卟啉的自组装及光电特性

利用X射线光电子能谱(XPS)测试5,10,15,20-四-(对羟基苯基)卟啉单体和5,10,15,20-四-(对羟基苯基)卟啉自组装二聚体,并通过化学模拟得到卟啉自组装二聚体分子的最优构象.结果表明:两种卟啉化合物中氧原子的类型不同;在单体卟啉中未检测到瞬态表面光电压信号,卟啉自组装二聚体表现出较好的瞬态表面光伏特性;卟啉自组装二聚体的光限幅性质优于卟啉1单体.     

基于重抽样分布的一类模糊累积和控制图

过程变量在代表产品或服务过程信息时并非完美，而使用模糊数可能是另一较好途径。文章进一步完善模糊累积和控制图，其中使用中心和扩展具有重抽样分布的模糊随机变量，并给出模拟例证。     

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

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

微信公众平台在大学生安全教育中的应用

阐述微信公众平台的优势,分析利用微信公众平台开展大学生安全教育的可行性,通过突出信息推送功能、以案讲案、引导大学生参与平台建设等措施发挥微信公众平台载体作用,提出转变传统的安全教育观念、开发信息反馈功能、需要优秀编辑人员等完善微信公众平台运营的建议。     

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

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

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

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

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 系列数控车床为例,通过原理和实例结合,研究常用的对刀方法.     

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

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