基于己二胺修饰荧光碳点的中药大黄素检测研究

以己二胺为表面修饰剂,水热法合成荧光碳点。利用红外光谱、紫外-可见吸收光谱和荧光光谱研究了碳点与大黄素之间的相互作用。基于大黄素在p H 8.8的PBS缓冲溶液中对合成碳点的荧光猝灭效应,建立一种简便灵敏的测定大黄素的方法。此方法中减弱的荧光强度与大黄素浓度在1.352~21.63 mg/L范围内呈线性关系,检出限为0.906 9 mg/L。     

SiO2网络限域CuO纳米晶的甲醛乙炔化性能研究

甲醛与乙炔缩合制取1,4-丁炔二醇是乙炔化工的重要方向。探讨铜基催化剂在甲醛乙炔化反应中的演变及催化作用机制,并开发更高效的甲醛乙炔化催化剂是一个值得科学与产业界关注的课题。本工作在前期页硅酸铜催化剂制备及甲醛乙炔化性能研究基础上,进一步通过热处理温度的调整,在焙烧温度为650℃时,构筑了限域于SiO₂网络结构中的CuO纳米晶催化剂。CuO纳米晶适宜的化学环境,使其在甲醛乙炔化反应初始阶段快速形成活性炔化亚铜,获得了1,4-丁炔二醇收率80%左右的结果,克服了页硅酸铜物种转化为炔化亚铜速率慢、诱导期长的弊端。SiO₂网络结构的限域作用也进一步抑制了活性组分的流失,在6次套用实验中1,4-丁炔二醇收率几乎不变,呈现出良好的使用稳定性。     

CMP协议的缺陷及改进

近年来，安全电子商务协议的设计和分析逐渐成为热点。机密性、公平性等性质是衡量电子商务协议安全与否的重要标志，也是协议能否顺利使用的重要前提。机密性和公平性是安全电子商务协议的基本性质，但可证实电子邮件协议CMP作为电子商务协议的一种却并不满足这些性质。该文指出可证实电子邮件协议CMP的几个缺陷，对其分析并提出了改进方案，改进后的协议满足了机密性和公平性。     

发电车间设备实行“专职保姆”制

达竹煤电（集团）公司渡市选煤发电厂发电车间为确保设备安全运行，将区域责任制落实在日常工作中。近日，为每台运行设备雇起了“专职保姆”。     

摇摆地面的塑料树

花园展示了运动的速度差异：地球无限缓慢的运转与地球人之间的互动以及数据、金钱和货物的快速流通形成鲜明对比。地上放置有金属板，板块之间的缝隙长着一片古怪的树林：天然树林与人造树木错落生长，人工树叶是由搬运工身上的防水油布循环再造的，与天然树叶极为相似。     

基于模型检测的系统生存性分析

提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生存性需求并转换为相应的逻辑表示。以电话接入网络为例,利用PRISM对系统进行建模及验证,结果表明,该形式化方法可以规范并简化生存性分析过程。     

改进的电子商务协议逻辑分析方法

在卿-周逻辑(软件学报,2001年第9期)的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制,使被重放的消息可以被识别,重新定义可追究性的实现条件,使得在发生重放攻击时能正确分析各方的责任性,给出原子性目标并增加对原子性分析的方法,以实现对协议原子性的分析。     

缩短水土保持标书编制时间

为了提高标书编制效率,QC小组从人、机、料、法、环等5个方面分析找到2个要因。针对商务标书材料繁琐的要因,制作了4个投标控制表和9个数据库;针对办理投标手续复杂的要因,制作了1个流程图;从制度上和程序上规范化了标书制作的过程。通过PDCA循环,完成了标书编写的规范化和投标手续办理的标准化,总结为"一图、四表、九库",大幅提高了管理水平和工作效率。     

构件组装实时系统行为相容性测试用例产生

虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法。首先对时间自动机进行扩展,给出了描述实时构件的模型;然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法;最后用一个实例展示了该方法的具体使用。     

基础设施与都市发展 ——"一带一路"背景下格鲁吉亚城市的现状与未来

格鲁吉亚优越的水陆地理条件使得它成为重要的东西方交流中转站,交通基础设施的发展给这个国家的都市带来了投资与发展机会.但目前已有的关于其交通与城市发展的研究大多停留在苏联时期的构筑物上,缺乏对于当代发展的更新研究,因此本研究对该地区的交通与城市发展展开了初步研究,以期提供进一步讨论的思路.作者基于经典的TMG交通与城市关...