钢渣-矿渣-水泥复合胶凝材料的水化性能和微观形貌

通过测定矿渣和钢渣部分取代水泥构成的钢渣-矿渣-水泥复合胶凝材料(SBC-CCM)的物相组成和80h内的水化热,研究了SBC-CCM试样的微观形貌和水化性能,并用正交试验结果分析了SBC-CCM中钢渣-矿渣的最佳掺量和比例。结果表明:SBC-CCM的水化过程和水化产物的物相组成与硅酸盐水泥的相似,矿渣在水化早期参与反应,钢渣在水化早期呈惰性;SBC-CCM的80h水化放热量和放热速率均低于水泥相应的数值;正交试验结果表明水胶比对SBC-CCM强度的影响最显著,矿渣-钢渣的最佳质量比为2∶1。     

应用PDM系统加强技术状态管理

随着20世纪80年代PDM(产品数据管理)技术以及相应的应用软件系统的出现,产品技术状态管理逐渐走上了信息化之路.PDM能够提供产品全寿命周期的信息管理,并可在企业范围内为产品设计和制造建立一个并行化的协作环境.文中简要介绍了PDM技术的产生背景、PDM技术的概念;初步探讨了应用PDM技术的加强技术状态管理问题;提出了信息标准化相应发展方向.     

QMacro脚本在广电网络的应用及设想

QMacro是PC平台下的一种商品化软件，主要用于判断屏幕颜色、图形，从而模拟键盘鼠标操作和一些特定的计算机操作行为，它属于一种开发工具，开发者需要编写脚本以实现定向的应用。举例介绍QMacro脚本在广西广电网络工程项目中的信息化应用，并根据QMacro脚本的无关平台、接口的特性，提出了一些在广电网络中其他应用的设想。     

沥青路面非线性瞬态温度场数值计算

为了能准确地预估沥青路面温度场的分布规律,以达到有效地提高沥青路面结构设计的针对性、实现不同路面层次不同等级的沥青结合料的科学选取,进而减少沥青路面病害、延长其服务寿命的目的,本文利用有限元方法对沥青路面非线性瞬态温度场进行数值模拟研究,并将计算结果与实测结果进行了对比分析。结果表明,利用有限元方法研究沥青路面非线性瞬态温度场是有效可行的,具有较高的精度和实用性。     

应用基因芯片技术检测肉及肉制品中5种致病菌

建立一种运用多重聚合酶链式反应(PCR)结合基因芯片技术检测大肠埃希氏菌、沙门氏菌、金黄色葡萄球菌、志贺氏菌和单核细胞增生李斯特菌5种食源性致病菌的快速、准确、灵敏的方法。分别选取编码大肠埃希氏菌的slt基因、沙门氏菌invA基因、金黄色葡萄球菌nuc基因、志贺氏菌ipaH基因和单核细胞增生李斯特菌inlA基因,并以细菌16S rDNA基因作为阳性对照,设计引物和探针,进行多重PCR扩增,产物与含特异性探针的芯片杂交。结果表明：该基因芯片可同时特异性地检测5种致病菌,多重PCR检测灵敏度为20pg,而DNA芯片检测灵敏度可达2pg;用所制备的基因芯片检测实际肉及肉制品样品,准确率高于传统培养法。所建立的基因芯片检测方法特异性好、灵敏度高,可为食源性致病菌的检测提供理想手段。     

延(边)黄牛泡菜发酵牛肉干的研制

以延(边)黄牛米龙肉为原料,泡菜汁为发酵液对发酵牛肉干进行研究。先通过单因素试验确定食盐、葡萄糖、泡菜汁、亚硝酸钠的添加量,再通过正交实验对泡菜发酵牛肉干的最佳配方进行了优化。试验结果表明,发酵牛肉干最佳配方为食盐添加量为1.5%,葡萄糖添加量为3%,泡菜汁添加量为25%,亚硝酸钠添加量0.015%。     

联盟风险控制研究

在竞争中合作、在合作中竞争已成为这一时代背景下企业间关系的典型特征,战略联盟作为合作的重要方式,已成为学术界与企业界关注的焦点,被认为是一种重要的企业成长方式。但是,战略联盟在帮助企业获得反应灵活性的同时,也不可避免地蕴涵了诸多风险因素。基于此,本文首先介绍联盟风险控制过程中存在的问题,进一步地,提出了联盟风险的策略。     

An algorithm on fairness verification of mobile sink routing in wireless sensor network

Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited communication capabilities of all nodes and sink or in the case of a mobile sink moving to a new place. The problem to be solved is to balance the network and keep the fairness for all nodes. For this purpose, this paper focuses on verifying the fairness of mobile sink routing based on both state and action, which is realized mainly by composing Labeled Kripke Transition Systems (LKTS). First, an approach is presented by LKTS to model node behaviors. Second, a notion of Fair Computational Tree Logic (CTL) is introduced to describe the fairness formulae in branching time transitions, and four kinds of fairness assumptions are defined for fairness verification. Moreover, in order to avoid the problem of state-space explosion, Bounded model Checking to explore states and transitions on-the-fly until a witness is found, while Strong Connected Components algorithm is used to pick up fair paths under fairness constraints of Fair CTL. The experimental results show the superiority of our method by the savings in memory and time consumptions during the mobile sink routing process.     

谈总承包服务费的合理确定

结合实际工程项目,论述了总承包服务费在计取过程中可能发生的问题,并对其原因进行了分析,提出了承发包双方在计取总承包服务费时应采取的对策,以期指导造价管理工作。     

我国油料进口贸易的结构特征及对策分析

我国是油料进口与消费大国,油料自给率低、严重依赖进口。当前地缘政治矛盾的加剧与贸易政策的不确定性令国际农产品市场出现动荡,我国油料贸易面临着错综复杂的国际环境。在油料进口量持续增加、对外依存度不断提高的背景下,分析目前我国油料进口贸易的总量特征,以及以大豆、油菜籽、花生为代表的大宗油料和以芝麻、葵花籽、亚麻籽为代表的特色油料的产品结构特征与国别特征,并进一步对大宗油料商品和特色油料商品的进口贸易特征及未来发展趋势作出判断。针对当前我国油料供给面临的国内外约束与风险,应大幅提升油料增产保供能力,积极拓展油料进口渠道,减少对贸易争端国的进口依存度,建立和完善油料安全预警系统与应急机制,从而促进我国油料产业的高质量发展,保障油料安全。