Gainse-Rescher系统基于子代数的广义重言式

将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。     

投影立式光学计常见故障及其修理

1微米标尺在视场中斜向运动的两种情况 (1)测轴上下滑动时标尺斜向运动. 产生原因:主反射镜摆动时的转轴与分划板刻线面不垂直所造成的. 修理方法:拧下格值圈,旋松测轴组与镜管固紧用压圈,旋转轴套,使整个测轴组绕光组旋转一个角度,然后移动测轴观察视场,直到标尺像刻线端与指标线某一虚刻线始终对在一个位置上即可,误差不超过1/10短刻线,调好后再紧固分划板组与滑板组的紧固螺钉,然后装上隔热玻璃组和标牌.     

用最小二乘拟合求陀螺仪分划板格值τ和零位改正系数λ

本文主要阐述了依据最小二乘拟合原理,通过实测资料进行拟合计算,求得分划板格值τ和零位改正系数λ,并用所求得的这两个参数计算陀螺方位角。     

提高ADA可重用程序部件可靠性的两种方法

建立可重用程序部件库是克服“软件危机”,提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手,详细阐述了提高ADA可重用程序部件可靠性的方法。     

基于通信量优化的分布式组件部署策略的研究

在多计算机系统中,一个分布式应用系统的整体性能与组件的部署有密切的关系。本文借助图论中赋权图、图的k-分划等的思想,给出一个基于网络通信量最小化的组件部署算法,重点提出一个基于图论的网络通信量次优化的分布式组件部署算法,并给出了算法的一个应用。     

系统H_α中的子代数的广义重言式理论

将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。     

Godel系统中一类子代数上的广义重言式理论

将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。     

算法及其时间复杂度可同步形式化推导的方法*

对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径.