水泥基材料超低温冻融循环试验研究

利用液氮作为环境介质进行超低温冻融循环试验,研究了超低温对水泥基材料抗冻性能的影响。观测冻融循环前后试件外观、质量和强度等宏观性能变化,采用扫描电子显微镜（SEM）分析水泥基材料冻融循环前后微观结构变化。试验结果表明：在超低温条件下,混凝土的抗冻性能明显强于砂浆,且随混凝土强度提高其抗冻性能呈增长趋势;SEM分析结果表明超低温冻融循环后泡水融化试件结构内存在明显缺陷;超低温冻融循环试验可以加速水泥基材料破坏进程,明显减少试验周期,能相对较快的评价出水泥基材料的抗冻性能。     

基于蜂群算法的移动agent迁移策略研究*

旅行agent问题是一个复杂的组合优化问题,在于解决保证agent在不同主机间移动时如何根据任务情况规划路线,实现在完成任务时间最短的路线上迁移。采用进化算法的搜索求解具有启发性强、鲁棒性强的特点,但也面临着陷于局部最优解,导致agent在迁移过程中整体任务完成效率降低等问题。提出了一种基于蜂群算法的agent迁移模型,将agent划分为侦察、引领和跟随三种角色,agent通过彼此间的信息互换,在群体迁移的过程中同时实施新路径的发现和调整。实验结果表明,该算法可以很好地实现目标寻径效率,与经典蚁群算法相比     

基于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.     

美伐他汀提取工艺研究

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

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

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

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

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

AOS系统中的帧同步技术性能分析与仿真

为提高高级在轨系统（AOS）中数据传输的可靠性,对AOS帧同步技术进行研究。在分析了帧同步状态转移过程中可能出现的漏检现象与虚警现象的基础上,采用经典Z变换方法,研究了选取不同长度的附加帧同步标记、前方保护时间和后方保护时间对帧同步入锁时间、误锁概率、误锁后最快解锁概率和帧同步保持时间等重要性能参数的影响,并给出了仿真结果。最后给出了不同误码率下AOS帧同步参数选取的建议值,为实际应用提供参考.