基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

一种考虑补偿信用风险资本要求的算法

基于现行法定资本体制不考虑信用投资组合的多样化和限制空头信用风险头寸的补偿能力，设计了一种考虑补偿的信用风险资本要求的计算方法．该算法根据信用等级决定风险权重，可以更精确地测定信用风险资本．采用期限分段方法建立一个期间结构，区分当前和远期信用风险，考虑多头与空头信用风险头寸间的补偿．     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

实验选课系统的设计及实现

在实行学分制的情况下,配合校级中心实验室的管理模式和实验室管理软件进行设计和开发的实验选课系统,既适应了学分制的要求,完善了实验室的管理机制,也提高了管理水平和工作效率。     

让无形资产"有形"运作

高校企业一般是高技术企业,拥有着雄厚的无形资产。无形资产本身具有超乎想像的价值,这是有形资产所不能比拟的。对无形资产进行有形运作,是当今高校企业生存和发展的法宝之一。     

对企业资本结构优化的探讨

本文通过研究财务管理目标与资本结构理论的关系,对如何优化企业资本结构问题进行了探讨。指出财务管理目标应为企业价值最大化,财务杠杆利益是衡量企业资本结构的重要指标,并在分析影响企业资本结构有关因素的基础上,对如何优化企业资本结构问题提出了建议。     

中小企业集群的间接融资优势研究

由于我国的资本市场还不够完善，因此，短期内我国中小企业融资还摆脱不了间接债务融资。本文从分析中小企业集群的特征入手，在分析集群的间接融资优势基础上，提出了关系型借贷的政策主张。     

试论股指期货对会计的影响

从世界资本市场发展历程来看,一个高效的资本市场首先应该是一个结构健全、合理的市场。结构健全的资本市场包括股票市场、债券市场和衍生金融工具市场。中国资本市场投资品种十分有限,大部分资本市场交易工具品种单一、结构残缺,而在发达的资本市场中,资本市场工具保持多样化趋势。股指期货作为重要的国际金融衍生品种,它在国际金融市场中的地位与作用日益重要。开发股指期货,将在完善我国证券期货市场、促进我国经济市场的开放及与国际市场的接轨、应对外资进入的挑战中起到极其重要的作用。因此,股指期货的上市必将促进市场成交规模的快速增长,使中国市场出现异彩纷呈的繁荣局面     

战略高度看待中国的资本市场

资本市场是大国崛起的需要；是股权分置改革的需要；是民生的需要；是资源配置和融资的需要；是发展的需要；强劲的经济发展需要规范的资本市场：①强大的资本市场需要认识统一②强大的资本市场需要取缔不协调打压股市的政策③强大的资本市场需要建立完善的基础性制度建设④强大的资本市场是资源配置的基础。