试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质,推理无法进行;关系性质虽然确定,却用文字加以说明,推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

论公安现役本科院校基础课程设置

公安现役本科院校的基础课程,是根据边、消、警部队人才基本素质全面发展的培养目标要求而设定的。它既要满足国民高等学历教育的需要,又要适应部队人才需要和发展的要求,有其明显的职业指向性。因此,公安现役本科院校的基础课设置必须把公安现役高等教育的职业化特色与普通高等教育规范化要求有机结合,形成具有公安现役教育特色的基础课程体系。     

变截面梁的数值传递函数解法

本文在对一阶变系数微分方程组的数值解分析的基础上, 提出了一种数值传递函数方法, 作为对传递函数方法的一种直接推广。利用这种方法可以很方便地把传递函数方法扩展到各种变系数微分方程问题, 本文以变截面梁为例进行了讨论, 并建立了一种通用单元以减少计算。数值算例表明本方法具有精度高、应用灵活的特点。     

一种基于统计参数映射融合独立成分分析的新的激活区探测方法

统计参数映射在某种程度上依赖于广义线性模型和高斯场理论。广义线性模型的缺陷在于这些假设不能很好地表示fMRI数据,并且脑活动分布模式和血液动力学模型也不能由广义线性模型回归方程来恰如其分地模拟。而独立成分分析不能够提供每一独立成分激活区的显著性估计,这使得实验者不能够很好地解释所获得的结果。提出一种将SPM和ICA技术进行融合的方法,此方法可以将ICA自身的某些优势和GLM的假设检验方法结合起来,互相取长补短。实验结果证明了这种方法在探测由运动任务所产生的激活区方面是有效的。     

论公安现役本科院校基础课改革

教育改革应当以课程改革为先导。根据培养目标的内在要求,注重师资队伍建设,发挥教师的主体作用,积极参与基础课程改革,落实基础课职称岗位制度。     

Analysis of a finite‐buffer bulk‐service queue with discrete‐Markovian arrival process: D‐MAP/Ga,b/1/N

Discrete‐time queues with D‐MAP arrival process are more useful in modeling and performance analysis of telecommunication networks based on the ATM environment. This paper analyzes a finite‐buffer discrete‐time queue with general bulk‐service rule, wherein the arrival process is D‐MAP and service times are arbitrarily and independently distributed. The distributions of buffer contents at various epochs (departure, random, and prearrival) have been obtained using imbedded Markov chain and supplementary variable methods. Finally, some performance measures such as loss probability and average delay are discussed. Numerical results are also presented in some cases. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 345–363, 2003.     

A bidirectional heuristic for maximizing the net present value of large‐scale projects subject to limited resources

We consider the scheduling of large‐scale projects to maximize the project net present value given temporal and resource constraints. The net present value objective emphasizes the financial aspects of project management. Temporal constraints between the start times of activities make it possible to handle practical problem assumptions. Scarce resources are an expression of rising cost. Since optimization techniques are not expedient to solve such problems and most heuristic methods known from literature cannot deal with general temporal constraints, we propose a new bidirectional priority‐rule based method. Scheduling activities with positive cash flows as early and activities with negative cash flows as late as possible results in a method which is completed by unscheduling techniques to cope with scarce resources. In a computational experiment, we compare the well‐known serial generation scheme where all activities are scheduled as early as possible with the proposed bidirectional approach. On the basis of a comprehensive data set known from literature containing instances with up to 1002 activities, the efficiency of the new approach is demonstrated. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

四阶Fibonacci数列的通项及性质

著名的二阶Fibonacci数列有许多通项表达式和性质.文中运用矩阵方法,对四阶Fibonacci数列进行了比较深入的研究,求得了四阶Fibonacci数列的3个通项表达式,并得到了一些与Fibonacci数列相似的性质.     

广义Fibonacci数列的通项及性质

著名的Fibonacci数列有许多通项表达式和性质。利用数学归纳法和特征方程求根的方法对广义Fibonacci数列Rn 1=uRn vRn-1,R0=a,R1=b进行研究,得到了两个通项表达式和一个性质.     

指控系统总体设计中的车电综合设计

围绕指控系统总体设计中的车电综合设计,描述了车电综合设计的概念。以提高指控系统的一致性、互换性、可维修性和可靠性为目标,提出了相关设计原则。从工程应用和技术实现的角度出发,提出了设计过程中应考虑的方舱布局、供电系统、车辆布线、避雷设计、电连接器选型、线缆选型等多方面的因素及其实现方法。最后,提出了在总体设计前期必须重视车电综合设计的观点。