中文_期刊_将博数字资源平台

作者：刘怡文，李伟琴更新时间：2019.05.21

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.

投资组合均值-方差模型和极小极大模型的实证比较

作者：朱奉云，邱菀华，刘善存更新时间：2019.05.21

本文针对传统的Markowitz均值 -方差 (MV)模型和Young(1998)提出的极小极大 (Minimax)模型进行了实证比较研究。我们将 2 0 0 1年上证 30指数的实际数据分成两部分 ,一部分作为样本数据进行优化组合分析 ,另一部分作为非样本数据进行模拟投资 ,检验绩效。结果发现 :在同样的样本数据下 ,由两种模型的解描绘的风险 -收益率有效前沿图非常相似 ;将两组模型的最优解分别进行模拟投资 ,Minimax模型的结果明显优于MV模型。本文的实证结果检验了Minimax模型的理论结论 ,表明其在实际投资中具有良好的可操作性和实用价值。

高等教育规模的扩展对传统质量观的冲击——北京个案:问卷调查及分析

作者：赵婷婷，董雪梅更新时间：2019.05.21

本文结合北京市教委的委托课题“扩招后北京高等学校教育教学质量状况调查” ,通过问卷、访谈等形式 ,对北京地区大部分高等学校进行了调查。通过对调查问卷的分析我们发现 :扩招使传统高等教育质量观的内涵发生了变化———人们对制定高等教育质量标准的主体、高等学校教育教学质量评价机构的类型以及对高等学校所培养的学生质量的看法都正在转变或已经发生了变化 ;教师素质和学校管理水平被认为是影响高等学校教育教学质量的两个最重要因素。

虚拟维修技术的探讨

作者：马麟，吕川更新时间：2019.05.21

研究了虚拟维修技术的内涵,给出了虚拟维修技术的明确定义,并讨论了当前虚拟维修技术研究中的关键问题.基于虚拟维修仿真的特点,提出了可扩展的虚拟维修应用系统结构,总结了虚拟维修应用系统的搭建流程,为进一步推动虚拟维修技术的应用奠定了较好的基础.

论经济法之内物权及其应用——创设新的法权利深入关怀人权促进中国变穷为富

作者：陈乃新，陈当阳，陈丹红更新时间：2019.05.21

存在于人体之内的物 (劳动力 )是一种特殊的物权客体。如果民法所保护的存在于人体之外的物 (有体物与自然力 )的权利可以称为民法之外物权 ,那末 ,人对其存在于人体之内的物 (劳动力 )的权利 ,就可称为经济法之内物权。创设经济法之内物权 ,是法律对人权的深入关怀 ,符合社会化生产发展的要求。经济法之内物权是经济法所需确认和保护的最基本的权利 ,它既可应用于微观经济法 ,也可应用于宏观经济法 ,这有利于开发我国丰富的人力资源 ,有利于全面保护人们劳动创造财富的合法权益 ,有利于促进中国变穷为富。

美国上市公司欺诈犯罪及其对我国的启示

作者：姚伟龙，刘铮更新时间：2019.05.21

2002年,作为世界第一经济强国和以法制健全市场规范著称的美国连续出现上市公司的欺诈大案。案发之后世界为之震惊。这些案件极大的触动了美国乃至世界的经济生活。作为一个发展中国家,中国的法制建设和经济运行机制还相对落后。因此我们有必要借鉴这些宝贵的经验教训。本文根据最近美国上市公司所发生的欺诈案件分析了此类案件发生的原因。并据此为我国上市公司的监管提出了建议和意见。

一种基于无状态连接请求验证的SYN湮没攻击防御方法

作者：黄鑫，尹宝林更新时间：2019.05.21

已有SYN湮没攻击检测防御技术存在一个共性缺陷,就是在验证连接请求有效前分配一定的系统资源保存连接状态.基于无状态连接请求验证的方法可以有效地解决这一问题,但已有的方法存在验证有效后无法完整建立TCP连接、通讯双方状态不一致等问题.本文提出一种新的基于无状态连接请求验证的网关级SYN湮没攻击防御方法,该方法在解决已有问题并兼容现有TCP/IP协议栈实现的基础上,可实现对不同操作系统SYN湮没攻击的有效防御.

大学英语传统视听说教学模式和网络交互式视听说模式的对比研究

作者：文军，朱国振，程艳琴，邢春丽更新时间：2019.05.21

本文对两组共150名大学一年级学生进行了为期一年的对比研究。试验结果表明:1)普班学生对《全新版大学英语》(听说教程)满意和非常满意的比例为64%;74.9%的学生希望能上网课。实验班78.9%的学生对《新时代交互英语》网络教材和网课形式满意。2)一年后,实验班学生听力有较大提高,特别是在听写准确率方面较普班有明显优势。3)在口语能力上,实验班学生在语音语调、语法和流利程度方面较普班学生有较大提高,而在内容丰富程度、结构完整性和用词准确性方面两组学生未见差异。

一种WSDL自动生成系统的研究与实现

作者：秦玮，林学练，逯鹏更新时间：2019.05.21

WSDL是Web Services中的主要协议。WSDL文件的自动生成是建立Web Services应用支持环境中需要解决的关键问题。通过对Java反射机制(Reflection)的应用,建立了一个轻量级的WSDL自动生成工具,对于由Java类来实现业务逻辑的Web Services,能够自动生成该服务对应的WSDL文件,为相关WSDL文件生成系统的设计提供了范例。

对我国奥运经济的几点思考

作者：张立臣，周竞赛，宫美凤更新时间：2019.05.21

从减免农业税看农村社会保障制度的建立与完善

作者：刘宇，腾艳更新时间：2019.05.21

试论不动产善意取得制度

作者：张文登更新时间：2019.05.21

不动产善意取得制度建立在登记公信力基础之上,自有其存在的合理性。我国法律应明确规定不动产善意取得制度并严格限定其构成要件。不动产善意取得的法律效果是在第三人和真实权利人之间产生物权关系,而真实权利人和物权让与人之间以及与登记机关之间则产生债权关系。

北京英语培训市场分析

作者：张凤林，寇智新更新时间：2019.05.21

自2005年2月底至4月中旬,我们对北京英语学习群体的需求状况进行了调查,通过搜狐网站教育频道共收集了673份网上调查问卷,有效数据为643份,其中有611位被调查者有参加英语培训的需要或正在某英语培训机构学习,本文仅对这部分问卷进行统计分析。

网格环境中跨异构域身份鉴别系统的研究与实现

作者：罗琛，李沁，马殿富更新时间：2019.05.21

针对跨异构域的身份鉴别问题进行研究,设计并实现了一个身份映射和信任证转换系统CredFed(CredentialFederation),解决了分别使用PKI和Kerberos作为鉴别机制的异构域之间身份鉴别的问题。CredFed是目前唯一在网格环境中解决此问题的系统。CredFed被设计为具有良好的互操作性和可扩展性的系统,使其不仅适用于网格环境,也适用于面向异构域的大规模分布式系统。该文对国内外相关工作作出了比较,简要地介绍了CredFed在CROWN网格安全平台中的应用并给出了实验结果对系统性能作出评估。

知识库更新的一种可编程实现的方法

作者：栾尚敏，戴国忠，李未更新时间：2019.05.21

讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.

CAD/CAM技术CAI课件设计及应用

作者：王素，朱玉明，杜博源更新时间：2019.05.21

CAD/CAM技术原理算法及建模过程复杂、抽象,如何生动、真实并具有启发性的将其原理算法与实现过程表现出来,是课堂教学面临的关键问题,所以设计良好的CAD/CAM技术CA I课件有助于问题解决。

宽带EME监测和分析系统的设计与实现

作者：王冰切，丁轲佳，苏东林更新时间：2019.05.21

针对特殊环境、特殊装备系统级电磁兼容(EMC)试验的要求,采用数字接收机、高速ADC、数字变频、高速数字信号处理和数字射频存储(DRFM)技术实现对宽带电磁环境(EME)的监测、分析和重现。系统具有扩展性强、集成度高、成本低、运算速度快、移植性好、可靠性高、改进功能方便快捷等优点,可以满足EME测试和电子战通信侦察要求。

伟大的母亲永恒的家园——析《女勇士》之“乡村医生”中的“母亲”形象

作者：孟月兰，孟月明更新时间：2019.05.21

《女勇士》是华裔作家汤亭亭的代表作。这部妇女文学的经典力著,受到了文学评论界的关注和青睐。其第三章“乡村医生”着重描述了母亲“勇兰”的故事。纵观国内外评论界,尚未有人从原型批评,尤其是从母亲原型这一角度分析过该作品。本文用原型批评的角度剖析了这位身份独特的美籍华裔母亲形象。通过梳理和还原,发现母亲“勇兰”所折射的是“大地母亲”原型的肯定方面——天下慈母皆怀有伟大的母爱,是子女永恒的家园。这一具有人类共通性的母亲原型对中美乃至世界文化的沟通与融合具有启发性,并为之做出了乐观的预见。

基于诊断信息量的测点选择方法

作者：万九卿，李行善更新时间：2019.05.21

将传统意义上测点的概念推广为电路中能够携带故障信息的任何可测量变量。用香农信息熵对在一定测点上测量前后电路故障状态的不确定性进行了定量描述,在此基础上提出了测点集合诊断信息量的概念并给出了其估计方法。将测点选择问题建模为在全体可达测点集合中选取具有最大诊断信息量的测点子集问题,用遗传算法对最优子集进行搜索。讨论了遗传算法中染色体的编码方式、适应度函数的选择以及遗传算子的设计方法。将本文提出的方法用于一个线性模拟电路的测点选择中,实验结果表明,所获得的测点子集能充分反映电路的故障状态信息。

管理会计在企业的应用:社会和组织内部环境的影响

作者：陈元东，赵莹，代蓉更新时间：2019.05.21

本文依据系统理论、管理会计权变理论的框架,采用历史分析的方法,研究社会环境和组织内部环境对中国企业管理会计应用的影响。认为影响我国企业管理会计应用的社会环境因素主要包括经济模式、政治因素、来自国外的影响、学术界引进等变量;组织内部环境因素主要有:组织文化、员工价值观以及组织结构等变量。

期刊 