关于“递归定理”

这篇短文证明了如下定理. 定理 设集N包含1,a(?)a~+是N到自身的一个映射且满足递归定理: R.对于任意的非空集S,S内任意给定的元a及S到自身的映射(?),恒唯一存在N到S的映射f满足条件 f(1)=a,f(a~+)=(?)(f(a)),a∈N.则N中必成立 PⅠ.1≠a~+,对任何a∈N. PⅡ.a~+=b~+(?)a=b,对任何a,b∈N. PⅢ.完全归纳法原理:若M是N的满足条件 1∈M,"a∈M(?)a~+∈M" 的子集,则M=N.     

基于VPN技术的云南强震观测高速远程通信实用方案

 在充分利用现有国家通信网络基础设施的前提下,基于VPN技术提出了2套适用于强震远程观测的高速远程通信实用方案.方案1把VPN技术性工作交给了网络运营商,方案2把VPN技术性工作留给了用户.但方案2在安全性和经济性均优于方案1.     

语文研究性学习浅析

语文研究性学习是近年来兴起的一种新的学习模式,是培养学生创新精神和实践能力的一种重要途径,它对于激发学生的兴趣,提高语文教学质量,衔接中学和大学的中文教育是很有益处的.论文在对语言研究性学习的特征进行分析的基础上,提出了语文研究性学习的原则及实施步骤.最后,论文对在语文研究性学习过程中可能会遇到的误区进行了论述.     

作业成本法在物流成本管理中的应用

论述了企业物流成本管理中存在的问题,系统地阐述了运用作业成本法进行企业物流成本管理的可行性和具体操作要求,最后提出了作业成本法在物流成本管理中的应用对策.     

不同代数PAMAM树形分子对CaCO3晶体的影响

以端基为-COONa的聚酰胺胺(PAMAM)树形分子为基础,研究不同代数PAMAM树形分子对CaCO3晶体的影响.分别合成了0.5代、1.5代、2.5代、3.5代、4.5代-COONa端基的PAMAM树形分子,制备了不同代数树形分子存在下的CaCO3晶体,并用IR,XRD,SEM等方法对其进行了表征.结果表明,随着树形分子代数的增加,生成趋于完善的球霰石CaCO3晶体,且CaCO3晶体颗粒的粒径呈减小趋势,由0.5代PAMAM的(6.0±0.5) μm降至4.5代PAMAM的(0.7±0.5) μm.说明端基为-COONa的PAMAM树形分子对CaCO3是一种很好的晶体改性剂和结晶抑制剂.     

非网络环境下图书资源的综合开发与利用

通过对图书以及图书文献资源开发与利用的认识，分析了我国图书文献资源开发利用的现状，提出了图书馆开发利用馆藏图书文献资源的具体方法和策略。     

机场终端区流量分配及优化调度

针对日益增长的空中交通需求所带来的严重的航班延误,给出了一种空中交通流量管理(ATFM)终端区流量分配及优化调度的模型.它可以实现对终端区某一特定时段内现有容量更有效的利用,进一步优化流量分配方案从而减轻航班延误的影响.模型在考虑机场的到达和出发过程相关的条件下实现对机场流量的最优分配,还考虑了机场容量按时间动态分配的特性以及在交通需求和天气的动态特性下,达到和出发过程之间的流量协调.最后利用中国某国际机场的实际数据对模型进行了验证,取得了很好的效果.     

模糊系统的静态输出反馈控制

对一类非线性系统利用模糊 T- S模型进行建模 ,研究了静态输出反馈控制问题。用矩阵不等式的形式给出了模糊系统可通过静态输出反馈控制的充分条件。并将矩阵不等式的条件转化为迭代线性矩阵不等式 ( ILMI) ,并给出了相应的算法。仿真结果表明所提出的控制算法是有效的。     

新型消毒剂过氧化氢磷酸钠复合物合成

以磷酸钠和30％过氧化氢为原料，在稳定剂存在下合成了新型消毒剂过氧化氢磷酸钠复合物，经试验确定了最优合成条件是n(H202)：n(Na3PO4)＝1．7：1，反应温度15℃，产率82％，活性氧含量14．78％。     

多图特征的差分密码分析

为提高差分密码分析的速度,提出了一种同时采用两个圈特征的差分分析方法,并以简化的8圈DES为例,分别从小存储空间和大存储空间两种情况描述了该方法的具体实施过程,包括两种圈特征的选取以及该方法的性能分析.所提出的方法同样也适用于对其他密码算法的差分分析.