考虑瞬时失效率的软件可靠性模型分析

在研究软件可靠性时存在着一个现象——无论是否修正错误,从用户角度观察到的产品失效率会随着时间而降低．提出了一个简单的模型来描述这种现象,在收集到的软件失效数和软件用户数量上运用这种失效率递减模型,就能够得到产品的瞬时失效率λ0、递减因子以及稳定状态下的失效率λf.     

环境保护管理信息系统的设计与实现

设计与开发环境保护管理信息系统是一项非常重要的课题,本文主要介绍基于计算机网络的通用型环境保护管理信息系统的功能和实现方法。     

试论技术预见战略性与阿基里斯悖论的产生及预防

当前,技术预见正逐步成为许多国家制定科技政策的重要工具。随着我国中长期科技规划的开展与制定,技术预见的重要性将日益凸现。而阿基里斯悖论作为古希腊遗留下来的一个重要数学命题,一直影响着现代数学和物理的发展。对于两者群之间的关系,通过对技术预见的战略本质、技术菜单的产生以及阿基里斯悖论的游戏规则进行分析,阐述了技术预见产生阿基星斯悖论的可能性,同时对避免其产生进行了尝试性的探讨。     

Deep Web爬虫研究与设计

随着Web的发展,越来越多的数据可以通过表单提交来获取,这些表单提交所产生信息是由Deep Web后台数据库动态产生的.在这种情况下,信息集成就更加需要Web爬虫来自动获取这些页面以进一步地处理数据.为了帮助用户完成这样的任务,提出一种用于搜集Deep Web页面的爬虫的设计方法.此方法使用一个预定义的领域本体知识库来识别这些页面的内容,同时利用一些来自Web站点的导航模式来识别自动填写表单时所需进行的路径导航.通过对来自不同领域的Deep Web站点的大量实验,验证了此方法是非常有效的.     

棋子的颜色变化问题

讨论了转折两种颜色的к（к≥３０枚棋子的颜色变化问题，证明了к＝２＾ｎ（ｎ＝２，３，…）枚棋子最多经过к次变换Ｔ呈全黑，同时得出其他一些重要结论。     

用Turbo Prolog设计不精确反向推理机

近年来,不精确推理在人工智能领域中的地位不断提高。本文介绍了一种非确定性知识的表示方法,并着重阐述用Turbo Prolog设计不精确推理机的技术。     

Hurwitz zeta-函数的均值公式

设ζ(s，α)为Hurwitzzeta-函数.当Re(s)＞1时，定义ζ(s，a)＝     

高新技术及其产业技术预测研究——第一轮“德尔菲”调查

本文对高新技术及其产业技术预测程序中的第一轮德尔菲调查诸多问题进行了研究。在结合江苏省信息与通信领域技术预测实践的基础上 ,对技术预测第一轮德尔菲调查目标、问卷的设计方法、调查效果的评价以及组织实施进行较详细的探讨 ,并提出有待进一步解决的问题     

燃料电池多孔碳载体高石墨化的超快速碳热冲击策略（英文）

质子交换膜燃料电池(PEMFC)具有能源转换效率高、清洁环保等优点,是新能源技术的重要发展方向.目前,燃料电池中主要使用的电催化剂是碳载铂或铂合金,碳载体不仅增强催化剂活性,提高贵金属利用率,而且对催化剂的耐久性起着至关重要的影响.但常规的碳载体在燃料电池强腐蚀环境中容易发生腐蚀,进而导致催化剂颗粒脱落和团聚,活性衰减.近年来,研究发现提高碳载体石墨化程度有利于增强载体的耐腐蚀能力,提高催化剂的稳定性.常规的高温热处理难以大幅提高载体的石墨化,且长时间的高温处理易导致原始碳结构的坍塌或转变以及比表面积显著下降.因此,迫切需要发展新的策略或技术经济、高效地提高碳载体的石墨化度,并且保持碳载体原始结构和形貌.本文提出了一种快速且低成本的碳热冲击方法,用于多孔碳材料的石墨化处理,包括碗状碳(BC)、空心碳球、ZIF-8衍生碳和商业炭黑等.其中,以碗状碳为研究对象,即将碗状碳载体与石墨化催化剂氯化铁通过超声共混,干燥后放入加热源碳毡中,通过快速碳热冲击, 3 s内升温至1300 ℃,在该温度保温30 s后, 3 s降至室温,最后酸洗得到高石墨化碗状碳.作为对照,含有氯化铁的碗状碳也在普通管式炉...