Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

基于分数阶微积分的机械臂滑模控制的研究

针对机械臂这类非线性与不确定性的系统,将分数阶微积分理论与滑模控制策略的优点相互结合,提出一种有效的分数阶滑模控制方法。在控制器的设计过程中,分别以分数阶趋近律与分数阶滑模控制律两种手段将分数阶微积分引入到滑模控制中,并运用Lyapunov理论进行证明,从而确保系统的稳定性。将提出的控制方法应用于二关节机械臂上,使用MATLAB仿真软件进行仿真验证。结果表明,所提控制策略可有效提高关节的跟踪速度与跟踪精度,控制器具有良好的有效性和鲁棒性。     

质量保证型服务界值研究及其在HALM中的应用

研究质量保证型服务和分层应用级组播的性能界值是很有意义的新课题。基于计算机网络的建模理论——网络演算（Network Calculus）,研究了质量保证型服务单网络节点和多网络节点级联系统的性能界值;接着提出了服务隧道的概念,并应用服务隧道对分层应用级组播进行了QoS优化;最后应用质量保证型服务的性能界值进行了系统性能评价。     

奇偶函数的积分求法

奇偶函数的积分计算是积分学中的一种特殊运算,在计算过程中如能巧用奇偶函数的性质,往往可以起到化难为易、简化计算的作用。本文从单变量函数和多变量函数微分学两个方面分别探讨了奇偶函数的积分计算,并结合具体实例进一步论证了自己的观点。     

APPROXIMATE SUBDIFFERENTIALS AND NONSMOOTH ANALYSIS FINITE DIMENSIONS

Ioffe's approximate subdifferentials are reviewed and some of his resultsare generalized.An extension of the calculus of the approximate subdifferentials forthe sums to any finite number of functions is provided along with a generalizationof the Dubovitzkii-Milyutin theorem.The presentation also indicates some of thelimitations of nonsmooth analysis and optimization.Restriction to the class offunction which is suitable for most of the purposes in nonsmooth optimization issuggested.     

＊系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L*以及在语义上相关的修正的Kleene逻辑系统,W,W,W     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

有理Haar小波求解非线性分数阶Fredholm积分微分方程

利用有理Haar小波的分数阶积分算子矩阵,提出一种求解非线性分数阶Fredholm积分微分方程的数值算法,并通过数值实验验证了所提算法的精确性和有效性.     

Hermann Cohen's Das Princip der Infinitesimal-Methode: The history of an unsuccessful book

This paper offers an introduction to Hermann Cohen's Das Princip der Infinitesimal-Methode (1883), and recounts the history of its controversial reception by Cohen's early sympathizers, who would become the so-called ‘Marburg school’ of Neo-Kantianism, as well as the reactions it provoked outside this group. By dissecting the ambiguous attitudes of the best-known representatives of the school (Paul Natorp and Ernst Cassirer), as well as those of several minor figures (August Stadler, Kurd Lasswitz, Dimitry Gawronsky, etc.), this paper shows that Das Princip der Infinitesimal-Methode is a unicum in the history of philosophy: it represents a strange case of an unsuccessful book's enduring influence. The “puzzle of Cohen's Infinitesimalmethode,” as we will call it, can be solved by looking beyond the scholarly results of the book, and instead focusing on the style of philosophy it exemplified. Moreover, the paper shows that Cohen never supported, but instead explicitly opposed, the doctrine of the centrality of the ‘concept of function’, with which Marburg Neo-Kantianism is usually associated.     

一类双分数Brownian运动的广义二次协变差

假设B是一个指数为H∈(0,1),K∈(,1]且满足2HK＜1的双分数Brownian运动,其赋权局部时设为{(b)(x,t),t≥0,x∈R}.建立了f(B)与B的广义二次协变差f(B),B](W),并且研究如下局部时的积分∫Rf(x)(b)(dx,t), t≥0,这里x|→f(x)为Borel可测函数.构造了一个B...