格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

关于PI证明的若干注记

PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

自动定理证明中RUE-NRF单元输入和锁的演绎

本文在RUE-NRF推理规则的基础上,定义了RUE-NRF输入归结、RUE-NRF单元归结及RUE-NRF锁归结的概念,证明了RUE-NRF输入反驳与RUE-NRF单元反驳的关系,以及RUE-NRF锁反驳的完备性。     

格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

强模态归结

研究了命题模态逻辑Ｋ,Ｋ４,Ｄ,Ｄ４,Ｔ,Ｓ４的“”型模态逻辑结果的自动推理．提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结．证明了强模态归结的可靠性与完备性．     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

格值一阶逻辑系统LF(X)中的α-有序语义归结

讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。     

次协调逻辑下的自动推理

引进了一套次协调逻辑系统－注解逻辑的线性归结方法后,在探讨的过程中提出了若干命题,并用一个推理实例表明在该系统中产生次调性后,仍然可以进行正常的推理。     

数据库备份策略及恢复措施研究

为使数据库系统中的数据安全有效,当数据库系统遭遇数据灾难时,能使系统中的数据快速恢复到正确状态,从而保证数据的完整性和安全性,必须采用合理的数据库安全策略。文章针对数据库系统的安全问题,分析了数据库的备份策略及恢复措施,提出了相应的策略和方法,并结合教学管理系统和实际工作中的应用实例提出了切实可行的具体解决方案。     

确定规划最短时间的遗传算法

对遗传算法中新一代的选择使用不同的策略，比较研究了所得结果．同时，对遗传算法与确定最优规划的方法做了比较．     

从电子行业分析东亚技术专业化与专利申请策略

在电信及视听技术两个重要科学领域,对以中国和日本为申请目的国的同族专利分布情况进行了调查,并对相应的申请策略进行了深入研究。结果表明,不同国家在申请这两个国家专利的策略上存在着明显的差异,而这种差异性却不能通过相关技术子领域的科技活动进行解释。     

参数变化混沌动力学滑模变结构同步控制

对非线性控制系统,采用变结构控制方法,对参数变化的连续混沌系统,提出了几种控制混沌同步的方法,通过对参数误差的估计,利用滑动模实现同步.对部分参数为常数,部分参数变化的混沌系统,用输入输出解耦线性化后的不变流形与滑动模相结合的方法.具体对Lorenz系统进行研究,并给出数值模拟.     

Locally risk-minimizing strategies in discrete time incomplete financial markets

For discrete time case a characterization of locally risk-minimizing strategies is given. Based on this characterization, it is evident that risk-minimizing strategies must be locally risk-minimizing.     

考虑运转费用的奇异随机收获模型的最优控制问题

研究了一类奇异随机收获模型的最优收获控制策略及相应的最优回报函数问题.在收获效益期望值的结构中,首次把系统中的运转费用这一重要因素考虑进去,运用随机分析的方法给出了最优回报函数应满足的充分性定理,并且在一定条件下得出了最优收获策略及最大回报函数的具体形式.     

Climate change threats to protected plants of China: an evaluation based on species distribution modeling

Climate change poses major new challenges to biodiversity conservation. Distribution ranges of species have been proven to be affected by climate anomalies. Detecting the extent of protected species response to climate change can help formulate flexible conservation strategies to overcome the changing climate. Using species distribution modeling and high resolution climate data, we simulated current distribution patterns of 233 protected plants in China. Those patterns were then projected into future suitable habitats for each species under nine climate change scenarios, with no migration or full migration hypotheses. Under the most extreme climate change scenario （CGCM-B2a）, we evaluated species extinction risks. Sixteen percent of protected plants are expected to lose more than 30 % of their current ranges. By calculating areal shifts, hotspots for emigrants, immigrants, and persistent species were identified under climate change. Flexible conservation strategies were addressed for those regions. Those strategies strongly depend on the migration types of species and sensitivity of the hotspots to changing climate. In hotspots for emigrants, the main conservation strategy is ex situ protection; protected species from these regions should be stored in seed banks or botanical gardens. For hotspots of immigrants, enough space should be maintained for new species, and some measures are necessary to assist dispersal. For hotspots of persistent species, more natural reserves are needed. We highlight related fields that can help conserve protected species in the future, such as conserving the soil seed bank and understanding of the effects of migration ability and interactions between protected species.     

Global tests of biodiversity concordance and the importance of endemism

Understanding patterns of biodiversity distribution is essential to conservation strategies, but severe data constraints make surrogate measures necessary. For this reason, many studies have tested the performance of terrestrial vertebrates as surrogates for overall species diversity, but these tests have typically been limited to a single taxon or region. Here we show that global patterns of richness are highly correlated among amphibians, reptiles, birds and mammals, as are endemism patterns. Furthermore, we demonstrate that although the correlation between global richness and endemism is low, aggregate regions selected for high levels of endemism capture significantly more species than expected by chance. Although areas high in endemism have long been targeted for the protection of narrow-ranging species, our findings provide evidence that endemism is also a useful surrogate for the conservation of all terrestrial vertebrates.     

论当代我国学校音乐教育的发展策略

当代我国学校音乐教育在教育指导思想上应“技理并重”；在培养口号上应是“多能”前提下的“一专”；在教育层面重心上应转向高师；在教学内容上应中西互鉴融合、知已知彼，吐故纳新；在教学行为上应用灵活的课型和创造性、即兴、心授的方法促进综合化课程的实现。     

机器人足球策略的研究

RoboCup是研究动态不可预测环境中的多智能体系统的典型平台．在RoboCup仿真比赛中,机器人整体团队协作和局部对抗规划都是比赛成功的关键．对于团队协作,应用面向对象的方法分析了机器人足球队员的角色特点,部署了不同队员的踢球策略．在射门对抗规划中,分析了球员射门时几个关键性的影响因素,并参考这些因素设计和应用一个关键性的射门函数．实践证明了在实时比赛环境中,整体结构和局部策略的有效性．