基于时间着色Petri网的OpenFlow协议建模研究

介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.     

基于文献计量的我国基础研究发展形势及挑战分析

近年来,我国基础研究取得了长足进步,各方面成果不断涌现。利用文献计量学和信息可视化方法,充分展示了我国在基础研究投入和产出方面的成果。同时,结合我国科技体制改革现状,分析了我国基础研究的挑战,并提出了下一步发展的政策建议。     

飞机发动机地面试车系统的研究

发动机是飞机的核心部件,本系统将发动机试车过程中的参数分为压力、温度、转速三个大类,利用PLC配合变送器接收由变送器传输回来的参数信号,通过参考相关测试标准,得出发动机工作的状态,传输到上位机形成可视化的试车报告。这套飞机发动机地面试车能够更好的发挥保障飞机安全运行的作用。     

配方施肥对榉树幼苗生长的影响

以1年生榉树幼苗为试验材料,采用氮、磷、钾3因素5水平正交试验设计,通过测定其苗高、地径和鲜生物量等形态指标的变化情况研究不同配方施肥对1年生榉树幼苗生长状况的影响,并得出最利于榉树幼苗生长的氮、磷、钾肥配比。结果表明:不同的配方施肥均对榉树幼苗的生长产生影响,促进榉树幼苗生长的最优配方为N3P4K3,即每株榉树幼苗氮、磷、钾肥施用量分别为2、4、1 g/株。     

QTP在农村信息化管理系统测试中的应用

自动化测试有着比手工测试的高覆盖率,用QTP实现对系统的功能测试和回归测试。本研究设计与实现了农村信息系统的测试框架,在自动化测试过程中逐步细化实现对农村信息化管理系统的测试,阐述了实现QTP测试流程以及用到的一些关键技术和方法。QTP的reporter功能能方便呈现测试结果,帮助测试人员形成测试分析报告。     

云南省楚雄州水资源管理“三条红线”控制指标分解分析

对于水资源管理,我国提出了"三条红线"的控制管理目标,实行最为严格的是水资源管理制度。但是该目标的真正实现,需要通过量化的方式来真正落实。结合云南省楚雄州分析了"三条红线"的具体内涵,并在此基础上,提出了"三条红线"的相关控制指标,并确定了每类控制指标分解的方法。     

机辅测试对普通话测试活动的影响及发展方向探讨

计算机辅助普通话水平测试是普通话水平测试自身发展需要与信息技术时代相结合的产物。机辅测试使普通话水平测试在效率和公正两方面有了技术保障，同时也对普通话水平测试的相关要素产生了影响。机辅测试还应该在以下几方面做进一步探索：一是继续推动效率与公平；二是继续探索对“朗读短文”和“命题说话”的自动评测；三是努力为改进普通话教学提供服务；四是为整体上改进和完善普通话水平测试提供更多支持。     

一种基于DSP的电量测量仪设计

针对电机试验中的电参数测试,设计了一种基于DSP的电量测量仪。详细论述了整个系统的硬件构架与软件算法,该系统通过采用高精度A/D转换器、DSP芯片以及上位机来完成电压、电流、功率、功率因数及频率的测量与数据的输出显示。对于中小型电机,测量仪既可测三相交流电参数,又可同时测量单相交流与直流电参数;当被测对象为直流有刷电机时,还能测量其转速;测试量程根据输入电流、电压的大小自动进行切换。测试结果表明:该系统精度高,运行稳定可靠,能满足实际需求。     

基于技术预见的科技规划模式与指标评价研究

技术预见是一种对科学技术与经济社会协同发展进行战略前瞻性研究的系统方法。以技术预见为基础构建科技规划模型;建立科技规划"FRROC指标体系",包括5大类20个指标;并运用模糊综合评价法对各指标进行评估优选,将该指标体系分为5个I级指标、8个II级指标、5个III级指标和2个IV级指标。研究成果可规范科技规划的编制,提高重大科技专项技术选择的准确性和有效性;研究表明,充分考虑I级关键指标可有效降低重大专项技术选择的风险。     

关于科学出版的思考

<正>在很多情境下,科学家们被要求互相评价对方的工作,所有这些评价都会对评价者和被评价者的科研生涯产生持久的影响。在新奥尔良举行的美国细胞生物学学会年会上,期刊编辑、联邦基金组织的代表,以及从事同行评议工作的科学家们齐聚一堂,探讨同行评议的未来,解构同行评议中存在的问题,并提出解决这些问题的途径。