基于因果图的软件测试性影响因素分析

为了系统地确定软件测试性影响因素,提出一种基于因果图的分析方法.方法首先确定软件类型,分析软件特点;接着确定测试性的具体表现形式,通过对具体形式的原因分析构造因果图,分析因果图中的最小因素;最后整理出影响因素.方法能全面、系统地得到测试性影响因素,对嵌入式软件的成功分析表明了方法的可行性.     

基于模糊逻辑的信用评判模型

为了解决个人对个人(C2C)交易平台信用评价体系不能正确识别信用炒作行为导致交易数据不能真实反映卖方信用的问题,设计了一种基于模糊逻辑的可信度评判模型.该模型为信用影响因素建立论域以及论域上的模糊集,通过隶属度函数对各个时段交易进行模糊评价,得到信用可信度评判结果.实例数据分析表明:该模型完善了信用评价系统,为用户的交易决策提供了较可靠的评判依据,降低了交易中的信用风险.     

一种新型铁路天窗分析与探讨

利用列车运行图,采用模拟分析的方法,分析计算了双线自动闭塞线路上V型天窗和X型天窗的在空间域上列车运行线集,由此得出了开设X型天窗比V型天窗使列车正常运行所要受的约束条件多。在此基础上提出了V—X混合型天窗,经计算表明,该维修天窗性能优于V型和X型天窗。     

系统级软件FMEA计算机辅助设计研究

软件失效模式和影响分析(SFMEA)是提高软件可靠性的一种重要方法.针对人工SFMEA分析费时费力的问题,着眼于SFMEA的分析过程,对系统级SFMEA计算机辅助设计及相应辅助工具的实现展开了研究,介绍了系统级SFMEA分析的具体步骤,提出了对软件功能单元建模辅助生成软件约定层次,由已有通用失效模式库和相邻层次分析结果辅助获取软件失效模式、软件失效原因和纠正措施辅助设计等,并在此基础上开发了相应的辅助工具,从而减少SFMEA的分析工作量,提高SFMEA分析的效率.     

谓词模态逻辑中变量的严格指派问题

目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是.关于谓词模态逻辑还存在着很多的争议和问题.表面上看,在命题模态逻辑中添加相应的量词而得到谓词模态逻辑似乎是一件很简单的事情,但是这些新添加的量词却带来了许多的问题和麻烦,例如,变量的严格指派问题、不变论域与可变论域问题、跨界相等问题等.主要研究谓词模态逻辑中变量的严格指派问题.首先,介绍什么是变量的严格指派问题;其次,讨论对于该问题现有的解决办法及所存在的不足;最后,分析造成该问题的深层次原因,并简要介绍该问题的解决办法.     

通风网络区域划分算法与程序实现

通风网络风道之间的风量依从关系对于通风网络的合理性分析具有重要意义。对于任意复杂的通风网络系统,有时很难从图形上直接判断出任意2条风道之间的风量依从关系。文章提出了通风网络任意风道影响区和依赖区的概念,指出其可用于任意风道之间的风量依从关系的分析;介绍了通风网络各风道依赖区、影响区划分方法以及任意风道之间归属度和依赖度计算方法,并采用C#语言编制了程序;最后用实例验证了文中所论及算法的正确性。     

手打天下 系统美化无需辅助软件

系统美化,一个老生常谈的话题,之所以长久不衰,主要是因为人们对美好事物的向往。于是网络上流传着各种系统美化软件、主题替换等软件,的确可以把我们的系统擅得分外绚丽。但我们也为此付出了一定的代价。首先献是系统内存的耗费上,其次,经常安装和卸载各种系统美化软件也容易引起系统不稳定,而且同时安装多款类似的荚化软件,也容易使其发生冲突,从而影响系统的正常使用。其实不用辅助软件,我们一样可以将系统DIY成自己喜欢的模样,量主要的是,我们可以从中感受自己动手,丰衣足食的乐趣。     

网络化控制系统中状态估计策略的进展

在网络化控制系统(Networked Control Systems,简记为NCSs)中,由于网络的介入使控制系统的规模和复杂性显著增加,且产生了各种新问题,为了使控制更加容易,需要设计合理的估计策略.主要从控制和通信2个角度出发,集中考虑了在量化影响、时延与丢包、不确定性等通信受限因素下状态估计策略的研究与进展.一直以来,状态估计都是诸如过程监控、故障诊断等控制领域中不可缺少的重要部分,当前已成为网络化控制系统研究的热点和准点,为抵消网络环境不确定性对闭环系统性能的影响,设计最优的状态估计策略必将成为不可缺少的因素之一.     

2009 surface年度创新奖

2009“surface年度创新奖（surface Annual Creation Award）”,行业类奖项评选涉及IT、时装、汽车、化妆晶、奢侈品等各领域,个人奖是对surface对在摄影、模特、艺术、文化、设计领域中有突出表现的优秀个人给予肯定和支持。对具备社会影响力和在推动性上有特别贡献的品牌,将颁发surface年度特别大奖。     

主编寄语

《中国科学》自创刊以来一直是我国自然科学领域的权威学术期刊,长期报道高水平的科研成果.《中国科学F辑:信息科学》是发表信息科学领域重大科学发现和重要创新研究成果的综合性刊物,所发表的论文被多个国际著名检索系统和数据库收录,在国内外享有很高的声誉.