Zr Ⅺ—Ru ⅩⅤ离子4s~2—4s4p,4s4p—4s4d跃迁谱线和振子强度的计算

用ＨＸＲ方法计算了ＺｒⅪ—ＲｕⅩⅤ离子４ｓ２，４ｓ４ｐ，４ｓ４ｄ组态能级．通过对各能级值随Ｚｃ（Ｚｃ＝Ｚ－Ｎ＋１）沿等电子序列变化规律分析，找出了ΔＥ随Ｚｃ变化的一种新的拟合关系，运用该关系和笔者设计的ＦＯＲＴＲＡＮ程序对上述组态各能级进行了拟合计算．用类插的方法预测了ＴｃⅩⅣ离子的上述组态能级值．给出了ＺｒⅪ—ＲｕⅩⅤ离子４ｓ２—４ｓ４ｐ，４ｓ４ｐ—４ｓ４ｄ组态跃迁谱线波长和相应的振子强度     

ZrⅪ—RuXV离子4s^2—4s4p,4s4p—4s4d跃迁谱线和振了强度的计算

用ＨＸＲ方法了ＺｒⅪ－ＲｕＸＶ了子４ｓ＾２，４ｓ４ｐ，４ｓ４ｄ组态能级，通过对各有值随Ｚｃ（Ｚｃ＝Ｚ－Ｎ＋１）沿等电子序列变化规律分析，找出了△Ｅ随Ｚ变化的一种新的拟合关系，运用该关系和笔者设计的ＦＯＲＴＲＡＮ程序对上述组态能级进行了拟合计算，用类插的方法预测了ＴＣＸⅣ离子的上述组态能组值，给出了ＺｒⅪ－ＲｕＸＶ离子４ｓ＾２－４ｓ４ｐ，４ｓ４ｐ－４ｓ４ｄ组态跃迁谱线波长和相应的振子强度。     

用微计算机绘制合金相图

原理、解非线性热力学方程组的数值计算方法以及相图绘制的具体步骤和计算机程序。利用 ＩＢＭ－ＰＣ微计算机绘制了 Ｍｏ－Ｒｕ、 Ｐｔ－Ｒｅ、 Ｎｂ－Ｏｓ、 Ｗ－Ｐｄ、 Ｍｏ－Ｉｒ等二元系统的共晶、包晶相图，以及 Ｍｏ－Ｗ－Ｏｓ、 Ｒｅ－Ｈｆ－Ｍｏ等三元系统的等温截面相图，并和实验相图进行了比较。     

扩频通信中的非线性自适应滤波技术

对Ｒｕｓｃｈ和Ｐｏｏｒ提出的扩频通信中的自适应窄带干扰抑制技术的非线性算法提出了一些修正,使抑制干扰性能得到了改善;并将非线性滤波技术推广至自适应格型滤波器,增进了滤波性能．     

光合碳同化中的两个重要酶RuBP羧化酶和PEP羧化酶

植物的碳同化已经研究半个多世纪了。作为光合碳循环中关键性酶类的ＲｕＢＰ羧化酶早在１９４７年就由Ｗｉｌｄｍａｎ和Ｂｏｎｎｅｒ首先在植物中发现。它们观察到绿叶中有一电泳均一的大分子蛋白，称之为组分Ⅰ蛋白，后经验证，它就是ＲｕＢＰ羧化酶（简称ＲｕＢＰＣａｓ...     

河南的红菇科真菌资源的研究（Ⅱ）

红菇属（Ｒｕｓｓｕｌａ）是红菇科（Ｒｕｓｓｕｌａｃｅａｅ）的一个重要的属。本文依据在河南山区采集的标本,鉴定、整理出红菇属的种类有３１种,其中食用菌２４种、药用菌４种、毒菌５种。此外,它们多是菌根菌,与林业有着密切的关系,还有不少种类的子实体中含有抗癌物质,具有抑制肿瘤的作用。     

负载型Ru—Co羰基簇催化剂的XPS和TPD表征

制备了负载型Ｒｕ－Ｃｏ羰基簇催化剂，用Ｘ－ｒａｙ光电子能谱（ＸＰＳ）和程序升温脱羰（ＴＰＤ）等技术，对负载型双金属簇催化剂的表面化学性质和不同气氛中的脱附产物进行了研究，发现负载后，簇合物ＫＲｕＣｏ３（ＣＯ）１２中的ＲｕＣｏ３簇骨架与担体表面原子发生强相互作用。在反应温度下，可形成高分散型催化剂。认为ＣＯ加氢反应是按碳烯机理进行。     

关于CO在含Ru二元无序合金表面化学吸附稳定性的研究

本文采用Ｓｕｌｓｔｏｎ等人发展的一维紧束缚半无限二元无序合金模型（ＤＢＡ）和格林函数方法,在相关势近似（ＣＰＡ）下利用Ｅｉｎｓｔｅｉｎ－Ｓｃｈｒｉｅｆｅｒ（ＥＳ）化学吸附理论,通过ＣＯ分别在ＣｏＲｕ、ＲｕＮｉ及ＲｕＣｕ合金表面吸附能的计算,讨论了ＣＯ在以上３种合金表面化学吸附的稳定性．结果表明：（１）ＣＯ在ＣｏＲｕ合金表面化学吸附稳定性随Ｒｕ含量的增加而降低,近似呈线性变化;（２）ＣＯ在ＲｕＮｉ表面的化学吸附,在Ｒｕ含量小于２０％情况下,吸附稳定性随Ｒｕ含量的增加而增加．当Ｒｕ含量大于２０％而继续增加时,吸附稳定性呈减弱趋势;在Ｒｕ与Ｎｉ含量比例为２８处,吸附最为稳定．（３）ＣＯ在ＲｕＣｕ表面化学吸附时,对应Ｒｕ与Ｃｕ含量比例为６４化学吸附能有一最大负值,表明此时ＣＯ化学吸附最稳定．     

河南的红菇科真菌资源研究(Ⅰ)

红菇科（Ｒｕｓｓｕｌａｃｅａｅ）是担子菌亚门的（Ｂａｓｉｄｉｏｍｙｃｏｔｉｎａ）一个自然类群,在河南山区分布的种类隶属乳菇属（Ｌａｃｔａｒｉｕｓ）和红菇属（Ｒｕｓｓｕｌａ）。本文依据采集的标本,鉴定、整理出乳菇属的种类有１４种,其中食用菌８种、药用菌３种、毒菌５种。此外,它们多是菌根菌,与林业有着密切的关系;还有不少种类的子实体中含有抗癌物质,具有抑制肿瘤的作用。     

负载型Ru－Co羰基簇催化剂的XPS和TPD表征

制备了负载型Ｒｕ－Ｃｏ羰基簇催化剂，用Ｘ－ｒａｙ光电子能谱（ＸＰＳ）和程序升温脱羰（ＴＰＤ）等技术，对负载型双金属簇催化剂的表面化学性质和不同气氛中的脱附产物进行了研究，发现负载后，簇合物ＫＲｕＣｏ＿３（ＣＯ）＿（１２）中的ＲｕＣｏ＿３簇骨架与担体表面原子发生强相互作用．在反应温度下，可形成高分散型催化剂．认为ＣＯ加氢反应是按碳烯机理进行．     

洛玻技术中心人员动态管理系统的设计

为了对员工离岗情况实现动态实时管理 ,开发了这套管理软件。根据系统目标 ,设计出优化的数据结构与代码系统 ,在FoxProforwindows集成环境下 ,采用独特的SQL和Rushmore查询优化技术 ,能够完成多种动态组合查询功能。本系统主要包括签到、离岗画面、实时统计查询、员工考勤表打印和系统维护等功能。自投入使用以来 ,实现了人员的量化管理 ,辅助管理决策和管理人员的优化统计分析工作 ,加快了信息传递 ,提高了管理效率 ,同时为仓储管理系统的开发提供了技术指导。     

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.     

基于MATLAB的动态规划常用算法的实现

运用MATLAB编程实现了动态规划的逆序、顺序、双向混合算法，并分别应用于求解几类典型问题，验证了该方法的有效性，同时表明该程序对求解动态规划多类典型问题是通用的，丰富了MATLAB优化工具箱，具有一定的应用价值．     

Slicing Java generic programs using generic system dependence graph

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better. Biography: CHEN Lin (1979–), male, Ph.D. candidate, research direction: program analysis and refactoring.     

NLP问题解的二阶条件和Lipschitz连续性

假定所讨论的数学规划问题其函数连续可微且有Lipschitz连续的梯度函数运用Clarke广义Jacobi矩阵,给出了非线性规划(NLP)问题解的二阶最优性必要条件二阶最优性充分条件及非线性参数规划问题解的Lipschitz连续性质,推广了王金德Fiacco的主要结果。     

局部通风系统的计算机设计

本文运用数学分析方法建立了局部通风系统设计的新的数学模型,阐述了以此模型为基础的各种条件下局部通风系统设计方法。据此模型编制的计算机程序不仅可用于局部通风系统设计,而且还可用于分析风筒漏风,考察实际局扇的通风效率,因而具有多功能性。文中所给实例显示了程序的可行性。     

中美在城市水源地供水过程中生态补偿的差异性(英文)

饮用水源保护是确保饮用水安全的重要保障.为了深入探讨不同国家生态补偿的经验教训,以城市供水系统为案例,分析美国纽约州与中国北京密云水库在城市供水过程中生态服务付费的差异性.结果表明:虽然美国和中国之间的生态补偿制度具有一定的独特性,但美国在市郊水库为纽约市政供水过程中的补偿效应值得中国借鉴.中国的生态补偿中的关键步骤必须包括生态效益评价的数量化和货币化.此外,现有研究结果认为,美国在公众参与生态补偿全过程的做法值得中国效法,而中国的退耕还林工程的生态效率和效益值得美国借鉴.