C语言语句使用频度的自动统计方法设计与实现

讨论了C语言语句静态使用频度的统计方法,给出了完整的自动统计的C语言源程序及C语言语句静态使用频度.统计结果成为缩短高级语言和机器语言间语义差距,缩短编译程序的长度和编译所需时间的重要依据.     

Rutile U-Pb age for the ultra-high pressure eclogite from the dabie Mountains,central China:Evideence for rapid cooling

The U-Pb isotope compositions of rutile, omphacite and garnet in the eclogite from the Jinheqiao area in the Southern Dabie ultrahigh-pressure metamorphic zone were analyzed. The consistent high precision U-Pb age (218 ±(1.2) Ma of rutile in eclogite from the Dabie Mountains was obtained by two ways of isochron and common Pb correction based on the composition of omphacite. This proves that the omphacite in eclogite has a U/Pb ratio (μ = 2.8) low enough to be used for common Pb correction in the analyses of rutile. Under the rapid cooling condition (40℃/Ma) the closure temperature for U-Pb diffusion in rutile is about 470℃. Thus, this U-Pb age of rutile proves that 218 Ma should be the cooling age of eclogite at 470℃ instead of the peak metamorphic age.     

Ramsey数R(k,l;r)的构造性下界

确定Ramsey数的构造性下界是组合数学中很有意义而又非常困难的课题,迄今仅有个别结果。本文将研究一类组合竞赛,给出任意Ramsey数R(k,l;r)的构造性(算法性)下界。     

黄河决徙与黄河冲积扇发育关系初探

在论证黄河冲积扇仍处于建造时期当中,得出决徙是建扇过程发生的自然现象.下游河道历史上两期安流跟两期暖湿气侯背景的出现不无联系.治河方向应以滞缓建扇过程和保护河口海岸为原则,这样才符合自然规律.     

连续波激光诱导扩散区温度的不接触测量

激光诱导扩散中曝光区的大小在１０μｍ数量级，其温度分布的测量是比较困难的，该文报道一种曝光区中极微小面元的不接触测量，文中介绍了测量原理，实验装置，给出了实验结果，并特地介绍了测量系统的定标。     

论中医药名词定名单义性原则的实施

单义性是科技名词审定的主要原则之一。单义性原则规定一个概念仅确定一个与之相对应的规范的中文名称,即“一词一义”。实现单义性原则,需要解决“一词多义”和“一义多词”现象。我们在中医药名词审定工作中,对于“一词多义”的处理,采取了分化不同义项、淘汰不常用的义项、因学科门类的差异而分别定名、保留不同学科之间的一词多义现象等措施。“一义多词”的处理,采用选定一词舍弃他词、设立异名等方法。实现中医药名词审定的单义性原则,既要遵守科技名词审定的一般原则和方法,也要根据本学科特点,探索符合自身特性的规则与措施。     

利用先验信息修正经典限的可靠性评估方法

讨论可靠性评估中利用先验信息的问题 .在参数先验分布容易确定的场合 ,可利用先验信息对参数的经典估计进行修正 (即给出 Bayes估计 ) ,再基于该估计用经典的 WCF方法给出系统可靠度的置信下限 .该方法具有很好的精度 ,并克服了纯 Bayes方法受先验偏差影响较大的缺点 .文章对上述进行了补充 ,讨论了指数定时截尾数据情形下利用先验信息的可靠性评定问题 .给出了一种融合先验信息和试验数据的参数估计 ,该估计的特点是具有独立和的形式 ,基于该估计用 WCF法比基于通常的 Bayes估计简单 .另外 ,对参数先验分布难以确定的多参数寿命分布模型 (如 Weibull分布 ,本文在仅知其可靠度先验分布或可靠度先验一阶、二阶矩及可靠度的某先验分位点的条件下 (事实上工程专家较易给出上述可靠度的有关先验信息 ) ,将 Bayes,Fiducial及经典统计方法相结合 ,用可靠度的先验信息直接对可靠度的经典限作修正以获得融合了先验信息及试验数据的置信下限 ,模拟表明该种处理具有很好的精度 ,适合工程应用.     

一类供应商逆向选择问题的报酬机制研究

研究了采购企业在缺乏供应商实际业务能力、服务成本等方面信息的情况下 ,利用博弈论显示原理设计不同的供货合同来让供应商选择 ,从而根据供应商的选择结果来判断其真实的能力或类型 ,从而避免了供应商逆向选择问题的发生 .通过分析 ,得出了最优报酬机制的特征 ,并证明了上述报酬机制下的最优合同与采购企业对供应商综合能力和成本的先验认识无关 .     

高潜水位密集村庄下采煤

针对华东某煤矿高潜水位密集村庄下采煤进行了深入的研究，在提出４种类型１６种试采方案的基础上，作为方案的优化选择，得出了矿井生产不受村庄制约的最优方案并用相似材料模型进行了验证。