security analysis of two password authentication schemes

National Natural Science Foundation of China; Dalian University of Technology

HIRFL-CSR前端总线控制器的SD驱动

The HIRFL-CSR EVME bus controller, which runs Embedded Linux OS, is based on AT91RM9200 microprocessor, whose core is ARM920T. There are hardware interface electronic circuits connecting AT91RM9200 microprocessor and Security Digital Memory Card (SD Card). This article analyzes Operation System kernel and Linux device driver’s structure, designs SD Card driver based on Embedded Linux, which runs on AT91RM9200 microprocessor.中文文摘：简要论述了用于兰州重离子加速器冷却储存环(HIRFL-CSR)控制系统的前端总线控制器。该控制器是基于ARM920T核心的AT91RM9200处理器,运行嵌入式Linux操作系统。描述了AT91RM9200处理器与Security Digital MemoryCard(SD卡)的硬件接口电路,分析了操作系统内核和Linux驱动程序结构,设计和实现了嵌入式Linux下基于AT91RM9200处理器的SD卡驱动程序。

基于TCP/IP协议的CSR离子泵电源远程监控软件系统设计

论述了通过RS-232总线和Intranet网络,来实现对远端的离子泵电源的监测与控制。系统硬件VAC800由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。MSP430F149具有超低功耗和高集成度等优点,利用它构建的离子泵电源监控系统功能强大,结构简单,可靠性高,抗干扰能力强。系统软件采用visual studio 2005设计。本监控系统能够很好地完成对加速器离子泵电源监视与控制。

用于加速器控制的通用型TCP/IP-多串口协议转换器的研制

在加速器控制领域,经常涉及到要将带有标准RS-232串行接口的设备通过以太网连接来实现远程测控任务,本文所介绍的设计工作解决了8个串口设备通过一台基于CPLD和MSP430技术的通用型TCP/IP-多串口协议转换器来完成远程数据/命令的传送。

an analysis for understanding software security requirement methodologies

IEEE Reliabil Soc, Shanghai Jiao Tong Univ

基于RFID的基带通信IP核的设计与仿真

分析基于射频识别(RFID)技术的系统基带通信过程,建立RFID基带传输模型,利用FPGA技术实现具有基带编解码、数据收发功能的通信IP核,介绍基于模块化思想的基带通信IP核的RTL设计方法,利用QuartusⅡ与Simulink工具进行系统仿真,仿真实验结果表明,该通信模块是有效的,能够为设计RFID通信系统提供高度集成的基带通信IP核。

FlexRay通信控制器IP的测试与验证

FlexRay是一种用于汽车的高速可确定性的，具备故障容错的总线系统，作下一代汽车网络协议，提供了充足的带宽、可靠性和实时响应能力，以实现线控应用，如节流阀、制动、转向和动态稳定性控制。该标准已经被越来越多的汽车制造商采用。目前国内尚未成功开发出相关产品，因此研究开发具有自主知识产权的IP具有十分重要的意义。 随着芯片复杂度的快速增长，验证成为SoC开发过程中面临的最有挑战性的一个环节。验证要占整个设计开发60%-80%的工作量。对于千万门级的SoC，充分、全面的验证尤为复杂，需要耗费大量的人力以及时间。为了缩短项目开发时间，加快产品面市步伐，要采用先进高效的验证方法，提高验证效率，同时保障验证的覆盖率。 本文所用到的FlexRay通信控制器IP核是由中科院沈阳自动化所SOC项目组自主设计的，本文对其进行了详细的功能验证。首先介绍了集成电路设计中的验证方法学，接着介绍了验证语言SystemVerilog，以及基于SystemVerilog语言的一种新的高效验证方法学VMM。在对FlexRay通信控制器IP核的结构及功能进行分析后采用VMM建立一个基于事务的、带约束的随机化验证平台对IP核进行了全面的功能验证。通过设计足够的case来保证模块的功能覆盖率。通过引用这种高效的验证方法学，发现了设计中存在的一些bug，对后续的改进与完善具有一定的指导意义。

基于IP QoS技术的网络机器人遥操作研究

针对基于 Internet机器人遥操作中存在的问题 ,结合 Internet网络技术的最新发展 ,借助 IP Qo S技术的特点和优势 ,本文研究并设计了基于集成业务体系结构的网络机器人遥操作系统 .通过分析 IP Qo S技术和机器人遥操作技术相互结合的可行性与合理性 ,表明该系统能够克服目前在 Internet遥操作过程中存在的问题并可在未来支持 IP Qo S技术的 Internet中发挥作用 .本文提出了该系统的设计原型及实现方法 .

基于以太网技术的ARCNET数据采集系统设计

为了解决ARCNET网络与以太网不兼容的问题,针对目前ARCNET网络设备监控管理系统存在的缺陷,提出了一种基于嵌入式TCP/IP协议的ARCNET数据采集与传输系统。分析了该数据采集系统的原理与结构,给出了系统的硬件设计方案,完成了数据采集与传输的软件结构设计和嵌入式TCP/IP协议栈的建立。对系统的实时性、可靠性和应用效果等进行了测试,结果证明,系统使用方便,性能稳定,具有良好的实时性和可靠性,综合性能优于现有的ARCNET数据采集系统。

胜利勘探数据中心及勘探辅助决策系统研究

In the paper through extensive study and design, the technical plan for establishing the exploration database center is made to combine imported and self developed techniques. By research and repeated experiment a modern database center has been set up with its hardware and network having advanced performance, its system well configured, its data store and management complete, and its data support being fast and direct. Through study on the theory, method and model of decision an exploration decision assistant schema is designed with one decision plan of well location decision support system being evaluated and put into action. 1. Study on the establishment of Shengli exploration database center Research is made on the hardware configuration of the database center including its workstations and all connected hardware and system. The hardware of the database center is formed by connecting workstations, microcomputer workstations, disk arrays, and those equipments used for seismic processing and interpretation. Research on the data store and management includes the analysis of the contents to be managed, data flow, data standard, data QC, data backup and restore policy, optimization of database system. A reasonable data management regulation and workflow is made and the scientific exploration data management system is created. Data load is done by working out a schedule firstly and at last 200 more projects of seismic surveys has been loaded amount to 25TB. 2. Exploration work support system and its application Seismic data processing system support has the following features, automatic extraction of seismic attributes, GIS navigation, data order, extraction of any sized data cube, pseudo huge capacity disk array, standard output exchange format etc. The prestack data can be accessed by the processing system or data can be transferred to other processing system through standard exchange format. For supporting seismic interpretation system the following features exist such as auto scan and store of interpretation result, internal data quality control etc. the interpretation system is connected directly with database center to get real time support of seismic data, formation data and well data. Comprehensive geological study support is done through intranet with the ability to query or display data graphically on the navigation system under some geological constraints. Production management support system is mainly used to collect, analyze and display production data with its core technology on the controlled data collection and creation of multiple standard forms. 3. exploration decision support system design By classification of workflow and data flow of all the exploration stages and study on decision theory and method, target of each decision step, decision model and requirement, three concept models has been formed for the Shengli exploration decision support system including the exploration distribution support system, the well location support system and production management support system. the well location decision support system has passed evaluation and been put into action. 4. Technical advance Hardware and software match with high performance for the database center. By combining parallel computer system, database server, huge capacity ATL, disk array, network and firewall together to create the first exploration database center in China with reasonable configuration, high performance and able to manage the whole data sets of exploration. Huge exploration data management technology is formed where exploration data standards and management regulations are made to guarantee data quality, safety and security. Multifunction query and support system for comprehensive exploration information support. It includes support system for geological study, seismic processing and interpretation and production management. In the system a lot of new database and computer technology have been used to provide real time information support for exploration work. Finally is the design of Shengli exploration decision support system. 5. Application and benefit Data storage has reached the amount of 25TB with thousand of users in Shengli oil field to access data to improve work efficiency multiple times. The technology has also been applied by many other units of SINOPEC. Its application of providing data to a project named Exploration achievements and Evaluation of Favorable Targets in Hekou Area shortened the data preparation period from 30 days to 2 days, enriching data abundance 15 percent and getting information support from the database center perfectly. Its application to provide former processed result for a project named Pre-stack depth migration in Guxi fracture zone reduced the amount of repeated process and shortened work period of one month and improved processing precision and quality, saving capital investment of data processing of 30 million yuan. It application by providing project database automatically in project named Geological and seismic study of southern slope zone of Dongying Sag shortened data preparation time so that researchers have more time to do research, thus to improve interpretation precision and quality.