检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于时序逻辑的工作流建模与分析方法

高技术通讯 2006年第2期16卷 157-162页

作者：王远范玉顺清华大学自动化系北京100084

提出了一种基于活动时序逻辑（TLA）的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个，TLA公式，对工作流模型性质的分析可以等价为对，TLA中两个公式之间是否存在蕴涵关系的检验，从而建立了一个工作流模... 详细信息

提出了一种基于活动时序逻辑（TLA）的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个，TLA公式，对工作流模型性质的分析可以等价为对，TLA中两个公式之间是否存在蕴涵关系的检验，从而建立了一个工作流模型各层次分析统一框架。一个工作流建模和分析的实例验证了所提出方法的有效性，该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景。

关键词：工作流活动时序逻辑工作流模型分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

高校体育教学中对学生环保意识的培养

环境工程 2023年第1期41卷 I0036-I0037页

作者：林振国陈金辉吴杰漳州科技职业学院

目前,我国已经将生态文明教育纳入国民教育体系中,并明确了培养学生生态环保意识的具体要求,在此背景下,体育教学作为高校教育的重要组成部分,在该教育模块中加入学生环保意识的培养,是对新时代国家生态文明战略任务的积极践行,同时也... 详细信息

目前,我国已经将生态文明教育纳入国民教育体系中,并明确了培养学生生态环保意识的具体要求,在此背景下,体育教学作为高校教育的重要组成部分,在该教育模块中加入学生环保意识的培养,是对新时代国家生态文明战略任务的积极践行,同时也是对高校教育现代化改革目标的具体落实.客观而言,当下学生环保意识培养在我国高校体育教学中的落地时间仍然较短,其在教育理念、机制、主体等方面存在一些问题.基于此,结合由胡欢编写,黑龙江美术出版社出版的《环保意识培养方案》一书,清晰梳理出学生环保意识培养的基本脉络,并结合高校体育教学现状,探索体育教学培养学生环保意识的策略.

关键词：高校体育教学国民教育体系体育教学现状生态文明教育环保意识生态文明战略美术出版社教育理念

在线全文

学校读者我要写书评

暂无评论

虚拟企业环境中的项目调度方法

计算机集成制造系统-CIMS 2002年第3期8卷 187-192页

作者：李建强范玉顺清华大学自动化系北京100084

虚拟企业以分布、协调的方式实现项目任务的新的组织模式 ,给项目管理的研究和应用都提出了新的挑战 ,任务调度所需信息的不确定性及个体盟员利益同整体项目利益的潜在不一致性 ,是造成虚拟企业项目调度困难的主要原因。本文在模糊描述... 详细信息

虚拟企业以分布、协调的方式实现项目任务的新的组织模式 ,给项目管理的研究和应用都提出了新的挑战 ,任务调度所需信息的不确定性及个体盟员利益同整体项目利益的潜在不一致性 ,是造成虚拟企业项目调度困难的主要原因。本文在模糊描述企业状态信息的基础上 ,给出一种通过由盟主和潜在盟员之间的协调 ,在优化时间指标的条件下 ,将子调度方案的形成和盟员选择集成在一起制定全局预测调度方案的过程。

关键词：虚拟企业项目管理分布调度模糊表达项目调度

基于改进的PESP模型编制高速铁路周期性列车运行图的研究

在线全文

学校读者我要写书评

暂无评论

中国铁道科学 2017年第1期38卷 132-137页

作者：李得伟丁世顺北京交通大学轨道交通控制与安全国家重点实验室北京100044

针对利用周期事件规划问题(PESP)传统模型编制规模较大的高速铁路周期性列车运行图时易出现无解的情况,对PESP传统模型进行改进,将PESP传统模型中的固定列车区间运行时间约束变为可变区间运行时间约束,并将列车运行安全间隔时间约束分解... 详细信息

针对利用周期事件规划问题(PESP)传统模型编制规模较大的高速铁路周期性列车运行图时易出现无解的情况,对PESP传统模型进行改进,将PESP传统模型中的固定列车区间运行时间约束变为可变区间运行时间约束,并将列车运行安全间隔时间约束分解为2个与列车的区间运行时间无关的约束,以扩大模型的解空间,实现对大规模高速铁路周期性列车运行图编制问题的求解。对PESP改进模型进行灵敏度分析发现:PESP改进模型的求解难度随着列车对数的增加而增大;为此在求解过程中引入割平面和适当增加虚拟车站,以提高模型的求解效率。利用改进的PESP模型编制京沪高速铁路的周期性列车运行图,验证了模型的有效性。

关键词：列车运行图周期性编制模型区间运行时间列车间隔时间高速铁路

基于电子舌、GC-IMS技术和人工感官评价对小儿感冒颗粒的气味分析及口感改善研究

在线全文

学校读者我要写书评

暂无评论

中国现代中药 2024年第9期26卷 1586-1595页

作者：万顺谭润泽何倜何金芳郭静白璐龚云张鹏杨秀伟凌勇根王炜湖南中医药大学湖南长沙410208 株洲千金药业股份有限公司湖南株洲412007 北京大学药学院天然药物及仿生药物全国重点实验室北京100191

目的:改善小儿感冒颗粒的口感,提高患者用药依从性。方法:采用气相色谱-离子迁移谱法(GCIMS)分析小儿感冒颗粒气味并确定气味来源,采用电子舌分析评价热浸温度、加水量、矫味剂、贮存期等参数对小儿感冒颗粒口感的影响,并结合排序+评分... 详细信息

目的:改善小儿感冒颗粒的口感,提高患者用药依从性。方法:采用气相色谱-离子迁移谱法(GCIMS)分析小儿感冒颗粒气味并确定气味来源,采用电子舌分析评价热浸温度、加水量、矫味剂、贮存期等参数对小儿感冒颗粒口感的影响,并结合排序+评分法(ISEM)综合评价矫味剂对小儿感冒颗粒的矫味效果。结果:通过GC-IMS分析在小儿感冒颗粒中共检测出57个挥发性物质,气味主要来自挥发油、挥发油滤液和热浸液中的有机酸类及部分醛类;电子舌分析结果表明,生产工艺中不同参数各中间产品口感上的差别并不影响颗粒的最终口感,结合ISEM评价体系进行人工感官评价,最终得出添加2‰氯化钠矫味可以明显改善小儿感冒颗粒的口感,其口感会随贮存期发生变化。结论:通过GC-IMS分析、电子舌智能感官评定与人工口尝评价相结合的方法可以科学合理地筛选出小儿感冒颗粒的最佳矫味剂组合,显著地改善其口感,优化制剂配方。

关键词：电子舌小儿感冒颗粒口感气味

Precise Determination of the Bottom-Quark On-Shell Mass Using Its Four-Loop Relation to the■-Scheme Running Mass

在线全文

学校读者我要写书评

暂无评论

Chinese Physics Letters 2024年第10期41卷 26-30页

作者： Shun-Yue Ma Xu-Dong Huang Xu-Chang Zheng Xing-Gang Wu Department of Physics Chongqing Key Laboratory for Strongly Coupled PhysicsChongqing UniversityChongqing 401331China College of Physics and Electronic Engineering Chongqing Normal UniversityChongqing 401331China

We explore the properties of the bottom-quark on-shell mass(Mb)by using its relation to the■mass■.At present,this■-on-shell relation has been known up to four-loop QCD corrections,which however still has a~2%scale ... 详细信息

关键词： correction quark relation

基于MAXENT和ZONATION的加拿大一枝黄花入侵重点监控区确定

在线全文

学校读者我要写书评

暂无评论

生态学报 2017年第9期37卷 3124-3132页

作者：李丽鹤刘会玉林振山贾俊鹤刘翔南京师范大学地理科学学院南京210023 江苏省地理环境演化国家重点实验室培育建设点南京210023 虚拟地理环境教育部重点实验室(南京师范大学) 南京210023 江苏省地理信息资源开发与利用协同创新中心南京210023

外来入侵植物对本地生态系统及其生物多样性构成严重的威胁,要有效地控制外来植物入侵,首先应该明确植物入侵的高度风险区.以加拿大一枝黄花(Solidago canadensis)为对象,以其广泛发生的安徽、江苏、浙江和上海华东3省1市为研究区域,综... 详细信息

外来入侵植物对本地生态系统及其生物多样性构成严重的威胁,要有效地控制外来植物入侵,首先应该明确植物入侵的高度风险区.以加拿大一枝黄花(Solidago canadensis)为对象,以其广泛发生的安徽、江苏、浙江和上海华东3省1市为研究区域,综合考虑了土地利用变化、人类活动干扰、土壤性质、气候和地形等影响因子,采用MAXENT模型预测其潜在分布及其对主要影响因子的响应,并结合空间优化软件ZONATION识别出需要重点布控的入侵风险区。结果表明:1)影响加拿大一枝黄花分布的主要环境因子及其百分比贡献率分别为:距主要道路距离(29.4%)、土地利用变化(16.9%)、降水的季节性变异(15.9%)、人口密度(9.5%)与最干季均温(6.2%)。2)从影响因子的响应曲线分析得出,加拿大一枝黄花的发生概率随着距主要道路距离的增大而迅速减小;在耕地转化成的城乡居民点及工矿用地、水域转化成的草地、城乡居民点及工矿用地转化成的林地、草地与城乡居民点及工矿用地相互转换频繁的区域和城乡居民点及工矿用地保持不变的区域,其发生概率明显较高;其发生概率随着降水季节性变异的增大而快速减小至0.4,之后缓慢减小;随着人口密度的增大,其发生概率起初急剧升高,人口密度超过4千人/km^2后又缓慢地小幅下降;随着最干季均温的增大,其发生概率逐渐减小,在2.4℃附近达最小,之后逐渐增大。3)加拿大一枝黄花的入侵风险区面积为130433 km^2。其中,一级风险区主要分布在太湖流域、沿杭州湾地区、浙江沿海以及内陆地势较低的耕地及居民点区域;二级风险区主要分布在一级风险区的外缘,尤其是江苏南部的长江沿岸地区。三级风险区则广泛分布在江苏的南部和东部,安徽的中东部,浙江的北部和东部。

关键词：加拿大一枝黄花 MAXENT 风险预测响应 ZONATION

在线全文

学校读者我要写书评

暂无评论

胫骨上段骨折后膝外翻

中华小儿外科杂志 1992年第1期13卷 45-46页

作者：林振福张子军河北医学院第三医院小儿骨科石家庄050051

自1953年Cozen首次报告胫骨上段骨折后远期合并膝外翻畸形(Posttraumatic tibia valga,PTV)以来,已有许多学者报告这一儿童骨折病例中特有临床表现.现将有关PTV的文献综合报告如下.

关键词：胫骨骨折膝外翻儿童

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一对多业务服务协商模型

计算机集成制造系统 2012年第10期18卷 2323-2330页

作者：张建良范玉顺清华大学自动化系北京100084

为了对包含多项功能属性的业务服务质量优劣程度进行量化度量,提出基于指标分层结构和受多个利益相关方偏好影响的指标权重确定方法,进一步根据不同服务质量指标的特性分别制定了相应的效用度量方法,并建立了基于对方报价与剩余资源影... 详细信息

为了对包含多项功能属性的业务服务质量优劣程度进行量化度量,提出基于指标分层结构和受多个利益相关方偏好影响的指标权重确定方法,进一步根据不同服务质量指标的特性分别制定了相应的效用度量方法,并建立了基于对方报价与剩余资源影响的报价策略,在此基础上构建了一对多业务服务协商模型,并以算例对本模型进行了验证。

关键词：业务服务协商模型层次分析法