安全关键软件的AADL模型自动逆向构造方法

近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模语言标准.在安全关键软件系统开发与维护过程中,部分需求与设计信息往往遗留在源代码中,在对已有软件系统架构进行复用或重构的过程中,如何将这部分需求与设计信息从代码中构造到设计模型是一个重要问题.本文基于模型驱动逆向工程,提出一种从C代码到AADL模型的自动构造方法C2AADL.首先分析了源语言结构、行为和运行时性质,并根据分析结果提出了源代码结构、行为和运行时性质到AADL模型的转换规则,然后根据转换规则设计并实现了原型工具,最后基于雷达信息处理子系统案例验证本文所提方法的有效性.     

基于认可度的主服务博弈频谱共享算法

针对包含多个主服务和单个次服务的频谱共享场景,提出一种市场驱动的认知频谱共享算法。在频谱水平差异下考虑次服务的频段选择偏好和主服务的信誉度,引入认可度机制,对基于Bertrand博弈的频谱共享模型进行改进,提出新的次服务效用函数,形成新的博弈,并证明其纳什均衡存在;构建频谱租赁框架,定义算法周期和阶段,提出认可度更新机制,实现认可度参数的动态更新,以体现次服务在不同算法周期中的买家意愿,并对主服务的不诚信行为进行惩罚,从而优化频谱共享环境;将算法扩展到了不完全信息条件下的动态博弈情形,并探讨了其局部稳态。仿真实验结果表明,该算法适应实际情况,并提高了频谱共享的合理性和有效性。     

基于Kd树改进的高效K-means聚类算法

针对经典的K-means算法在多维数据聚类效率上还有待提高的问题,本文提出一种称为CK-means的改进聚类算法。该算法在k-means算法的基础上,通过引入Kd树空间数据结构,初始聚类中心从多维数据某一维的区间等间隔集中选取,以及在数据对象分配过程中采用剪枝策略来提高算法的运行效率。实验结果表明,CK-means聚类算法较经典的k-means聚类算法运行效率更高。     

电子自动数显快速定硅定碳仪的研制

本文介绍电子自动数显快速定硅定碳仪的设计方案、工作原理,性能及测试使用方法。     

500升絮凝颗粒酵母连续发酵悬浮床生物反应器流体力学行为

利用某些酵母细胞的自身强絮凝能力形成颗粒,以固定化细胞法实现酒精连续发酵,近年来引起了人们的极大关注。与通常的各种载体固定化细胞法相比,它具有方法简单、过程经济的突出优点,而且反应器中无载体充填,可以获得更高的菌体浓度,进而强化反应器的设备生产强度指标。然而,这种由细胞自身絮凝形成的颗粒有很大的特殊性。一方面,它的形状、结构极不规则,颗粒的大小在一定的条件下呈特定的分布。另一方面,颗粒间具有粘连性,且自身强度弱,不耐流体剪切,在培养与发酵过程中要求与基质呈均匀的悬浮状态。因而,开发研制适宜的生物反应器,并解决其工程放大问题成为这一技术能否工业化的关键。     

一种大型消息系统下内存管理的方法

针对消息系统的特性,提出了一种综合逻辑队列和物理队列的大型消息系统内存管理方法,设计了一种消息动态预测置换算法和块置换的方式,在消息系统的内存管理中取得了较高的效率.     

火灾报警系统中的信息存储及其在天津钢管公司火灾报警系统中的应用

主要介绍了火灾报警系统中的信息存储及其在天津钢管公司火灾报警系统中的应用.     

高性能锂离子电池正极Calix[6]quinone（英文）

有机醌类化合物因其具有高的理论容量值而引起了人们的广泛关注.本文合成了一种新型的环状大分子Calix[6]quinone(C6Q),它由6个对苯醌单元组成,可提供12个电化学位点,是一种极具发展前景的锂离子正极材料.C6Q在0.1 C的电流密度下展示了高达423 mA h g^-1的初始放电比容量(理论放电比容量为447 mA h g^-1).经过100圈充放电循环之后,它的容量保持在216 mA h g^-1;经过300次循环之后,仍然拥有195 mA h g^-1的高容量.C6Q具有高容量和宽的电化学窗口,因此可以提供高达1201 W h kg^-1的能量密度.此外,使用有序介孔碳CMK-3固载C6Q的方法可以进一步提高C6Q的电化学性能.     

具有UV探测灵敏性、稳定性和重复利用性的层状铀酰配位聚合物研究

灵敏的UV探测对于工业生产和个人防护非常重要, 本研究旨在开发新型UV探测材料。一般而言, 铀酰单元具有相对高的UV吸收效率和荧光强度。本课题组成功地在水热条件下制备了一例铀酰配位聚合物[(TEA)₂(UO₂)₅(PhPC)₆] (TEA = 四乙基胺离子, PhPC = (2-羧基乙基)苯膦酸, 标记为UPhPC-1)。基于单晶XRD数据的结构分析表明UPhPC-1中有三个不同的铀酰中心, 其中两个铀酰单元为五角双锥构型, 而第三个铀酰单元为四角双锥构型。全部三个铀酰中心与配体在[bc]平面配位形成无限的铀酰层。通过氢键网格和π-π相互作用, 这些铀酰层堆积成整体的层状结构。此化合物具有很好的热稳定性、水稳定性和高抗辐照能力。UV辐照实验结果表明UPhPC-1的本征荧光强度对365 nm的UV辐射高度敏感, 检测下限低且响应速率快, 而发光强度与UV辐照剂量呈负相关。电子顺磁共振谱分析证实在UV光照射下, UPhPC-1中极有可能产生自由基, 造成铀酰荧光部分淬灭。进一步, 被淬灭样品中的自由基能够在加热后被去除, 从而实现UPhPC-1发光强度的快捷恢复。目前的结果表明UPhPC-1在UV辐照的定量探测领域具有一定的发展潜力。     

面向虚拟装配的碰撞检测技术研究

碰撞检测是虚拟装配过程中的重要环节,其执行效率直接影响到装配仿真的真实感,现从3个层次对此问题展开了论述:通过扫描剪枝与装配关系相结合的方法得到包围盒相交的零件对;利用时空连续性减少包围盒的相交次数,加快了两零件之间的检测;提出了由于模型的近似表达而造成的虚假碰撞的排除方法.