互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

基于PERT的虚拟企业风险评价模型

提出了一种虚拟企业风险评价的有效方法.针对虚拟企业以项目为组织模式及信息具有不确定性的特点,为考虑项目时间因素对整体风险的影响,基于计划评审法建立了虚拟企业风险评价模型.在已知风险水平与各工序作业时间的对应关系、每个工序的模糊风险水平以及风险水平与项目完工时间的对应关系的基础上,通过项目不同风险水平的完工概率描述企业的整体风险状况,实例研究表明该方法为虚拟企业风险评价提供了一种有效的管理工具.     

Research on object-oriented SOC design methodology

The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.     

《诗经》田猎题材中男性美的体现--兼论美善在其中的特殊状态

田猎题材是《诗经》内容的重要组成部分,且分布较广泛。在这些诗篇中男性美得到了一定的展现,既有侧重于力量之美的,又有侧重于勇武之美的。男性美的展现有三种状态：侧重于善;美善一体;侧重于美。这种现象反映了周代人的审美意识与审美水平的真实状况。     

辽宁少数民族城市化水平内部差异分析

从微观角度分析辽宁少数民族城市化水平现状、成因,对进一步加快辽宁少数民族城市化进程,正确处理民族关系,早日实现少数民族的现代化和全面建设小康社会有重要意义。从民族差异、市镇差异两方面对辽宁少数民族城市化水平内部差异进行了分析,并对其成因及对策进行了初步探讨。     

辽河主要控制站防汛特征水位研究

针对辽河干流水文特征、河道特性及防洪特点,探讨了防汛特征水位确定的原则、机理、方法和标准,以年最高水位、最大洪峰流量频率作为警戒水位的基本依据,建立计算模型和检验方法,并从辽河防护对象、洪水特性、堤防工程防御标准和社会经济条件等综合分析,提出辽河干流主要控制站警戒水位。同时,根据堤防工程设计,确定保证水位。     

普通活性污泥富集好氧氨氧化菌试验

用普通活性污泥在SBR反应器中富集好氧氨氧化菌,反应器的运行周期为1 d,瞬间进水,曝气21.5 h,沉淀2 h,排水0.5 h.pH控制在7.8～8.3,DO控制在0.8～1.2 mg/L,温度控制在30±2℃.采用人工配水,初始人工配水中NH 4-N的浓度为50 mg/L.待稳定后逐渐增加进水氨氮浓度至250 mg/L,每次增加幅度50 mg/L.为定量判定富集过程中好氧氨氧化菌数目的增长情况,每隔15 d对SBR反应器中的污泥进行最大可能计数法(MPN法)测试和MLSS测试.富集培养120 d后,好氧氨氧化菌浓度提高300倍.对比试验证实,pH和温度对好氧氨氧化菌的富集有明显影响.     

关系型数据库BOM表的遍历算法的改进及实现

定义了单层BOM和多层BOM树的结构,并总结了实际运用中的多级型BOM遍历的两种基本算法:递归查找法、分层查找法.在介绍这两种算法的原理和对其速度、资源占用、实用性进行评价的基础上,提出了一种综合以上两种算法的优点,且适合普遍使用的关系型数据库存储的改进的多级型BOM遍历算法,使该改进算法包含速度快、资源占用低、实用性高的优点.同时详细介绍了此算法的软件实现,并且在实际的运用中取得了明显的效果.     

High-spin excitations of 81, 82, 83, 85Se : Competing single-particle and collective structures around N = 50

The ^{81, 82, 83, 85}Se nuclei have been produced as fission fragments in the fusion reaction ¹⁸O + ²⁰⁸Pb at 85MeV bombarding energy and studied with the Euroball IV array. Their high-spin level schemes have been built from the triple -ray coincidence data and - angular correlations have been analyzed in order to assign spin and parity values to many observed states. The lowest-spin states of the two-neutron and three-neutron configurations are strongly mixed with two-proton excitations among the fp orbits. On the other hand, the highest-spin states of these neutron configurations are found to remain almost pure. Neutron excitation across the N = 50 gap is observed both in ⁸³Se₄₉ and in ⁸⁵Se₅₁ .     

超流氦获取实验液位数据采集与测试系统研究

针对超流氦获取与传输实验设计的数据采集系统由控制柜、工控机、显示器三部分组成。使用板卡PCI-1620对工控机的串口进行扩展,使系统能够同时采集8个RS232信号。其中液位信息是非常重要的物性参数,针对获取与传输实验液氦杜瓦设计定制的超导液位计,能够与整个测控系统一起完成液位信息的采集、转换和记录。