论人的需要在体育发展中的作用

本文从人的需要的角度出发,论述了体育的产生、形成和发展,提出了人的需要及体育对这一需要的满足是体育发展的根本动力的观点,同时也指出了目前我国体育的发展与人的需要之间存在着某种不平衡性,并希望通过正视进而改变这种不平衡性而促进社会主义体育事业的发展。     

一种结合CCgscore算法的SMT求解技术

提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.     

一种欠约束几何系统求解的图优化方法

针对一般几何约束系统欠约束状态下约束分解的多态性,对相应的有向图强连通子图提出了进一步分解的二部图匹配自适应优化处理策略,给出了主要算法,实现了欠约束系统的优化分解,有利于一般几何约束系统快速求解．     

神经网络PDP系统中的CS问题

本文阐述PDP中的约束满足(Constraint Satisfaction,简记为CS)的一般概念及其在PDP中的解决,着重分析在PDP中的几个模型:Schema模型,Boltzmann机,Harmony理论,和它们的特征及局限性。     

心理信箱

老师:您好!这件事已经困惑了我几个月,到目前为止,仍然不知道如何作出正确选择。事情是这样:我现在读高中二年级,小学到高一,总是班级的前三名,但从上学期开始     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

量子通信技术进展

现在，日本企业和大学正在共同研究超高速光通信技术，该项目被称为“量子通信技术”。从理论上讲，量子通信可将上100万部电影在1秒钟内传输到很远的地方。该技术完全可满足今后网络中庞大的图像和声音数据的传输。采用量子通信可以防止信息在传输过程中被偷听和纂改。量子通信技术是继发明电话和实现光通信后在通信技术上的又一划时代革命。量子通信同基因技术一样是当今世界科技研究热点，在本文中仅介绍一下国内外研究发展情况。     

杭州萧山国际机场

杭州萧山国际机场位于杭州市的东部,距市区27公里,是按照国际民用机场4E级标准设计 建造的现代化大型航空港,是我国重要的干线机场和对外开放的一类航空口岸。跑道长3600米, 可满足波音747飞机全重起降。年旅客处理能力1000万人次、年货物处理能力30万吨。候机 楼面积近10万平方米,高峰小时处理旅客能力3600人次。     

约束可满足问题求解策略的改进和实验结果

通过对那些属于ＮＰ－Ｃｏｍｐｌｅｔｅ的约束可满足问题（如图着色，规划、ＳＡＴ问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略，实验结果表明，应用改进的搜索策略使算法效率明显提高。     

左零因子理想几乎满足链的条件的Ⅰ—环

文献[1]曾证明有限1—环为 Boolean 环,文献[2]证明了:(1)左理想满足降键条件的1—环为 Boolean 环,(2)左理想满足降链条件的有1的环,如除1外每一个元素为左零因子或右零因子,则此环为 Boolean 环,在这篇文章里,我们将这些结果推广到左零因子理想几乎满足链(升,降链)条件的1—环上。