可视信息建模及可视信息检索

介绍三种典型的可视信息建模方法，特别是逻辑图象建模方法；借用人机通信中轮廓与细节相分离的原理，提出轮廓与细节相分离的可视建模方法。最后给出了各种不同的可视信息检索方法。     

机动目标在射击门下的概率模型估计

研究机动目标在射击门下的同一性分布可为火控理论中命中概率研究与应用提供一普适性的理论依据。分析了具有随机因素的机动目标在穿越射击门时的随机计数特征,给出了齐次泊松分布的推断,对具有二维独立自相关正态随机目标在矩形域和椭圆域下待机时间和滞留时间的概率密度估计及其误差进行了仿真研究,得到其密度估计模型及其误差为伽玛分布的补偿修正估计模型。     

一种针对乘性建模误差的MARCS鲁棒性设计

本文基于ＣＣＨａｎｇ和ＨＳＴａｎｇ的新结构提出了一种双自适应环的模糊型参考自适应控制系统的设计方案，并通过理论推导和仿真研究证明了此方案对乘性建模误差具有强稳定鲁棒性。所得的结论主产明了此设计方案具有很大的实际应用价值。     

CAPP系统开发中的功能抽象方法

提出了功能元的概念，并在此基础上提出了一种系统化的功能抽象方法．结合ＩＤＥＦ０方法，这种新的功能抽象方法对功能抽象、数据和知识模型的建立、软件开发具有重要的意义，它不仅适用于ＣＡＰＰ领域，而且对ＣＡＸ等制造信息的功能抽象也具有普遍的指导意义．     

改进模型参数的一种方法——增加辅助环节

通过对某型导弹系统在建立运动模型过程中，解决求取某果微分表达式的问题的实例分析，说明按照实际运动状态数据去设计某些参数，可以完善运动模型，使之更符合实际情况。     

专家数学建模系统

本文首先简介了建模方法学的一些原理,讨论了数学建模专家系统的一般求解策略和结构。然后,介绍了作者研制的专家建模系统——EMMS。根据建模过程的特点,提出了适合于建模专家系统的多层次、多种推理方法混合的、反馈式求解策略.最后,通过一个例题,介绍了 EMMS 系统的建模过程。     

二阶锥权互补问题的非单调非精确光滑牛顿法

【目的】将权互补问题引入到二阶锥上,研究二阶锥权互补问题。【方法】基于一个新的带参数的光滑函数,将二阶锥权互补问题转化为一组带参数的非线性方程组,并采用非单调非精确光滑牛顿法进行求解。【结果】在每次迭代中,该算法只需近似地求解一个非线性方程组且只需进行一次非单调线搜索。在适当假设下,证明该算法具有全局和局部二阶收敛性质。【结论】数值结果表明算法的有效性。
     

基于Petri网的运输流程系统建模优化

通过Petri网对货拉拉运输流程的建模进行了优化，对传统货拉拉运输流程进行建模，并发现模型中存在一些不足，针对其不足进行相应的优化，加入了物品分类别运输和订单异常问题处理的方法，对其运输中产生纠纷的现象提出了一种解决方法。Petri网作为一种用于描述离散的、分布式系统的数学建模工具，它在货拉拉运输中的运用不仅提高了运输的效率，也同时提高了客户的满意度和服务的质量。将所构建的模型在PIPE软件中进行仿真，验证了该优化的合理性和可行性。     

浅析Web应用程序安全规划

本文讨论了WEB应用程序的安全性以及安全设计的过程,介绍了用于确定威胁的STRIDE模型。     

第2届国际逻辑化方法建模广州国际研讨会

2006年9月24—27日，由中山大学逻辑与认知研究所主办的第2届国际逻辑化方法建模会议在广州举行，学术牵头人为赵希顺教授。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等8个国家的15名国外代表，以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校及科研机构的26名专家学者。会议收到的24篇论文，涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题。