确定Fmin的一个算法

构造了一个求解最小函数依赖集Fmin的计算机算法．该算法将求解Fmin的逻辑推理过程包装在一个C 函数之中，通过运行与此函数相配套的程序，可以快速、准确地获得与所给函数依赖集F等价的Fmin从而使求解Fmin的过程方便、快捷．     

费耶阿本德对理论依赖观察观点的批判

1"没有经验的科学"是可以想象的 在发表于1958年的论文<对经验进行实在论解释的尝试>中,费耶阿本德通过对逻辑经验主义理论依赖观察的彻底批判,提出他作为理论核心的"没有经验的科学"观点.     

IF深冲钢织构及其对塑性各向异性的影响

经不同热轧终止温度生产的两种含 Ti- Nb超低碳 IF深冲钢薄板呈现不同的塑性各向异性 .利用取向分布函数 ( ODF)定量分析了它们的织构 ,并对它们相异的塑性行为与织构及 ODF级数展开四阶系数的关系进行了探讨 .结果发现 ,沿板面〈1 0 0〉的取向分布是影响薄板塑性各向异性的主要原因 ,四阶织构系数 C124及 C13 4 值的大小与正负将决定制耳效应的特征 .     

3104深冲铝板织构对初始R值的影响

以深冲铝板R值的在线检测为应用背景,塑性变形滑移系开动的过程为出发点,分析了初始滑移系选取的方式,并计算了不同取向3104铝合金板的初始R值.结果表明,织构是决定板材R值最主要的因素,其中初始R值是实测R值的重要组成部分.3104铝板中存在的织构组分决定其R0值最低、R90值最高.计算表明,{111}面织构有利于在明显降低制耳效应的前提下,大幅度提高铝板的深冲压性能.     

一种基于协调知识水平的协调问题描述方法

从协调的本质出发,提出基于协调知识水平的协调理论研究框架,用活动、资源、相互依赖和协调机制等刻画协调知识水平.在此基础上,按照分析活动→判断资源→分清依赖的顺序对协调问题进行抽象,进而通过三元组(A,D,R)对其进行形式化的描述,将协调问题的求解过程简化为对三种基本相互依赖的处理过程,为利用计算机处理协调问题打下了基础.     

浅淡科学数据共享工程建设的战略取向

科学数据共享工程自2002年启动以来,先后对多个部门和行业进行了试点建设,取得了良好的开端。本文在调查、分析的基础上,针对科学数据共享工程的国家目标,从12个方面分析和探讨了科学数据共享工程的战略取向,以期为“十一五”的科学数据共享工程建设与发展提供参考。     

关于病毒与人类共存的哲学思考

病毒与人类的关系,是寄生与对抗、共存与依赖的关系.以积极进取中的必要妥协策略来对待病毒是人类的理性抉择,由此应在一定程度上改变相应的人类生存观念和生产方式.     

具无穷时滞状态依赖变元微分方程解的有界性及概周期性

本文研究了一类具无穷时滞状态依赖变元泛函微分方程dx/dt=F(t,x(t),x(t-ρ((x1))),t≥0 有界解及概周期解的存在性。     

论“四个全面”战略布局的根本价值取向

十八大以来,党中央顺应时代发展趋势,回应人民热切期盼适时提出并形成了"四个全面"战略布局。"四个全面"战略布局是由目标和举措构成的有机统一体系,贯穿了一条以人民主体性为根本价值取向的思想红线:全面建成小康社会实现人民幸福;全面深化改革增进人民获得感;全面依法治国保障人民权益;全面从严治党增强人民政治认同。     

小波域Copula多维模型纹理检索

提出一种有效的小波域copula多维模型的纹理检索方法.针对小波域上各个子带间独立性建模的不足,方法利用小波分解系数的相关结构设计了树状依赖结构,并在这种依赖结构上实现了copula多维分布模型.树状依赖结构能同时捕获尺度间依赖和邻域依赖,且与邻域依赖结构相比该树状结构具有维数低、需要的copula模型个数少的特点.由于copula多维模型较为复杂,很难计算其Kullback-Leibler距离(KLD),本文提出一种基于copula多维模型的KLD相似度检索方法:Copula模型的KLD由其边缘分布函数的KLD和copula函数的KLD组成.在Vis Tex与Brodatz数据库上的实验表明,本文提出的树状依赖结构和相似度检索方法在小波域相关性建模方面计算效率高,较大地提高了纹理图像的检索率,并且能很好地推广到其他小波域(比如复数小波域、方向小波域等).