80486极小指令集及其构造性证明

指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。     

Setal diversity,trophic modes and functional morphology of feeding appendages of two callianassid shrimps,Callichirus major and Sergio mirim (Decapoda: Thalassinidea: Callianassidae)

In the present study we investigate the trophic behaviour, stomach content and morphology of the feeding appendages, with emphasis on setae, of two callianassids; a generalist feeder, Callichirus major (Say, 1818) and a strict deposit feeder, Sergio mirim (Rodrigues, 1971). Of the 87 setal types described, only 5% were common to both species. Setal types were clustered in four main categories; plumed, serrate, plumodenticulate and simple. Callichirus major has higher setal diversity than S. mirim. Relative to the amount of setal types present in each species, C. major has a higher ratio of serrate to plumodenticulate setal types and similar percentages of plumed and simple setae. Examining the setae and spatial position of the segments of the feeding appendages, it is possible to infer that the main function of the dactyli, propodi and basal endites is to brush particles, while the meri, ischia and coxal endites retain sediment. The setal diversity found on the feeding appendages reflected the diverse trophic strategies of the callianassid species studied. Exclusive deposit feeders, e.g. S. mirim, appear to have fewer setal types than generalist feeders, e.g. C. major. Apparently, the higher ratio of serrate to plumodenticulate setal types in Callianassidae depends more on the necessity to triturate particles prior to ingestion than on the trophic mechanism used by the species.     

Bezier—Lupas算子的点态逼近度

本文利用一种概率分布定义Be'zier-Lupas算子作为新的逼近工具,并讨论它对有界变差函数类BV[0,∞)的点态逼近,给出精确的逼近阶。     

关于Be'zier-Durrmeyer积分算子的点态逼近度

文中利用概率论的方法讨论Be’zier-Durrmeyer积分算子对有界变差函数类BV[0,1]的点态逼近度,给出精确的逼近阶。     

独立决定和非二元性选择函数的Arrow不可能性定理

研究Arrow不可能性定理的弱化问题，将独立不相关条件(IIA)弱化为独立相关决定条件，证明在非二元性选择函数环境下对IIA弱化后Arrow不可能性定理仍然成立，并将它推广到选择函数不具有连通性的群格序决策问题。所得结论表明导致IIA弱化后，不可能性定理仍然成立的根本原因不是选择函数的连通性。     

柯西中值定理在多元函数中的推广

把一元函数的柯西中值定理推广到n元实值函值f(■)■∈DR~n,D假定是有界闭区域。     

关于亚纯函数的单充满圆

本文继续关于亚纯函数的单充满圆一文的研究,证明了亚纯函数的单充满圆存在性(?)理,应用它可以把庄圻泰著的亚纯函数的奇异方向一书的第五章全都定理和系理变成单级极点的情况,无穷级情况易由voliron角域不等式得到,我们仅就有穷正级、零级情况讨论之。     

基于FRAM-MC的船员疲劳事故研究

针对船员疲劳事故,利用功能共振分析(FRAM)与蒙特卡罗仿真(MC)相结合的方法,构建了船员疲劳事故致因分析模型(FRAM-MC).以“深能1”轮搁浅事故为案例,通过梳理事件经过和FRAM-MC模型计算并实证分析,结果表明:基于FRAM-MC的船员疲劳事故分析方法可建立清晰事故层次结构,有助于理清事故致因,其功能可变性和耦合分析能够准确高效地找出事故发生的关键功能和关键路径,为功能屏障设置提供依据,从而制定针对性防控措施,有效提高海事运输系统安全性,其研究结果可为海事事故分析提供参考和科学依据.     

函数概念的历史演变及分析

本文阐述和分析了函数概念的产生,发展和完善三个阶段的特点。     

关于渐近函数的讨论

本文得到以下结果:设a_i(z)(i=1,2,…,k)是级<1/4的不同的整函数,满足(?)[f(z)-a_i(z)]=0,L_i(i=1,2,…,k)是连续的无究路径,则(?)M(r,f)/r~(k/2)>0其中M(r,f)=(?){|f(z)|}