现行科技成果奖励办法的利弊分析与对策初探

文章对现行科技成果奖励办法的利弊进行了分析探讨，并提出了相相应对策建议。     

分布式实时UNIX调度策略自动测试系统模型

提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型,并研究了该系统核心部分的算法．给出了该自动测试系统模型的软件结构图．结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统模型具有一定的通用性,根据该模型很容易设计出各种软件自动测试系统     

表贴式永磁电机漏磁导的解析计算

针对有限元法求解空载漏磁系数时计算量大的问题,采用磁路法全面考虑了永磁电机内部4不同漏磁通路径,并根据电机结构尺寸确定各漏磁通的积分区域,不但解决了磁路法在电机结构变化时漏磁系数计算不准确的问题,而且同时具备计算量小的优点。在极弧系数、气隙长度和永磁体厚度分别变化的情况下,漏磁系数的有限元结果与磁路法结果吻合,证明了该文所提出的漏磁导计算方法的准确性。该方法不需要复杂的有限元计算,尤其适用于电机优化设计。     

平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

对跨学科大学高等研究院评价的几点思考

在梳理中国现有大学高等研究院的基础上,从学科类型、数量质量、评价对象、评价主体、评价方法、评价过程六个方面构建了大学高等研究院评价框架.然后结合我国高等研究院发展的特点,对如何做好大学高等研究院评价工作提出了一系列的建议.     

具连续变量中立型差分方程的线性振动性

利用积分法研究了二阶具连续变量中立型非线性差分方程的线性振动性,即建立了此非线性差分方程和其相应的线性极限方程振动性间的联系.通过判定一个较简单的线性差分方程的振动性,就可以得到其相应非线性差分方程,甚至是一类非线性差分方程的振动性.     

C-余弦算子函数拓扑

利用C-余弦算子函数的概念,引入一新的局部凸向量拓扑,并对其基本性质以及在新的局部凸线性拓扑意义下C-余弦算子函数的性质进行初步研究。     

汽车状态感知系统的Android客户端

随着汽车数量的日益增多,为了合理调度车辆、为车辆选择最佳行车路线、对车辆故障提前预警,如何更加方便、可靠地获取汽车的实时状态信息,已成为迫切需要解决的问题。该文针对以上问题设计了运行在Android手机操作系统上的汽车状态感知系统的客户端,通过手机蓝牙对汽车状态数据进行采集,同时获取GPS位置信息,通过3G网络实时的将这些数据上传服务器,实现了状态实时显示、历史旅程查看等功能。该系统可以替代昂贵的车载终端,有效地降低汽车状态感知的成本;通过手机作为通信终端使其具有良好的可扩展性和灵活性,使用3G网络具有高带宽、低延迟、可靠性高等特点。通过实际的运行测试该系统可以实时地获取汽车状态信息,可以使监控中心对车辆的故障进行预警,还可以优化车辆的调度。     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

虎纹蛙肌肉挥发性风味成分的分析

采用顶空固相微萃取(HS-SPME)法提取虎纹蛙肌肉中的挥发性风味成分,并利用气相色谱-质谱联用(GC-MS)技术对提取的风味成分进行了分离鉴定,共鉴定出50种化合物,包括醛类、酮类、醇类、芳香烃类、酸类、呋喃类、酯类、酚类和含硫化合物等,其中醛类化合物的含量最高,占总量的63.50%.3-甲基丁醛、己醛、(Z)-4-庚烯醛、(E,Z)-2,4-癸二烯醛、(E,E)-2,4-癸二烯醛、苯甲醛、1-辛烯-3-醇、2,3-戊二酮、2,3-辛二酮、2-戊基呋喃、乙酸乙酯和二甲基三硫等可能是构成虎纹蛙肌肉特征风味的重要挥发性物质.