区块链游戏生态的角色动态识别与演化分析——以Axie Infinity为例

针对区块链游戏生态的复杂性,提出一种基于时序有向加权网络的新型角色识别方法。该方法首先设计了节点投票算法ChainVoteRank以识别出关键基础角色,然后结合多特征融合的层次聚类算法挖掘潜在的隐蔽角色。以play-to-earn(P2E)模式区块链游戏Axie Infinity为对象进行研究,结果表明该P2E模式区块链游戏生态中存在6种基本角色:劳工、正常玩家、经理、繁育商、交易商和机构组织。相较于传统角色识别方法,该方法不仅可以更好地识别出区块链游戏生态中的主要用户角色,而且还揭示了P2E模式区块链游戏生态的角色演化过程、不同阶段中各角色发挥的作用,以及P2E生态日益严重的贫富差距。

H-infinity performance optimization for networked control systems with limited communication channels

This paper studies the problems of H-infinity performance optimization and controller design for continuous-time NCSs with both sensor-to-controller and controller-to-actuator communication constraints （limited communication channels）. By taking the derivative character of network-induced delay into full consideration and defining new Lyapunov functions, linear matrix inequalities （LMIs）-based H-infinity performance optimization and controller design are presented for NCSs with limited communication channels. If there do not exist any constraints on the communication channels, the proposed design methods are also applicable. The merit of the proposed methods lies in their Jess conservativeness, which is achieved by avoiding the utilization of bounding inequalities for cross products of vectors. The simulation results illustrate the merit and effectiveness of the proposed H-infinity controller design for NCSs with limited communication channels.

医科达Infinity医用电子直线加速器多例维修案例分析探讨

医科达Infinity医用电子直线加速器是一种精密的放射治疗设备,用于肿瘤等疾病的治疗。然而,由于设备的复杂性和使用频率,设备在运行过程中可能会出现包括硬件故障、软件故障和系统设置故障等。对于这些故障,需要进行详细的故障分析,找出故障点并进行修复或更换。同时,需要对Infinity加速器进行定期的保养,以确保其能正常稳定工作并尽可能延长设备使用寿命和降低故障发生率。本文将对医科达Infinity医用电子直线加速器的多例故障维修进行详细的介绍,包括设备维护、故障排除、维修技巧等并详细介绍Infinity加速器的具体维护保养方法,以便同行进行查阅探讨。

Zeno and the Wrong Understanding of Motion—A Philosophical-Mathematical Inquiry into the Concept of Finitude as a Peculiarity of Infinity

In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical at all. Zeno’s paradoxes indirectly prove that distances are not composed of extensionless points and, in general, that a higher dimension cannot be completely composed of lower ones. Conversely, lower dimensions can be understood as special cases of higher dimensions. To illustrate this approach, I consider Cantor’s only apparent proof that the real numbers are uncountable. However, his widely accepted indirect proof has the disadvantage that it depends on whether there is another way to make the real numbers countable. Cantor rightly assumes that there can be no smallest number between 0 and 1, and therefore no beginning of counting. For this reason he arbitrarily lists the real numbers in order to show with his diagonal method that this list can never be complete. The situation is different if we start with the largest number between 0 and 1 (0.999…) and use the method of an inverted triangle, which can be understood as a special fractal form. Here we can construct a vertical and a horizontal stratification with which it is actually possible to construct all real numbers between 0 and 1 without exception. Each column is infinite, and each number in that column is the starting point of a new triangle, while each row is finite. Even in a simple sine curve, we experience finiteness with respect to the y-axis and infinity with respect to the x-axis. The first parts of this article show that Zeno’s assumptions contradict the concept of motion as such, so it is not surprising that this misconstruction leads to contradictions. In the last part, I discuss Cantor’s diagonal method and explain the method of an inverted triangle that is internally structured like a fractal by repeating this inverted triangle at each column. The consequence is that we encounter two very different methods of counting. Vertically it is continuous, horizontally it is discrete. While Frege, Tarski, Cantor, Gödel and the Vienna Circle tried to derive the higher dimension from the lower, a procedure that always leads to new contradictions and antinomies (Tarski, Russell), I take the opposite approach here, in which I derive the lower dimension from the higher. This perspective seems to fail because Tarski, Russell, Wittgenstein, and especially the Vienna Circle have shown that the completeness of the absolute itself is logically contradictory. For this reason, we agree with Hegel in assuming that we can never fully comprehend the Absolute, but only its particular manifestations—otherwise we would be putting ourselves in the place of the Absolute, or even God. Nevertheless, we can understand the Absolute in its particular expressions, as I will show with the modest example of the triangle proof of the combined horizontal and vertical countability of the real numbers, which I developed in rejection of Cantor’s diagonal proof. .

H-infinity鲁棒滤波增益研究

基于Krein空间状态模型,深入分析H-infinity滤波增益,提出了广义滤波增益、增益失调因子等相关概念,并给出了H-infinity滤波器鲁棒性机理及H-infinity滤波器发散原因等相关结论。在此基础上,建立了一套结构化算法,清晰地描述了H-infinity滤波的两个计算回路和两个更新过程。仿真结果证明了相关结论的正确性。

Infinity HE高清恒染系统在病理常规染色中的应用

在日常病理工作中,为保证HE染色的质量,一般染片1 500~1 800张需更换染液。由于苏木精氧化持续等因素的存在,每张切片进行染色时试剂所处的状态不一致,也无法做到每张切片着色均一。在相对固定的染色程序中寻找稳定性较高的染液,保证在一定染片数量范围内每张切片着色均一,成为病理工作者致力解决的问题之一。本文就Infinity高清恒染系统在常规病理染色的稳定性进行评价。

Infinity高清恒染系统在常规HE自动化染色中的应用及染色持续能力的对比观察

目前我国常规病理诊断中使用最多的HE染色方法为传统的手工染色。手工HE染色过程繁琐、工作效率低、随意性强,不同的人操作会出现明显的波动,HE染色效果不稳定。试剂的配置和染色过程也费时、费力,要占用技术员大量的时间和精力,也不利于常规病理的质量控制,尤其在工作量大的综合性医院中,此缺点尤为突出。

不确定广义离散系统的鲁棒H-infinity控制

研究E矩阵,确定其它系数矩阵都存在满足范数有界条件的参数不确定性广义离散线性系统的鲁棒H∞控制问题。利用线性矩阵不等式方法,导出广义离散线性系统正则、因果、稳定且传递函数满足给定的范数界的等价条件。在此基础上,可以将广义不确定离散线性系统的状态反馈鲁棒H∞控制问题和输出反馈鲁棒H∞控制问题,分别转化为辅助广义确定性离散线性系统的状态反馈H∞控制问题和输出反馈H∞控制问题。

一类非线性中立型系统的状态反馈时滞相关H-infinity控制

研究了一类非线性中立型时滞系统的H-infinity控制问题.利用了适当的参数待定的Lyapunov-Krasovskii泛函及LMI方法获得了中立型系统的稳定性时滞相关的判据,给出了H-infinity状态反馈控制器存在的时滞依赖的充分条件.所采用的方法在设计、求解控制器时不需要做矩阵变换,求解简单,利用Matlab的LMI工具箱求解方便,并且给出的数值仿真实例说明了方法的有效性.

医科达INFINITY直线加速器机架旋转系统简析

目前,临床上的医用电子直线加速器主要是用于肿瘤疾病放射治疗的一种微波电子直线加速器,是临床上放射治疗中较为常用的设备之一,用于放射治疗的原理在于通过运用高能电子打靶进而产生韧致X射线,照射病灶区后,进而达到抑制和控制肿瘤发展的目的。而医科达INFINITY直线加速器机架旋转系统,能够帮助患者在照射治疗的过程中稳定运转设备,减少故障发生,为患者后续治疗提供更优质的保障。

不确定系统H_(_infinity)跟踪控制器设计方法研究

选取连续时间不确定系统模型为研究对象,系统模型中考虑变量参数不确定性的存在,阐述了一种通过线性矩阵不等式(LMI)手段进行H_(_infinity)跟踪控制器设计的方法.参照H_(_infinity)跟踪控制性能指标为设计依据,利用Lyapunov函数方法对系统进行稳定性分析,设计所得的跟踪控制器存在条件以线性矩阵不等式(LMI)的形式给出,可通过Matlab软件LMI工具箱进行求解.最后,通过一个数值仿真实例证明了设计方法的有效性.

安捷伦科技公司推出用于1290 Infinity Ⅱ液相色谱系统的新型自动进样器

本刊讯（记者申海鹏）7月6日,安捷伦科技公司推出了第二款适用于超高效1290 Infinity II液相色谱系统的自动进样器。新型1290 Infinity II样品瓶进样器能够缩短进样周期、减少交叉污染并提高样品容量,同时压力范围最高可达到1300bar。此款全新模块在瑞士日内瓦举办的高效液相色谱分离及相关技术的国际研讨会HPLC 2015上首次亮相。安捷伦科技公司副总裁兼液相色谱产品事业部总经理Stefan Schuette博士表示：＂借助这款新产品,

An Analytical Study of Leibniz’s Secant and Tangent on the Logical Basis of Mathematical Infinity

Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.

Mathematical Infinity and Medium Logic （I） --Logical-mathematical Interpretation of Leibniz＇s Secant and Tangent Lines Problem in Medium Logic

From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.

H infinity Control for Sandwiched Maglev Stage with Dynamic Damping

An H infinity(H∞)controller for a sandwiched maglev positioning stage is proposed.The maglev positioning stage has a special structure:a sandwiched maglev stage,consisting of repulsive linear motors and attractive linear motors,which have better levitation performance.Forces on the sandwiched maglev stage are analyzed and modeled.The positioning controller is designed based on the feedback linearized model with a dynamic damping system.The design of the H infinity controller for stage positioning is derived as a series of linear matrix inequalities(LMIs)which are efficiently solved in Matlab.The proposed controller and its effectiveness is demonstrated compared to PID method.

ON SUBSONIC AND SUBSONIC-SONIC FLOWS IN THE INFINITY LONG NOZZLE WITH GENERAL CONSERVATIVES FORCE

In this article, we study irrotational subsonic and subsonic-sonic flows with gen- eral conservative forces in the infinity long nozzle. For the subsonic case, the varified Bernoulli law leads a modified cut-off system. Because of the local average estimate, conservative forces do not need any decay condition. Afterwards, the subsonic-sonic limit solutions are constructed by taking the extract subsonic solutions as the approximate sequences.

基于H-infinity动态观测器的车辆质心侧偏角融合估计算法

针对车辆控制系统中关键参数质心侧偏角的估计问题,提出一种基于H-infinity理论和动态观测器理论的融合估计算法。提出的动态观测器具有动态变量,可以提高估计算法的暂态和稳态性能。通过引入偏差向量和构建李雅普诺夫函数,结合H-infinity理论,将动态观测器参数矩阵的求解问题转换成线性矩阵不等式的求解问题。建立车辆2自由度非线性动力学模型,采用质心侧偏角作状态变量,利用动态观测器对其进行估计。最后,在Simulink中搭建基于H-infinity理论和动态观测器理论的车辆质心侧偏角融合估计算法模型,并进行CarSim-Simulink联合仿真,对提出的算法进行仿真验证。

Robust H-infinity fault-tolerant control for uncertain descriptor systems by dynamical compensators

The problem of robust H-infinity fault-tolerant control against sensor failures for a class of uncertain descriptor systems via dynamical compensators is considered. Based on H-infinity theory in descriptor systems, a sufficient condition for the existence of dynamical compensators with H-infinity fault-tolerant function is derived and expressions for the gain matrices in the compensators are presented. The dynamical compensator guarantees that the resultant colsed-loop system is admissible; furthermore, it maintains certain H-infinity norm performance in the normal condition as well as in the event of sensor failures and parameter uncertainties. A numerical example shows the effect of the proposed method.

An LMI approach to robust H-infinity control for uncertain singular time-delay systems

The problem of robust H-infinity control for a class of uncertain singular time-delay systems is studied in this paper. A new approach is proposed to describe the relationship between slow and fast subsystems of singular time- delay systems, based on which, a sufficient condition is presented for a singular time-delay system to be regular, impulse free and stable with an H-infinity performance. The robust H-infinity control problem is solved and an explicit expression of the desired state-feedback control law is also given. The obtained results are formulated in terms of strict linear matrix inequalities （LMIs） involving no decomposition of system matrices. A numerical example is given to show the effectiveness of the proposed method.

H-infinity control for switched and impulsive singular systems

A new model of dynamical systems is proposed which consists of singular systems with impulsive effects, i.e., switched and impulsive singular systems （SISS）. By using the switched Lyapunov functions method, a sufficient condition for the solvability of the H-infinity control problem for SISSs is given which generalizes the H-infinity control theory for singular systems to switched singular systems with impulsive effects. Then the sufficient condition of solvablity of the H-infinity control problem is presented in terms of linear matrix inequalities. Finally, the effectiveness of the developed aooroach for switched and imoulsive singular svstems is illustrated by a numerical example.