广义Foster定理

利用Ｍａｘｗｅｌｌ方程组导出了适用于有耗网络的广义Ｆｏｓｔｅｒ定理，得到了一些有关电抗斜率以及Ｑ值的有用公式及结论。     

制备低硫可膨胀石墨的研究

研究了以过二硫酸铵作氧化剂低硫可膨胀石墨的制备，找到了在较低温度下，制备低硫可膨胀石墨的最佳条件。即过二硫酸铵和石墨的重量比为１５％；反应温度为５５℃；反应时间为４０ｍｉｎ；硫酸浓度为９８％；硫酸与石墨的重量比为４∶１，草酸和硝酸（浓度为６５％）的重量比为７．５％时，所制得的可膨胀石墨含硫量为０．６５％，膨胀容积为２００ｍＬ／ｇ可膨胀石墨。并且，其终端产品柔性石墨具有优良的力学性能和抗氧化性能。     

Implicit induction in conditional theories

We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993).     

主动推送模式下的情报需求预测模型

针对主动推送模式下的情报需求预测问题,提出了基于案例推理的解决方案。设计了进行情报需求预测案例分析的工作流程,建立了案例属性描述模型;应用最近邻法进行案例的相似度评价,并通过信息增益的计算确定每个属性的权值,获得相似案例(集);提出了方案调整和推理策略。     

Terahertz detectors based on superconducting hot electron bolometers

Low noise terahertz(THz)heterodyne detectors based on superconducting niobium nitride(NbN) hot electron bolometers(HEBs)have been studied.The HEB consists of a planar antenna and an NbN bridge connecting across the antenna’s inner terminals on a high-resistivity Si substrate.The double sideband noise temperatures at 4.2 K without corrections have been characterized from 0.65 to 3.1 THz.The excess quantum noise factor β of about 4 has been obtained,which agrees well with the calculated value.Allan variance of the HEB has been measured,and Allan time up to 20 s is obtained using a microwave feedback method.Also,the intermediate frequency gain bandwidth(GBW)was measured using two dierent methods,resulting in same GBW value of about 3.5 GHz.     

邻域等价关系诱导的改进ID3决策树算法

经典ID3决策树算法适用于离散型数据分类,但用于连续处理时需要数据离散化容易导致信息损失。提出邻域等价关系从而诱导邻域ID3(NID3)决策树算法,NID3算法改进了ID3决策树算法,能够直接实施连续预测并获取更好的分类效果。在邻域决策系统中,挖掘一种邻域等价关系;基于邻域等价粒化,构建邻域信息度量;基于邻域信息增益,设计NID3决策树算法。实例分析与数据实验均表明,NID3算法具有连续数据分类预测有效性,在分类机器学习中优于ID3算法。     

一种基于协同作用网络的特征模块搜索算法

如何利用数据挖掘领域的特征选择技术,从高维复杂的组学数据中提取关键特征一直是研究重点。对此,针对组学数据特征间存在的复杂关联关系进行研究,提出了基于协同作用网络的特征模块搜索算法。该算法利用交互增益值构建协同作用网络,通过衡量候选节点与当前特征模块连接的紧密程度,同时结合节点自身分类性能实现模块搜索,确定重要特征。在十个数据集上对该算法的性能进行了测试分析,在分类准确率、灵敏度、特异性三项指标上该算法与对比算法相比均有优势,这表明其所确定的网络模块性能更优。     

基于车联网的隐私保护数据聚合研究综述

随着智能网联汽车的普及,用户数据的隐私问题成为了车联网发展中亟待解决的问题。针对车联网聚合方案的研究现状,对当前方案中存在的问题进行分析总结。首先,系统地介绍了车联网中主流系统模型和车联网中常见的攻击模型;其次,对当前国内外应用在车联网中的聚合方案的安全性、效率和优劣进行分析总结,分别从签名阶段聚合方案、用户数据收集和传输阶段聚合方案和云平台处理数据阶段聚合方案三方面对其进行讨论;最后,阐述了车联网聚合方案中存在的问题及解决方法,展望了车联网聚合方案未来的研究方向。     

Gain‐scheduled dynamic output feedback control for discrete‐time LPV systems

This paper presents synthesis conditions for the design of gain‐scheduled dynamic output feedback controllers for discrete‐time linear parameter‐varying systems. The state‐space matrix representation of the plant and of the controller can have a homogeneous polynomial dependency of arbitrary degree on the scheduling parameter. As an immediate extension, conditions for the synthesis of a multiobjective ??_∞ and ??₂ gain‐scheduled dynamic feedback controller are also provided. The scheduling parameters vary inside a polytope and are assumed to be a priori unknown, but measured in real‐time. If bounds on the rate of parameter variation are known, they can be taken into account, providing less conservative results. The geometric properties of the uncertainty domain are exploited to derive finite sets of linear matrix inequalities based on the existence of a homogeneous polynomially parameter‐dependent Lyapunov function. An application of the control design to a realistic engineering problem illustrates the benefits of the proposed approach. Copyright © 2011 John Wiley & Sons, Ltd.