检索结果-南通市图书馆

基于Time Petri Nets的实时系统资源冲突检测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机研究与发展 2009年第9期46卷 1578-1585页

作者：周航黄志球胡军祝义南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 徐州师范大学计算机科学与技术学院江苏徐州221116

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束... 详细信息

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.

关键词：时间Petri网时间约束资源冲突检测

基于四元数模型的二维三次非线性相位耦合频率估计方法

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（工学版） 2007年第5期37卷 1181-1186页

作者：陈巧霞王树勋汪飞吉林大学通信工程学院长春130022 南京航空航天大学信息与科学技术学院南京210016

针对二维三次非线性相位耦合分析中的分维配对问题进行了研究。构造了合适的基于四元数的二维谐波模型,根据此模型定义了特殊的四阶累积量切片,分析了加性高斯在有色噪声中的二维三次非线性相位耦合。该方法从理论上避免了复数模型分析... 详细信息

针对二维三次非线性相位耦合分析中的分维配对问题进行了研究。构造了合适的基于四元数的二维谐波模型,根据此模型定义了特殊的四阶累积量切片,分析了加性高斯在有色噪声中的二维三次非线性相位耦合。该方法从理论上避免了复数模型分析二维三次非线性相位耦合时频率配对中可能产生的错误频率对以及有可能产生的二维频率估计精度的不平衡等问题。仿真实验验证了该方法的有效性。

关键词：信息处理技术四元数二维谐波三次非线性耦合四阶累积量

基于贝塔二项分布的零售贷款组合违约计量模型

在线全文

学校读者我要写书评

暂无评论

统计与决策 2013年第12期29卷 18-20页

作者：郑玉华崔晓东南京信息工程大学经济管理学院南京210044 南京晓庄学院经济与管理学院南京211171

对零售贷款组合进行风险评估时,违约率和违约相关性是研究的重点内容。为了克服结构化思想和单因子模型的不足,文章将违约率和违约相关性的研究转化为对组合违约数目的分布进行研究,并根据违约数目的统计特征,建立基于贝塔二项分布的违... 详细信息

对零售贷款组合进行风险评估时,违约率和违约相关性是研究的重点内容。为了克服结构化思想和单因子模型的不足,文章将违约率和违约相关性的研究转化为对组合违约数目的分布进行研究,并根据违约数目的统计特征,建立基于贝塔二项分布的违约计量模型。结论表明,设定违约数目服从贝塔二项分布,并通过分布参数的合理设置,既能反映各单项贷款的违约信息,又能体现零售贷款中各贷款违约之间的相关性。

关键词：零售贷款违约相关贝塔二项分布

在线全文

学校读者我要写书评

暂无评论

环R{D,C}的一些性质

数学的实践与认识 2020年第12期50卷 173-181页

作者：王尧周昊任艳丽南京信息工程大学数学与统计学院江苏南京210044 南京晓庄学院信息工程学院江苏南京211171

研究环R{D,C}的一些性质,证明了:1)环R{D,C}是弱拟morphic环当且仅当D是弱拟morphic环且对任意的x∈C,存在y∈C使得Cx=lC(y),Dx=lD(y);2)环R{D,C}是EIFP环当且仅当D和C都是EIFP环;3)环S=R{D,C}是左p.p.-环的充分必要条件是环D和C都是左p... 详细信息

关键词： R{D C}环弱拟morphic环 EIFP环左p.p.-环

在线全文

学校读者我要写书评

暂无评论

时间尺度对草地水土保持效应定量研究的影响

水土保持研究 2014年第5期21卷 59-65页

作者：吴晓霞顾祝军南京晓庄学院生物化工与环境工程学院南京211171

时间尺度效应的定量分析有利于进一步理解植被的水土保持机理。基于福建省长汀县河田镇草覆和裸土侵蚀试验小区2007—2010年的观测数据,分析了次降雨、月、季和年时间尺度下降雨、植被、保水和保土效应这4类参数的变化特征,并建立保水(... 详细信息

时间尺度效应的定量分析有利于进一步理解植被的水土保持机理。基于福建省长汀县河田镇草覆和裸土侵蚀试验小区2007—2010年的观测数据,分析了次降雨、月、季和年时间尺度下降雨、植被、保水和保土效应这4类参数的变化特征,并建立保水(土)效应RE(SE)的估算模型以探讨诸因素的联系,其中RE(SE)为草覆小区与裸土对照小区的径流深度(土壤流失量)的比值。结果表明:4类参数在各时间尺度呈现不同的量值及变化特性,RE和SE因消除了同类因子的影响在各时间尺度之间及其内部均相对稳定。在次降雨尺度RE较低(0.7)区间以及年尺度,降雨因子主导了研究小区的保水效应(R2>0.78)。从保土效应来看,在次降雨和年尺度主要受降雨或/和植被的影响,绿草叶面积指数能较好地表征研究小区草地的保土正效应(SE0.55),而最大30min雨强可精确表征研究小区草地的保土负效应(SE>1,R2>0.79)。无论保水或保土效应,其估算模型在月和季两个中等时间尺度均存在较大的不确定性(R2≈0.4)。可见在不同的时间尺度,影响草地水土保持效应的诸要素呈现不同的变化和耦合特征,显示时间尺度在植被水土保持研究中的重要性。

关键词：时间尺度叶面积指数保水效应保土效应

紫外活化乙醇工艺还原硝酸盐的影响因素及动力学分析

在线全文

学校读者我要写书评

暂无评论

净水技术 2024年第3期43卷 99-109页

作者：赵凯杰吴磊姜娥梅李宏辞刘双斐东南大学能源与环境学院江苏南京210098 江苏环保产业技术研究院股份公司江苏南京210098

地表水与地下水中硝酸盐浓度的快速增长,已经成为一个全球性的问题。利用紫外活化简单有机物产生还原性活性物质去除硝酸盐的研究方兴未艾。常见的紫外活化底物有甲酸与甲酸盐、草酸与草酸盐等,但是这些物质具有一定的毒性,为此选择未... 详细信息

地表水与地下水中硝酸盐浓度的快速增长,已经成为一个全球性的问题。利用紫外活化简单有机物产生还原性活性物质去除硝酸盐的研究方兴未艾。常见的紫外活化底物有甲酸与甲酸盐、草酸与草酸盐等,但是这些物质具有一定的毒性,为此选择未见报道的乙醇作为活化底物,考察了紫外活化乙醇还原硝酸盐的效率与乙醇投加量、硝酸盐浓度、pH、紫外光强度等因素的影响。研究结果表明:在n NO-3∶nC 2 H5 OH为5∶7、紫外光强度为175 W、反应90 min的条件下,硝态氮的还原率和总氮的去除率分别为100%和86.8%;增加紫外光强度可提高硝酸盐的还原率,但会降低总氮去除率;初始pH对硝态氮的还原率无明显影响,但pH值≤2会降低总氮去除率;水体中腐植酸浓度的增加会降低硝酸盐的还原率和总氮的去除率。该体系在通氮气的条件下,硝态氮还原过程符合一级反应动力学,反应速率常数在0.0314~0.1657 min-1,通过电子顺磁共振波谱仪证明该体系中还原性活性物质为二氧化碳自由基(CO_(2)^(·-))。

关键词：高级还原硝酸盐乙醇动力学分析二氧化碳自由基

CLIL理念下国际交流英语人才培养创新模式探究

在线全文

学校读者我要写书评

暂无评论

英语广场（学术研究） 2024年第4期 120-124页

作者：石小娟南京邮电大学外国语学院

全球化对专业人才国际交流能力提出了更高的要求,CLIL理念下的4Cs框架有效融合了学科内容、语言发展、认知思维和文化交流,为国际交流英语人才培养提供了一个新的方向。本文从4Cs框架下国际交流英语课程设置、培养体系和课堂教学等方面... 详细信息

全球化对专业人才国际交流能力提出了更高的要求,CLIL理念下的4Cs框架有效融合了学科内容、语言发展、认知思维和文化交流,为国际交流英语人才培养提供了一个新的方向。本文从4Cs框架下国际交流英语课程设置、培养体系和课堂教学等方面探究如何培养兼具全球视野、专业素养、思辨能力和语言交流能力的国际人才。

关键词： 4Cs框架人才培养课程体系国际交流能力

ChatGPT误译类型及译后编辑策略——以信息通信技术文本为例

在线全文

学校读者我要写书评

暂无评论

英语广场 2024年第19期 41-44页

作者：龚成殷健南京邮电大学外国语学院

机器翻译译后编辑已经成为译者工作中不可或缺的部分。随着技术的不断演进，研究者们开始聚焦机器翻译的误译类型，针对误译提出相应的译后编辑策略。本文对信息通信技术（ICT）文本进行分析，揭示机器翻译误译的原因和类型，从词汇、... 详细信息

机器翻译译后编辑已经成为译者工作中不可或缺的部分。随着技术的不断演进，研究者们开始聚焦机器翻译的误译类型，针对误译提出相应的译后编辑策略。本文对信息通信技术（ICT）文本进行分析，揭示机器翻译误译的原因和类型，从词汇、句法、语篇和文化层面探讨译者介入，为人工智能时代的译后编辑工作提供有益参考。

关键词：译后编辑机器翻译误译类型信息通信技术 ChatGPT

南京都市区社会空间结构与演化——基于第六次人口普查数据的分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

地域研究与开发 2021年第2期40卷 56-61,73页

作者：赵静宣国富朱莹南京晓庄学院环境科学学院南京211171 东南大学旅游学系南京210096

基于第六次人口普查数据,运用因子生态分析方法分析2010年南京都市区社会空间结构及其演化。结果表明:文化程度与职业、外来人口与农业人口、家庭生命周期、新建商品房、住房条件是影响南京都市区社会空间结构的5个主因子,其中新建商品... 详细信息

基于第六次人口普查数据,运用因子生态分析方法分析2010年南京都市区社会空间结构及其演化。结果表明:文化程度与职业、外来人口与农业人口、家庭生命周期、新建商品房、住房条件是影响南京都市区社会空间结构的5个主因子,其中新建商品房和家庭生命周期是新发现的两个社会空间结构主因子。南京都市区社会空间可划分为新城中产阶层居住区、旧城工薪阶层与高社会经济地位阶层混合居住区、近郊外来人口集聚区、高校/高新技术产业集聚区、低社会经济地位与外来人口混合居住区、农业人口分布区。高校/高新技术产业集聚区这一新的社会空间类型反映了大学城与高新技术区建设对城市社会空间结构的影响。与2000年社会空间结构相比,南京都市区社会空间结构主因子构成与空间格局逐渐发生变化,社会空间类型也逐渐发生分化与演替,社会空间结构整体趋于复杂化。

关键词：社会空间结构第六次人口普查因子生态分析南京都市区