一类平顶单峰映射的迭代

主要研究区间[0,1]上一类在[0,a]上线性严格递增,在[b,1]上线性严格递减,而在[a,b]上为常值的非单调平顶单峰自映射的迭代,讨论在n次迭代后的平顶区间的个数以及平顶区间的结构.     

修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。     

基于多目标离散粒子群的产品服务系统方案配置规则提取

为有效辅助工程师将顾客需求转化为产品服务系统方案,针对其技术特征,提出一种离散粒子群优化算法(DPSO)与帕累托(Pareto)结合的配置规则提取方法.该方法包括建立产品服务系统配置规则模型及构造Pareto-DPSO算法模型.Pareto-DPSO算法基于Sobol序列的频率初始化方法及离散化粒子更新方式,将连续粒子映射到十进制离散空间;并利用Pareto进行多目标下粒子优劣性评价,以获取非支配的最优规则集.以汽车产品服务系统方案配置设计为例,经与常规多目标粒子群算法及DPSO算法对比,验证了该方法对于解决多维空间内产品服务配置规则挖掘的可行性及有效性.     

基于多规则资源分配的柔性作业车间调度问题多目标集成优化方法

针对柔性作业车间调度问题中多种资源分配的复杂特性,建立了以最小完工时间、最优人工分配方案、设备最大负荷以及最小生产成本为目标的集成优化模型,并设计了一种具有多重资源约束的多目标集成优化方法;针对组合模型的爆炸性特征,为降低模型的复杂度,采用多规则资源分配的集成调度思想,通过调整规则概率使概率大的规则被优先选中,使用多规则导向机制"推动"搜索过程向指定目标方向移动,并结合动态规划法求解最优人员分配方案;采用改进的非支配排序遗传算法——NSGAⅡ可以获得不同规则概率值的Pareto解集;最后,通过仿真对比与应用验证了所提方法的有效性.     

P*-型非线性互补问题解的存在性

首先利用Poincare‐Bohl定理给出择一性定理,然后用该定理证明非线性互补问题解的存在性,并获得互补问题有解的充分条件。     

公益诉讼特殊规则的设计——兼评我国首例过亿圆赔付的环境公益诉讼

我国公益诉讼立法仅在受案范围、原告资格方面给予关注,未针对公益诉讼的特性量身制定完备的专属规则,以致实务中要么因无法可依而僵持,要么削足适履,盲目套用一般诉讼规则,减损公益诉讼的价值和功能.公民诉讼、示范性诉讼、第三人诉讼等诉讼模式在权利配置、举证责任、费用承担、效力外拓等方面均设有特殊规定,对我国构建公益诉讼制度具有可借鉴之处.     

一类特殊的 Volterra型积分方程的解的存在性

本文主要应用压缩映像原理讨论了一类特殊的Volterra型积分方程的解的存在性问题,获得解的存在性条件,并举例说明了其应用。     

保持算子张量积凸组合的非线性映射

本文给出保持凸组合的可分二体态之间非线性双射的结构性质,证明了此类映射Φ在一定的条件下具有形式Φ(ρσ)=(ST)Ψ(ρσ)(ST)*Tr((ST)Ψ(ρσ)(ST)*).其中,Ψ是恒等映射,或转置,或对第一个张量因子取偏转置,或对第二个张量因子取偏转置,或上述映射与交换映射(swap)的复合。     

基于滑膜控制和SAFNN的鲁棒混沌同步

针对带有干扰的混沌系统,进行了基于自组织自适应模糊神经网络(SAFNN)的同步控制器的设计,采用基于聚类划分的模糊神经网络,推导出模糊神经网络参数在线更新算法,并设计了神经网络结构自适应算法,从隶属度函数的生长、模糊规则的分裂和模糊规则的修剪三个方面动态调整模糊神经网络结构,摒弃了常规的试错法来调整系统的结构和参数,以便更好地满足对计算负荷和控制性能的要求,实现两者之间的平衡;最后结合滑模控制器和鲁棒控制器,对带有干扰的混沌系统进行同步控制仿真,仿真结果表明该方法有效。     

基于路径映射加密的云租户数据安全存储方案

云计算中数据的存储安全是租户最为关注的问题,也是云计算能否获得广泛应用的关键。文中提出了一种基于存储路径映射加密的云租户数据存储访问方案。方案中,云租户数据被划分为具有逻辑关系的若干存储块,这些逻辑块将提交到云索引服务平台并以多备份的方式存储到不同的云存储服务提供者的存储介质上;基于此,云租户对其私密数据的存储路径映射进行加密。所提出的方案在存储租户数据时,在不同的云存储提供者之间采用了冗余备份的机制,保证了租户数据存储的可靠性;同时,方案仅对租户数据的存储路径进行加密,从而避免了对数据整体的加、解密操作;分析和测试结果验证了方案的安全性、有效性和可行性。