PVA-based activated carbon fibers with lotus root-like axially porous structure

A novel method was developed for the fabrication of activated carbon fiber (ACF) with wet spinning polyvinyl alcohol (PVA) fibers as the precursors. Through a combination of preoxidation, dehydration, carbonization and activation under a certain tension, PVA-based ACFs (PVA-ACFs) with high yields and good mechanical properties were obtained. The surface and cross-section morphologies, pore structures, surface geometries, surface functional groups and crystal structures of the PVA-ACFs were characterized using field emission scanning electron microscopy, low temperature nitrogen adsorption, Fourier transformed infrared spectrophotometry, X-ray photoelectron spectroscopy and X-ray power diffraction. All the PVA-ACF samples prepared had lotus root-like axially meso- and macroporous structures with the domination of micropores. Fractal geometries of PVA-ACFs deduced from nitrogen adsorption isotherms indicates that capillary force dominated in the interactions between nitrogen and the PVA-ACFs. The surface functional groups of the PVA-ACFs depend on the activating agents. Graphitoidal crystal structures were observed for the PVA-ACFs. The small crystal size and short range ordering between the crystallites ensured a high specific surface area of the PVA-ACFs.     

Chemical reactions,thermal and mechanical properties of epoxy — Polycarbonate blends cured with aromatic amines

Bisphenol-A polycarbonate (PC) has been incorporated into epoxy resin cured with 4,4-diaminodiphenyl sulphone (DDS) and 4,4'-diaminodiphenyl methane (DDM). IR spectra reveal that transesterification and transamidation occur between the carbonate group of PC and the hydroxyl group of cured epoxy resin for the DDM-cured system, and that only transesterification occurs for the DDS-cured system. Scanning electron micrographs (SEM) show no evidence of phase separation in these cured systems, which is an indication of full miscibility between the bisphenol-A monomers and PC-oligomers with the copolymer network. The mechanical strength and glass transition temperature (T_g) fluctuate with PC content, whereas the flexural modulus shows a steadily increasing tendency.     

云平台下的装备保障管理系统结构化数据查询

首先针对我军装备保障管理系统关系数据库在海量数据查询以及分析处理方面的不足,在对系统数据资源分析的基础上提出并实现了基于Hadoop云平台结构化数据查询策略,通过Sqoop工具将数据库中的数据导入到HDFS中,并利用Hive进行数据分析.然后通过实验证明此方法克服了海量数据在单机环境中查询效率低下的缺点,具有较高的实用价值.     

融合Google Earth的船舶监控与应急系统的设计

Google Earth的高分辨率卫星地图资源、三维虚拟环境和人机界面,可以为船舶监控与应急系统提供丰富的地理信息资源。在Google Earth的KML技术及其COMAPI的研究和扩展开发的基础上,对海洋船舶的位置监控、信息融合和救援服务地理信息系统进行分层设计,整体提升船舶信息管理水平。该系统应用在浙江省的渔政应急救援系统项目中,收到良好效果。     

异质信息网络高阶层次化嵌入学习与推荐预测

异质信息网络是一种异质数据表示形式,如何融合异质数据复杂语义信息,是推荐系统面临的挑战之一.利用弱关系具有的丰富语义和信息传递能力,构建一种面向推荐系统的异质信息网络高阶嵌入学习框架,主要包括:初始化信息嵌入、高阶信息嵌入聚合与推荐预测3个模块.初始化信息嵌入模块首先采用基于弱关系的异质信息网络最佳信任路径筛选算法,有效地避免在全关系异质信息网络中,采样固定数量邻居造成的信息损失,其次利用新定义的基于多头图注意力的多任务共享特征重要性度量因子,筛选出节点的语义信息,并结合交互结构,有效地表征网络节点;高阶信息嵌入聚合模块通过融入弱关系及网络嵌入对知识良好的表征能力,实现高阶信息表达,并利用异质信息网络的层级传播机制,将被采样节点的特征聚合到待预测节点;推荐预测模块利用高阶信息的影响力推荐方法,实现了推荐任务.该框架具有嵌入节点类型丰富、融合共享属性和隐式交互信息等特点.最后,实验验证UI-HEHo学习框架可有效地改善评级预测的准确性,以及推荐生成的针对性、新颖性和多样性,尤其是在数据稀疏的应用场景中,具有良好的推荐效果.     

Complete Proof Systems for Amortised Probabilistic Bisimulations

The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for amortised strong probabilistic bisimulation and its observational congruence on a process algebra with probability and nondeterminism, and prove their soundness and completeness. Our results make it possible to reason about long-term (observable) probabilistic behaviors by syntactic manipulations.     

基于书写摩擦力的签名识别方法

由于动态测量坐标系的存在, 使得数字笔在不同的握笔姿态下, 引起书写平面内摩擦力的分解不同. 由此本文提出采用书写摩擦力进行在线签名识别. 该方法将摩擦力的方向在直角坐标系内进行特征量表示, 并与三维书写力的大小相结合, 实现概率值和距离测度信度级的融合. 在进行真假签名的判别中, 加入快速剔除的方法, 进行两级判别, 以提高识别效率. 实验结果表明, 基于签名书写力大小和方向特征的融合识别方法互相补充, 相对于单个方法具有更高的识别率, 系统性能得到显著改善.     

带赋值符号迁移图的局部优化算法

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型,在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点,在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。     

一种公平接入的QoS路由算法

主要讨论了在网络负荷较重情况下带宽需求不同的连接公平接入问题,给出了ＱｏＳ路由的最小代价函数并提出一种公平接入的ＱｏＳ路由算法,同时给出了验证算法效益的网络效益函数,最后是实验仿真结果。     

用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。