逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

电子线路基于树枚举技术的符号分析

给出了电路符号分析的一种拓扑方法，该方法建立在Ｕｎｉｓｔｏｒ图树积的衍生基础上。给出了以独立组生成Ｕｎｉｓｔｏｒ图的全部有向树的直接方法。网格的代数余子式由计算机简化的Ｕｎｉｓｔｏｒ图的行列式获得。还介绍了该方法的ＰＣ机程序。     

有限群的π′－闭性

将Ｅｎｇｅｌ条件进行了推广，利用（ｐ，ｑ）－子群的性质，得到了有限群为π′－闭的几个重要结果。     

基于ASP+SQL的远程MIS系统安全特性分析与研究

为构建基于ASP+SQL体系结构的铁路电务管理信息系统,结合网络安全模型和基于角色的访问控制(RBAC)模型分别设计了实际的网络系统和应用系统,并对其安全特性进行了分析.     

基于峭度的组分分析方法解析重叠峰

基于峭度的组分分析方法用来解析重叠峰．其优点是半盲源分离，即只要确定出重叠峰所含组分的数目，就能从混合波谱中分离出纯组分谱．采用CABK来解析模拟两组分重叠峰体系和酒样的GC-MS混合谱，得到了令人满意的结果．     

冒泡排序算法的改进

本文作者对传统的冒泡排序算法进行了时间复杂性分析，指出其效率不高的缺陷，提出了双向同时浮沉的改进方法，并编程予以实现。其效率较传统的冒泡排序算法有一定程度的提高．     

与PDM集成的CAPP中产品结构树的研究

介绍了与PDM集成的CAPP中产品结构树的设计构想和实现方法,主要通过设计出CAPP和PDM共享的产品零部件信息库,并采用递归算法对其数据检索,从而实现利用VB中的树状显示控件,构造出集设计方法、数据共享和图形输出为一体的产品结构树.在产品结构树的设计中,针对因数据库的不规范操作导致数据检索不能穷尽的问题,采用了两个功能函数予以解决,从而使得程序具有更好的容错性.     

南京工程学院各部门2008年发表论文排序

2008年，《南京工程学院学报（自然科学版）》第6卷计4期如期出版发行，共发表论文55篇．在此，对学院领导、编委会全体委员、院内外审稿专家以及学院各部门的关心、支持和帮助表示衷心的感谢!按南京工程学院院内第一作者所在部门发表文章数量统计排序，前3名依次是：1）基础部（9篇）；2）电力工程学院（6篇）；3）能源与动力工程学院（5篇）．     

自治主体建模在海军战术仿真中的应用

多主体系统是分布人工智能和分布计算的交叉研究领域,也是普遍公认的研究和解决复杂自适应系统问题的一种有效途径,而武器装备体系对抗就是一类典型的复杂自适应系统问题.从分析实体模型层次和类型入手,利用作战主体刻画具有复杂作战行为的实体,提出一个作战主体模型框架,阐述作战单元、作战平台和装备的(装配或指挥控制)关联关系.     

基于SOC的视频图像画面分割技术研究（常州市科技攻关计划项目）

河海大学计算机及信息工程学院（常州）齐本胜博士主持的科研项目“基于SOC的视频图像画面分割技术研究”，于2006年4月经常州市科技局批准立项（项目编号CE2006077）．