共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算、加锁协议等方法,对ATM取款流程进行了形式化描述,建立ATM的四备规则,保证了ATM的安全性和有效性。 相似文献
3.
闫威 《内蒙古科技与经济》2013,(11):98-100
针对ATM机使用群体状况、存在问题,从现代设计学角度出发,提出了符合老年群体的ATM机界面设计策略和设计方案,并全面总结分析了老年人的内心需求和生活习惯,从人性化、情感化、智能化、简易化4个方面进行老年人ATM机产品的设计和开发。 相似文献
4.
随着市场经济的不断发展,人民的生活也越来越富裕,所以人们需要银行能够给用户提供方便的业务操作,比如开户、存款、取款、销户、查询余额等。因此,银行储蓄系统已经成为当今必不可少的组成部分。银行储蓄管理系统的开发过程包括前台应用程序的设计和后台数据库的建立与维护两个方面的内容,应用程序开发过程详细介绍了该系统所实现的开户、存款、取款、查询、消户等主要功能,并着重介绍了上述各个功能模块的建立与生成;而数据库的建立和维护过程则主要介绍系统数据库的建立与更新,并要求做到系统管理数据的一致性、完整性和安全性。 相似文献
5.
介绍了TRIZ理论的主要理论体系内容。针对于生活中银行的ATM机需要跨行收取手续费给客户造成的种种不便,在产品设计过程中,综合运用了完备性法则及已S曲线进行设计,还有多种的创新思维方法,突破传统思维的局限,将为银行的便民式服务提供更广阔的发展空间,可以帮助提高银行的服务质量,与银行长期的发展密不可分,并带来可观的经济效益。 相似文献
6.
简要地介绍了常用继电保护专用收发讯机在通道交换信号时,启讯、停讯的工作原理。结合现场实际分析了收发讯机启讯、停讯回路逻辑过程及易出现问题和电源回路常见的故障,运行中发现的问题,提出了抗干扰、防电源波动和电源故障及加强接地等处理方法。 相似文献
7.
8.
城市设施的空间分布模式研究对空间设施的合理性分析和资源配置优化具有重要意义。本文以南京市主城区为研究范围,选择研究区内银行ATM网点数据,采用平面和网络核密度估计的方法探测其在研究区内分布的热点区域、热点路段,探讨核密度估计方法在ATM网点数据的热点探测中的应用,并讨论了不同带宽对核密度估计结果的影响。结果表明,ATM网点的分布倾向于选择商业条件发育比较成熟的区域,如市级、副市级和靠近中心城区的区域级商业中心,而在居住社区、基层社区两级商业中心分布相对不足。此外,网络核密度估计在应用于城市空间设施热点探测时,其结果比平面核密度估计更符合实际情况。 相似文献
9.
10.
面对网络电子交易中,各种诈骗信息层出不穷,交易风险越来越大。为了保证网络交易的安全,促进电子商务的快速发展。提出了支持向量机的电子商务交易风险预测方法。支持向量机可以利用电子商务完成交易过程中积累的各项有效数据,对未来的数据进行预测,准确评估在未来交易中,不同等级客户面临的交易风险。通过实验对提出的电子商务预测风险方法进行校验表明:该方法能够对不同的网络交易行为安全性进行较好的预测,预测精度较高,克服传统方法的缺陷,更适合当前的网络交易行为。 相似文献
11.
12.
The library network system is the basic construction project applied in the "211 Project" of Huazhong University of Science and Technology. This article mainly deals with the configuration method and the management of ATM network. 相似文献
13.
14.
15.
16.
18.
19.
广义洛特卡分布特征参数解区间的确定对于研究两组科学生产数据的相容性非常关键。采取记录通过K-S检验的特征参数的最小值和最大值的方法,探讨了广义洛特卡分布特征参数解区间的确定,编制了确定解区间的Matlab计算程序。实例验证表明计算程序简单方便、吻合度较好。 相似文献