教学课程资源库 更多>>

关键词： 结构化理财产品   蒙特卡洛模拟   设计模式   估值与风险分析  

摘要： 目前的结构化产品投资者，尤其是个人投资者缺乏分析结构化产品价值和风险的技术和手段，这容易导致投资者对结构化产品复杂的条款设计望而生畏，不利于我国金融市场的产品创新和发展。而传统的结构化产品分类方式无法满足投资者评估产品价值和风险的需求。本文通过对市面上大量银行理财产品的考察，依据产品条款对估值带来的复杂程度的差异，将结构化理财产品的设计模式划分为四类，即简单的触发产生收益模式、触发引起提前赎回模式、触发引起累积收益模式和类亚式期权收益模式。并在各类中各取一款产品进行价值评估和风险分析，借此比较不同类别产品的风险和收益的差异，为投资者在选择产品时新增一个评估产品的思路，完善结构化理财产品的评价体系。 本文以几何布朗运动为产品标的进行建模，使用蒙特卡洛模拟的数值方法对产品进行定价，并在假设风险因素变动的情况下，考察产品价值相应的变动情况对其进行风险分析。通过研究，我们发现：目前市面上的结构化理财产品的实际价值同样受无风险收益率水平的影响，且随着无风险收益率水平的上升；各类产品的实际价值对于挂钩资产的波动率变动的敏感性是不同的有的产品价值随波动率的增加而降低，而有的价值随波动率的增加而上升；更简单的条款设计具备更高的投资价值，外资银行发型的结构化产品更善于通过精密的设计来获取超额收益。

关键词： Empirical software engineering   Productivity   GQM   Formal methods   Formal verification   Proof Engineering  

摘要： Context: Formal methods, and particularly formal verification, is becoming more feasible to use in the engineering of large highly dependable software-based systems, but so far has had little rigorous empirical study. Its artefacts and activities are different to those of conventional software engineering, and the nature and drivers of productivity for formal methods are not yet understood. Objective: To develop a research agenda for the empirical study of productivity in software projects using formal methods and in particular formal verification. To this end we aim to identify research questions about productivity in formal methods, and survey existing literature on these questions to establish face validity of these questions. And further we aim to identify metrics and data sources relevant to these questions. Method: We define a space of GQM goals as an investigative framework, focusing on productivity from the perspective of managers of projects using formal methods. We then derive questions for these goals using Easterbrook et al.'s (2008) taxonomy of research questions. To establish face validity, we document the literature to date that reflects on these questions and then explore possible metrics related to these questions. Extensive use is made of literature concerning the *** project completed within NICTA, as it is one of the few projects to achieve code-level formal verification for a large-scale industrially deployed software system. Results: We identify more than thirty research questions on the topic in need of investigation. These questions arise not just out of the new type of project context, but also because of the different artefacts and activities in formal methods projects. Prior literature supports the need for research on the questions in our catalogue, but as yet provides little evidence about them. Metrics are identified that would be needed to investigate the questions. Thus although it is obvious that at the highest level concepts

关键词： UML建模   通信传输   设计  

摘要： 中国目前的通信基础设施正面临大规模更新改造,提高通信传输设计效率,对加快通信基础设施建设具有重大意义。本文从技术的视角出发提出可以用UML建模来提高通信传输设计效率。本文通过实例讨论了UML建模和通信传输设计的关系及建模过程,最后探讨了UML建模对企业效率提高的效用。

关键词： 护理管理   移动护理   护理病历   结构化   设计应用  

摘要： 结构化护理病历是医院护理管理的基础。按照国家卫计委表格化护理文书的要求,将医嘱单、体温单、手术清点记录、护理记录单四种类型的表格按照各自的特点,进行结构化分析,并实现结构化保存。通过对结构化护理病历的应用,能提高临床护理工作效率与医院护理管理水平。

关键词： 数据提取   脑卒中数据库   病历数据管理   数据挖掘  

摘要： 基于非结构化电子病历的脑卒中数据挖掘管理系统,以信息化手段从不同医院电子病历数据库里提取关键要素数据,通过病患就医的原始数据采集、积累、分析,最终建立脑卒中电子病历数据检索分析综合管理系统,同时建立一个有关脑卒中患者信息的资料仓库,将数据提取技术应用在医学领域,为脑卒中数据挖掘做数据准备,有助于医生识别出其潜在的疾病,也有助于患者及时发现疾病、早期诊断、早期治疗。

关键词： 嵌入式系统安全性分析   SysML活动图   MARTE   模型转换   形式化方法  

摘要： 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.

关键词： UML   仓库管理   建模  

摘要： 文中以仓库管理系统的开发为例,采用UML建模语言对仓库管理系统进行建模设计,以用例图、活动图、时序图为基本工具,对仓库管理系统进行建模分析,为开发仓库管理系统提供相关经验。

关键词： 结构化设计   道路桥梁设计   应用  

摘要： 交通行业在我国的经济发展中发挥着重要的作用,因而道路桥梁结构的安全与稳定性也受到了广泛的关注.在道路桥梁结构化设计水平不断进步的今天,道路桥梁的结构设计工作更应该坚持结构化设计的应用原则,注重结构化设计的要求,从而达到道路桥梁设计的综合性目标.

关键词： Emeraldine salt   Graphene   Sandwich-like structure   Conducting polymer   Inverse microemulsion  

摘要： In this work, nanocomposites with well-designed sheet-on-sheet and particle-on-sheet structures consisting of emeraldine salt and graphene were prepared via in situ inverse microemulsion of aniline monomers by well-dispersed graphene as efficient template. Influences of the weight percentage of graphene on the morphology and electrical conductivity property of the resulting sandwich-like structures were discussed. All the materials were characterized by XRD, FTIR, DSC, Raman and UV-Vis spectroscopy techniques. The formation of emeraldine salt (ES) shell layer on the exterior of graphene was investigated by scanning electron microscopy (SEM) and transmission electron microscopy (TEM) techniques. The thermal stability, electrical conductivity and electrochemical property of the graphene/emeraldine salt nanocomposites were examined by thermogravimetric analysis (TGA), conventional four-probe method and cyclic voltammetry, respectively. In comparison with the pure emeraldine salt, the graphene/emeraldine salt sandwich-like structures showed enhanced electric conductivity, thermal stability and electrochemical property. A high specific capacitance of 1,615.42 F/g was obtained for graphene/emeraldine salt nanocomposites with sheet-on-sheet morphology at scan rate 5 mV/s which is superior to any studied graphene/emeraldine salt composites, up to now. Improvement in these properties is arisen from the fact that the p-bonded surface of the graphene sheet interacts strongly with the conjugated structure of the emeraldine salt sheet and increases relative amounts of quinoid rings to benzoid rings in sandwich-like structure of graphene/emeraldine salt nanocomposite.

关键词： 软件工程   实践   任务驱动   应用能力  

摘要： 软件工程实践作为计算机专业毕业设计及实习前的综合实践环节,在应用人才培养体系中占有重要地位。本文在对目前实践教学中存在问题分析的基础上,根据本专业特点,从实践安排、实践教学方法及实践环节三方面进行改革与实践,从而达到培养应用型人才的目标。