摘要：通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。

摘要：狗仔队和八卦爱好者们特喜欢议论关于明星"撞衫"的事儿,其实"撞衫"并不只发生在明星身上,飞机界也总是闹出"撞衫"的新闻,撞衫的主角往往就成了冤家对头,互相指责对方copy自己的外形设计。到底都有哪些"冤家对头",一起来看看吧!

摘要：为解决高铁信号中继站因水灾、火灾而严重损坏时,传统应急方式难以快速修复,对运输效率影响极大的问题,提出高速铁路应急信号中继站方案,采用信号中继站现场设备整体替代的方式,达到受损信号中继站功能快速恢复的目的。应急信号中继站基于箱式机房设计,机房内信号核心设备列控中心系统不纳入定型设置,而是根据现场既有TCC设备型号的需求进行适配;应急信号中继站与室外设备接口控制电路可统一定型设计,相关配线在工厂预制;应急信号中继站与继电电路的驱采接口设计,在兼顾多种继电接口方式的基础上,以最大程度减少现场施工拆配线工作量为原则,进行包容性定型,通过现场拆配线实现与既有TCC继电接口方式适配。应急信号中继站可有效提高在严重损坏情况下的应急抢险效率,具有较大实用价值。

摘要：当F-I6、阵风这些战斗机贵族们在世界军火市场上打得不可开交之时,一个零零后战机偏偏要来插一脚。说性能吧,它只是三代机,和现在最尖端的四代、五代机当然没得比,就是和三代机中的佼佼者相比也还有一定的差距,可谁知这个新兵蛋子愣是把战机市场搅得风生水起,在这个大腕儿云集的世界抢占了一席之地。这家伙究竟是谁?它就是咱们中国和巴基斯坦联合研制的FC-I"枭龙"战斗机!

摘要：艺术圈的“查税门”事件还在发酵，尚在蹒跚学步的艺术品信贷开始面临信任危机。有人说“天价艺术品信贷存漏洞”，地产公司以“艺术品信托”之名疯狂圈钱，这样的分析虽非耸人听闻，但也还是把艺术圈的故事“老料新炒”了一番。这些年，艺术品似乎总跟“骗钱”扯上关系，虽然每次都更换着不同的形式，各种时髦的新词却承载着同样的“勾当”，

摘要：夏天的午后。一片寂静。那排杨树立在道路的一侧，枝叶相连，它们不知在这儿已经扎根了多少年．年轮不知扩散开了多少道环纹。这排树的背后是我生活的院落，灰白的墙上张贴着陈年累月的广告，年久失修的地面被岁月雕琢得坑洼不平，铝合金的窗户鳞次栉比地嵌在巍然的楼身上，明晃晃地反射着阳光。

摘要：通信编码ZPW-2000系列轨道电路已广泛应用于高速铁路,其与外部设备的接口对象主要涉及列车运行控制(简称:列控)中心。目前,针对轨道电路设备的整体功能测试,只有能够简单模拟列控中心编码功能的简易测试环境,缺少能够模拟全部接口功能的集成测试环境。分析了通信编码ZPW-2000轨道电路与列控中心间的接口需求,设计了可模拟相应接口功能的仿真测试平台,将其用于通信编码ZPW-2000轨道电路的研发和测试,不仅降低测试环境的成本,而且更加灵活、便捷、高效和自动地完成测试工作。

摘要：为解决中国核电统建生产管理信息系统(N1-EAM)运维过程中产生的运维人力成本高、运维效率低、无法提供性能支撑能力数据等问题,本研究结合鹰眼平台(EMS)的设计过程,通过可视化系统运维平台开发、自动化运维模式实现、系统性能指标分析预测等方法对N1-EAM系统运维提升进行研究。实施结果表明,鹰眼平台投入使用后,N1-EAM系统运维效率显著提高,运维成本大幅降低。EMS的设计思路可为其他大型信息系统的运维改进提供参考。

摘要：使用Visual FoxPro数据库管理系统管理数据,用ADO控件连接数据库,用Visual Basic编写程序代码,完成了毛衣空花图案的识别与转换系统。该系统包括五个功能模块:图片导入模块用于将要转换的花样图片从磁盘文件中导入系统;花样图案数字化模块用于把图案中的每个编织符号转化成一定大小点阵数据,并存放到数据文件中;图案模板的管理模块用于为每种编织符号设计一个标准的模板数据,并把数据存放到数据文件中;花样图案的识别模块用于对花样图案中的每一个编织符号进行识别,并将识别结果存放到数据文件中;花样数据的转换模块,将花样数据转换成毛衣编织机的数据格式,并将转换结果存放到数据文件中。为毛衣编织爱好者报提供了一个操作简单、方便实用的方法。

摘要：建筑电气消防设计的综合性很强,并且在设计的过程中极其复杂。所以应该由专业的人员对民用建筑电气消防进行设计研究,这样才能够更好地保证人们的生命财产不受到威胁,并且还能够节省相应的资金。建筑电气消防在设计的时候也是会遇到很多问题,所以文章就对相关问题进行研究,设计出相关可行的对策。