Composing dinatural transformations: Towards a calculus of substitution

Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were discovered by Dubuc and Street in 1970. Many ad hoc solutions to this remarkable shortcoming have been found, but a general theory of compositionality was missing until Petri?, in 2003, introduced the concept of g-dinatural transformations, that is, dinatural transformations together with an appropriate graph: he showed how acyclicity of the composite graph of two arbitrary dinatural transformations is a sufficient and essentially necessary condition for the composite transformation to be in turn dinatural. Here we propose an alternative, semantic rather than syntactic, proof of Petri?'s theorem, which the authors independently rediscovered with no knowledge of its prior existence; we then use it to define a generalised functor category, whose objects are functors of mixed variance in many variables, and whose morphisms are transformations that happen to be dinatural only in some of their variables.We also define a notion of horizontal composition for dinatural transformations, extending the well-known version for natural transformations, and prove it is associative and unitary. Horizontal composition embodies substitution of functors into transformations and vice-versa, and is intuitively reflected from the string-diagram point of view by substitution of graphs into graphs.This work represents the first, fundamental steps towards a substitution calculus for dinatural transformations as sought originally by Kelly, with the intention then to apply it to describe coherence problems abstractly. There are still fundamental difficulties that are yet to be overcome in order to achieve such a calculus, and these will be the subject of future work; however, our contribution places us well in track on the path traced by Kelly towards a calculus of substitution for dinatural transformations.     

矿尘影响下生态系统脆弱性级联传播模型分析

为了解决矿尘连续排放并迁移对地表生态系统造成的脆弱性问题,提出了基于函数地理Petri网的脆弱性级联传播模型。综合考虑污染物迁移方向和生态环境在地理空间上的关联关系,直观地构造了基于级联传播的污染Petri网。在此基础上,定义了基于VCPM的脆弱度和阈值的概念,利用两者的关系进行脆弱性级联传播分析,从而明确级联传播的三种状态。最后,以神府煤田矿尘迁移作为污染物连续排放的污染源,通过模型方法的模拟仿真分析,对生态环境系统在级联传播下的脆弱性进行了深入探讨。已有的研究方法和结果不仅在生态环境脆弱性研究领域做出了新的贡献,而且为环境的修复和重建提供了参考价值。     

一种消色差等时性强流束三磁铁偏转系统

描述了一种由三块二极磁铁组成,无四极透镜的消色差等时性磁偏转系统及其设计方法。根据该系统有关色差性和时差性的关系式与TRACE 3D程序,设计了一个40MeV 、200A电子束的135°偏转系统,该系统显示了良好的消色差性和等时性。     

DCS网状网自愈的进展

数字交叉连接系统(DCS)网状网是电信传输骨干网的主要拓扑结构。本文讨论了DCS网状网自愈的进展,其中包括SDH、ATM和WDM网状网自愈,同时说明了它们之间的相互关系。对电信传输网自愈和电信业务网的关系也进行了讨论。     

关于克劳修斯方法对可逆和不可逆过程(循环)的处理

介绍了克劳修斯方法对可逆和不可逆过程(循环)的处理,提出了处理不可逆过程的方法,论证了处理方法与克劳修斯方程的一致性,论述了克劳修斯方法的实质和意义;简单介绍了熵的另一个导出方法,比较了两种方法对绝热过程的处理,指出克劳修斯方法存在一个假设条件.     

物联网概念和演进路径

近来,物联网成为炙手可热的名词,专家预言物联网将彻底改变人们的生活方式,带动万亿级的产业发展,成为信息化发展的新的推动力量。但是究竟什么是物联网,它离我们还有多远?仍然是众说纷纭,见仁见智。实际上,物联网这一名词来自对互联网的类比,本文试图通过分析物联网和互联网的关系,从人类现代信息化发展的历史角度,用结构化模型的方式,对物联网的概念给予辨析,并提出物联网的未来演进路径。     

面向物联网隐私数据分析的分布式弹性网络回归学习算法

为了解决基于集中式算法的传统物联网数据分析处理方式易引发网络带宽压力过大、延迟过高以及数据隐私安全等问题,该文针对弹性网络回归这一典型的线性回归模型,提出一种面向物联网(IoT)的分布式学习算法。该算法基于交替方向乘子法(ADMM),将弹性网络回归目标优化问题分解为多个能够由物联网节点利用本地数据进行独立求解的子问题。不同于传统的集中式算法,该算法并不要求物联网节点将隐私数据上传至服务器进行训练,而仅仅传递本地训练的中间参数,再由服务器进行简单整合,以这样的协作方式经过多轮迭代获得最终结果。基于两个典型数据集的实验结果表明：该算法能够在几十轮迭代内快速收敛到最优解。相比于由单个节点独立训练模型的本地化算法,该算法提高了模型结果的有效性和准确性;相比于集中式算法,该算法在确保计算准确性和可扩展性的同时,可有效地保护个体隐私数据的安全性。     

对抗红外成像制导反坦克导弹的一种伪装方法

通过分析坦克的生存概率因素，阐明了单纯依靠运动和加强坦克的装甲防护能力是难以对抗红外成像反坦克导弹的。提出红外伪装网、红外干扰弹被动伪装和主动伪装相结合的方法，并以AGM-65D导弹的战斗参数为例对该方法进行了初步分析、评估。结果表明：该方法能够使坦克目标的生存概率大大提高．对其他目标对抗红外成像制导武器有一定的借鉴作用。     

随机条件概率的一个极限性质与条件矩母函数方法

设Ｘｎ,ｎ〉０是在ｓ＝１,２,…,Ｎ中取值的一列随机变量,ｐｋ（ｘｋ↓ｘ０,…ｘｋ－１）＝ｐ（Ｘｋ＝ｘｋ↓Ｘ０＝ｘｋ－１＝ｘｋ－１）。本文得到随机概率｛ｐｋ（Ｘｋ↓Ｘ０,…Ｘｋ－１）,１〈ｋ〈ｎ↓）的调和平均ａ．ｅ．收敛的一个定理．证明中提出了将关开网的微分法和条件矩母函数的工具应用于强极限定理的研究的一种途径。     

介孔网络电路

用二次阳极氧化法制备纳米多孔氧化铝板,然后用磁控溅射方式在纳米多孔氧化铝板表面镀金得到介孔网络电路,对该介孔网络电路进行输运测量,发现其具有非线性电阻.