李巍[1]2004年在《基于互联网的报税嵌入式系统分析与设计》文中进行了进一步梳理当前利用互联网进行税款的征收与管理已经成为一种技术趋势。这种技术大多采用客户-服务器模型,即纳税方利用网络设备将有关的数据信息通过互联网传输到税务机关的服务器上。实现这一技术,远程终端即报税端大多采用PC机作为登录互联网的网络终端。这种终端的功能强,但其费用偏高,而作为报税设备,有时其功能往往很简单。因此,这种终端在报税领域,应用于小型个体企业是不经济的,而这类企业中大量使用的税控发票机是一种价格低廉且内置普通单片机的嵌入式系统。本课题研究的主要内容就是如何将这种嵌入式系统接入互联网。目前能够成功地执行TCP/IP协议的终端大多是PC机,而使用以嵌入式系统为核心的网络终端还很少。原因在于,一方面所有在互联网运行的协议对于计算机存储器和运算速度等指标的要求比较高;另一方面嵌入式系统的核心大多数是8位和16位单片机。如果这种单片机运行TCP/IP等互联网协议将耗尽它们的系统资源,因此以这种单片机为核心的嵌入式系统直接接入互联网几乎是不可能。鉴于以上问题,本课题采用专用的协议转换芯片开发出协议转换平台。利用此平台,任何一种基于嵌入式系统的终端都可实现互联网的接入。这种平台不仅仅解决了远程报税问题,更重要的是它为所有的嵌入式系统登录互联网提供了一条有效的途径。本课题利用C++语言编写了一个SMTP服务器程序以模拟远程的服务器。经过试验验证,这一平台能够完成数据的传输任务。
别碧勇[2]2004年在《基于Internet的嵌入式系统开发与管理研究》文中指出现代信息技术的高速发展给各行各业带来了变革。“金税工程”就是国家税务总局适应发展形势建设的税收信息管理系统工程，目的是要依托现代网络、通信技术，加强对增值税专用发票的管理和监控；要推广使用“税控收款机”，逐步取代传统电子收款机等商业销售终端；采用更加先进的电子信息技术，用“电子发票”和带防伪标识的机器打印发票取代传统手工开具的发票，杜绝发票造假，进而逐步实现税务电子化。随着Internet技术的发展，越来越多的企业(集团)利用网络平台交流信息和共享资源，进行各种电子商务。对于商业企业，商业管理自动化、信息化成为发展的必然趋势。谁能够及时把握进、销、存等各种商业信息，实现资源和信息的充分共享，谁就能够抢占市场先机，在激烈的商业竞争中处于不败之地。因此，众多商业企业(集团)迫切需要改进他们的传统商业销售终端(POS，Point of Sales)及其管理系统。 本文的项目正是在这样的背景下产生，采用先进的嵌入式技术、通信网络技术，设计了一种新型的商业销售终端，以及基于Internet的终端管理系统、增值业务系统。本文研制的新型商业销售终端，既是一个符合国家标准的“税控收款机”，满足“金税工程”的税控需求；又有许多扩展功能，可以胜任现代各种复杂的“POS系统”中收款机和智能型终端的角色。设计的网络运行与管理系统，是一个先进的、高效的、低成本的企业信息化平台方案，完全满足现代商业自动化的需求。 本文主要完成了如下几方面的工作： 1．新型商业终端设计：创新的采用32位MCU，结合嵌入式实时操作系统(RTOS)的设计方案，兼具功能和成本的双重优势。 2．终端管理系统设计：成功实现了嵌入式系统的网络接入，建立起基于Internet的网络管理系统，满足税务部门税务征收和稽查的功能，率先实现网络报税，实现真正的“税收电子化”。并且采用自行设计应用层，并通过加密算法和增加双重身分认证等手段，充分保证数据的安全性。 3．综合业务管理系统设计：综合采用两层和多层结构模型，融合C／S与B／S两种模式的优点，充分满足商业企业(集团)、行业应用的需求。 4．增值业务平台设计：为商业企业实现充分资源与信息共享，达到互惠互利而设计的信息化平台，甚至可以实现不同企业、不同行业的“虚拟连锁”，这是一个大胆的创新设计。
廖晓文[3]2005年在《基于UML与Petri网的嵌入式系统建模方法的研究》文中认为随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂。在嵌入式系统设计中采用模型的方法,有利于确保系统的正确性,缩短开发周期,降低开发费用。本文结合统一建模语言(UML)和Petri网,提出了一种支持嵌入式系统建模的方法体系。 作为面向对象的建模技术,统一建模语言UML适合于将复杂的系统设计问题简单化,并且UML能从需求分析、设计到实现等各个阶段为嵌入式系统开发人员提供有力支持。但是,UML缺乏精确的语义描述,因此无法对用UML建立的嵌入式系统模型进行形式化的分析和验证。Petri网建模方法基于严格的数学理论,使用形式化规范对系统建模,并且可以通过众多的工具完成验证。但Petri网建模方法不直观,在需求获取等方面也有无法克服的弱点。结合使用UML和Petri网建模方法能实现两者互补,既能有效获取需求、分析设计,又能进行严格建模,形式化验证。 因此,本文根据UML与Petri网的应用特点,研究了一种基于UML和Petri网的嵌入式系统建模方法(本文称其为UML-PN方法),其包含的主要内容有:(1) 首先使用UML来实现对嵌入式系统的建模,通过对待开发系统进行功能需求及外部事件描述,逐级构建系统的用例模型、静态模型、动态模型,最终分析综合得到设计模型。(2) 对分解之后的各个子系统,在控制代码设计、软硬部件开发等详细设计阶段,采用面向对象Petri网(OOPN)对子系统进行建模和验证。(3) 通过对UML模型的Petri网化来实现嵌入式系统模型的形式化验证。本文分析了UML类图、状态图和Petri网元素之间的对应关系,给出了类图、状态图到Petri网具体的转换方法。 本文在UML-PN的研究基础上,结合具体应用,对税控收款机的开发进行了详细的建模工作,给出了主要的模型,并讨论了一个发票打印模型的验证问题。 最后,对本文的研究工作进行了概括总结,并对下一步研究工作进行了展望,本文的研究成果可以为嵌入式系统开发的工程实践提供方法指导。
李巍, 王慕坤[4]2004年在《报税嵌入系统接入互联网方法的研究》文中研究说明针对嵌入式系统在接入互联网时需要占用大量的系统资源以及速度慢等问题,依据TCP/IP协议理论模型,采用AT89C51单片机作为微处理器,专用芯片E5112作为TCP/IP协议的执行部件,构建了嵌入式系统接入互联网的快速接入平台.实验证明,该平台不仅性能稳定而且为嵌入式系统接入互联网提供了一条快捷的方式,非常适用于由嵌入式系统构成的通信网络.
王伟[5]2011年在《基于SOPC技术的嵌入式系统研究与设计》文中研究表明为了堵塞税收漏洞,加强税源监控和税务管理,2004年4月,国家税务总局等部门联合发文,决定在适用的行业推行税控收款机。然而,将普通收款机替换为税控收款机,往往会会影响很多企业(特别是具有局域网的大型商业企业)原有的信息管理系统。为了降低对企业原有系统的影响,节约税控改造成本,GB18240.7征求意见稿提出了使用网络税控器+普通收款机替代税控收款机的解决方案。本文作者研究了税控收款机的相关标准和税控商业自动化管理系统的工作流程,分析并设计了网络税控器的应用流程,提出并实现了一套基于SOPC技术的网络税控器的解决方案。研究了采用Altera公司的SOPC技术进行硬件设计的方法和流程,并在Altera公司FPGA芯片上实现了网络税控器硬件平台的搭建。文中所述的网络税控器采用μClinux作为操作系统,本文作者研究了在NiosⅡ软核处理器平台上移植μClinux操作系统的方法和编写设备驱动程序的方法。最后,根据网络税控器的应用流程,设计并实现了网络税控器的应用程序。本文所提出的NiosⅡ+μClinux的解决方案,降低了产品设计的复杂度,加快了产品开发速度,还便于产品的升级和维护。经过测试,本课题所设计实现的网络税控器能够满足税控收款机一系列标准的要求,实现了从税源上控制税收的目的。本课题所研究设计的网络税控器可应用于大型商业企业管理系统的税控改造,对推动我国税收信息化建设具有重要意义。
参考文献：
[1]. 基于互联网的报税嵌入式系统分析与设计[D]. 李巍. 哈尔滨理工大学. 2004
[2]. 基于Internet的嵌入式系统开发与管理研究[D]. 别碧勇. 武汉大学. 2004
[3]. 基于UML与Petri网的嵌入式系统建模方法的研究[D]. 廖晓文. 广东工业大学. 2005
[4]. 报税嵌入系统接入互联网方法的研究[J]. 李巍, 王慕坤. 哈尔滨理工大学学报. 2004
[5]. 基于SOPC技术的嵌入式系统研究与设计[D]. 王伟. 北京工业大学. 2011
标签：计算机软件及计算机应用论文; uml论文; 嵌入式系统论文; 税控发票论文; 网络模型论文; 互联网接入论文; uml类图论文; uml建模技术论文;