业务管理中的XML建模技术

为了改进设计信息模型的效率，文中提出综合使用UML和XML Schema建立信息模型的方法。以对业务管理系统中的共有业务信息建模为例，首先采用UML类图表示业务信息模型，然后利用XMI将UML图转化成XML Schema模型。实验表明，该方法兼有UML直观的图形模式和XML Schema的纯文本特性两种优势，既提高了设计信息模型的效率，又改善了异构系统之间信息的交互性。     

“无穷”的困扰与“极限”的精确定义

“无限”、“无穷”问题始终在考验和折磨着人类的智力，该问题遍及人类智力范围的所有领域．我们生活在有限的空间里，通过有限的手段和方法对无限开始不懈的追求．这个“魔鬼”无处不在，数学家们历经千年的磨砺，直到19世纪柯西和魏尔斯特拉斯给出极限的精确定义，才完成“降魔”过程，令人惊异的是它竟然有着天使一样美丽的脸庞．     

“一篇《锦瑟》解人难”

古今人们对李商隐《锦瑟》一诗有不同的理解,其中有风流说,有失恋说,有奏乐说,有客思说,有自题说,有悼亡说,有自伤说,有政治说等。笔者以此诗为既悼亡、亦自伤之政治诗。自古以来误解此诗有其主观原因,亦有其客观原因。     

混凝土强度无损检测方法精度对比分析

对回弹法、超声法、超声回弹综合法的优缺点和适用范围进行深入分析,并根据数据融合思想提出了一种超声回弹融合法.该方法采用回弹法和超声法两种方法检测,而后把两种方法的推定结果加权求和去推定强度.该估计量依据极大似然原理提出,并且理论证明了它的无偏性和有效性.结合试验数据表明,对四种方法分别选用国家规程中常用的回归模型来制定测强曲线,将各自相对误差绝对值进行对比分析,发现利用超声回弹融合法检测相对误差绝对值较小,在一定程度上提高了检测精度,但数据处理稍复杂一些,所以可以根据地区或工程实际需要选用不同的检测方法.     

任楼煤矿隐伏导水陷落柱的快速判识与探查

1996年任楼煤矿首采面曾因隐伏导水陷落柱突水，引发淹井灾害，造成3．5亿元的重大经济损失。治水复矿后，1999年又在7218工作面机巷迎头出现淋水，初始水量不大，但依据水温、水质快速判识突水通道是隐伏导水陷落柱，运用物探和钻探相结合的综合探查方法确定了陷落柱位置，为地面布孔注浆彻底封堵陷落柱提供了保证，避免了一次重大突水淹井事故。     

小麦谷蛋白亚基的快速提取分离及SDS-PAGE分析

用70％乙醇和50％异丙醇除去醇溶蛋白，以二硫苏糖醇(DTT)为还原剂，在50％异丙醇，0．08mol／L Tris-HCl(pH为8．0)缓冲液中提取总麦谷蛋白亚基，加入丙酮至浓度为40％时，高分子量麦谷蛋白亚基(HMW-GS)沉淀析出；继续加入丙酮至80％时，析出低分子量麦谷蛋白亚基(LMW-GS)．在3．3％浓缩胶和10％分离胶的不连续体系中进行SDSPAGE电泳，结果表明，该方法可以有效地除去醇溶蛋白对麦谷蛋白亚基电泳分析的背景干扰，HMW-GS和IMW-GS的提取、分离一步完成，操作简便，时间短，对大量小麦样品的HMW-GS和LMW-GS可以快速分离、提纯和鉴定．     

老鹳草鞣质的提取及其抑菌效果研究

①目的：研究老鹳草鞣质成分的最佳提取工艺条件，确定其体外抗菌效果．②方法：采用正交试验方法确定最佳提取工艺，选择料水比、浸提温度、浸提时间3个因素，每个因素选取3个水平进行试验，以提取物的OD值为测定指标；用在最佳工艺条件下得到的提取液进行抑菌试验．③结果：老鹳草鞣质成分的最佳提取工艺条件是：料水比为1：30、浸提温度为80℃、浸提时间为30min；提取物对金黄色葡萄球菌和青霉有明显的抑菌效果，对大肠杆菌也有一定抑菌效果，而对枯草杆菌和黑曲霉的抑菌作用不明显．④结论：老鹳草鞣质具有明显的选择性抑菌作用．     

一类非线性波动方程解的存在惟一性

证明了一类非线性波动方程解的存在惟一性。首先利用Galerkin法构造了近似解序列，然后利用一致先验估计，证明解序列的收敛性，从而得到解的存在性，在此基础上证明了解的惟一性。     

柴油机进气预混甲醇降低碳烟与NOx排放的试验研究

介绍了在发动机进气系统加入不同预混量甲醇对柴油机碳烟和NOx排放的影响.采用一种组合燃烧模式,该模式是指低负荷时发动机仅燃用柴油,中等以上负荷燃用柴油与预混甲醇.试验在一台改装的喷醇发动机上进行.与原柴油机性能进行的对比表明,采用组合燃烧方式的喷醇发动机的碳烟、NOx排放以及经济性明显优于原柴油机.同样工况下碳烟和NOx排放分别可以减少40%和15%以上,同时燃料消耗率也有大幅度改善.     

一种基于星型模型的增量更新算法

在进行数据仓库的OLAP联机分析处理时,通常采用预先聚集(Aggregate)操作生成概括数据的方法提高查询效率;但是,基于星型模型的数据仓库中的维表的纠错改变和自然改变将会引发概括数据的不正确问题.本文通过研究星型模型维表及其变化的特点,提出了一种增量更新算法,在几乎不增加空间的情况下,降低时间复杂度的增量更新;并通过性能验证,分析算法的可行性.