论文部分内容阅读
媒介景观视阈下直播带货表征解读与意义建构 ——以淘宝直播为例
【出 处】
：
湖北大学
【发表日期】
：
2021年01期
其他文献
This paper is concerned with the state consensus for double-integrator heterogeneous networks based on asynchronous periodic edge-event-triggered control.This paper considers the practical scenario: 1
现今仿真模型重用问题仍然是仿真领域最具挑战性的四个研究领域之一,关于模型重用的研究仍然面临缺乏理论支撑问题,而在基础理论研究方面,对模型重用的全生命周期系统化的、规范化的研究尤为重要.本文从仿真模型重用的全生命周期角度出发,建立了面向全生命周期的仿真模型重用过程模型,并结合云计算、云仿真等技术给出了在云环境下模型重用服务的全生命周期,力求规范仿真模型重用过程并指导仿真参与人员,以对模型重用过程理解
利用交互式定理证明工具Coq,在公理化集合论体系下,给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引理、Hausdorff最大原则、最大原则、Zorn引理、良序原则等.本文从选择公理出发依次证明上述定理,最后又通过良序原则证明了选择公理,从而循环证明了选择公理与这些命题间的等价性.本文体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axiomatic set theory.The axiomatic set theory used in this paper refers to Kelleys axi
This paper presents cell mapping construction and the robustness performance analysis for a class of complex dynamical systems which consist of a nonlinear plant and a state-feedback controller connec
From microbial communities to human societies,nonlinear group interactions strongly affect the intraspecific evolutionary dynamics,which leads to the variation of the strategy composition.The conseque
In this paper,we consider the propagation problem for multiple pieces of information over a network with antagonistic interactions,modeled as a signed graph.The sign attached to an edge in this graph
粒子群算法已经被广泛地用来求解特定谐波消除方程组,但是它在CPU上的执行效率较低,满意满足实际需求.本文将粒子群算法并行化并将其在GPU上运行以提高执行效率.文中使用GPU加速的粒子群算法求解了5到7个不等电平的特定谐波消除方程组,其执行效率比其在CPU上的执行效率高数百倍.通过实验,求解所得开关角的正确性也得到了验证.
Mathematical Theorem Machine Proving System Based on Coq -Machine Proving of the Factorization Theor
The complete machine proving of the Factorization Theorem of Principal Ideal Domain in the abstract algebra is given by using the interactive theorem proving tool Coq.The proof process is done by usin