an integrity assurance mechanism for run-time programs

Chinese Assoc Cryptol Res, State Key Lab Informat Secur, Inst Software, Grad Univ Chinese Acad Sci, Natl Nat Sci Fdn China

practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

可集成的制造执行系统

制造执行系统作为企业上层事务处理和低层设备控制系统之间的中间桥梁 ,在生产计划的优化调度、生产过程的改进等方面起着越来越重要的作用 ,并得到工业界广泛的认可和应用。本文总结了制造执行系统的发展历程和存在的问题 ,简要介绍了制造执行系统的功能、信息交互关系 ,以及信息技术对制造执行系统的冲击 ,进而引入工作流管理技术、智能Agent和面向对象技术 ,提出了可集成制造执行系统的体系结构、运行机制和开发方法 ,并对该系统的市场进行了分析与预测。

海底金属矿床充水条件及矿坑突水的断层效应研究

The Xinli mine area of Sanshandao mine is adjacent to the Bohai Sea and its main exploitable ore deposit occurs in the undersea rock mass. The mine is the biggest undersea gold mine of China after production. The mine area faces a latent danger of water bursting, even sudden seawater inrush. There is no mature experience in undersea mining in China so far. The vein ore deposit is located in the lower wall of a fault; its possible groundwater sources mainly include bittern, Quaternary pore water and modern seawater. To ensure the safety of undersea mining, to survey the flooding conditions of the ore deposit using proper measures and study the potential seawater inrush pattern are the key technical problems. With the Xinli mine area as a case study, the engineering geological conditions of the Xinli mine area are surveyed in situ, the regional structural pattern and rock mass framework characteristics are found out, the distribution of the structural planes are modeled by a Monte Carlo method and the connectivity coefficients of rock mass structural planes are calculated. The regional hydro-geological conditions are analyzed and the in-situ hydro-geological investigation and sampling are performed in detail, the hydrochemistry and isotopes testing and groundwater dynamic monitoring are conducted, the recharge, runoff, discharge conditions are specified and the sources of flooding are distinguished. Some indices are selected from the testing results to calculate the proportion of each source in some water discharge points and in the whole water discharge of the Xinli mine area. The temporal and spatial variations of each water source of the whole ore deposit flooding are analyzed. According to the special project conditions in the Xinli mine area, the permeability coefficient tensors of the rock mass in Xinli mine area are calculated based on a fracture geometry measurement method, in terms of the connectivity and a few hydraulic testing results, a modified synthetic permeability coefficient are calculated. The hydro-geological conceptual and mathematical model are established，the water yield of mine is predicted using Visual Modflow code. The spreading law of surrounding rock mass deformation and secondary stress are studied by numerical analysis; the intrinsic mechanism of the faults slip caused by the excavation of ore deposit is analyzed. The results show that the development of surrounding rock mass deformation and secondary stress of vein ore deposit in the lower wall of a fault, is different from that in a thick-big ore deposit. The secondary stress caused by the excavation of vein ore deposit in the lower wall of a fault, is mainly distributed in the upper wall of the fault, one surface subsidence center will occur. The influences of fault on the rock mass movement, secondary stress and hydro-geological structures are analyzed; the secondary stress is blocked by the fault and the tensile stress concentration occurs in the rock mass near the fault, the original water blocking structure is destructed and the permeable structure is reconstructed, the primary structural planes begin to expand and newborn fissures occur, so the permeability of the original permeable structure is greatly enhanced, so the water bursting will probably occur. Based on this knowledge, the possible water inrush pattern and position of the Xinli mine area are predicted. Some computer programs are developed using object-oriented design method under the development platform Visual Studio.Net. These programs include a Monte Carlo simulation procedure, a joint diagrammatizing procedure, a structural planes connectivity coefficient calculating procedure, a permeability tensor calculating procedure, a water chemical formula edit and water source fixture conditions calculating procedure. A new computer mapping algorithm of joint iso-density diagram is raised. Based on the powerful spatial data management and icon functions of Geographic Information System, the pit water discharge dynamic monitoring data management information systems are established with ArcView.

井间地震速度层析成像方法与软件系统

Crosshole Seismic tomography has been broadly studied and applied in the fields of resource exploration and engineering exploration because of its special observing manner and better resolution than normal seismic exploration. This thesis will state the theory and method of Crosshole Seismic tomography. Basing on the previous studies，the thesis studied the initial velocity model，ray-tracing method, and developed the three-dimension tomography software. All the cells that a ray passes through are of the same velocities if the paths from transmitters to receivers are straight. The cells that the each ray passes through are recorded, and rays that pass through each cell are calculated. The ray average velocity which passes through a cell is set as the cell velocity. Analogously we can make a initial node velocity model because the velocity sum is calculated on the all cells which own to a certain node, and the cell number is summed about each nodes，the ratio of the velocity sum to the all cells number is set as the node velocity. The inversion result from the initial node velocity model is better than that of the average velocity model. Ray-bending and Shortest Path for Rays (SPR) have shortcomings and limitations respectively. Using crooked rays obtained from SPR rather than straight lines as the starting point can not only avoid ray bending converging to the local minimum travel time path, but also settle the no smooth ray problem obtained by SPR. The hybrid method costs much computation time, which is roughly equal to the time that SPR expends. The Delphi development tool based on the Object Pascal language standard has an advantage of object-oriented. TDTOM (Three Dimensions Tomography) was developed by using Delphi from the DOS version. Improvement on the part of inversion was made, which bring faster convergence velocity. TDTOM can be used to do velocity tomography from the first arrival travel time of the seismic wave, and it has the good qualities of friendly user interface and convenient operation. TDTOM is used to reconstruct the velocity image for a set of crosshole data from Karamay Oil Field. The geological explanation is then given by comparing the inversion effects of different ray-tracing methods. High velocity zones mean the cover of oil reservoir, and low velocity zones correspond to the reservoir or the steam flooding layer.

地震勘探三维可视化方法研究与实现

This thesis mainly studies the technologies of 3-D seismic visualization and Graphic User Interface of seismic processing software. By studying Computer Graphics and 3-D geological modeling, the author designs and implements the visualization module of seismic data processing software using OpenGL and Motif. Setting seismic visualization flow as the subject, NURBS surface approximation and Delaunay Triangulation as the two different methods, the thesis discusses the key algorithms and technologies of seismic visualization and attempts to apply Octree Space Partitioning and Mip Mapping to enhance system performance. According to the research mentioned above, in view of portability and scalability, the author adopts Object-oriented Analysis and Object-oriented Design, uses standard C++ as programming language, OpenGL as 3-D graphics library and Motif as GUI developing tool to implement the seismic visualization framework on SGI Irix platform. This thesis also studies the solution of fluid equations in porous media. 2-D alternating direction implicit procedure has been turned into 3-D successive over relaxation iteration, which possesses such virtues as faster computing speed, faster convergence rate, better adaptability to heterogeneous media and less memory demanding.

从面向对象的遗留系统到面向服务架构的迁移方法

Migrating legacy system with web service is an effective and economic way of reusing legacy software in a SOA environment.In this paper,we present an approach for migrating a three-tie object-oriented legacy system to SOA environment.The key issue of the approach is about services identification from large numbers of classes.And we propose a bottom-up method to model the system with UML and identify services from UML then.This approach can be a reference to an auto-migrating process.

面向生物学对象的离子治癌模式的初步研究

目的： 肿瘤是当今人类生活中最危险的疾病之一。重离子和质子的Bragg峰，能使高吸收剂量区集中于肿瘤部位，从而有效地保护周围的健康组织，且在肿瘤照射区具有相对生物学效应高、修复效率低等特点，在放疗上比较理想。但是现有的离子束治疗模式仍是面向物理学对象的——即仅仅考虑离子的物理学特性和肿瘤的大小、形状等，很少从生物的有机整体考虑。本文依据生物学个体差异，进行了面向生物学对象的离子治疗模式必要性和可行性的基础研究。研究方法与结果： 1、不同剂量的重离子辐照肝癌SMMC-7721细胞后出现了细胞周期阻滞，细胞在低剂量区表现出明显的HRS/IRR 响应。 2、不同剂量重离子和X射线分别辐照小鼠全身后，其骨髓细胞周期表现出不同的分布，且等剂量重离子较X射线辐照对动物的影响更明显。 3、头部是一个重要的器官。重离子辐照小鼠头部后，小鼠骨髓、脾脏和外周淋巴细胞周期分布出现明显变化，这表明动物个体本身是一个有机统一整体，重离子辐照对动物非辐照部位具有直接的和间接的影响。 4、7.5c Gy重离子辐照正常小鼠后荷瘤，不仅没有能够抑制反而促进了肿瘤的生长，并且小鼠胸腺、脾脏、骨髓和外周淋巴细胞周期分布发生变化。另外发现雄性比雌性小鼠对低剂量重离子辐射更敏感。 5、以不同剂量重离子辐照荷瘤小鼠（S180肉瘤或H22肝癌）的实验中，随着剂量的增加，肿瘤细胞周期阻滞现象逐渐明显，同时出现免疫系统细胞周期的阻滞。这表明重离子辐照在杀死或引起肿瘤细胞凋亡的同时，在一定程度上也引起了正常组织和免疫系统的损伤。结论： 本研究通过一系列的细胞、动物学实验证明了面向生物学对象的离子治疗模式是可行的和必要的，这种模式将使离子治疗能够根据患者的个体差异，采取适合不同个体的最佳治疗方案，将可能极大的提高治愈率和患者的生存质量，是一种以人为本的治疗模式，有着很好的应用前景

用面向对象方法分析、设计、实现工业远程监控系统

较早时期的实时监控应用软件，从分析设计到代码实现，采用的都是结构化方法，有的甚至没有经过分析设计阶段，直接进行编程。也曾有过分析和设计阶段采用结构化方法，编程实现采用面向对象语言的尝试。但由于分析设计的缺陷导致在软件生命周期的维护阶段出现许多问题，如存在较多的缺陷(bug）、结构性错误、修改困难、功能扩展工作量太大等等。统一建模语言(UML)的出现是面向对象建模领域的一个里程碑，它将面向对象方法和以往的面向过程的结构化方法做了较为完善的结合，使在分析、设计、实现阶段都采用面向对象方法完成实时系统成为可能。这次在开发新系统的过程中首次尝试了采用面向对象分析设计语言（UML)和面向对象语言（MS VC++）相结合，在整个软件生命周期均采用面向对象方法和工具实现工业远程实时监控系统，在解决以上问题及优化系统性能、结构方面皆取得了很好的效果。得到了结构良好、高内聚、低藕合、容易理解、易于扩展、维护的系统。这个系统主要实现工业现场仪表的调控，数据的采集、直观图实时监控生产状况，利用电话网及计算机技术自动实现输油管线远程实时监控、统计与处理等功能。

Research on extracting method of micro-scale remote sensing information combination and application in coastal zone

973 Project of China [2006CB701305]; "863" Project of China [2009AA12Z148]; National Natural Science Foundation of China [40971224]