模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型，并结合粗糙集相关的逻辑理论，提出了模糊粗糙决策语言FRDL，给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质。在此语言的基础上，给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法。FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法。最后，在眼科近视诊断上进行的数据实验表明，这种形式化描述和推理方法比较合理。     

图Sm*Cn的邻点可区别的边色数

定义图Sm*Cn为V（Sm*Cn）={ω,uij}i=1,2,…,m;j=1,2,…，n},E(Sm*Cn)={wuil}i=1,2,…m}∪uijuij 1}i=1,2,…,m;j=1,2,…，n-1}∪}uinuil|i=1,2,…，m}，文章给出了Sm*Cn的邻点可区别的边色数。     

影响我国旅游业发展的制度因素研究

旅游业作为一个综合性经济部门,影响其发展的因素是多种多样的.周末和黄金周并不能给人们以充分的闲暇时间去进行旅游消费,解决的途径在于带薪假期的全面落实;影响人们不能将可自由支配收入用于满足旅游需求、进行旅游消费的因素包括劳动就业、住房、教育、金融信用和结算体系等.要从制度上建立灾难预防与处理机制,保证人们有足够的外出旅游的信心.消除这些影响因素需要进一步推进改革,这必须政府政策的有力推动.     

信息系统中用户权限管理的研究

以RBAC授权模型为理论基础，提供一种信息系统权限管理的通用方法，详细分析了Power Builder开发环境下的实现过程。文中还提出了一种权限管理的编码改进方案。     

助飞1000计划两年内使北京千家中小企业实现信息化

助飞1000计划是北京市科委组织实施的中小企业信息化的应用示范工程,于2003年底开始小范围试点,2004年4月开始正式实施,目前已经成功地在5家企业的100多个营业网点上实施了基于ASP模式的ERP试点应用,还有其他30多家企业开展了自助网站建设与电子商务的尝试,取得了良好的成效。ASP应用一期示范工程是北京市科委立项的重大科技项目,北京市科委计划在下一步将采用“政府支持、企业运作和联盟推广”的方式,力争在2005年底推广到1000家中小企业中,该工程将在两年内帮助1000家中小企业实现信息化,并通过示范应用带动全市中小企业信息化迈上新台阶。从而使这一工程成为推动首都中小企业信息化的龙头工程,成为全国规模最大的ASP服务网络,从而提升中小企业核心竞争力,促进首都经济发展。     

非线性演化方程族的零曲率表示

利用泛函梯度,从一般的谱问题ψx=U(u,λ)ψ出发,通过直接计算,得到了两族非线性演化方程的零曲率表示。这种方法方便有效且对于其它非线性演化方程同样适用。     

信息系统Web服务器与数据库服务器连接的实现

阐述了基于浏览器／Web服务器／数据库服务器三层结构的应用是当前信息系统应用的主要模式，而Web服务器和数据库服务器之间的连接是其关键技术，并对CGI、Web API、RAD和Java／JDBC 4种连接方法进行了重点介绍。     

论企业办公自动化

阐述了办公自动化系统的概念、基本功能、总体目标以及近20年来的推广情况，讨论了企业办公自动化的构建原则、基本功能模块与须注意的关键问题。     

可重构制造系统的车间作业调度策略

提出了一种实用的分层调度策略 ,通过对制造系统组织的重构 ,以最小作业生产延迟和最大系统设备利用率为目标产生可行的次优调度方案 .该策略分 3个阶段 :首先 ,采用增广拉格朗日松弛法获得复杂可重构制造系统的车间作业预调度方案 ,该方法能将复杂作业调度问题分解成多个任务层的子问题 ,通过求解子问题获得任务的作业时间和对应工序加工的生产设备类型 ;然后 ,对制造系统进行组织重构以形成多个虚拟制造单元 ,旨在使制造单元内的生产设备间物流传送 (由自动导航小车承担 )费用最小 ;最后 ,通过离散动态规划形成虚拟制造单元的生产作业调度次优可行方案 .通过数值仿真分析 ,该策略能针对快速变化的产品需求 ,有效地重构生产制造系统 ,产生次优的调度方案 .     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .