内燃机燃烧过程仿真后处理输入文件Ipost的研究

以系统论为理论依据，在计算机上进行试验和分析，研究了输入件的设计要求和方法。研究表明：后处理输入件要设计后处理硬件类型、图形件(*．ps)的输出模式和镜像输出条件等总则，要确定输出内容包括网格划分和性能计算结果两个大的方面，网格划分的输出可以按平面图和三维图两种类型输出。性能等高线图和矢量图可以按正平面图和斜平面图的类型输出，网格图和性能图均按仿真计算的曲轴转角(时间)输出。     

关于差分式放大器输入电阻的研究

差分式放大器在实际应用方面非常广泛,其理论分析方法的深入研究,对生产实践和教学都有重要的意义。采用电路理论分析、差放理论分析、“虚短”理论分析及实验的方法对差分式放大电路进行了研究。     

背诵——基于模因论的英语输入策略

阐述了当前大学英语教学中语言输入不足之现状,提出了以模因论为理论基础的背诵输入策略,指出将背诵输入策略运用于英语教学的重大意义。     

RSCRR空间5杆变角机构的结构和几种位置分析方法

本文对有名的 RSCRR 空间5杆变角机构进行了结构分析,进而用4种不同的方法对其进行位置分析,得出了相同的结论,证明了机构输出角δ与输入角α的关系是δ:arcsin[ctgλtg(arcctg((a/e)+cisa)/(sina))],并用实例证明了结论的正确。     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

从国家预决算看民国政府对西藏的财政投入与管理——兼驳“民国西藏独立”论

文章以新发现的中华民国时期国家预算西藏省岁入岁出等报表为依据,结合民国历史档案,分析总结了民国中央政府对西藏的财政投入的种类、数量和性质,同时论述了中央政府对西藏发展金融货币、交通、贸易的支持和管理措施,坚持维护了中央对西藏的主权,从一个侧面批驳了国外敌对势力和藏独集团编造的“民国西藏独立”谬论。