Diffusion Model of a Non-Integer Order PIγ Controller with TCP/UDP Streams

In this article, a way to employ the diffusion approximation to model interplay between TCP and UDP flows is presented. In order to control traffic congestion, an environment of IP routers applying AQM (Active Queue Management) algorithms has been introduced. Furthermore, the impact of the fractional controller PIγ and its parameters on the transport protocols is investigated. The controller has been elaborated in accordance with the control theory. The TCP and UDP flows are transmitted simultaneously and are mutually independent. Only the TCP is controlled by the AQM algorithm. Our diffusion model allows a single TCP or UDP flow to start or end at any time, which distinguishes it from those previously described in the literature.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

On the numerical solution of ill‐conditioned linear systems by regularization and iteration

We propose to reduce the (spectral) condition number of a given linear system by adding a suitable diagonal matrix to the system matrix, in particular by shifting its spectrum. Iterative procedures are then adopted to recover the solution of the original system. The case of real symmetric positive definite matrices is considered in particular, and several numerical examples are given. This approach has some close relations with Riley's method and with Tikhonov regularization. Moreover, we identify approximately the aforementioned procedure with a true action of preconditioning.     

Negative thermal expansion in NbF_3 and NbOF_2:A comparative theoretical study

Thermal expansion control is always an obstructive factor and challenging in high precision engineering field. Here,the negative thermal expansion of Nb F_3 and Nb OF_2 was predicted by first-principles calculation with density functional theory and the quasi-harmonic approximation(QHA). We studied the total charge density, thermal vibration, and lattice dynamic to investigate the thermal expansion mechanism. We found that the presence of O induced the relatively strong covalent bond in Nb OF_2, thus weakening the transverse vibration of F and O in Nb OF_2, compared with the case of Nb F_3.In this study, we proposed a way to tailor negative thermal expansion of metal fluorides by introducing the oxygen atoms.The present work not only predicts two NTE compounds, but also provides an insight on thermal expansion control by designing chemical bond type.     

On the Relative Twist Formula of l-adic Sheaves

We propose a conjecture on the relative twist formula of l-adic sheaves, which can be viewed as a generalization of Kato—Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.     

Synthesis of 29H,31H-phthalocyanine and chloro (29H,31H-phthalocyaninato) aluminum derivatives showed anti-cancer and anti-bacterial actions

Continuous administration of most chemotherapeutic drugs can induce different types of side effects. There has been growing interest in exploring an alternative approach to synthesizing compounds that are most effective and have fewer side effects. We synthesized 29H,31H-Phthalocyanine, and Chloro (29H,31H- phthalocyaninato) aluminum at low temperatures using lithium in the present study with diisopropylamide as the nucleophile. The physical characteristics of 29H,31H-Phthalocyanine, and Chloro (29H,31H- phthalocyaninato) aluminum were confirmed by FT-IR method, XRD, SEM, and the impact of these compounds on human colorectal carcinoma (HCT-116) and human cervical cells (HeLa) was examined. Treatment with 29H,31H-Phthalocyanine significantly decreased cancer cell growth and proliferation, as determined by MTT and DAPI staining analysis. In contrast, Chloro (29H,31H- phthalocyaninato) aluminum treatment did not show any inhibitory action on colon or cervical cancer cells. We also calculated the inhibitory concentration (IC50) of 29H,31H-Phthalocyanine, which was 30 µg/ml (HCT-116) and 33 µg/ml (HeLa cells). The antibacterial effectiveness of 29H,31H-Phthalocyanine, and chloro (29H,31H- phthalocyaninato) aluminum was studied using Enterococcus faecalis (E. faecalis). The CFU (colony frequency unit) assay confirmed significant activity against the test bacterium after treatment with 29H,31H-Phthalocyanine. However, no activity was seen upon treatment with chloro (29H,31H- phthalocyaninato) aluminum against E. faecalis.     

1,3-丁二烯选择性加氢催化剂的设计策略以及构效关系

催化裂化是石油化工的核心单元之一.从催化裂化尾气中分离出来的碳四馏分富含许多的不饱和烯烃,如1-丁烯、顺、反式-2-丁烯以及少量的1,3-丁二烯,这些不饱和烯烃可以通过后续聚合反应,生成合成橡胶和工程塑料的重要原料,具有重要的应用价值.上述工艺过程对原料中1,3-丁二烯的含量(<100~200 ppm)有严苛的要求.采用选择性加氢技术对碳四馏分中的1,3-丁二烯进行选择性加氢,将其转化为更高附加值的单烯烃是一个理想的解决方案.然而,1,3-丁二烯加氢反应得到的单烯烃可能发生深度加氢得到副产物丁烷.因此,开发高效选择性加氢催化剂对碳四资源的利用具有重要的现实意义.另一方面,1,3-丁二烯加氢反应可以作为模型反应,用来考察选择性加氢催化剂的性能.基于此,该反应无论在工业界还是学术界均受到广泛关注.尽管如此,有关1,3-丁二烯加氢催化剂研究进展方面的综述极少.仅有关于1,3-丁二烯加氢作为模型反应的综述报道.本文对过去半个世纪以来1,3-丁二烯加氢反应中不同催化剂的发展历程进行系统综述,特别是包括Pd,Pt和Au等的单一贵金属催化剂.重点介绍以下内容:(1)固体催化剂构效关系,包括活性金属尺寸效应、晶面和形貌效应以及载体效应(晶相、孔道和酸碱性);(2)高性能催化剂的设计新策略,如单原子催化剂、核壳结构催化剂、金属-离子液复合催化体系以及载体的形貌调控;(3)催化剂的反应机理和失活机理.提出了1,3-丁二烯选择性加氢高性能催化剂开发面临的挑战,并对潜在的发展方向进行了展望.本文认为随着纳米技术和金属纳米材料合成方法的快速发展,对贵金属活性组分进行原子层面上的调控(包括形貌、尺寸以及单原子配位环境等)已成为可能.这将有助于研制出一类新型高性能选择性加氢催化材料,从而实现高转化率条件下高附加值单烯烃的定向转化.此外,载体的酸碱性和孔道结构的调控有助于进一步调节催化剂的抗积炭性能,也是未来发展的一个重要方向.     

有机张力半导体及其光电特性

分子张力作为空间设计的重要组成部分正成为调控有机半导体的重要手段。由于分子内产生的拉伸张力、扭曲/弯曲张力以及空间张力而导致p轨道排布重组和构型构象结构发生变化,最近各种几何与拓扑结构的高张力有机半导体材料相继被报道,这使得高张力有机半导体材料成为有机电子领域研究的焦点。为了进一步梳理分子张力在有机半导体材料中扮演的角色与价值,该综述从分子张力的类型、实验与理论量化以及可视化出发,总结了高张力共轭芳烃的分子设计策略、与其光电性能分子张力之间的关系,以及这类新兴材料在光电领域的应用。最后,对高张力共轭芳烃的研究前景进行了展望,阐述了该类材料所面临的机遇与挑战。