三坐标NC几何验证算法的研究与实现

基于实体造型，综合现有NC几何验证方法的优点，研究与实现了一种新的Z＆N验证算法。利用Z高度法效率高的优点，判断采样点是否超差；利用矢量分割法检测结果可靠性高的优点，求解沿着设计曲面的法矢方向，采样点到刀具扫略体的距离(切削误差)。     

建行实体资产处置研究

建行实体资产处置成功与否，具有迫切的现实意义和和长远的经济利益。论文通过对建行实体的背景及现状分析、处置过程中的影响因素分析，结合资产管理公司的历史使命和发展趋势，联系实际提出建行实体资产处置的思路，并以实案为例，提出了采取投资银行业务手段，挖掘建行实体资产中的优质资产对其进行经营性处置的几点建议。     

三周期叠加下的中国经济

正经济周期是市场经济的宿命,它制造了不少麻烦,但周期也是一种规律,给我们一个分析经济运行非常好的工具。经济周期的复杂很大程度上来源于经济,并非仅仅运行在一个类型的周期上,我们迄今发现的周期最长的可达80年,最短的才三五年,而我们观察到的经济运行往往是多个周期叠加的结果,用仅用一种周期的逻辑很难理解具体的经济现象。由于经济周期理论的争议向来很大,为了便于理解,本文使用了相当不标准的周期     

F-4 战斗机的最后任务美国全尺寸靶机

有一种美国生产的战争机，最后以在空中遭大量击落作为其服役生涯的终点，但这种击落不是在作战中，而是在作为武器系统测试之用时进行。英国法律规定，任何导弹系统在为国防部大量生产交付部队服役之前，需经过完整的全效能测试，该测试需要将研发中的导弹，以地对空或者空对空的方式，对一架全尺寸，作战状况下的实体战斗机进行实弹射击。     

基于XML的产品信息建模技术研究

针对数字样机在设计阶段产生的信息量大，管理困难，介绍了产品信息模型的概念。采用IDEFlx方法和XML语言定义和描述实体模型，以映射信息建立实体模型与物理存储之间的联系，为实现信息采集提供依据，提出了多数据源检索的解决方案。     

关于高层体系结构的计算机生成兵力的研究

计算机生成兵力是分布交互仿真中的一个重要组成部分.在分析高层体系结构的基础上,提出了一个基于HLA的计算机生成兵力仿真系统的结构原型,重点研究了红方CGF的实体动态模型,建立了数学模型,同时对自治行为产生和操作员控制进行了进一步的讨论,为今后的实践性开发工作打下基础.     

基于微机的塔台管制模拟系统中三维场景的建立

在塔台管制模拟训练系统中,由于需要模拟机场平面上的复杂的三维场景,其中涉及到众多复杂的三维对象,包括不同类型飞机、跑道、跑道灯、滑行道、塔台、候机楼、机库、远处建筑物、地面车辆、天空和云彩等三维对象。对于如此众多的场景元素,根据各自的特点,将它们进行分类,按照不同的方式进行绘制,并且提供一个比较合理的三维场景组织方式。     

应用Pro/E软件设计时几个问题的探讨

详细介绍了应用Pro／E软件进行设计的过程中在工作目录的设置、小数位置的设置、单位制的设置和转换、系统颜色的改变以及对特征的重定义等方面遇到的问题和解决方法。     

试论国际刑法的性质和研究对象

从国际刑法产生的目的、必要性和自身法律规范特征的角度，认为国际刑法的性质应是有效并合理地打击国际犯罪，并在符合法治和人权进程、以刑事法治的理念和法的方式下进行。国际刑法的研究对象应是国际犯罪，包括实体上的国际犯罪及其有关的程序，和实体以国内刑法为主的国际程序方面；其研究对象还应包括国际刑法的刑事法治问题，包括国际刑法在符合刑事法治之下应遵循的规则和原则。