检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

茶条木(无患子科)后选模式的指定（英文）

湖南师范大学自然科学学报 2018年第6期41卷 31-33页

作者：曹丽敏曹明王志新衡阳师范学院生命科学与环境学院中国衡阳421008 广西壮族自治区中国科学院广西植物研究所中国桂林541006

1886年Franchet描述并发表茶条木Delavaya toxocarpa,他引用了Delavay所采集的标本(J. M. Delavayn. 903).我们对原始文献考证发现,这些标本包括了采于不同时期的花期及果期材料,包括了两份以上的标本,但作者在发表该名称时没有明确指... 详细信息

1886年Franchet描述并发表茶条木Delavaya toxocarpa,他引用了Delavay所采集的标本(J. M. Delavayn. 903).我们对原始文献考证发现,这些标本包括了采于不同时期的花期及果期材料,包括了两份以上的标本,但作者在发表该名称时没有明确指定其中的一份标本作为模式标本,因此,很有必要对其进行后选模式标本指定.为此,我们根据墨尔本国际植物学命名法规9.2和9.11,为其指定了后选模式标本.

关键词：茶条木后选模式指定命名无患子科合模式

在线全文

学校读者我要写书评

暂无评论

密码模块API形式化验证技术研究

密码模块API形式化验证技术研究

作者：吴晖解放军信息工程大学

学位级别：硕士

长期以来,密码模块API的安全性没有得到人们的充分重视和研究。直到2000年以后,随着API攻击在大多数的密码模块中不断发现,密码模块API的安全性才逐渐引起了人们的广泛注意和研究。随着研究的深入,使用形式化方法对密码模块API安全性进... 详细信息

长期以来,密码模块API的安全性没有得到人们的充分重视和研究。直到2000年以后,随着API攻击在大多数的密码模块中不断发现,密码模块API的安全性才逐渐引起了人们的广泛注意和研究。随着研究的深入,使用形式化方法对密码模块API安全性进行分析与验证正在成为该领域的研究热点。本文以一个广泛应用的密码模块API—PKCS#11为例,对密码模块API形式化验证技术进行了深入研究。本文所做的工作主要包括以下几点: 介绍了密码模块API和当前密码模块API形式化分析与验证领域的研究成果,分析了该领域的研究热点和不足。研究了一个典型的密码模块API—PKCS#11;分析了PKCS#11的安全机制;研究了已知的针对PKCS#11的API攻击,并使用协议描述方式进行了形式化描述;总结了PKCS#11存在的设计缺陷。研究了基于一阶逻辑和基于HLPSL的PKCS#11模型及其验证方法;并指出这两种PKCS#11形式化模型都只能表示单调的系统状态,没有正确建模密码模块API输入输出的非单调易变全局状态。提出了一套适用于描述PKCS#11的语法和形式化语义,建立了PKCS#11密码操作函数核心部分的形式化模型,该模型可对非单调易变全局状态做出合理解释;并通过引入“模式”的概念,建立了合模式规则,证明了合模式推导的存在性和在合模式化条件下模型安全属性的可判定性。即对于一个有限的名称集,使用有限的新鲜数,可以对模型的秘密属性做出可判定性结论。通过这个结论,可以限制模型的搜索空间。设计了PKCS#11形式化模型所采用的验证方法和策略:使用模型检测工具NuSMV对不同的PKCS#11安全配置方案进行了验证性实验;讨论了PKCS#11的安全配置;并比较了本文的验证方法与已有验证方法的实验结果。结果证明使用本文提出的形式化验证方法对改进的PKCS#11形式化模型进行验证,不仅能验证已知的攻击,而且还发现了新的攻击,并且验证时效性优势明显。

关键词：密码模块API PKCS#11 API攻击形式化模型形式化验证合模式

论多种价格委托方式在深交所电脑竞价撮合系统中的实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

证券市场导报 1994年第6期 6-9页

作者：赵文奇

本文提出了可将限价委托、市价委托、浮动委托、止损委托、止损限价委托融合于深交所电脑竞价撮合系统之中的“一加二”竞价撮合模式:一次竞价,两轮撮合。即用限价委托、浮动委托及止损限价委托中的限价与市价委托中的市价共同进行竞价... 详细信息

本文提出了可将限价委托、市价委托、浮动委托、止损委托、止损限价委托融合于深交所电脑竞价撮合系统之中的“一加二”竞价撮合模式:一次竞价,两轮撮合。即用限价委托、浮动委托及止损限价委托中的限价与市价委托中的市价共同进行竞价,确定成交价;参与竞价的四种委托进行第一轮撮合;全部委托及新进入的委托一起进行第二轮撮合。

关键词：限价委托证券商投资者委托方多种价格价格优先合模式市价时间优先交易系统

在线全文

学校读者我要写书评

暂无评论

新世纪的养老模式

山西老年 2000年第4期 4-5页

作者：段培武

目前我国老龄化社会已提前到来,这是喜还是忧?二者兼而有之。由于老年人口占社会总人口的比例增大,所以老龄化所带来的问题,必然成为一个社会问题,成为人人关注的热点。为此,我国制定了老年人权益保障法,同时提出了“老有所养、老有所... 详细信息

目前我国老龄化社会已提前到来,这是喜还是忧?二者兼而有之。由于老年人口占社会总人口的比例增大,所以老龄化所带来的问题,必然成为一个社会问题,成为人人关注的热点。为此,我国制定了老年人权益保障法,同时提出了“老有所养、老有所医、老有所为、老有所学、老有所乐”的“五老有所”目标。其中,“老有所养”为重中之重,只要“老有所养”解决得好,其他问题就比较容易解决。关于“老有所养”的问题,过去所推崇的“家庭养老”

关键词：家庭养老自我养老意识老年人口新世纪社区服务经济供给养老模式养老问题合模式老龄化社会

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

我的福利来自你的保障

中华儿女 2002年第4期 62-65页

作者：阿华

福利（welfare）一词,本义是幸福、美满。社会福利就其最基本意义来说,是指国家或社会通过有关政策或立法,向全体社会成员提供的、旨在不断改善和提高其物质文化生活水平和质量的资金保障和社会服务。社会福利作为工业化后所产生的一项... 详细信息

福利（welfare）一词,本义是幸福、美满。社会福利就其最基本意义来说,是指国家或社会通过有关政策或立法,向全体社会成员提供的、旨在不断改善和提高其物质文化生活水平和质量的资金保障和社会服务。社会福利作为工业化后所产生的一项社会事业和政府行为,在历史发展过程中,先是产生了理论,在理论指导下逐渐产生了制度形式,这些制度形式不断和各国的经济、政治、文化相融合,产生了不同的社会福利模式。我国的社会保障起步较晚,且采取的是福利性的社会保障政策,与我国的国力不相适应,并且,我国目前正处於市场的转换、国有企业的改革时期,更要求有一套健全的社会保障制度。为此,政府已着手进行社会保障制度的改革。

关键词：社会保障制度中央政府保险基金管理文化差异周期平衡供款率保值增值合模式社会福利保障费用

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

素质教育下体育与健康教学模式探究

科技创新导报 2010年第32期7卷 139-140页

作者：朱海杰韩秋红湖州师范学院体育学院浙江湖州313000

素质教育下体育与健康教学模式对于提高中学生的体育与健康认知和行为具有重要作用,而运用何种教学模式更能促进学生的身心健康。通过对教学模式、国内外主要教学模式、体育教学模式的分析,认为素质教育下体育与健康"合模式"能够提高中... 详细信息

素质教育下体育与健康教学模式对于提高中学生的体育与健康认知和行为具有重要作用,而运用何种教学模式更能促进学生的身心健康。通过对教学模式、国内外主要教学模式、体育教学模式的分析,认为素质教育下体育与健康"合模式"能够提高中学生的体育与健康认知和行为。

关键词：素质教育体育与健康合模式认知行为