基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。     

一种基于同多钼酸盐支撑化合物{[Zn（phen）2]2(γ-Mo8O26)}的合成及其结构表征

本文采用非水热法合成了一个基于同多钼酸盐支撑的化合物{[Zn(phen)2]2(γ-Mo8O26)}(phen=1,10-phenanthroline),并采用红外光谱、热重分析以及单晶X射线衍射等方法对此化合物进行了表征。结果表明,目标化合物{[Zn(phen)2]2(γ-Mo8O26)}中包含一个[γ-Mo8O26]4-阴离子基团与两个[Zn(phen)2]2+配位单元;该化合物通过C-H...O氢键把phen和[γ-Mo8O26]4-阴离子紧紧连接起来,形成了一个三维的超分子结构。     

标准模型下可证安全的动态短群签名方案

目前的群签名方案在性能及安全性方面均不同程度存在问题,因此基于BSZ群签名模型提出了一种在标准模型下可证安全性的动态短群签名方案.利用子群判定假设、l-SDH假设以及Groth-Sahai证明系统构建了该方案,并在标准模型下给出了验证的安全性证明,证明提出的群签名方案具有匿名性、可追踪性和不可诬陷性.最后,分别在安全性及性能两个方面与其他群签名方案进行了比较,结果表明提出的群签名方案要优于其他方案.     

我国产学研协同创新绩效评价及空间格局分析——基于两阶段DEA及Malmquist指数

以我国东、中、西、东北四大区域共30个省份为研究对象,分科技成果产出和科技成果转化两阶段,构建创新绩效评价体系,运用两阶段数据包络分析(DEA)及Malmquist指数方法,对2015-2019年产学研协同创新状况进行系统分析.结果表明:(1)科技成果产出阶段,63％的省份实现了有效DEA,中部地区总体表现最优,东部地...     

基于VB编程语言实现对PLC的单点控制

可编程逻辑控制器（PLC）与上位机之间的通信是实现工业自动控制经常用到的通信模式,本文基于VB程序设计语言,以单点控制为例,实现了上位机与PLC之间的串行通信。     

关于日本刑法贿赂罪问题的研究

日本刑法一直是大陆法系国家刑法领域的一个重要代表,其在许多方面的规定都值得各国刑法的借鉴。日本刑法初订于明治四十年（1907年）,时至今日已经发生了较大的变化,其中关于贿赂罪的相关规定则是分则中变化最大、最为复杂的部分。当今在全世界范围内反腐形势日益严峻的情况下,对日本刑法中的受贿罪进行深入系统研究,对于打击贿赂型的犯罪、完善我国的刑法典,具有十分重要的现实意义。起初日本刑法规定的贿赂罪,仅包括刑法第197条的单纯受贿罪、加重受贿罪和第198条的行贿罪。     

分子印迹固相萃取-毛细管电泳检测葡萄酒中“敌百虫”

以制备的"敌百虫"分子印迹聚合物作为固相萃取吸附剂,建立了分子印迹固相萃取与毛细管电泳联用检测葡萄酒中痕量敌百虫的新方法.样品中"敌百虫"分子被选择性富集到吸附功能材料上,然后用2 mL甲醇/冰乙酸(90∶10,v/v)洗脱,氮吹后0.5 mL双蒸水复溶,毛细管电泳仪分析.该方法的最低检出限为75μg/L,连续重复5次的相对标准偏差为4.50%;对两种进口葡萄酒空白样品进行3个浓度的添加回收实验,回收率为80.3%～96.2%.     

基于蒙特卡罗方法盾构刀盘的结构可靠性分析

盾构刀盘承担开挖土体作用,在整个掘进过程中刀盘工作环境恶劣,受力情况比较复杂,在考虑输入参数(如刀盘载荷、材料属性等)不确定性因素的基础上,对刀盘可靠性进行了研究,研究刀盘在不确定性因素的作用下刀盘结构的可靠性.该文首先通过三维建模软件Pro/E对盾构机刀盘进行建模,然后将模型导入到有限元软件ANSYS中,采用蒙特卡罗有限元方法对刀盘的可靠性进行分析,考察刀盘结构可靠性,确定刀盘的失效概率及影响其失效的显著因素.     

一株中度嗜盐菌Halomonas sp.NY-011的分离与鉴定

从盐生杜氏藻（Dunaliella salina）培养物内筛选到一株能在广泛NaCl浓度范围（0.5 %～21 %, w/v）和广泛pH值范围（pH 5～11）生长的嗜碱耐盐菌NY011.细胞形态电镜观察和生理生化分析表明, NY-011呈杆状,大小为（0.51～1.53）μm×（1.02～2.55）μm,革兰氏阴性,有荚膜,无鞭毛,不运动,好氧生长,淀粉水解酶呈阴性,接触酶呈阳性.其最适培养条件为：2% NaCl,30 ℃,起始pH值10.16S rDNA序列比对和构建的系统发育树表明该菌属于盐单胞菌     

拉萨市近49年低层大气中氧气含量的变化特征分析

进入高原的人们都会不同程度地受到高原缺氧的影响,氧气在生物循环过程中起着至关重要的作用.基于拉萨市1970至2018年的气象观测资料,对对流层中的空气进行干燥处理,并假定各分子之间处于平衡态,根据氧气分子数密度和氧气分压,运用理想气体的物态方程推算出日平均氧气含量,并对其进行小波分析.结果显示:拉萨市氧气含量存在季节性变化规律和特征,氧气含量夏季明显低于冬季,氧气含量受温度影响较大,水汽压影响次之,在周期性上与气温变化大致接近.通过对氧气含量的趋势分析,得出氧气含量将会呈下降趋势;并利用多个物理数学模型对拉萨市未来氧气含量的变化进行了探讨,发现Gaussian模型在一定程度上能够起到预测的作用,但是随着时间延伸,误差率会逐渐变大,短时间内有效.