检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

形式化方法与应用专题前言

软件学报 2024年第9期 4011-4012页

作者：曹钦翔宋富詹乃军上海交通大学电子信息与电气工程学院中国科学院软件研究所

随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、...

随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、定理证明等多种技术手段.近年来,利用形式化方法解决软件可靠性与安全性问题已经获得了越来越广泛的应用.为此,我们组织了本专题与ChinaSoft形式化方法与应用论坛,探讨并交流最近一年以来,国内学者在形式化方法与应用的研究中取得的新成果.

关键词：

新质生产力的生成逻辑:历史回溯、现实审视与政策实践

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

教学与研究 2024年第5期 45-58页

作者：贾利军郝启晨北京理工大学经济学院北京102401

生产力发展事关国家战略全局,加快发展新质生产力是立足当代中国实际、实现高质量发展的必然要求。人类社会发展史上的重大生产力变革均以技术革命突破为基本前提、以生产力要素创新性配置为主要动力、以产业变迁为现实着力点,这体现为... 详细信息

生产力发展事关国家战略全局,加快发展新质生产力是立足当代中国实际、实现高质量发展的必然要求。人类社会发展史上的重大生产力变革均以技术革命突破为基本前提、以生产力要素创新性配置为主要动力、以产业变迁为现实着力点,这体现为生产力发展的一般性规律。新质生产力是当前历史阶段生产力的新质态,其发展既符合一般性规律,也体现数字化时代的新特征。以数字技术为代表的技术革命性突破、以数据要素为纽带的生产力要素创新性配置、与数字经济相适应的产业深度转型升级这三重机制共同催生和推动了新质生产力的形成和发展。加快发展新质生产力要求我们破除三重机制发挥作用的现实阻碍,加快实现高水平的科技自立自强,强化科技创新对于生产力要素系统革新的引领作用;加快推进数据要素的生产、确权、流通,充分发挥数据要素在资源调配和整合方面的独特优势;加快构建现代化产业体系,推动传统产业深度转型升级以及战略性新兴产业加速发展等前瞻性战略布局。

关键词：新质生产力生成逻辑一般规律三重机制政策实践

基于定向声波扫描的钻孔围岩隐伏溶洞表征与分析方法

在线全文

学校读者我要写书评

暂无评论

岩土力学 2024年第5期45卷 1435-1445页

作者：张岩汪进超刘厚成郭启军山东省鲁南地质工程勘察院地热清洁能源勘查开发山东省工程研究中心山东济宁272100 山东省地矿建设有限公司山东济宁272100 自然资源部山东羊庄岩溶生态系统野外科学观测研究站山东济宁272100 山东省地矿局岩溶地质重点实验室山东济宁272100 中国科学院武汉岩土力学研究所岩土力学与工程国家重点实验室湖北武汉430071 中国科学院武汉岩土力学研究所岩土工程检测中心湖北武汉430071

复杂地质环境下采用简化的几何体代替真实形态的隐伏溶洞进行数值分析,往往难以反映真实的工程特性,自然形成的溶洞形态在几何方面无明显规律性,导致溶洞形态特征的定量化表征问题一直未被很好的解决,为此,针对复杂地质环境下钻孔围岩... 详细信息

复杂地质环境下采用简化的几何体代替真实形态的隐伏溶洞进行数值分析,往往难以反映真实的工程特性,自然形成的溶洞形态在几何方面无明显规律性,导致溶洞形态特征的定量化表征问题一直未被很好的解决,为此,针对复杂地质环境下钻孔围岩隐伏溶洞轮廓的几何形态特征定量化研究中缺少系统性研究问题,提出了基于定向声波扫描的钻孔围岩隐伏溶洞表征与分析方法。首先,在利用钻孔定向声波扫描技术获取基础数据的基础上,构建同一钻孔中不同隐伏溶洞的轮廓坐标化准则。随后,在钻孔围岩隐伏溶洞定量表征方面,分别提出了隐伏溶洞水平方向结构表征方法与垂直方向结构表征方法,实现了隐伏溶洞的全方位定量化表征;在钻孔围岩隐伏溶洞统计分析方面,提出了水平全方位占比指数、远离占比指数和深度占比指数,能够从钻孔角度来统计分析钻孔不同深度、周围不同位置的隐伏溶洞情况。最后,结合实际工程案例进行了综合分析,并与其他方法进行了对比验证,证明了提出的方法能够为岩溶地区地质工程中工程勘察和数值模拟提供更多的定量化数据,是溶洞地区的开发与资源利用技术中的一种全新定量化分析方法,具有广阔的应用前景。

关键词：声波扫描隐伏溶洞围岩结构定量表征溶洞分析

基本养老保险个人账户的基金模式:实账积累还是名义记账?

在线全文

学校读者我要写书评

暂无评论

中国管理科学 2024年第7期32卷 37-44页

作者：李云龙詹家煊王晓军中国人民大学统计学院北京100872 中国人民大学应用统计科学研究中心北京100872 上海市人力资源和社会保障局社会保险基金监督处上海200125

我国的基本养老保险实行社会统筹与个人账户相结合的模式,其中个人账户的基金模式涉及对参保人的养老金权益保护。本文借助连续时间OLG模型,探究完善个人账户的模型条件,给出做实个人账户所需资金的约束条件,模拟在不同参数假设下做实... 详细信息

我国的基本养老保险实行社会统筹与个人账户相结合的模式,其中个人账户的基金模式涉及对参保人的养老金权益保护。本文借助连续时间OLG模型,探究完善个人账户的模型条件,给出做实个人账户所需资金的约束条件,模拟在不同参数假设下做实个人账户的财务结果,得出在未来5~20年内做实个人账户面临的巨大财务压力。采取名义记账式个人账户模式,并在适当的个人账户参数设定下,能够保护参保人的养老金权益,也能维持制度长期财务可持续。

关键词：基本养老保险个人账户积累制记账制 OLG模型

在线全文

学校读者我要写书评

暂无评论

综合施策推动构建基层普惠理财专属体系

中国农村金融 2024年第13期 15-16页

作者：詹启刚国家金融监督管理总局泉州监管分局党委

基层普惠理财面临观念转变、体系构建、可持续发展等诸多挑战,需要加大宣传引导力度、不断优化产品体系、加强服务渠道建设,以确保基层普惠理财稳健发展。

关键词：稳健发展服务渠道引导力度可持续发展理财普惠体系构建观念转变

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

马克思生产劳动范畴的理论意蕴及当代启示

北京社会科学 2024年第9期 60-71页

作者：郝启晨张福军北京理工大学经济学院中国社会科学院马克思主义研究院政治经济学研究室

科学建构中国生产劳动范畴,有利于激发各类劳动者创造财富的积极性,为中国式现代化增进思想共识、凝聚实践合力。基于对马克思生产劳动理论的文本发掘和系统研究,凝练了生产劳动范畴内在的物质规定性、形式规定性、价值规定性,论证了三... 详细信息

科学建构中国生产劳动范畴,有利于激发各类劳动者创造财富的积极性,为中国式现代化增进思想共识、凝聚实践合力。基于对马克思生产劳动理论的文本发掘和系统研究,凝练了生产劳动范畴内在的物质规定性、形式规定性、价值规定性,论证了三重规定性的辩证统一、物质规定性的本源意义,探索并解析了社会发展中的时间结构转换规律。遵循马克思生产劳动概念的生成逻辑,建构了内含三重规定性的中国生产劳动范畴,即:创造满足人民美好生活需要的物质生产领域的劳动,其新创造的价值不少于劳动者的生活消费品的价值。中国生产劳动范畴体现了社会主义本质要求、契合中国式现代化的特征。对此,提出要正确认识各类劳动的属性和功能,促进各类劳动的合理有效配置,加强实体经济领域的劳动就业,引导非生产劳动资源更多投向科学、教育、医疗、文化、艺术等促进人的现代化的领域。

关键词：马克思主义生产劳动中国式现代化经济高质量发展

维普期刊数据库博看期刊

熏蒸处理及配伍调剂对柏子仁饮片黄曲霉毒素B1含量的影响

在线全文

学校读者我要写书评

暂无评论

时珍国医国药 2024年第2期35卷 365-368页

作者：李颖史启今程莹莹高琛詹玉石金敏中国中医科学院广安门医院北京100053

目的研究竹叶花椒挥发油熏蒸及与远志、酸枣仁配伍调剂对柏子仁饮片中黄曲霉毒B1(aflatoxin B1,AFB1)含量的影响,为柏子仁饮片的储藏条件及储存期限提供参考。方法用竹叶花椒挥发油熏蒸柏子仁,以未熏蒸的柏子仁作为对照组,于4℃、18℃... 详细信息

目的研究竹叶花椒挥发油熏蒸及与远志、酸枣仁配伍调剂对柏子仁饮片中黄曲霉毒B1(aflatoxin B1,AFB1)含量的影响,为柏子仁饮片的储藏条件及储存期限提供参考。方法用竹叶花椒挥发油熏蒸柏子仁,以未熏蒸的柏子仁作为对照组,于4℃、18℃和28℃储藏90天;筛选其中AFB1含量最低和最高的储藏条件,并模拟患者的居家储藏条件(-18℃的冰箱冷冻室环境),以单独储存的柏子仁为对照组,将柏子仁分别与远志、酸枣仁配伍后储藏90天。基于UPLC-MS/MS检测各组样本中AFB1含量,采用Acquity UPLC BEH C_(18)(2.1 mm×100 mm×1.7μm)色谱柱,以甲醇-10 mmol·mL^(-1)醋酸铵溶液为流动相进行梯度洗脱,流速为0.3 mL·min^(-1),采用电喷雾离子源,正离子模式采集数据。结果(1)在4℃条件下,各组柏子仁AFB1含量均未超标且显著低于18℃、28℃条件下的含量(P<0.05)。经竹叶花椒挥发油熏蒸处理的各组柏子仁AFB1含量均显著低于未处理组(P<0.05)。(2)柏子仁酸枣仁组储存90天时柏子仁中AFB1含量均超标且显著高于其余3组(P<0.05)。在未熏蒸处理时,各时期柏子仁远志组中AFB1含量均低于其余3组。结论低温储藏、竹叶花椒挥发油熏蒸处理可延缓柏子仁中AFB1的产生;柏子仁不宜与酸枣仁共同储存,与远志配伍可能抑制柏子仁中AFB1的积累。

关键词：柏子仁黄曲霉毒素B1 储藏条件熏蒸配伍

在线全文

学校读者我要写书评

暂无评论

马克思生产劳动理论及其当代启示

理论视野 2024年第8期294卷 12-17页

作者：郝启晨张福军北京理工大学经济学院中国社会科学院马克思主义研究院

通过对马克思生产劳动理论的再探析,可知资本主义生产劳动内含的三重规定性,得到数字劳动生产性问题的基本判据,揭示劳动时间转换的内在规律及其在不同社会制度下的现实表现。建议加强我国生产性数字劳动的基础地位,引导劳动时间转换的... 详细信息

通过对马克思生产劳动理论的再探析,可知资本主义生产劳动内含的三重规定性,得到数字劳动生产性问题的基本判据,揭示劳动时间转换的内在规律及其在不同社会制度下的现实表现。建议加强我国生产性数字劳动的基础地位,引导劳动时间转换的正确方向,动态优化劳动时间的合理配置。

关键词：马克思生产劳动理论三重规定性劳动时间转换规律数字劳动

有线网络如何应对OTT及智能终端时代的挑战

在线全文

学校读者我要写书评

暂无评论

有线电视技术 2013年第1期20卷 132-133页

作者：毛卫兵徐江山蒋新农郭姚高军良林如俭詹启军杨基军陈林黄晓海赵明科河北广电信息网络集团股份有限公司深圳市天威视讯股份有限公司湖南省有线电视网络股份有限公司安徽广电信息网络股份有限公司爱立信(中国)通信有限公司北京凌云光子技术有限公司广东九联科技股份有限公司西安海数多媒体技术有限公司产品部市场部上海思华科技股份有限公司中兴通讯股份有限公司陕西极众电子科技有限公司

问题一：请运营商及企业从各自角度阐述一下自己对智能终端的观点。深圳天威：我们对下一代终端的考虑主要基于以下几点：首先，基于开放的操作系统。第二，具备本地的转码的功能，可对广播信号进行本地编码或者转码后，提供给家庭内的... 详细信息

问题一：请运营商及企业从各自角度阐述一下自己对智能终端的观点。深圳天威：我们对下一代终端的考虑主要基于以下几点：首先，基于开放的操作系统。第二，具备本地的转码的功能，可对广播信号进行本地编码或者转码后，提供给家庭内的第二终端进行分享．这是天威对机顶盒的规划。

关键词：智能终端有线网络操作系统广播信号运营商机顶盒转码编码