~(99)Tc~m-MVNE-膦混配配合物的制备及其在小鼠体内分布研究

为探索锝膦混配配合物的制备方法,寻找新的心肌显像剂,合成了一个新的N3S配体(MVNE)和3个膦配体。通过交换反应在室温下制备了放化纯>95%的99Tcm-MVNE, 然后分别与3种膦配体混配得到放化纯>90%的99Tcm-MVNE-膦混配配合物。小鼠体内的生物分布研究表明,该类混配配合物有较高的的心肌摄取,血液清除也较快。     

叶片制造中的几何理论研究及应用

针对叶片制造存在的问题，对非数控曲面边界制造问题、直纹面和非直纹面叶片的制造问题进行理论分析及几何建模。通过分析被加工叶片的造型规律，应用微分几何、计算几何与数控技术相结合，得到了提高叶片制造质量的几何综合法途径和相应的几何理论。具体应用实例验证了几何模型的正确性，得到了解决此类制造问题更为理想的多种方法。     

一类基于模糊逻辑系统的非线性不确定系统自适应观测器设计

利用模糊逻辑系统具有充分利用专家语言信息和逼近连续函数的性质, 分析和研究了一类具有未知不确定界的非线性系统的自适应状态观测器设计问题. 观测器和自适应律的构成直接利用了系统的数学结构信息和模糊逻辑系统对不确定性的输出信息, 在较弱的假设条件下, 这种观测器与被控系统状态间的误差及各参数估计误差一致终极有界. 最后的仿真实例说明了所采用的方法的有效性.     

茂金属聚乙烯催化剂结构与活性关系的分子模拟研究

利用分子模拟技术对一系列茂金属聚乙烯催化剂的结构进行了优化，计算了乙烯插入过程中不同中间态产物的能量，考察了中间态产物的构象能与茂金属聚乙烯催化剂活性之间的关系。发现两种中间态产物构象能的差与活性之间有着很好的对应关系。这一规律可帮助优化茂金属聚乙烯催化剂的结构，理性开发性能更加优良的茂金属聚乙烯催化剂。     

Fast Algorithms for Revision of Some Special Prepositional Knowledge Bases

In this paper, the computational complexity of prepositional clause set counterfactuals is discussed. It is shown that the computational complexity of prepositional clause set counterfactuals is at the second level of the polynomial hierarchy, and that the computational complexity of prepositional Horn clause set counterfactuals is at the first level of the polynomial hierarchy. Furthermore, some polynomial algorithms are presented for some special prepositional clause set, such as the unique satisfiable clause set and the clause set of which only one subset is minimally inconsistent with the input clause whose inconsistency check can be solved in polynomial time.     

体视化中体数据的内存调度与管理

在体视化技术日趋成熟的今天，笔者通过研究体视化技术在三维地质模拟中的应用，发现体数据的内存调度存在很大瓶颈。本文利用操作系统中二次机会法的内存管理思想，讨论了应用二次机会法对三维体数据进行内存管理与调度的原理和方法，有效地解决了大容量体数据在三维可视化系统中的存取与调度问题，大大提高了体数据可视化的速度，为三维数据场的内存数据组织与管理提供了一条有效的途径。     

并行程序设计语言发展现状

In this paper we introduce the history of the parallel programming language and list some of currently parallel programming languages. Then according to the classified principle. We analyze some of the representative parallel programming languages in detail. Finally, we show a further feature to the parallel programming language.     

分布式入侵检测模型研究

提出了分布级别的概念对分布式入侵检测系统进行分类，并引入信息抽象级别对入侵检测中审计数据所经历的逻辑抽象层次进行表述．在对现有的层次检测模型和协作检测模型的优点和缺陷进行详细分析之后，提出了一种用于分布式入侵检测系统的层次化协作模型(HCM)，并完成了相应的原型系统．该模型可以有效地综合两种现有模型的优点，在保证结点可控性和检测效率的同时提高系统的容错性和协作能力．     

现代谱估计在飞行器仿真模型验证中的应用

仿真模型的正确与否决定着仿真的精度和置信度，而仿真模型验证是保证仿真模型正确的有效手段。现代谱估计方法对窗口以外的行为进行合理假设，克服了古典谱估计方法的缺点，相对于古典谱估计方法有优势。重点介绍了最大熵谱估计方法的基本原理以及在飞行器仿真模型验证中的应用，并举例予以说明。     

消息中间件中的分布式监控管理子系统

对消息中间件进行监控管理可以提高其可用性、可靠性和通信效率。文章介绍了消息中间件分布式监控管理的一种设计方法及其体系架构，包括性能监控、消息拥塞和调度管理、历史性能统计分析及正确性测试等多种功能。