PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。     

反馈对放大器噪声特性的影响(理论研究)

本文定量地导出了反馈放大器的E_n—I_n等效输入噪声模型参量与基本放大器和反馈网络的模型参量间的解析关系式,给出了低噪声反馈放大器的设计要点。     

测量薄膜参数的新型精密仪器PW—Ⅱ型光波导测试仪

“PW—Ⅱ型光波导测试仪”是我国首次研制成功的测量厚膜参数的新型精密仪器。文章介绍了该仪器的测量原理和结构特点。对仪器的测量精度进行了理论分析和数学推导,并采取了相应的技术措施,给出了精确的实测计算结果:薄膜折射率测量精度的绝对值≤1×10~(-4);薄膜厚度测量精度的绝对值≤1×10~(-2)μm。该仪器还可以用来精确测量薄膜的损耗,并能用于各向异性薄膜特性参数的测试与研究。     

Mesoscale eddy effects on the wintertime vertical mixing in the formation region of the North Pacific Subtropical Mode Water

Mesoscale eddy effects on the wintertime vertical mixing in the formation region of the North Pacific Subtropical Mode Water （NPSTMW） are studied using hydrographic data from Argo profiling floats deployed in the Kuroshio recirculation region in February and March of 2001. Anticyclonic （warm） eddy enhances the wintertime vertical mixing and results in the deep mixed layer and the deep thermocline. Consequently, a large volumetric water mass with low potential vorticity corresponding to the prototype of NPSTMW tends to be formed. By contrast, cyclonic （cold） eddy is unfavorable for the vertical mixing process and halts the deepening of the mixed layer and thus the formation of mode water. Further analysis shows that cyclonic eddies prevail in the late 1990s in the formation region of NPSTMW, which lead to significant suppression of the wintertime vertical mixing （96-98） and thus are unfavorable for the formation of NPSTMW; while the situation is completely reversed in the early 1990s （93-95）.     

浅谈工商银行改制后应注意的几个问题

目前工商银行正在实施股份制改造，指出工商银行股份制改造后应注重职能定位、银行监管角度的转变以及自身经营管理模式的转变。     

浅谈供热系统中的大流量运行方式

就供热系统大流量运行方式的形成及其对系统水力工况的影响进行了分析与探讨，指出了各种大流量运行方式的优缺点，进而提出供热系统大流量运行方式是一种落后的、不经济的运行方式，应该逐渐摒弃。     

应用开发平台软件的设计与应用前景

管理软件失败率高是个不争的事实，主要是因为管理软件中存在个性化、可维护性、应用集成等问题，所以出现了面向业务导向和驱动的应用开发平台．通过引入企业模型理论(EE／EM)，为管理软件设计和开发提供有效的导向和依据．     

斜纹结构的编织卷积码性能分析与仿真

主要研究了斜纹结构的编织卷积码(WCCs)在编码设计中活性距离和交织器对其性能的影响。通过系统仿真，结果表明在AWGN信道下，发现斜纹WCCs的系统性能将受到系统传输帧长、编码器归零方式及编码器个数的影响，因此适当地选择了编码器和交织器，能使其误码性能更加优越，且没有错误地板效应。     

航天器能量/姿控一体化控制器设计及功率规划

研究航天器的能量/姿控一体化控制系统(IPACS)的设计问题。针对带有4个飞轮(3正交、1斜装)的航天器的IPACS,设计了一个滑动模态姿态控制器。设计了飞轮组的控制律,保证了在储能时,飞轮的转速变化不会对航天器的姿态造成扰动,而且不影响正常的姿态控制,同时实现了姿态控制与能量存储。针对太阳帆板的功率变化特性以及飞轮电机的输入功率限制,提出了一种新的储能功率的规划方案,使飞轮在每个轨道周期内储存和释放的能量达到平衡,同时尽量利用了太阳帆板提供的功率,从而可以有效地减少太阳帆板的面积,减轻太阳帆板的质量。为了验证所设计的IPACS的有效性,给出了一个仿真实例。     

简论逻辑值

事物在运动、变化和发展过程中自身的特有属性以及事物之间时空、顺序、因果和条件、结果的依存、转化等纷繁复杂的多元关系的实质,必须通过比较、分析才会有准确清晰的认识和理解;在社会实践活动中,人们所运用的思维形式和逻辑方法体现出的正确的、本质的、最充分的逻辑意义,就是逻辑值。正确理解逻辑值的意义和作用,可以帮助人们在思维活动中自觉追求运用思维形式和逻辑方法的有效性和可靠性。