论坚持社会主义先进文化前进方向

社会主义先进文化是马克思主义政党思想精神上的旗帜。中国共产党是中国特色社会主义事业的领导核心,是推进文化改革发展的根本保证。坚持社会主义先进文化前进方向,就是要加强党对文化事业的领导,以马克思主义指导文化工作发展,以文化阵地为壁垒引领文化方向,以提升全民族素质为文化建设着力点;就是要加强和改进党的自身文化建设,提升全党政治理论水平,完善党员思想道德情操,培育党内科学文化素养,积极探索党的自身文化建设与党建理论研究相结合的新路子。     

泛代数上的Groebner-Shirshov基理论

综述了域上或交换代数上的线性（-）代数的相应的簇（范畴）的 Groebner-Shirshov 基理论的新成果，如:结合代数（包括群（半群）代数），自由代数的张量积，李代数，Di-代数，pre-李代数，Rota-Baxter代数，metabelian李代数，L-代数，半环代数，范畴代数，等．以上结果包含了许多应用，尤其是给出了一些著名结论的新的证明．     

Privacy Quantification Model Based on the Bayes Conditional Risk in Location-Based Services

The widespread use of Location-Based Services(LBSs),which allows untrusted service providers to collect large quantities of information regarding users’locations,has raised serious privacy concerns.In response to these issues,a variety of LBS Privacy Protection Mechanisms(LPPMs)have been recently proposed.However,evaluating these LPPMs remains problematic because of the absence of a generic adversarial model for most existing privacy metrics.In particular,the relationships between these metrics have not been examined in depth under a common adversarial model,leading to a possible selection of the inappropriate metric,which runs the risk of wrongly evaluating LPPMs.In this paper,we address these issues by proposing a privacy quantification model,which is based on Bayes conditional privacy,to specify a general adversarial model.This model employs a general definition of conditional privacy regarding the adversary’s estimation error to compare the different LBS privacy metrics.Moreover,we present a theoretical analysis for specifying how to connect our metric with other popular LBS privacy metrics.We show that our privacy quantification model permits interpretation and comparison of various popular LBS privacy metrics under a common perspective.Our results contribute to a better understanding of how privacy properties can be measured,as well as to the better selection of the most appropriate metric for any given LBS application.     

美丽工业的美学机理和文化实践逻辑——读《产品的视觉性与文化实践》

鲍懿喜所著《产品的视觉性与文化实践》一书是对现代经济发展和文化创新整合发展的一次尝试,构建了一种具有本体论立场和根据的工业社会美学话语。特点有三:一、构建了工业美学的哲学视域;二、阐释了工业美学的现代文化特质;三、呈现了现代工业美学的实践性社会空间。     

关于煤矿电网防雷探讨

近年来,全球气候变化多端,雷害事故在煤矿频繁发生,而且雷暴天气主要集中在5月-8月,多雷阵雨、大风、冰雹等强对流天气,雷电活动规律的随机性和活动强度的不可预测性使煤矿供电系统面临巨大威胁。由雷击引起的煤矿供电系统停电、设备损坏等事故不一而足,给煤矿的安全生产造成不可估量的损失。所以煤矿防雷系统不但要确保电网的安全可靠性,也要保证全矿通讯网、办公自动化网、生产调度系统、工业电视网、监测监控系统的安全可靠运行。     

轮回

<正>在小说构建的世界里,新生命的诞生必须以老人的死亡为代价。外婆安妮塔为了让外孙女卡琳拥有孩子,选择了自我牺牲。安妮塔与外孙女行走在林荫道上,前往教堂做弥撒,路两旁是覆盖着白雪的坟墓。虽然卡琳仍旧顽固不化,可哥本哈根公墓看起来是进行这类谈话的合适地点。"外婆,我不会允许你做那件事。"卡琳说。"我想要做。你准备好做妈妈吧。""马蒂亚斯与我也许会收养个孩子。如果收养不成,我俩会耐心等     

位置服务中的查询隐私度量框架研究

针对查询隐私度量机制存在过高评价用户隐私保护水平的问题,提出一个泛化的查询隐私度量框架。该框架将影响用户查询隐私的各种因素放在一起统一考虑,形式化定义用户、攻击者、隐私保护机制和隐私度量指标,提供了一种融合攻击者背景知识和推理能力的系统的隐私度量方法,可在相同条件下正确度量多种查询隐私保护机制的有效性,帮助用户选取合适的隐私需求以获得隐私保护和服务质量之间的平衡。在由Thomas Brinkhoff路网数据生成器生成的数据集上进行的模拟实验验证了该框架的有效性和准确性。     

用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

带漂移布朗运动的一个局部时的Laplace变换

在Borodin和Salminen(2002)文献中有关带漂移布朗运动占位时的Laplace变换结果的基础上,运用Li等(2014)计算局部时的方法,推出了带漂移布朗运动在独立指数时间e_q前,及停留在0处的局部时的Laplace变换表达式Ee~(-λl(e_q,0))=lima→0I(λ/a;0,a,e_q)=((2q+μ~2)~(1/2))/(λ+(2q+μ~2)~(1/2))。当μ=0时,本文结果与标准布朗运动的结果吻合。     

不同加载模式下GFRP管混凝土组合柱的损伤实时监测

基于压电陶瓷主动传感技术，对GFRP管混凝土组合柱(concrete filled GFRP tube, CFGT)进行损伤监测.制作2组预埋压电智能骨料(smart aggregate, SA)的GFRP管约束混凝土短柱试件，分别进行单调和往复轴压试验，监测其损伤情况.加载过程中采集实时信号，采用小波包能量法和基于均方根偏差的损伤评判指标(damage indicator, DI)等进行损伤评估，发现小波包能量随着荷载的增大明显衰减，而损伤评判指标随着荷载的增大而增大，且在损伤达到一定程度时趋于平稳；组合柱底的小波包能量均大于柱顶的；柱底混凝土晚于柱顶破环；往复加载下的混凝土破坏先于单调加载下的.结果表明，该监测方法能有效识别组合柱在受力时的实时损伤程度，且监测信号的幅值、小波包能量、损伤评判指标均在损伤过程中表现出较好的敏感性.该方法可为该类组合柱在施工、使用过程中的实时损伤研究提供参考.