高性能并行仿真中持久性研究磁
摘要：随着分布式仿真规模的日益扩大，高性能计算的不断发展，高性能仿真技术逐渐成为仿真领域新的研究热点，其中持久性框架及其实现机制是高性能仿真引擎中至关重要的一层支撑技术，它不但用于系统的负载平衡而且用于检查点及恢复操作。该文针对高性能仿真持久性问题，先提出了持久框架的结构，重点研究了两种持久库对持久框架性能的影响，通过实验数据对其性能差异进行分析，得出基于 C ＋＋模板的持久框架更具优越性的结论。海洋数据质量检验方案中残差优化选择算法磁
摘要：随着信息化的快速发展，海洋数据的获取手段变得多种多样，海洋数据的“量”急剧增大，如何保证海洋大数据的质量问题成为热点。抽样检验是一个较成熟的课题，但适用于海洋数据特性的抽样方案研究较少。结合海洋数据的特点，利用 Skyline 的思想，提出了分批排序的优化抽样检验方案选择算法。通过各抽样检验方案残差的 Skyline 集合，选择优化的质量检验方案，提高海洋数据质量检验精度的同时保证海洋数据的检验费用。基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁
摘要：为了增强通讯网络安全性，研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议，并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos ＊，结合可识别性和管辖性构造一种新的管辖规则，运用改进 GNY 逻辑对协议 Ker-beros ＊进行安全性分析。分析结果表明，协议 Kerberos ＊是安全的，运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨，此方法可运用于其它类似协议形式化分析。基于改进赌策略的交互式演化算法磁
摘要：根据赌策略提出了一种基于改进赌策略的交互式演化算法（RS-IEA），并将其应用于求解商业海报的设计上。商业海报的设计问题可建模为一个隐式性能优化问题，传统的优化算法不能直接对该类问题进行求解。由于RS-IEA 算法有用户的参与，它既保留了传统演化算法固有的求解最优化问题的优势，又融入了“人的评价”，能够成功解决该类问题，并获得理想的设计方案。基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁
摘要：形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言，将 P ．Maggi 和 R ．Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型，枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中，提高了协议建模效率，保证了建模准确性。以Woo-Lam 协议为例，运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。基于中文微博的情感词典构建及分类方法磁
摘要：微博情感研究已成为网络文本分析的重要研究领域，微博情感词典是进行微博情感分类的基础。提出一种在分析海量微博语料情感的过程中，自动构建情感词典的方法。方法自动从语料中获取情感词汇、筛选确定情感新词，使用SO-MB 算法计算新情感词的情感极性及强度，构建微博情感词典，结合规则对中文微博进行无监督情感分类。实验证明提出的微博情感词典的构建方法及微博情感分类方法是有效的。多图像同态滤波的 CPU 和 GPU 并行计算磁
摘要：采取 CPU 分发图像滤波任务和回收滤波结果、将多个图像数据划分分配给多个 GPU 及其线程块、GPU 调用核函数库对图像进行傅里叶变换和反傅里叶变换的方法，设计实现了 CPU 和 GPU 协同计算的多图像同态滤波并行算法。实验结果表明，给出的多图像同态滤波并行算法高效，与单 GPU 计算的并行算法相比，多 GPU 协同计算的并行算法显著缩短了多个图像同态滤波处理所需的时间。多用户偏好的 Top-k 查询处理算法研究磁
摘要：传统的 Top-k 查询处理都是利用单用户偏好来计算评分函数，这种方法有极大的局限性。针对基于多用户偏好的 Top-k 查询处理问题进行研究，为了提高查询效率，首先提出了预处理算法 PA 与 PVA ，生成一些具有代表性的系统用户偏好，并据此将初始数据集进行全排序，保存在物化视图中，以便利用它们进行 Top-k 查询。然后，提出了处理 Top-k 查询的 VBA 算法且进行了正确性与完备性论证。最后，实验结果表明，该算法比直接在原数据集中查询的效率有极大的提高。社交网络重叠社团检测初探磁
摘要：大数据环境下社交网络的社团结构研究对解决很多现实问题有着重要的意义。社团通常被看作是有相对紧密的内部连接和比较稀疏的外部连接的子图，重叠是社团结构的一个重要特征。论文基于 G（n ，p）模型，提出了一种生成包含重叠社团的合成网络的方法，然后基于 k-均值和随机游走设计了一种重叠社团的检测算法，并在合成网络上初步验证了该方法的可行性。对象数据库的虚属性查询优化方法磁
摘要：为对象数据库的虚属性查询提出两种优化方法---表达式提升和虚属性合并。表达式提升将虚属性查询转换为对源类中实属性的查询；虚属性合并是对查询涉及的属于相同源对象的多个虚属性，一次性获取相应源对象的属性值用于虚属性值的计算，避免多次访问同一源对象。通过实验分析了这两种方案对虚属性查询的性能影响，实验结果表明，对于虚属性和层数较多的查询，表达式提升和虚属性合并的方法极大提升了查询效率。带路径约束的双端网络可靠性分析磁
摘要：针对带路径约束的双端网络可靠性分析问题，即一个数据包从 S 点发送到 T 点，必须经过中间若干个节点，并且经过这些节点的先后顺序具有一定约束，提出了基于 BDD 的可靠性分析算法。该算法基于边扩展图实现路径约束，即在边扩展过程中只保留符合条件的约束路径，然后构建 BDD 以及进行双端网络可靠性分析。实例分析结果验证了算法的可行性和有效性。基于网络分析与 D-S 证据理论的信息安全风险评估磁
摘要：针对现有研究成果在关联性、客观性等方面的不足，考虑到风险评估要素之间的关联影响及评估过程中所产生的不确定性，提出了基于决策试验和评价实验室网络分析法（DEMATEL-ANP），并结合 D-S 证据理论的混合信息安全风险评价模型。根据待评估系统的实际运行情况，构建网络结构模型，运用 DEMATEL-ANP 方法对该模型中的关联关系进行量化分析。对于评价数据的主观性及不确定性，结合 D-S 证据理论进行数据融合处理，得出风险等级可信度，找出需要完善的相关控制措施，最终将风险降低在可接受范围内。通过与相关风险评估模型的实例对比分析表明，该模型不仅权衡到实际评估系统中各评估要素之间的关联影响，降低评价主观性；而且能够有效减少专家评估的不确定性，是一种有效的评估方法。嵌入式可信计算平台测评系统的设计与实现磁
摘要：针对嵌入式平台功耗低、资源少等特点，设计了适用于嵌入式平台的可信芯片及嵌入式软件栈，构建了嵌入式可信计算平台。为使嵌入式可信计算平台能够有效地为嵌入式应用提供可信功能支持，论文设计并实现了嵌入式可信计算平台测评系统，从应用服务角度出发，保证嵌入式应用调用的可信功能的正确性。该测评系统支持多个平台的并行测试，并能根据不同需求定制测试方案，支持测试报表分析测试结果，且引起的平台额外开销较小。一种新的软件可信评估方法磁
摘要：随着信息化社会的到来，计算机软件对于人类社会的发展起到了推动作用。但随之而来的各种软件错误、失效使得计算机能否满足要求遭到了质疑。软件是否满足要求可以通过软件可信评估来验证。论文提出了一种使用分层的软件可信评估方法：将对软件的可信评估分解为对软件可信属性的评估，然后对软件可信属性进行再分解，分为不同的层次；通过对各层的计算，实现对软件是否可信的评估。实验表明，论文提出的方法可以有效评估软件是否达到用户的要求。正向隔离网闸在电力系统中的应用磁
摘要：随着经济社会的发展，电力系统在生活中的作用越来越重要，智能电网对电力系统的安全也提出了更高的要求，而目前电力系统的结构还存在一些安全隐患，使电力通信系统的安全受到了威胁。论文分析了目前的电力通信系统的结构，结合安全隔离网闸技术，提出了一种基于正向隔离网闸技术的电力系统通信网络架构，这种架构能够有效地阻断外部网络对电力系统的威胁，保证了电力系统的安全。基于立方分解模型的机场噪声预测方法磁
摘要：机场噪声影响已成为阻碍机场发展的重要问题，而机场噪声实时预测是机场噪声研究的一个重要方面，对机场噪声监测及机场噪声影响规律的研究有着重要意义。由于机场噪声实时预测问题可以形式化为矩阵填充问题，论文首先使用协同过滤算法中的矩阵分解模型进行求解，然后根据机场噪声的影响因素的数据特征，提出了一种基于立方分解模型的机场噪声预测方法。通过实验表明，与矩阵分解模型相比，基于立方分解模型的机场噪声预测方法预测精度有了很大提高。基于 GA-SVR 的某型武器系统维修器材消耗规律研究磁
摘要：针对某型武器系统维修器材消耗的特点，支持向量回归机（SVR）实现对维修器材消耗的预测，并针对 SVR 相关参数难以确定的问题，结合遗传算法（GA ）对 SVR 模型进行三参数寻优，构建了 GA-SVR 模型、仿真结果表明，用 GA-SVR 模型研究某型武器系统的维修器材消耗规律是有效的。农垦系统应急物资设施选址问题研究磁
摘要：论文对农垦系统应急物资储备库选址问题进行研究，综合了 P-中值模型、P-中心模型、覆盖模型等一般选址模型的优缺点，同时考虑到应急设施选址的效率性、公平性和成本等多方面因素，建立了一个多目标决策模型。该模型采用线性加权和法求解，得出应急设施的最优选址点。经齐齐哈尔垦区应急行动检验，多目标决策模型的计算结果科学合理、经济可行，为应急设施选址决策提供了有效依据。
