坐姿理论与座椅设计原则及其应用

从人机工程学原理讨论了坐姿的优缺点，良好坐姿的必要条件是将最适当的压力分布于备脊椎骨之间的椎间盘上，并将最适当、最均匀的静负荷量分布于所附着的肌肉组织上．运用人体解剖学原理，分析不良坐姿造成的不舒适感和脊椎疾病，用姿势原状恒定原则分析坐姿行为．认为坐姿变化是人体在稳定和变动之间寻求平衡以取得折衷的过程；提出了座椅设计的基本原制度其主要的参考数据，据此对优秀座椅设计范例进行了解析，并说明其各自特色，从而进一步验证了座椅设计的科学依据。     

目标字符串频率变化对WCNB分类器精度的影响

为解决MNB分类器在测试样本变化时分类精度误差较大的问题,采用权重标准补集分类器(WCNB)代替MNB分类器,并研究WCNB分类器对不同测试样本分类精度的变化,针对WCNB技术存在目标字符串变化所产生的权重计数问题,采用目标字符串频率转换技术,建立一种有误差补偿功能的WCNB分类器数学模型并进行了实验仿真. 实验仿真结果验证了WCNB数学模型的可行性.      

一种面向分布式系统的行为分析和检测方法

提出了一种基于进程代数的行为分析与检测方法.通过静态分析二进制码获得系统的控制流程图,并将其转换为进程表达式;通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写;根据并发规则消除进程表达式中的并发算子,建立分布式系统的行为检测模型,并给出行为检测的方法.理论分析和实验表明:所提出的方法降低了行为分析和检测的复杂度,在控制流分析方面具有较好的精确性.     

基于中间语言的逆编译系统CDS

为了帮助程序员理解、分析软件,减轻人的劳动强度,我们设计了基于中间语言的逆编译系统CDS。CDS的过程首先把机器语言程序转换为中间语言程序,然后进行数据类型和控制流程分析,最后产生目标高级语言程序。     

基于扩展元模型的智能动态工作流建模方法

为了提高工作流的智能性和动态性,对原有的工作流过程元模型进行扩展,提出一个基于该扩展元模型的智能动态工作流模型.该工作流模型引入控制规则来约束流程的实例化,并引入一个独立于工作流系统的规则协调器来对流程规则进行解析,实现了流程的智能动态变化.研究结果表明,建立在智能动态工作流模型上的工作流管理系统不仅具有智能性和动态性,在通用性以及柔性方面也有很大的提高.     

C—ICAIS设计与开发中的问题讨论

就Ｃ—ＩＣＡＩＳ（编译智能计算机辅助教学系统）建设中的工具选择、总体设计策略、知识表示和推理方法等几个重要问题进行讨论．     

适应性对象模型研究

首先对适应性对象模犁的概念和其体系结构风格进行了综述分析,然后比较了与之相关的其它技术,探讨了其关键实现技术的现状和存在的问题,最后给出其存在的优缺点,指出了进一步需要研究的方向.     

基于中间语言的逆编译方法

提出一种以中间语言为基础的逆编译方法，此方法首先把机器语言的程序转换为中间语言的程序，然后在中间语言程序上进行数据类型分析和控制流程分析，最后生成目标高级语言的程序     

逆编译系统CDS中的程序控制流程分析

本文介绍了逆编译系统中程序控制流程分析CFA(Control Flow Analysis)的方法。该方法在将机器语言程序抽象为控制流图的基础上,进行结构化的和非结构化的归约,从而产生用高级语言语句表示的功能等价的程序控制流程。因采用与机器语言无关的抽象流图表示,该方法有很强的适应性。     

面向信息系统的柔性报表系统的逻辑模型设计

针对信息系统的报表系统不能适应需求变化的问题，分析了报表系统共性和变性，提出了柔性报表系统的框架结构和层次逻辑模型，描述了柔性报表系统中数据域、信息域、映射以及与操控平台和制作平台之间的关系。柔性报表系统由报表系统操控平台和报表制作平台构成，开发人员和分析员利用操控平台设置和定制特定信息系统的报表制作平台，用户利用报表制作平台定义和生成需要的报表。