关于n阶图的最小减控制数

设n≥2,R(n)表示所有n阶图的最小减控制数,本文确定了R(n)的值,即R(n)=(s-1)(4-s)/2+min{0,2-n+[s2]},其中[s2]≤n＜[s+12],这里[x2]表示x个中取2个的组合数.     

短波通信中的Turbo均衡技术及应用

研究了turbo均衡原理及几种均衡算法，并针对具有严重ISI的短波信道，在信道参数已知和不匹配的情况下，对不同的联合均衡和译码算法、不同迭代次数对系统性能的影响进行了仿真和比较，结果表明，MMSE／SOVA算法在迭代几次以后具有良好的误码性能和鲁棒性，且计算复杂度低，利于工程实现。     

论传统住宅的形态

本文主要围绕传统住宅的形态，从几个方面论述其虚实相生的形态特征。深层挖掘中国传统建筑符号，加深对传统住宅设计手法的理解，希望对当今建筑设计能有所启发。     

基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

MatLab在有限元刚度矩阵推导中的应用

MatLab具有强大的符号运算功能.以平面梁单元刚度矩阵为例,详细介绍MatLab在单元刚度矩阵推导中的具体应用,编写了平面梁单元刚度符号运算程序,运算结果与手工推导完全一致,该方法可进一步推广到其它单元甚至到更复杂非线性单元刚度矩阵推导中.     

S7-300PLC在主机临界转速回避控制中的应用

分析气动、电动船舶主机遥控系统临界转速回避的工作原理，介绍S7—300PLC的优点、程序结构，以及临界转速回避控制中S7—300PLC的程序。     

关于图的符号边控制数的上界

本文给出了n阶图的符号边控制数的上界，并提出了相关的若干问题和猜想。     

前弗雷格时期的思维形式化

思维形式化是人工智能(以下简称AI)中符号主义研究纲领的核心假设,虽然其具体含义、发展脉络尚待精确描述和梳理,但包括物理符号系统假设、逻辑主义在内的符号主义,不仅主导着AI这门年轻学科的早期发展脉络,而且迄今仍是核心纲领之一。弗雷格所建立的一阶逻辑是前AI时期思维形式化发展的一个重要里程碑,因此对弗雷格之前的思维形式化从观念和实践上进行历史考察,不仅有助于理解AI主要纲领的思想来源和发生过程,而且为该学科当下竞争的不同研究纲领和未来发展方向提供了一个评判视角。     

也谈公文的标识符号

国家行政机关《公文处理办法》和《公文格式》新标准出台后,大家都在认真学习和严格实施。档案工作对文书工作负有指导职责,因此,档案人员更要认真学习。《福建档案》2004年第6期发表了韩文军