论事物的可知属性与对其认识的不可穷尽性

具有可知属性的事物与对具有可知属性的事物的认识上的穷尽性是两个问题。可知属性是宇宙一切事物的客观本性,但具有可知属性的事物不可能都转化为现实的可知之物。本文试对事物可知属性与对其认识的不可穷尽性进行分析,以期引起进一步的探讨。     

新时期高校团员意识教育的实践与思考

文章实践和思考了如何加强新时期高校团员意识教育:以服务为导向———团员青年为本;以和谐为目标———团员价值认知的和谐、团员价值认知和行为的和谐、团员意识教育环境的和谐;以创新为手段———立足高起点、激活兴奋点、把握着眼点、全面优化点、依托衔接点、清楚空白点、转换着力点。     

非确定的公钥密码及其实现

首先引入非确定的公钥密码和解密成功率的概念, 并基于有限域上多变元问题的困难性, 给出其实现方案N-HFMS; 然后对F_q［M］中非奇异矩阵的数量进行分析, 利用Euler-φ_q函数推导出F_q［M］中非奇异矩阵的精确计数公式. 结果表明, 该方法不仅可对任意特定N-HFMS实例的解密成功率进行精确估算, 还可推导出N-HFMS方案的解密成功率下限, 从而在理论上证明N-HFMS的可行性. 利用N-HFMS方案, 可约定会话密钥, 进而实现保密通讯.     

“实例教学法”在程序设计课程中的应用

对非计算机专业学生的程序设计教学,应该从运行应用实例程序开始,再介绍所涉及的知识点、算法、程序结构及设计方法,使学生有的放矢地学习程序设计课程。这样既有趣味性又能轻松地学习,从而达到程序设计课程的总体目标。     

核反应中两坐标系之间的关系

本讨论了核反应中的速度、动量、能量等物理量在实验室和质心两坐标系之问的换算关系，使实验值和理论值可以进行比较。     

基于COM技术的多移动机器人仿真系统

提出了一种基于COM(ComponentObjectModel,组件对象模型)技术的多移动机器人仿真系统的模型,并通过该模型初步实现了一个将移动机器人控制器组件化的仿真平台。COM规范定义的组件模型所具有的进程透明特性和可重用性很好地对应了多移动机器人系统的分布式特点。采用COM技术的多移动机器人仿真系统,具有良好的分布式运行能力和方便的实时交互能力,极大地方便了多移动机器人系统的研究工作。     

无穷区间上二阶脉冲积微分方程的解

利用锥理论和单调迭代技巧，得到了Banach空间中无穷区间上二阶脉冲积微分方程初值问题{x″=f(t,x,x′,Tx),t≥0,t≠tk,；△x|t=tk=Ik(x∈（tk））,；△x′|t=tk=Ik(x′（tk）），；x(0)=x0,x′(x)x0^n的解存在的充分条件。     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

染色体标本制备在骨髓MSCs核型鉴定中的研究

选取对数生长期人骨髓间充质干细胞，用秋水仙素阻断细胞分裂中期，控制秋水仙素的终浓度和作用时间、低渗时间及胰酶消化显带时间，比较染色体标本制备效果。结果显示，秋水仙素的终浓度0．2μg／ml和作用时间6h，低渗时间35min及胰酶消化时间20s时可制备适合的染色体标本，经核型鉴定为正常二倍体细胞。从而探索出骨髓间充质干细胞染色体制备的适合条件，为骨髓间充质干细胞的进一步研究提供了理论依据和实验基础。     

A TQCS-based Scheduling Approach for Manufacturing Grid

IntroductionsIn 2000, Ian Foster refined the definition [1] of Grid as“resource sharing and coordinated problem solving indynamic, multi institutional virtual organizations”. WithOGSA (Open Grid Service Architecture) [2] as its systemframework, OGSI (Open Grid Services Infrastructure) [3]as its implement mechanism and GT3 ( GlobusToolkit3.0) [4] as its development software, Grid is nowbecoming a newparadigm for solvinglarge scale distributedresource …