一种安全转移系统模型的构造及其运用

为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高过程的安全性。为此,定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统,并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性,从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。

赵法卿:安全转移守护家园 灾后重建不等不靠

"大家要记住,确保生命安全第一、有序撤离,厂没了可以再建,人没了就啥都没了!"十几天过去了,焦作市马村区政协常委、焦作市东星炭电极有限公司总经理赵法卿这句充满力量又饱含温情的话,仿佛还在厂房上空回响。汛情来临前,焦作市东星炭电极有限公司未雨绸缪,已全面安排部署防汛工作,却依然没有扛住7月21日那场洪魔。当日14时许,齐肩深的洪水漫灌整个厂区.

中央文库数次安全转移的奇迹

中央文库作为我们党在抗日战争和国内战争时期保存中共中央及中央收到的各地、各方面报送的重要历史文件资料的秘密基地。保存的都是中共中央、中华苏维埃政府、中国工农红军的最重要、最机密的文件资料。为了保证文库安全，规定每遇险情．必须搬迁。每更换一次负责人，就要搬一次“家”．因而中央文库在上海市内曾经迁徙过多次．仅在陈来生管理期间。搬迁就达四次之多。

市场环境、企业社会责任与基金安全投资转移

当市场环境不好以及不确定性增加时,基金进行安全投资转移。企业积极履行社会责任所形成的声誉资本具有“类保险”作用,在面临负面事件或不确定性环境冲击时能够防止股价大幅下跌和市值损失;基金是否会在市场环境不好时将投资组合转向社会责任绩效更高的股票进行安全投资转移呢?使用2010—2017年开放式基金样本,实证检验了企业社会责任、市场环境与安全投资转移之间的关系。研究发现,在市场环境表现不佳时,基金避险需求增加,倾向将投资组合更多地转向社会责任绩效高的股票进行安全投资转移;进一步研究发现基金和基金经理特征影响基金的安全投资转移行为,净资金流入较少、历史业绩差、经理选股能力差的基金根据企业社会责任进行安全投资转移的程度大。研究还发现,基金的安全投资转移行为对基金业绩和基金收益波动产生了积极影响。

基于AAA认证的仓储移动网络安全关联转移方案

提出基于AAA认证的移动网络(NEMO)安全预接入通告方案,由无线传感器定位信息预判切换,触发安全关联等上下文转移,并告知对端节点或对端服务器的数据处理中心,提前实现安全验证。用演算建模以保证与现有NEMO安全机制兼容。理论分析知其减少的不当路由开销可达一半,模拟显示延时和资源占用大为降低。

“创生融入”,开展国际理解教育--以《污染物跨境转移与环境安全》一课教学为例

地理学科在国际理解教育方面有独特的优势,在地理教学中渗透国际理解教育至关重要。以“创生融入”的方式在地理课堂上实施国际理解教育,可以从分析课标与教材、确定目标与评价标准、设计明暗教学主线、创设情境与活动四个方面进行教学设计。

基于安全投资转移视角的风险相关性研究

投资者根据市场状态变化进行安全投资转移,引起资产间的资金流动和风险相关性变化。利用Markov状态转移模型识别市场状态,订单流差异衡量安全投资转移,基于CAPM的标准化协方差矩阵衡量风险相关性。研究发现:我国股市存在熊市、横盘和牛市三种状态,横盘状态下安全投资转移水平急剧提升。在时间维度上,横盘状态下安全投资转移对行业间风险相关性的影响最大;在截面维度上,同一状态下安全投资转移对安全型行业-风险型行业所组成行业对的风险相关性影响程度最大。结果表明,安全投资转移引起行业间风险相关性负向变化,使得行业间风险相关性减少。投资者同时配置受安全投资转移显著影响的安全型和风险型资产,可以降低投资组合系统性风险。

盈余质量信息影响基金安全投资转移行为吗?

开放式基金作为我国资本市场的重要参与者,在面临高的市场不确定性时,其是否采取合适的避险策略对于基金投资者的利益保护非常重要。本文选取我国2009—2018年开放式基金为样本,系统分析了开放式基金在不同市场环境下是否采取基于盈余质量的安全投资转移行为。研究发现,在市场环境不佳时,基金将投资组合更多地转向高盈余质量的股票,且不同特征的基金所进行的安全投资转移存在差异,基金的安全投资转移行为产生了积极的经济效果。

双周

学习当地时间7月4日上午,国家主席习近平在阿斯塔纳独立宫出席上海合作组织成员国元首理事会第二十四次会议。7月4日下午,国家主席习近平在阿斯塔纳出席“上海合作组织+”阿斯塔纳峰会并发表题为《携手构建更加美好的上海合作组织家园》的重要讲话。>>7月5日下午,湖南岳阳市华容县团洲乡团北村团洲垸洞庭湖一线堤防发生决口,造成垸区被淹,当地受灾群众已全部安全转移。

地质环境应用系统安全治理方法探索研究

本文针对地质调查行业信息化建设现状和业务系统的特点,从综合开发、部署、运维3个层面提出了一整套关于应用系统安全治理的方案,详细阐述了应用系统安全建设的现状、风险分析、治理实践等内容,重点介绍了业务系统的安全治理实践流程,为提升地质环境信息系统的服务能力起到了重要作用。

浅谈路桥施工中工程机械的安全管理

随着路桥等基础建设的快速发展,机械设备的大量增加,机械化施工程度的普遍提高,同时大量的不安全因素也随之进入生产过程中来,发生事故的可能性大大增加。机械安全管理的重要性也大大增强。论述了工程机械安全管理上的几点想法。

税收信息化建设中的信息安全技术研究

税收管理信息化是加强税收征管、实现依法治税的重要措施,也是降低税收成本和提高征管效率的技术保障。随着我国税收信息化的快速发展,税收信息化建设中的信息安全问题日益凸显,它已成为制约我国税收现代化的瓶颈。随着“科技兴税”和税收征管改革的全面实施,税收信息化有了长足的发展,税收信息化建设中的信息安全问题越来越重要。

税收信息化建设中的信息安全问题研究

税收管理信息化是加强税收征管、实现依法治税的重要措施,也是降低税收成本和提高征管效率的技术保障。随着我国税收信息化的快速发展,税收信息化建设中的信息安全问题日益凸显,它已成为制约我国税收现代化的瓶颈,因此,解决税收信息化建设中的信息安全问题迫在眉睫。问题的关键是应从信息状态安全、信息转移安全和安全管理制度三个方面对税收信息化建设中的信息安全进行研究,找出服务器安全、操作系统安全、数据库安全的信息状态安全的应对策略;防火墙技术、信息加密技术、信息认证技术、防病毒技术的信息转移安全对策以及建立一套健全的安全管理制度的措施等。

指挥群众科学转移的体会

１９９８年８、９月份,位于松花江中游北岸的黑龙江省木兰县遭受了特大洪水的袭击。笔者受县委委托负责全县洪泛区群众安全转移工作,由于按照科学规律办事,避免了工作的盲目性。取得安全转移４０００多户、１８万人无一伤亡的胜利,受到省、市领导及专家的好评。一、调查研...

道桥施工中机械设备安全管理的探析

随着目前我国道桥等基础建设的迅猛发展，机械设备的大量增加，机械化施工程度的普遍提高，同时大量的不安全因素也随之进入生产过程中来，其发生事故的可能性逐渐增加，使得机械安全管理的重要性也逐渐增强。本文对道桥施工中机械设备的安全停放、道桥施工中机械电器设备的安全管理、道桥施工中机械设备的安全转移和运输以及道桥施工中机械设备安全事故的预防和处理进行了探讨分析。

道路桥梁工程施工中机械设备的安全管理

随着科技的进步发展,机械设备的不断创新,道路桥梁工程机械施工的安全管理也将面临新的挑战,因此需要不断总结经验,把机械设备的安全管理提升到一个新的高度,道路桥梁工程的施工提供高质量的安全保障。本文就道路桥梁工程施工中机械设备的安全管理进行了探讨。

灾度模型的一般表达式及应用

灾害(自然灾害和人为灾害)等级评定有利于灾害分级管理。本文选取直接经济损失相对值(直接经济损失/人均GDP)、死亡人数、受伤(重伤+轻伤)人数、转移安置指标(转移安置人数×平均安置时间)等灾情指标,给出自然灾害等级划分方案,初步建立统一的自然灾害灾度计算模型,通过具体灾例验证本模型适用于地震、洪涝和台风等灾害的等级评定;在此基础上给出灾度计算模型的一般表达式,并将其推广应用到人为灾害(如生产安全事故等)的分级与评价;讨论目前生产安全事故等级评价标准的不足之处,选取死亡人数、重伤人数、轻伤人数、直接经济损失相对值等灾情指标,给出适用于生产安全事故的等级划分方案、灾度计算模型及等级评定工作流程,通过典型生产安全事故等级评定验证了模型的合理性。本文给出的灾害等级划分方案可扩充性好,灾度计算模型有严格的数学推导,具有统一的形式,灾度值受单项评级最高的损失指标控制,并考虑其他损失指标的贡献。对不同的灾害类型,即使选用的损失指标类型和数量不同,也能进行统一的灾害等级评定和比较。本文的灾度模型可视为修正的“或模型”,能考虑多个损失指标的影响和贡献。对自然灾害的灾情统计建议:加强受伤(重伤+轻伤)人员分类统计、转移安置人数及时长的分类统计,以更好地反映自然灾害损失大小、影响程度及范围。

市场环境与基金安全投资转移——基于盈余质量的研究

市场环境差时,基金投资组合面临更高的风险,此时基金的避险需求更高。盈余质量高的公司其应计利润和现金流偏差更小,其股价受市场环境的影响更低,业绩也更好。而市场环境差时,盈余质量高的股票所具有的特征可以满足基金的避险需求,基金出于降低组合系统性风险的需要,会更多地配置高盈余质量的股票,进行安全投资转移。文章使用2005-2015年开放式基金样本,实证检验了市场环境与基金的安全投资转移行为的关系。结果表明,市场环境不好时,基金将投资组合更多地转向高盈余质量的股票;同时基金也更多地持有盈余质量更高的非周期行业股票,组合资产在周期和非周期行业间的转移背后仍然是盈余质量的转移;且基金仅在持有的周期性行业股票中采取向高盈余质量股票转移的安全投资转移。研究还发现,基金的安全投资转移行为对业绩产生了积极影响,这说明基金具有良好的选股能力,能充分利用盈余信息及时调整投资组合以避险。