基于Gibbs分布的盲图像修复

针对盲图像去卷积问题,首先建立了一个基于Gibbs分布加权算法模型,然后讨论了关于能量泛函极小解的存在性,最后导出了相应的热流。在计算机模拟中,除了某些限制条件外,即使对于点扩散函数和原始的真实图像没有更多精确的信息,此算法也运行得很好。为了进一步观察此算法的实效性,与全变差盲去卷积模型的实验结果进行了比较。     

运用局部纹理映射加速曲面纹理合成

基于样图的纹理合成方法能够在网格曲面上合成高质量纹理,但合成速度有待进一步提高,对此提出一种运用局部纹理映射加速曲面纹理合成的算法.首先以三角形法向量、切向矢量与纹理尺度为约束,将三角网格曲面分割为一系列映射区与合成区;然后用基于块的平面纹理合成方法生成大面积样图,用调和映射方法对映射区进行纹理映射;最后采用基于三角块的合成方法生成合成区纹理.实验结果表明,该算法对一般的随机性纹理与半结构性纹理具有很高的合成质量,能够控制纹理方向与尺度的变化.由于大部分三角形的纹理通过局部纹理映射得到,仅需要合成少数三角形的纹理,纹理合成过程得到大幅度地加速.     

电子政务系统中数据交换平台设计

分析了当前电子政务系统中存在的数据交换问题,及各种交换网络拓扑结构的优缺点。基于以上分析,提出了内网数据交换和专网(外网)数据交换的"星形树"网络拓扑结构,以此为基础,设计了一种松耦合、扩展性强的电子政务数据交换平台系统原型,实现异构数据库之间的透明交换,有效地解决了"信息孤岛"问题。文中的研究工作在电子政务及其他信息系统的数据交换中有一定的理论和实用价值,可为数据交换的设计提供参考。     

Computer aided measurement of the electromagnetic parameter for the microwave absorbing materials

The electromagnetic parameters of microwave absorbing materials are important criteria when appraising the properties of absorbents. For reconstruction of parameters which belongs to the inverse scattering problem, the test data in requirement of traditional impedance method are "just enough" and not "redundant" to comprehensively evaluate the electromagnetic properties of materials. A novel optimization approach involving multiple impedance measurements is introduced in this paper to implement automatic measurement for electromagnetic parameters on microwave slot-line. Some results for standard samples and microwave absorbing materials are given.     

A COMPLEX-TYPE FOCUSSED MAGNETRON FOR SPUTTERING

ＡＣＯＭＰＬＥＸ－ＴＹＰＥＦＯＣＵＳＳＥＤＭＡＧＮＥＴＲＯＮＦＯＲＳＰＵＴＴＥＲＩＮＧ￥ＺｈｅｎｇＳｉｘｉａｏ（郑思孝）（ＩｎｓｔｉｔｕｔｅｏｆＮｕｃｌｅａｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ,ＳｉｃｈｕａｎＵｎｉｖｅｒｓｉｔｙ,Ｃｈｅｎｇｄｕ...     

Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

辐射换热的波长匹配问题

由于水的选择性吸收特性,辐射换热中水份波长匹配一直是一个有分歧的问题。文章通过理论与计算论证了这个问题,得出的结论否定了波长匹配的重要性。     

极端高温下10kV电缆中间接头载流量分析

随着世界各地夏季环境温度不断升高,电缆中间接头的工作环境正在恶化。为此,文中基于有限元法建立10 kV三芯电缆及其中间接头仿真模型,分析不同环境温度和不同电流下中间接头的温度分布。首先,开展温升试验,得到电缆中间接头表面的稳态温度,验证仿真模型的准确性;然后,拟合不同环境温度下中间接头高压载流导体表面温度与电流的函数关系,以此可以计算不同极端环境温度下中间接头的极限安全载流量。结果表明,环境温度升高对中间接头高压载流导体表面的温度分布趋势几乎没有影响,在外护套外表面处也满足此规律。中间接头高压载流导体表面温度与电流近似成二次函数关系。当电流幅值为480 A、环境温度为75 ℃时,高压载流导体表面与外护套外表面最高温度分别是环境温度为30 ℃时的1.57倍与1.69倍。当环境温度超过55 ℃时,按照国标规定的持续允许载流量会使中间接头高压铜导体表面温度超过最高允许运行温度90 ℃。考虑到自2020年起夏季环境温度持续增加,现行国标中10 kV铜导体三芯交联聚乙烯绝缘电缆中间接头的持续允许载流量须被修正。     

基于级联多电平换流器的两级式储能系统控制策略

储能技术是构建以新能源为主体的新型电力系统的关键技术和维持微网可靠稳定运行的重要保证。国内外现有理论研究及示范工程主要集中于单级式链式储能系统,功率模块与电池系统之间无源连接,结构简单但控制自由度不高。同时,针对基于链式储能的电池荷电状态(state of charge,SOC)不均衡问题,现有的相内SOC均衡控制策略存在不同负载率适应性不足、极度不均衡时可能过调制等缺点,为此,文中基于两级式链式储能系统,研究其总体控制策略,对相间、相内SOC均衡策略进行分析,并提出一种自适应的相内SOC均衡策略,详细说明均衡控制参数的设计原则。该策略能有效地改善链式储能系统在轻载、重载等不同工况下的适应性和均衡效果。最终通过仿真验证了所提控制策略的可行性和有效性,从而为工程实施提供理论储备和技术支撑。     

基于运动预测与改进APF的无人机路径规划方法

动态路径规划是保障无人机在复杂干扰环境下飞行安全的关键要素。针对动态路径规划中存在的迭代次数高、收敛速度慢以及动态障碍物避障问题,提出了一种基于障碍物运动预测与改进APF的无人机动态路径规划方法。首先,针对动态障碍物,设计了基于激光雷达的目标检测算法和基于卡尔曼滤波的运动预测算法估计动态障碍物信息,并提出速度方向相似性检测方法进行局部位置脱离决策。其次,针对静态障碍物,引入模拟退火法扰动当前状态,并结合基于目标点的邻域优化函数进行动态路径规划。仿真结果表明,本文算法在应对静态障碍物时可缩短69%动态避障时间,应对动态障碍物时可缩短了19.7%的避障距离与23.6%的任务耗时,提高了无人机任务执行的安全性和效率。