基于JavaSIM卡的GlobalPlatform安全技术研究

在分析JavaSIM卡的工作原理基础上,研究了GlobalPlatform系统的安全通信和卡上多应用程序管理的安全需求,设计实现了一种保证JavaSIM卡平台安全性的方案。本方案以密钥集的管理和应用为基础,通过划分不同密钥集的认证管理权限和提供安全信道,实现了不同卡外实体对卡内容的安全管理。对实现方案测试的结果符合相关规范的规定。     

能量市场和运行备用市场定价方法的解耦条件

该文利用随机生产模拟得到了在能量市场和备用市场中机组的收益估计。按优良加载序加载机组，在目前的市场规则下可能出现备用市场的收益大于能量市场的收益，从而引起系统运行经济性的破坏。该文给出了产生这种情况的临界条件，即所谓解耦条件。而且由于在目前的定价机制中这个关系容易被破坏，所以这个条件应该引起足够的重视。     

基于J2EE的电力企业信息系统整合研究

在对电力企业信息系统整合问题的提出、研究的必要性、整合层次以及EAI逻辑架构论述的基础上 ,提出基于J2EE的电力企业信息系统整合方案 :采用基于异部的消息传送、基于JCA (JavaConnectorArchitecture)以及基于网络服务 (WebService)的整合技术 ,能够很好的与企业原有应用系统进行整合 ,并提出了J2EE应用服务器的总体结构。最后 ,给出了基于J2EE的企业应用整合框架。     

控制发电厂氢气湿度的有效途径

介绍了吉林热电厂是如何通过严格执行氢气湿度控制标准，抓住供氢，储氢，运行氢，监测氢等几个主要环节，来控制氢冷发电机组氢气湿度的，并对今后进一步做好这一工作提出了一些设想。     

LED标准源稳定性的分析与研究

介绍多组大功率LED级联作为标准源使用时存在的主要问题,指出温度是影响LED光通量稳定性的主要原因。采用正向电压法测量结温并通过单片机温控系统将结温稳定在一定范围内的实验表明,结温对LED光辐射功率有直接影响,若保持结温恒定,光辐射功率将随电流增大线性增加。     

一种跨行业多应用智能卡系统模型及实现

在分析单应用智能卡和多应用智能卡关键技术的基础上，提出了一种跨行业多应用智能卡系统模型，对模型各模块关键技术及模型安全性进行了研究，采用Java Card技术对模型予以实现，并对该实现进行了评估，讨论了下一步的研究重点。     

PCMCIA数据加密卡的软硬件协同设计

符合PCMCIA标准接口的PC卡被广泛地应用在各个领域。同时，由于数据安全日益得到重视，对笔记本电脑硬盘中的数据进行加密成为一种迫切需要。该文在PCMCIA接口规范的基础上设计了一种高性能的PCMCIA数据加密卡，重点介绍了该系统的结构设计，并给出了软硬件的实现方案。该系统通过在FPGA上的仿真和在Windows 9X环境下的测试，完全符合PCMCIA的设计规范要求，可以对计算机的数据进行有效的加密保护。     

多层模型设计与系统实现

介绍了多层模型的特点及其向4层结构发展的趋势，并通过一个基于Web的企业管理信息系统的实例，详细描述了以JSP／Senrvlet技术为核心、采用多层模型的系统实现过程。     

一种面向开发过程的软件可靠性预测方法

在进行软件开发时,该如何回答这样的问题,＂当前开发的软件可靠性是什么？＂这个对于用户来说是非常重要的信息,却难以表述。以此为方向,研究了一种面向开发过程的软件可靠性预测方法,结合软件开发各个阶段的特点,通过合理地采用软件可靠性早期预测模型,实现对开发中软件可靠性的预测。实践应用表明,该方法紧密结合软件开发的实际,反映了软件可靠性与开发人员的水平、开发规范的标准之间的联系,有助于采取必要的措施提高其以后的可靠性,从而也验证了该方法的工程实用性。     

面向参数化LTL的预测监控器构造技术

介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称P_ALTL)公式运行时预测监控器构造方法.一方面研究P_ALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀.