一种粗粒度并发程序切片方法

并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对Ada任务机制讨论通信Petri网的基础上，分析了由任务间的同步活动所引起的控制依赖关系，提出了一种粗粒度的切片方法，为人们从较高的抽象层次上理解并发程序提供了一种有效的手段。     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。     

基于小波变换和经验模式分解的多路径误差提取及验证方法研究

对防空反导雷达系统低角跟踪的多路径误差模型进行验证是检验和评估雷达系统仿真模型有效性的重要方面。对多路径误差进行了分析,利用小波滤波方法和经验模式分解方法从实测数据中提取多路径误差,使用Theil不等式系数、相关系数和小波系数3种方法对仿真结果进行了验证。通过对模型验证结果的分析,表明利用滤波结果进行模型验证更加合理,为评估防空反导雷达系统仿真模型提供了有效手段。     

基于CCD工艺提取MOS模型的电路验证

对基于CCD工艺提取的BSIM3v3模型,在CCD片上放大器电路上进行了验证,通过在直流、瞬态和交流条件下对比电路的仿真数据和实际测试数据,验证了该模型,即提取的模型能够满足电路模拟的要求。     

一种基于半监督AdaBoost模型树的FPGA性能表征方法

提出了一种基于半监督自适应增强(Ada Boost)模型树的建模方法,用于现场可编程门阵列(FPGA)的性能表征。该方法以半监督学习方式,构建了FPGA性能关于FPGA架构参数的解析模型,同时采用Ada Boost算法提高FPGA性能模型的预测精确度。使用VTR(Verilog To Routing)电路集,基于该方法构建的性能模型在预测FPGA上实现的应用电路面积时,平均相对误差(MRE)为4.42%;预测延时的MRE为1.63%;预测面积延时积时,MRE为5.06%。与全监督模型树算法以及现有的半监督模型树算法相比较,该方法构建的FPGA实现面积模型的预测精确度分别提高了39%,26%。实验结果显示,该方法在确保较少的时间开销前提下,构建了具有高预测精确度的FPGA性能模型,提供了一种高效的FPGA性能表征方法。     

基于GRA-LSTM与SARIMA组合模型的季节性时间序列预测

针对LSTM模型对季节性时间序列中的周期、趋势性变化不敏感的特点,提出将SARIMA模型与LSTM模型进行组合,以提高模型预测精度.该方法首先构建了以关键影响因素为非线性输入层和历史数据为线性输入层的多对一 LSTM模型,将经过GRA法筛选的关键影响因素及历史数据输入到该模型中得到初步预测结果,使用SARIMA模型依据历史数据对季节性时间序列进行预测,提取预测结果中单位节点的比例序列,以实现对时间序列中周期、趋势信息的抽取,最后根据SA-RIMA模型中提取的单位节点比例,对LSTM得到的初步预测结果进行修正,得到最终预测结果.实验选取某市民航春运客流量数据对组合模型精度进行验证,通过与支持向量机、GRA法、GRA-LSTM模型、SARIMA模型4种单模型进行比较,验证了组合模型对于季节性时间序列预测的优越性.     

基于TL2软件事务内存的并发程序的精化验证

软件事务内存并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而大大减轻高层程序员开发并发程序的负担。TL2是一个经典的基于锁的高性能软件事务内存算法。本文以一个TL2读写事务的底层具体实现为验证目标,首先采用并发程序间的精化关系来刻画基于TL2的底层细粒度并发程序是某个具体的高层抽象原子事务代码块的正确实现,然后通过基于依赖保证的并发程序模拟技术证明两个程序间具有精化关系,完成读写事务的底层实现在代码级的验证并总结TL2算法满足的不变式,为完成TL2算法在代码级的完整验证奠定基础。     

SiGe HBT高频相关噪声的简洁建模

基于双极结型晶体管(BJT)大信号简洁模型,采用在基极和集电极节点之间添加RC延迟噪声电流的方法对SiGe HBT高频相关噪声进行建模,将模型与现有的Transport模型、SPICE模型、Van Vliet模型进行对比来体现该建模方法的准确性,同时再对模型进行四噪声参数的提取,将提取结果与实测的结果进行比较来验证它的有效性。     

通信

TNgl 97030972Ada在网络实时并发通信系统中的应用/李敏生,杜水宁门七京理工大学)I/北京理工大学学报一1997,17(1)一126~129 对网络通信如何实现实时性、并发性进行了探讨.并提出了工作站多路发送模型和多路接受模型.在此基础上,用Ada语言的接口编程实现网络通信,用Ada的任务机     

一种基于总剂量效应的SOI器件模型快速提取方法

从工程应用的角度介绍了一种基于总剂量效应的SOI器件模型参数的快速提取方法。首先,提取0 krad(Si)时器件的模型参数,然后针对总剂量敏感参数,对100 krad(Si)总辐射试验后的同种器件进行模型参数优化,并对得到的模型参数进行验证。结果表明,该方法所提取的模型参数准确有效,解决了国内目前在抗辐照SOI工艺中因采用标准SOI工艺SPICE模型(如BSIMSOI等)导致不能反映辐照效应对器件特性的影响且无法给出经过不同辐照剂量之后的器件特性的缺点,可用于评估辐射对SOI电路的影响。     

基于内存模型的Java并发编程

多核处理器为并发编程打开了一扇扇新的大门，Java内置的多线程机制可以方便地实现多个并发程序的开发以及多任务同时执行，但是Java线程之间的通信对程序员完全透明，内存可见性问题很容易困扰Java开发人员，本文将简单分析基于内存模型的Java并发编程。     

Ada technology: current status and cost impact

It is noted that relatively few commercial practitioners have embraced Ada, chiefly because of the lack of efficient compilers and the high initial cost of using it. The results of efforts to address these concerns are summarized. Several Ada compilers targeted to different commercial microprocessors have been benchmarked. This benchmarking activity included obtaining the execution time as well as the memory requirements of Ada compilers and comparing them with compilers for traditional languages like Pascal. In order to determine the cost impact of using Ada, a model has been developed from first principles. The model predicts the cost of using Ada compared to other high languages encompasses the developmental phase as well as the maintenance phase. The model is further refined to include the impact of reusing software. On the basis of these data, it is concluded that Ada technology has matured enough to be used in the embedded environment and can represent a potential cost savings compared to other languages over the entire life cycle     

Concurrent error detection in highly structured logic arrays

Two strategies for encoding the inputs and outputs of highly structured logic arrays (HSLAs) are introduced. The two schemes are particularly relevant for concurrent error detection of both permanent and nonpermanent errors in programmable logic arrays (PLAs) and read-only memories (ROMs). The first method of concurrent error detection (CED) is based on a comprehensive fault model and relies on detection of unidirection errors. The second approach relies on a detailed examined of decoder layouts resulting in fault avoidance through layout rules, which avoid failures causing unidirectional errors. Efficient parity techniques are shown to provide a low-overhead solution to concurrent error detection when coupled with appropriate fault-avoidance techniques.     

融合混合嵌入与关系标签嵌入的三元组联合抽取方法

三元组抽取的目的是从非结构化的文本中获取实体与实体间的关系，并应用于下游任务。嵌入机制对三元组抽取模型的性能有很大影响，嵌入向量应包含与关系抽取任务密切相关的丰富语义信息。在中文数据集中，字词之间包含的信息有很大区别，为了改进由分词错误产生的语义信息丢失问题，设计了融合混合嵌入与关系标签嵌入的三元组联合抽取方法（HEPA），提出了采用字嵌入与词嵌入结合的混合嵌入方法，降低由分词错误产生的误差；在实体抽取层中添加关系标签嵌入机制，融合文本与关系标签，利用注意力机制来区分句子中实体与不同关系标签的相关性，由此提高匹配精度；采用指针标注的方法匹配实体，提高了对关系重叠三元组的抽取效果。在公开的Du IE数据集上进行了对比实验，相较于表现最好的基线模型（Cas Rel）,HEPA的F1值提升了2.8%。     

并发安全的紧凑多重息票方案

已有多重息票方案的弱点是缺乏支持用户根据需要选择最大兑换数量的高效协议.另一个缺陷是并不满足并发安全性.为了克服这些困难,提出两个并发安全的改进方案.第一个方案是利用关于两个被承诺值的知识证明和2轮并发零知识论证的Sigma协议编译器对底层的Blanton方案进行扩展得到的.第二个方案(即前一个方案的增强版本)利用直线提取技术实现了更为高效的安全性归约过程,并借助基于同态加密的非交互零知识论证避免了对随机预言机的使用.与其他的强不可分割的方案相比,第一个方案具有更高的通信效率,且第二个方案的安全性并不依赖于随机预言模型.     

制导工具系统误差分离的模型优选方法

对制导工具系统误差分离模型参数优选方法进行了研究。根据制导工具系统误差系数与遥外差之间的关系,误差系数之间的相关性以及遥外差对各项误差的偏导数,综合判定某项误差系数是否应遴选入制导工具系统误差模型,从而克服了传统回归分析方法进行最优模型选择时未充分考虑制导工具系统误差分离应考虑的工程实际。仿真数据处理结果证明了文中方法实现制导工具系统误差模型系数优选的可靠性。     

并发程序变异测试研究综述

变异测试是一种面向缺陷的软件测试方法,利用人为注入的缺陷引导测试数据生成,评价测试数据的有效性,在软件工程领域得到了广泛关注.依托多核架构,开发可靠的并发程序越来越迫切.近年来,很多学者尝试将变异测试技术应用于并发程序,以提高并发程序测试的效率和可靠性.首先,介绍了本文工作与已有综述的不同;然后,阐述了与并发程序和变异测试技术相关的知识;接着,从变异实施、变异测试准则、测试数据生成等3方面,综述并发程序变异测试的研究进展,包括：变异算子设计、选择变异、高阶变异、弱变异、测试数据生成方法、变异测试工具等;最后,讨论需要进一步研究的问题.     

International high technology cooperation: lessons learned

In February 1986, in response to the Nunn Amendment in the United States, a special Conference of National Armaments Directors (CNAD) examined possible ways to foster cooperative high technology research and development programs within the NATO Alliance. As a result, they established the Special Working Group on Ada Programming Support Environments (SWG APSE) to oversee the development of a multinational software development environment for developing real-time weapon systems in the Ada programming language. The Working Group also developed a requirements specification for a software development environment interface standard. The author describes the benefits and pitfalls of this joint software development. He also describes the lessons learned from such joint multinational development efforts. Further, the author describes the management issues that are unique to such an international collaborative effort and gives a frank assessment of the techniques that had helped and hindered the program's progress     

An Object-Oriented Multi-Thread Dialog Model

１ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｅｉｎｔｅｒａｃｔｉｖｅｓｏｆｔｗａｒｅ，ｐａｒｔｉｃｕｌａｒａｔｅｎｔｉｏｎｉｓｐａｉｄｔｏｄｅｓｉｇｎｉｎｇｕｓｅｒｉｎｔｅｒｆａｃｅ，ｉｎｗｈｉｃｈｔｈｅｓｅｐａｒａｔｉｏｎｏｆｉｎｔｅｒｆａｃｅａｎｄａｐｐｌ...