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

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

对加强当前研究生学术规范建设的初探

对中国高校研究生学术规范中存在的问题进行了分析,提出了解决问题的对策:要建立科学合理的学术评价机制和奖惩机制;重视学生的学术道德教育,规范研究生导师选拔制度;构建培养研究生学术道德的自我约束机制;建立有关学术规范的法律、法规,加强打击学术腐败的网络和软件建设。     

半导体超晶格国家重点实验室诚聘英才

<正>中国科学院半导体研究所半导体超晶格国家重点实验室是以半导体物理研究为主的国家重点实验室,在半导体材料生长、器件加工、物理测试和理论研究方面有着非常雄厚的研究基础,20年来为我国在半导体领域的基础研究方面做出了突出的贡献。现计划在半导体     

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

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

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

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

科学管理、求真务实,创建有公信力的一流监理企业

创建有公信力的一流监理企业,科学规范管理,提高监理水平;严格求真务实,提高监理工作质量;主动热情服务,保持良好企业信誉;培育企业文化,打造过硬监理队伍。     

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

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

关于对原油计量准确性的探讨

当前，原油的应用范围及价格都在不断上涨，提高原油计量的准确性，是控制原油损失、降低企业生产成本以及提升企业经济效益的关键所在。本文在分析原油计量准确性影响因素的基础之上，提出规范计量方式，提升管理水平，减小油品取样、化验及流量计使用等环节的误差，以此降低计量工作所致的原油损失，保证原油计量的准确性和规范性。     

闽菜名英译的可译性限度与文本移植——生态翻译学视阈

语言与文化的差异以及交际意图等因素,客观上造成了翻译可译性限度。从生态翻译学的视角对闽菜名英译实践进行分析发现,原语和译语之间语言生态、文化生态和交际生态的差异度是影响可译性限度的主要原因。通过生态移植,可以最大程度提高整合适应选择度和多维转换程度,从而无限提高其可译性限度,进而构建生态范式的闽菜名英译规范。     

基于弯剪梁模型和Von Karman风速谱的高层建筑风振系数实用算法

为使风振系数计算中采用的振型函数更符合高层建筑振型特点且易于计算，采用基于弯剪梁模型的高层建筑基本振型简化算式，同时采用Von Karman与高度有关的风速谱模型和Davenport与频率有关的空间相关性模型，建立高层建筑风振系数计算的实用算式，并通过算例与我国现行荷载规范中的风振系数算式进行比较。结果表明，该方法考虑了不同高层建筑振型的特点，既提高了计算精度，简单实用，又便于与国际主流荷载规范接轨。