基于MapReduce模型的分布式天文交叉证认*

交叉证认是实现多波段数据融合的关键技术,目前还缺乏对其分布式算法的研究。快速增长的数据规模使该问题必须要依赖分布式并行计算技术解决。提出了一种基于MapReduce分布式模型的新方法,根据Map-Reduce的要点,尽量减少了任务间的通信量,并通过合理设置划分粒度保证了效率与存储间的平衡。实验结果表明,该方法对海量数据交叉证认的效率提升明显,在大规模集群上达到了接近线性的加速比。该方法为交叉证认提供了一种快速有效的解决途径。     

移动容迟传感网络拓扑覆盖建模与统计特征*

移动容迟传感网络的拓扑覆盖研究对于相关工程系统设计具有重要意义。针对当前研究没有很好地刻画区域动态覆盖特征的问题,提出基于排队网络的建模方法。进而利用随机几何学和排队论方法,以定理形式提出关于二维平面上区域覆盖的首达时间、覆盖度分布等统计特征的理论结果。结合典型移动场景,仿真验证了上述结果的合理性和应用价值。     

改进的基于身份认证密钥协商协议*

对标准模型下可证安全的基于身份认证密钥协商协议进行安全分析,指出由于传送消息存在冗余,协议不能抵御伪装攻击。为解决上述安全漏洞,提出一个改进的基于身份认证密钥协商协议,并在标准模型下分析其安全性。结果表明,新协议满足基于身份认证密钥协商协议的所有安全要求。     

时间上下文的属性限制及一致性分析研究*

首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性值描述的一致性分析算法。实际应用表明,提出的两个算法,既能有效地实现带时间侧面的本体属性的一致性检查,又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。     

Modeling the Value-Based Software Process with Object-Petri-Nets

Commercial organizations increasingly need software processes sensitive to busi- ness value, quick to apply, supportive of multi-stakeholder collaboration, and capable of early analysis for subprocess consistency and compatibility. This paper and a companion paper \Applying Value-Based Software Process: An ERP Example" present our experience in ap- plying a lightweight synthesis of a Value-Based Software Quality Achievement (VBSQA) process and an Object-Petri-Net (OPN) based process model to achieve a stakeholder win- win outcome for software quality achievement in an ERP software project in China. We attempt to answer such questions as (1) whether it is possible to model various project stakeholder perspectives using formal process modeling languages in a real-world project? (2) how to make stakeholders synchronize and stabilize their value propositions, activities and commitments as needed. The companion paper presents the VBSQA process and its application to the ERP project; this paper presents the OPN-based process modeling and its application. The application results of OPN process modeling conˉrmed that (1) the OPN- based process model provided project managers with a synchronization and stabilization framework for process activities, success-critical stakeholders and their value propositions; (2) process visualization and simulation tools signiˉcantly increased management visibility and controllability for the success of the software project.     

赤霉素GA3对小鼠机体氧化-抗氧化系统平衡的影响

选择昆明种小鼠为试验动物,以超氧化物歧化酶、谷胱苷肽过氧化物酶活性及丙二醛含量为观察指标,研究赤霉素GA3在剂量（197,394和788 mg/kg）暴露条件下,小鼠脾脏、肝脏和心脏组织是否发生氧化应激.结果表明,394和788 mg/kg每千克体重bw剂量组脾脏超氧化物歧化酶、谷胱苷肽过氧化物酶活性有所下降,与对照组相比,分别降低了21.01%,29.02%和23.36%,35.03%,与对照组相比差异显著;肝脏超氧化物歧化酶、谷胱苷肽过氧化物酶活性分别降低了9.01%,13.05%和12.81%,16.17%,与对照组相比差异显著（P〈0.05,P〈0.01）.同时赤霉素GA3处理后丙二醛含量显著升高,394,788 mg/kg bw剂量处理组脾脏和肝脏分别升高了19.06%,23.61%和22.33%,26.39%,与对照组相比差异显著（P〈0.05,P〈0.01）;肾脏超氧化物歧化酶、谷胱苷肽过氧化物酶活性有所上升,与对照组相比,分别上升了22.34%和40.20%,丙二醛含量有所下降,与对照组相比分别下降了35.93%和30.05%;另外,赤霉素GA3处理后,对心脏的氧化应激作用与对照组相比差异不显著.表明赤霉素对小鼠不同组织器官的氧化应激表现不同,对肝脏、脾脏有氧化损伤作用,对心脏作用不明显.     

美伐他汀提取工艺研究

研究从发酵液中提取美伐他汀的工艺条件。通过单因素实验确定了从美伐他汀发酵液中提取美伐他汀的最佳工艺条件。结果表明,醋酸丁酯作为提取溶剂时,其最佳工艺条件如下：提取温度为50℃,物料比（醋酸丁酯体积（mL）：菌丝质量（g））为8：1,提取时间为3h,闭环温度为70℃,闭环时间为6h。本工艺简便,收率高,适用于工业化生产。     

Pt/TiO2纳米管的制备及其电化学性能研究

采用微波加热多元醇还原的方法制备了贵金属Pt负载的TiO2纳米管复合材料,并对其形貌和结构进行了表征。结果表明,试验中所制备的TiO2纳米管直径约10nm左右,长度达到几百纳米甚至微米级。微波法负载的Pt粒子粒径分布均匀,尺寸约在4.5nm左右。电化学结果表明该复合纳米材料对甲醇具有一定的催化氧化作用。     

基于给水管网建模技术对DMA分区的研究

应用InfoWorks WS软件建立某小区给水管网的水力模型.运用模型对该小区管网进行了分析,为该区作为分区装表计量技术的一个独立分区的设计方案提出了建议和意见.为其他区域合理性分区提供参考依据.     

基于机器视觉的LED阵列自动分选系统设计

该文针对LED照明产品的特征,设计一台基于机器视觉的LED阵列自动分选系统。系统利用数字图像处理技术对发光LED阵列进行识别、亮度分析和数量统计,实现对产品发光质量的检测及自动分选。PC软件完成测量控制功能,简化硬件结构,降低成本。用户可根据不同测量对象配备相应的滤镜和设置检测精度、曝光时间等采集参数,提高了系统的可移植性和维护性。