Towards proving type safety of .NET CIL

A crucial role in the Microsoft .NET Framework Common Language Runtime (CLR) security model is played by type safety of the Common Intermediate Language (CIL). In this paper, we formally prove type safety of a large subset of CIL. To do so, we begin by specifying the static and dynamic semantics of CIL by providing an abstract interpreter for CIL programs. We then formalize the bytecode verification algorithm, whose job it is to compute a well-typing for a given method. We then prove type safety of well-typed methods, i.e., the execution according to the semantics model of legal and well-typed methods does not lead to any run-time type violations. Finally, to prove CIL’s type safety, we show that the verification algorithm is sound, i.e., the typings it produces are well-typings, and complete, i.e., if a well-typing exists, then the algorithm computes one.     

活性炭吸附金的初步研究

本文介绍美国研究活性炭从矿浆中吸附金的方法和设备,以及我们采用该方法所取得的研究成果。其中包括活性炭的种类及其用量的确定;金的吸附速率和金的平衡吸附曲线;以及炭浆法和炭浸法的比较。     

自动文摘系统中基于全信息词典的复杂语句分析方法及其实现

本文介绍了智能型自动文摘系统Ladies中汉语复杂语句的化简分析方法——义块组配及其实现.在使用全信息词典对词的语法、语义、语用信息进行全方位描述的基础上,义块组配对复杂句进行语义聚合,将被扩展的各个成分合并成能充分表达语法、语义信息的义块,从而大大简化了语法语义分析过程,为进一步的句子语义、语用分析和篇章理解打下了一个良好的基础.     

抑制和促进的CIL－碳质金矿高收率氰化冶炼工艺研究

研究氧化型碳质金矿的氰化行为及其中碳质物对金的吸附能力，探讨某些有机化合物对碳质物和活性炭吸附能力的抑制或促进。结果表明，某些芳烃衍生物可使碳质物的吸金量和吸附速度降低７５％，某些胺类化合物能提高活性炭的吸金能力，两者以适当方式加入矿浆可以使金的收率从８３．３％提高到９５．６％。     

提高团结沟金矿选矿回收率的试验研究

通过对团结沟金矿原矿矿石性质、浮选尾矿、浮选精矿及浮选精矿浸渣特性的分析，对浮选精矿浸渣采用溜槽重选进行工业生产，溜槽重选精矿采用焙烧－CIL炭浸法或微生物氧化法提金，溜槽重选尾矿再浮选；浮选精矿焙烧，焙砂CIL炭浸法提金进行了介绍。建议采用重选法回收浮选尾矿中的细粒级自然金、黄铁矿及赋存在黄铁矿与脉石矿物连生体中的金，提高团结沟金矿总的选矿回收率。     

难浸金矿石堆式细菌氧化-氰化炭浸法提金试验研究

介绍了难浸金矿石堆式细菌氧化-氰化炭浸提金的基本试验方法和结果。采用柱浸方式模拟堆式氧化过程。对某含砷微细浸染剂型难浸矿石经堆式细菌氧化后，柱式氰化浸取金的浸出率由原来的4.07%提高到57.46%，而矿石经细磨至-320目粒度后采用氰化炭浸法浸金，金的浸出率达到80.02%，这基本解决了金矿物同时受金属硫化矿物和非金属矿物包裹的问题，是该类难浸金矿石提金的一种有效方法。     

一种基于CIL静态分析的C#程序缺陷检测方法

通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性。提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法。采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率;另外,为便于实施别名分析,还提出一种基于内存区域的变量表示方法。基于所述分析方法,开发了一个C#源代码缺陷静态检测系统,并对实际开源项目进行了检测。实验结果表明,本系统能够高效、准确地检测C#程序中常见类型的缺陷。     

回复反射器配光性能测试系统研究

本文介绍一种检测汽车用回复反射器光度性能的自动化检测系统。该系统采用激光准直和专用投光装置，利用双探头结构，测量回复反射器的发光强度系数CIL值。依据色度学理论，采用CCD并行处理结构，快速测量其色坐标。     

无线Mesh网络中一种新的路由判据

由于无线Mesh网络特有的性质，网络中的路由判据设计对网络整体性能起着至关重要的作用。文章介绍了无线Mesh网对路由判据的要求，分析了现有的几种路由判据，并针对现有路由判据的缺点提出了一种新的判据——链路累积干扰．通过仿真对该判据进行了验证。仿真结果说明，新的路由判据能明显改善网络性能。     

难处理金精矿生物氧化-氰化炭浸法提金试验

针对某难处理金精矿含砷、高碳的特点,采用生物氧化-氰化炭浸提金工艺,考察了矿浆浓度、氧化时间、溶氧量、搅拌速度、培养基用量等因素对Fe、As、S脱除率、硫化物氧化率及金浸出率的影响。氰化炭浸试验结果表明,金的浸出率由直接氰化炭浸时的15.53%提高到95.82%,同时分析了氧化过程Eh、pH变化及Fe的行为。