习近平关于意识形态工作重要论述形成研究

从动态生成视角考察习近平关于意识形态工作的重要论述,要“从后思索”回溯既有理论形态的形成脉络,也要把握作为集体智慧的“重要论述”与理论创新个体实践的动态联系。党的十八大以来,“重要论述”业已形成有关意识形态工作地位、目标、方法、阵地、基础、责任、制度等七个方面的系统阐述,可概括为“七定”。社会生活与国家治理的重大变化、纷繁复杂的社会思潮、世界各国意识形态治理实践,为“重要论述”的形成创设了多方历史条件,使之具有强烈的时代特色。独特的成长背景、强烈的人民情怀、深远的战略眼光、深厚的理论素养、丰富的政治经验,为“重要论述”的形成提供了个人主体条件,并赋予其鲜明的个性特征。

Linux下支持续传的多线程下载工具的设计与实现

介绍了一个在Linux环境下支持续传和多线程下载工具的设计技术,并讨论了在实现中用到的一些数据结构和关键技术。

Java语言多线程技术及应用探讨

多线程编程是Java语言的一个很重要的特点,它是面向对象程序设计的关键技术之一。本文简要的探讨了Java语言多线程的基本技术,就线程的创建、线程控制和调度及线程同步等处理技术做了相关探讨。

基于松散耦合MIMD计算机系统的函数式语言并行实现技术

本文基于MIMD计算机系统提出了函数式语言的并行LE机.并行LE计值在函数式语言FP的基本语义中增加了对THREAD对象和延迟对象LOBJ处理的语义规则,其计值能力介于积极计值和惰性计值之间。为有效开发程序中细颗粒度并行性,本文将延迟处理技术文入并行进程的生成过程中,因而在成分开发系统的并行处理能力的同时减少了系统生成的进程数目。

基于上下文定界的Fork/Join并行性的并发程序可达性分析

随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。

验证带有线程的动态创建和退出的多线程程序

近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式,使用高阶逻辑描述指令的推理规则和安全策略,为证明带有线程的动态创建和退出的多线程程序的部分正确性提供了一种实用的方法.

钢筋工程制安方法与施工质量控制

某工程钢筋使用量庞大,制作安装方法与施工质量控制成为该工程的关键工序。设计全部采用HRB400钢筋(三级钢),施工采用滚压直螺纹连接、电渣压力焊接、闪光对焊接、电弧焊搭接与绑扎搭接多种连接方法。