基于RUCM的软件安全性需求描述方法

随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计、实现与测试工作的依据。然而现有的安全性需求通常被混同于一般功能性描述中,缺乏独立、规范和明确的描述,缺乏对于故障、失效与安全性需求之间相互关系的描述机制,导致在实际应用中缺乏对安全性需求进行准确描述的方法。设计了一种基于结构化模版和约束规则的安全性需求规约,即基于RUCM的安全性需求描述方法Safety RUCM,该方法以RUCM建模方法为基础,通过扩展用例规约模板和限制规则,添加故障描述模版以及数据描述模版,使其能够支持故障相关描述以及相应的安全性需求描述并形成安全性需求规约,最后通过某机载操作系统的案例研究验证了Safety RUCM建模方法的可行性。     

基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法

如何确保机载软件满足其实时性需求一直是一个引人关注的研究问题。根据工业界的报告结果,缺陷发现得越早,用于修复缺陷以提高机载软件不超时的可能性的代价就越小。对于运行在由ARINC653标准所描述的综合模块化航电系统(IMA)上的机载软件可采用以下方法:将机载软件的设计模型(UML模型)转化成仿真模型(Simulink模型),通过在Simulink平台上运行仿真模型来发现潜在的实时性问题。由于机载软件可能与IMA平台之间具有大量的交互(例如接口层和操作系统层)用来申请使用资源或者与其它的应用程序进行通讯,因此设计了一个仿真内核来仿真IMA平台的行为。最后,使用一个工业案例来论证上述方法的有效性。     

一种多级无缓存高阶路由器的设计与实现

随着高性能网络规模的增加,高阶路由器结构设计成为高性能计算研究的重点和热点。使用高阶路由器,网络能实现更低的报文传输延迟、网络功耗和网络构建成本,同时高阶路由器的应用还可以提高网络可靠性。高性能路由器的阶数不断提高,仅靠扩展单级crossbar交换结构的阶数使路由器内部的连线资源急速增长,交叉开关的实现代价将不可接受,这就需要为高阶路由器设计新型的交换结构。近十年来,出现了以YARC为代表的经典结构化设计以及"network within a network"等新型设计方法,未来的研究重点是解决高阶路由器结构设计中遇到的缓存、仲裁和扩展性等各种问题。鉴于此,实现了一种多级无缓存高阶路由器,这种高阶路由器内部是一个多级Clos网络,每一级有相应的仲裁模块对请求进行调度,数据包缓存在输入/输出端口实现,除去这些缓冲区单元,该网络是无缓存的。最后通过BookSim模拟器进行了大量的性能测试,所设计的路由器能够正常工作,性能良好。     

熔融晶化法制备硅灰石及其粉碎工艺的研究

以二氧化硅和碳酸钙为主要原料,以碳酸钠、氧化硼和氟化钙为助熔剂,采用熔融晶化法制备了硅灰石。研究了不同粉碎工艺条件对制备针状硅灰石的影响。结果表明,熔融晶化法合成的硅灰石其主晶相为β-CaSiO3。对比两种粉碎方式得出,气流粉碎比介质磨粉碎更有利于保护硅灰石针状晶型,获得的硅灰石粉末的长径比比较大,平均长径比为6．89：1。     

强化井下设备管理 确保金矿正常生产

我矿是全国黄金企业设备管理优秀单位和省冶金企业设备管理优秀单位。近几年来,我矿通过不断探索和实践,认识到设备能否高效、低耗、可靠和安全地运行,主要取决于设备运行期间设备现场管理状况的好坏;而对于金矿的生产来说,强化井下生产设备的现场管理,对确保矿山生产安全、稳定地向前发展,具有十分重要的意义。     

神经协同过滤智能商业选址方法

为了挖掘商店类别与地址之间的关系,基于神经协同过滤（NCF）框架提出商业选址神经协同过滤方法——NeuMF-RS. 采用嵌入方式分别得到商店类别和地址的表示,利用矩阵分解的思想学习商店类别与地址之间的线性关系;利用深度学习多层感知机学习商店类别与地址之间非线性、深层次的关系;结合这2种方法学习到的关系得到最终结果. 利用北京市的餐馆数据与POI数据来评价NeuMF-RS方法的性能,结果表明,NeuMF-RS相对于其他先进的深度学习方法和协同过滤方法在商业选址方面具有更好的性能,更能兼顾线性与非线性关系.     

超小净距浅埋偏压隧道施工技术应用

结合施工实例,对超小净距浅埋偏压隧道施工技术进行了探讨,针对工程特点及工程技术难点,详细介绍了施工过程中采取的对策措施,并对洞口段的开挖与防护,监控量测结果进行了总结,为今后类似工程施工提供了经验。     

不同温度下GS0202菌产酶差异的研究

利用电泳法及DEAE-Cellulose DE-52离子交换柱层析法对Arthrobacter chloropHenolicusGS0202菌分别在20和60℃下培养时产两种不同的酶进行研究。结果表明,20℃下培养所产的酶能水解人参皂苷Rb1生成人参皂苷F2,60℃下培养所产的酶能水解人参皂苷Rb1生成人参皂苷Rg3;找到了4条差异蛋白带,它们的分子质量分别约为66、47、35、22 ku;将60℃下培养得到的酶分离提纯,其纯酶的分子质量经电泳鉴定约为66 ku,与1号差异带的分子质量吻合。     

通用计数器内石英晶体振荡器自动检测系统的实现

本文通过射频开关和视频监视器，应用分时控制和视频捕捉两种技术，实现了多台通用计数器内石英晶体振荡器的自动检测。     

中国古代竹纸的历史和发展

考证了自宋代以来，古代竹纸的发展历史，探讨了不同历史时期，竹纸技术的进步，揭示了竹纸流传至今的原因。总结探讨古法造纸的技艺，对提高现代机械造纸成纸质量具有启示性意义。