C++的一种并发扩充方案

该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型:系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行;对象间采用同步消息传递,允许对象内部的并发;对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.     

以偶然正确性概率为基础的测试充分度准则

提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。     

一种远程的无线环境温湿度检测系统

针对目前环境温湿度检测系统功耗高、设备维护成本高的现状,设计了以CC2530为主控制器,以SHT11传感器为温湿度采集节点的环境温湿度检测系统.根据环境温湿度检测技术的要求,设计了温湿度检测系统的硬件电路,给出系统的软件流程.系统在ZigBee协议栈的基础上进行应用开发,采用无线传输数据的方式实现通信,并使用串口接收检测的温湿度数据.实验结果表明：每秒发送一次采集数据,数据准确;掉电后重新上电可以自组网,上电即可采集数据;监测数据无丢包现象.该温湿度采集系统性能稳定,可扩展性好,供电功耗较低.     

Co基Heusler合金薄膜的结构与性能研究进展

Co基Heusler合金通常具有远高于室温的居里温度、高自旋极化率、低磁阻尼因子,且与GaAs、MgO等衬底均具有良好的晶格匹配度,在磁性隧道结、自旋阀、磁传感器等自旋电子学器件中展示出潜在的应用前景,受到广泛的关注.首先介绍Co基Heusler合金的结构特征、磁性和半金属性等性质,综述近年来研究人员通过替换元素、调整...     

感悟洛河

洛河是洛南县境内最大的河流,发源于洛源镇龙潭沟,由于地处秦岭南麓,人们也称她南洛河,水文上又叫伊洛河。这里树木植被保护完好,自然生态原始,风景秀丽。站在洛河源头,望着眼前碧绿的潭水,那满眼的绿便充斥心间,捧一掬源头碧水喝进口里,那清凉的绿意便沁透全身,精神爽了,心神醉     

大跨度交叉倒三角钢桁架结构安装及卸载技术

交叉倒三角钢桁架结构因其造型优美、结构布置灵活、充分发挥材料强度等优点,在越来越多的大跨度公共建筑中被广泛应用[1]。从交叉倒三角钢桁架结构的深化设计、拼装、支撑胎架设计、桁架安装和结构卸载的施工技术措施等方面,对该类型结构的安装及卸载施工进行优化,为提升交叉倒三角钢桁架结构施工的质量,降低安全、工期和施工成本的风险,提出若干施工建议。     

三聚氰胺高效减水剂在石膏砌块生产中的应用

水泥行业广泛应用的三聚氰胺高效减水剂是一种水溶性聚合物,其应用于石膏砌块生产,减水效果明显,可大大缩短制品干燥周期,节约能耗,有利于提高企业经济效益。     

岩石学方法区分页岩中有机质类型

有机质孔在富有机质泥/页岩中广泛发育,被认为是含气页岩孔隙系统中重要的组成部分。有机质孔不仅在干酪根中发育,在固体沥青内部同样发现了大量的有机质孔,不同类型的有机质内部有机孔的形态和发育程度有所差异。根据有机质的成因,可将其分为沉积有机质和迁移有机质。沉积有机质为原始的有机质及其蚀变产物,这些有机质未发生过迁移,与陆源矿物紧密结合;迁移有机质存在于矿物孔隙中,由外地迁移过来的沥青或石油,随着热成熟度的增加,可演变成固体沥青或焦沥青,其周缘通常可见自生矿物。自生石英对页岩孔隙的影响具有双重作用,一方面充填了孔隙空间,减少了页岩孔隙;另一方面自生石英起到了支撑孔隙的作用,抑制了页岩的压实,为迁移有机质的充填保留了一部分孔隙空间。沉积有机质和迁移有机质中均发育孔隙,迁移有机质充填三维空间相互连通的矿物孔隙,内部形成的有机质孔隙在三维空间上的连通性要比沉积有机质强。五峰组—龙马溪组页岩由下至上呈网络状分布的迁移有机质逐渐减少,相互连通的有机质孔隙网络也相应减少,页岩储层质量逐渐变差。     

矿井通风网络解算结构化操作流程的探索与实施

结构化的矿井通风网络解算操作流程技术在一系列重大矿井通风系统改造中应用后,从现场通风系统改造后的合理性、稳定性,印证了结构化的网络解算操作流程在技术上的可行、可靠性。     

基于IALM的穿墙雷达成像算法

针对传统压缩感知穿墙雷达成像算法存在的计算过程复杂、对噪声较敏感等问题,提出一种压缩感知框架下的基于非精确增广拉格朗日乘子(Inexact Augmented Lagrange Multiplier,IALM)的穿墙成像算法.考虑到墙体回波信号的低秩性和目标信号的稀疏性,将穿墙成像视为正则化最小二乘优化问题,并转化为一...