27、使用 B 方法进行智能卡应用的严格开发

使用 B 方法进行智能卡应用的严格开发

1. Java Card 平台基础

Java Card 平台包含客户端(主机应用程序)和硬件设备(Card Acceptance Device,CAD)。客户端通常位于计算机或电子终端中,CAD 为卡片芯片供电,并提供应用程序通信的物理手段。通信方式根据卡片类型有所不同,接触式卡片通过电气接触进行通信,非接触式卡片则通过射频进行通信。

信息在主机和卡片应用程序之间的交换通过半双工的低级通信单元——应用协议数据单元(APDU)完成。ISO 7816 - 4 标准规定了两种 APDU:命令 APDU 和响应 APDU。命令 APDU 由主机发送,请求某种小应用程序服务;响应 APDU 由小应用程序发送,将服务处理结果返回给主机请求。

2. Java Card 应用开发流程

Java Card 应用的完整开发过程主要包括以下几个方面:
1. 开发卡片端的小应用程序和必要的辅助类。
2. 对开发的应用程序进行测试和模拟。
3. 将生成的字节码转换为适合安装在智能卡上的格式。
4. 开发客户端的主机应用程序。

其中,卡片端小应用程序和主机应用程序的开发是重点。

3. Java Card 主机应用和小应用程序
  • Java Card 主机应用 :Java Card 允许开发的小应用程序在符合 Java Card 规范的不同智能卡之间实现互操作性。为了实现完全兼容,整个智能卡环境(包括卡片、读卡器、协议和主机应用程序)都必须符合通用标准。一些智能卡公司联盟推出了相关标准,如 PC/
演示了为无线无人机电池充电设计的感应电力传输(IPT)系统 Dynamic Wireless Charging for (UAV) using Inductive Coupling 模拟了为无人机(UAV)量身定制的无线电力传输(WPT)系统。该模型演示了直流电到高频交流电的转换,通过磁共振在气隙中无线传输能量,以及整流回直流电用于电池充电。 系统拓扑包括: 输入级:使用IGBT/二极管开关连接到全桥逆变器的直流电压源(12V)。 开关控制:脉冲发生器以85 kHz(周期:1/85000秒)的开关频率运行,这是SAE J2954无线充电标准的标准频率。 耦合级:使用互感和线性变压器块来模拟具有特定耦合系数的发射(Tx)和接收(Rx)线圈。 补偿:包括串联RLC分支,用于模拟谐振补偿网络(将线圈调谐到谐振频率)。 输出级:桥式整流器(基于二极管),用于将高频交流电转换回直流电,以供负载使用。 仪器:使用示波器块进行全面的电压和电流测量,用于分析输入/输出波形和效率。 模拟详细信息: 求解器:离散Tustin/向后Euler(通过powergui)。 采样时间:50e-6秒。 4.主要特点 高频逆变:模拟85 kHz下IGBT的开关瞬态。 磁耦合:模拟无人机着陆垫和机载接收器之间的松耦合行为。 Power GUI集成:用于专用电力系统离散仿真的设置。 波形分析:预配置的范围,用于查看逆变器输出电压、初级/次级电流和整流直流电压。 5.安装与使用 确保您已安装MATLAB和Simulink。 所需工具箱:必须安装Simscape Electrical(以前称为SimPowerSystems)工具箱才能运行sps_lib块。 打开文件并运行模拟。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值