检索结果-南通市图书馆

基于CCTL的软件可靠性测试输入特性描述方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

仪器仪表学报 2018年第4期39卷 141-149页

作者：盛云龙魏长安姜守达哈尔滨工业大学自动化测试与控制研究所

软件可靠性测试是指为了保证和验证软件的可靠性要求而对软件进行的测试。由于目前缺少满足被测软件输入的时序性、并发性和约束性等输入特性的有效的形式化描述方法,软件可靠性测试数据的生成无据可依,全面的软件可靠性测试难以实现。... 详细信息

软件可靠性测试是指为了保证和验证软件的可靠性要求而对软件进行的测试。由于目前缺少满足被测软件输入的时序性、并发性和约束性等输入特性的有效的形式化描述方法,软件可靠性测试数据的生成无据可依,全面的软件可靠性测试难以实现。利用钟控计算树逻辑（CCTL）公式在模型检测领域能够准确描述模型内部时序关系的优势,提出了基于CCTL的软件可靠性测试输入特性描述方法,该方法对输入特性准确有效的描述,可为可靠性测试数据的生成提供依据。最后,通过对一个实例的输入特性进行描述,验证了方法的可行性和有效性。

关键词：软件可靠性测试时序输入特性约束输入特性形式化描述钟控计算树逻辑

Charged functional groups modified porous spherical hollow carbon material as CDI electrode for salty water desalination

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2025年第3期149卷 254-267页

作者： Yushan Ni yunlong Pu Jie Zhang Weiyan Cui Mingjun Gao Dongjiang You School of Environmental and Material Engineering Yantai UniversityYantai 264005China

As a new electrochemical technology,capacitive deionization(CDI)has been increasingly applied in environmental water treatment and seawater *** this study,functional groups modified porous hollow carbon(HC)were synthesized as CDI electrode material for removing Na^(+)and Cl^(−)in salty *** showed that the average diameter of HC was approximately 180 nm,and the infrared spectrum showed that its surface was successfully modified with sulfonic and amino groups,*** sulfonic acid functionalized HC(HC-S)showed better electrochemical and desalting performance than the amino-functionalized HC(HC–N),with a maximum Faradic capacity of 287.4 F/g and an adsorptive capacity of 112.97 mg/g for ***,92.63%capacity retention after 100 adsorption/desorption cycles demonstrates the excellent stability of *** main findings prove that HC-S is viable as an electrodematerial for desalination by high-performance CDI applications.

关键词： Hollow carbon Functional groups Desalination Capacitive deionization

可雇性与高校职员队伍建设——介绍一种新型雇用关系

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

高等工程教育研究 2007年第1期55卷 73-76页

作者：生云龙刘婉华清华大学人事处

20世纪80年代到90年代初,许多企业废除了以辛苦工作换取雇用安全的“旧雇用契约”,而采用了“新型雇用契约”,这带来了很多问题。提高雇员的“可雇性”成为雇主与雇员建立新型雇用关系的最佳选择,而这对于高校职员队伍建设具有非常重要... 详细信息

20世纪80年代到90年代初,许多企业废除了以辛苦工作换取雇用安全的“旧雇用契约”,而采用了“新型雇用契约”,这带来了很多问题。提高雇员的“可雇性”成为雇主与雇员建立新型雇用关系的最佳选择,而这对于高校职员队伍建设具有非常重要的借鉴意义。

关键词：旧雇用契约新型雇用契约可雇性高校职员队伍建设

在线全文

学校读者我要写书评

暂无评论

时序约束条件下序列测试建模方法

仪器仪表学报 2019年第6期40卷 213-220页

作者：盛云龙魏长安刘玉奇姜守达哈尔滨工业大学自动化测试与控制研究所

时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行... 详细信息

时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。

关键词：软件测试序列测试时序约束约束描述目标评价

Combined biochar and wheat-derived endophytic bacteria reduces cadmium uptake in wheat grains in a metal-polluted soil

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2025年第1期147卷 165-178页

作者： Zhihui Xiong Yaping Wang Linyan He Qi sheng Xiafang sheng College of Life Sciences Key Laboratory of Agricultural and Environmental MicrobiologyMinistry of AgricultureNanjing Agricultural UniversityNanjing 210095China

In this study,two wheat-derived cadmium(Cd)-immobilizing endophytic Pseudomonas paralactis M14 and Priestia megaterium R27 were evaluated for their effects on wheat tissue Cd uptake under hydroponic ***,the impacts of the biochar(BC),M14+R27(MR),and BC+MR treatments on wheat Cd uptake and the mechanisms involved were investigated at the jointing,heading,and mature stages of wheat plants under field-plot conditions.A hydroponic experiment showed that the MR treatment significantly decreased the above-ground tissue Cd content compared with theM14 or R27 *** BC+MRtreatment reduced the grain Cd content by 51.5%-67.7%and Cd translocation factor at the mature stage of wheat plants and increased the organic matter-bound Cd content by 31%-75%in the rhizosphere soils compared with the BC or MR *** with the BC or MR treatment,the relative abundances of the biomarkers associated with Gemmatimonas,Altererythrobacter,Gammaproteobacteria,Xanthomonadaceae,Phenylobacterium,and Nocardioides in the BC+MR-treated rhizosphere microbiome decreased and negatively correlated with the organic matter-bound Cd *** the BC+MR-treated root interior microbiome,the relative abundance of the biomarker belonging to Exiguobacterium increased and negatively correlated with the Cd translocation factor,while the relative abundance of the biomarker belonging to Pseudonocardiaceae decreased and positively correlated with the Cd translocation *** findings suggested that the BC+MR treatment reduced Cd availability and Cd transfer through affecting the abundances of these specific biomarkers in the rhizosphere soil and root interior microbiomes,leading to decreased wheat grain Cd uptake in the contaminated soil.

关键词： Cd-immobilizing endophytic bacteria Cd-contaminated soil Biochar+endophytic bacteria Grain Cd uptake Specific biomarkers

我国东汉时期各级官吏工资标准表——建武秩禄表浅析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国人事科学 2018年第1期 80-88页

作者：生云龙财政部综合司制度处

东汉光武帝建武二十六年(公元50年)颁行的官吏秩禄表(简称建武秩禄表)是目前可见的中国古代较为完整的各级官吏工资标准表。该表涵盖了各级官吏的秩禄,压缩了最高与最低秩级官吏的禄额比率,以钱币和实物两种形式发放,在制度上从年俸改... 详细信息

东汉光武帝建武二十六年(公元50年)颁行的官吏秩禄表(简称建武秩禄表)是目前可见的中国古代较为完整的各级官吏工资标准表。该表涵盖了各级官吏的秩禄,压缩了最高与最低秩级官吏的禄额比率,以钱币和实物两种形式发放,在制度上从年俸改为月俸,是先秦至两汉官吏俸禄制度探索的结晶。其内在特点值得当前制定工资政策时加以借鉴。本研究将介绍建武秩禄表的基本情况,并重点对其承载的历史意义进行分析。

关键词：东汉建武年秩禄表官吏月俸

在线全文

学校读者我要写书评

暂无评论

西汉官吏考课有效性的制度保障

中国人事科学 2021年第1期 74-93页

作者：生云龙财政部综合司综合处

西汉官吏的考核称为"考课"。考课的有效性指考课的实施过程与结果达成考课目标的程度。西汉政府为了实现考课的目标,建立了较为完备的制度保障体系。从考核对象看,实现了对所有官吏的全覆盖。从信息传递方式看,实现了对官吏的全方位监... 详细信息

西汉官吏的考核称为"考课"。考课的有效性指考课的实施过程与结果达成考课目标的程度。西汉政府为了实现考课的目标,建立了较为完备的制度保障体系。从考核对象看,实现了对所有官吏的全覆盖。从信息传递方式看,实现了对官吏的全方位监督。从考核内容看,实现了对官吏的全面考量。从考核频率看,实现了对官吏的日常监督和长时段考察。从考核结果的处理方式看,有效地实现了奖优罚劣。从总体上看,西汉官吏考课的有效性程度很高,但不可避免地存在一些影响有效性的制度缺陷。

关键词：西汉官吏考课有效性制度保障

在线全文

学校读者我要写书评

暂无评论

汉代官吏的休假制度

中国人事科学 2018年第12期 17-26页

作者：生云龙财政部综合司制度处

汉代已经形成较为系统的官吏休假制度,对官吏的日常休息日、节日休假、长期休假、丧假等都有了相关规定。本文将对汉代官吏各种节假日的有关规定、实施情况及特点等进行探讨。

关键词：汉代官吏休假

在线全文

学校读者我要写书评

暂无评论

汉代官吏赏赐制度浅析

中国人事科学 2019年第7期 17-33页

作者：生云龙财政部综合司制度处

官吏赏赐制度是一种重要的政治制度。研究汉代赏赐制度的演进过程、功能实现和制度缺陷映照出特定人事制度的内在逻辑和发展周期,对理解我国文官制度历史具有重要意义。汉代赏赐制度包括官吏在职时的赏赐、官吏死于任上或因公殉职的抚... 详细信息

官吏赏赐制度是一种重要的政治制度。研究汉代赏赐制度的演进过程、功能实现和制度缺陷映照出特定人事制度的内在逻辑和发展周期,对理解我国文官制度历史具有重要意义。汉代赏赐制度包括官吏在职时的赏赐、官吏死于任上或因公殉职的抚恤赏赐和乞骸骨赏赐等。在西汉时期,该制度主要以非正规化的惯例形式存在,到了东汉有了相关的成文法令,主要包括在职官吏的一次性赏赐,每年腊赐和春赐等定期赏赐,有级别差异的抚恤赏赐,以及三类不同情况下的乞骸骨赏赐。其主要作用是加强君权,强化中央集权,维护统治秩序,但也存在随意性大、对象范围小、缺乏公平性和财政负担过重等缺陷。

关键词：汉代官吏赏赐官僚制度公务员工资