简介：本报讯美国航天局利用“好奇”号火星车摄像机拍摄的近900张图片制成的一幅13亿像素的360度火星高清晰全景图，目前已发布在其喷气推进试验是官方网上供网友观赏。

简介：该系统是以TMS320DM642为核心，结合视频编解码芯片，并外扩大容量的存储器，实现4路视频输入与1路视频输出。本文主要介绍了基于TMS320DM642的视频监控系统的硬件设计，主要包括视频输入/输出模块的设计、电源模块的设计、外部存储器模块的设计，同时介绍了基本的硬件调试方法。该系统具有视频传输延迟短、处理速度快的优点，可应用于实时视频图像处理。

简介：

简介：图4～图6分别给出了在该系统下采集的视频Lena图像及使用边缘检测算子和改进后处理的结果,本文实现了在TMS320DM642评估板上用改进的Sobel算子对实时图像进行边缘检测,图2给出了图像边缘检测系统改进算法的软件流程图

简介：Thispaperdealswithmodelgenerationforequationaltheories,i.e.,automaticallygenerating(finite)modelsofagivensetof(logical)equations.Ourmethodoffinitemodelgenerationandatoolforautomaticconstructionoffinitealgebrasisdescribed.Someexamplesaregiventoshowtheapplicationsofourprogram.Wearguethat,thecombinationofmodelgeneratorsandtheoremproversenablesustogetabetterunderstandingoflogicaltheories.Abriefcomparisonbetwweenourtoolandothersimilartoolsisalsopresented.

简介：号百地图是以社区消费为核心，模仿号码百事通挖掘和整合企业商户号码资源的商业模式，整合中国电信现有商户的号码、地理位置等信息，以电子地图为载体，提供比Google地图、百度地图更丰富的中小商户的信息，从而为个人用户提供基于其所在位置0．5—2公里半径范围内的“社区消费”索引服务，填补号码百事通网站在社区消费领域的空白。

简介：

简介：

简介：基于HJ－1A／1B卫星ccD数据，建立河北省近海海域沿岸冰、初生冰、灰冰和灰白冰的解译标志。利用易康分类软件，采用多边形的面向对象分类方法，根据海冰类型和其他地物特征，对HJ－1A／1B卫星数据进行多尺度分割。选择各类型海冰样本，采用最邻近分类像元算法对海冰进行分类。统计河北省海域及秦皇岛港、曹妃句、黄骅港等重点区各类型海冰分布面积，分析海冰分类分布情况。最后，介绍了应用HJ-1A／1B卫星遥感数据提取河北近海海域海冰分类分布信息的实例。

简介：介绍了采用IXP425作为核心主控单元和3片DM642作为核心数据处理单元的会议电视多点控制单元的硬件设计原理和实现方法。主控制器IXP425模块完成网络发送／接收、数据调度、PCI控制等功能。数据处理DM642模块完成音／视频混合与切换等功能。IXP425和DM642之间采用PCI总线连接，各模块之间数据传输速度快，提高了数据处理效率。

简介：Alambdasystemwithalgebraicoperators,Lambda-plussystem,isintroduced.Aftergivingthedefinitionsofthesystem,wepresentasufficientconditionforformulatingamodelofthesystem.Finally,amodelofsuchsystemisconstructed.

简介：Multiway决定图(MDG)是排序许多的一阶的逻辑的一个子集的一个正规代表。这个子集与抽象类型和uninterpreted功能符号概括平等的逻辑。在抽象、具体的排序之间的区别反射在数据路径和控制之间的硬件区别。这里，我们认为方法改进MDG建设。效率通常通过Generalized-If-Then-Else(GITE)的使用被完成在二进制决定图包裹的操作员。因而，我们考察为MDG确认技术使用的主要算法。特别地，关系产品并且由包含修剪算法通过将导致更有效的实现的这个单个GITE操作员一致地被定义。而且，我们提供他们的正确性证明。这个工作能被看作使ROBBD算法适应抽象种类和uninterpreted功能的领域的一个方法。新工具，叫的NuMDG，接受一种扩大SMV语言，支持抽象数据排序。最后，我们表明NuMDG工具的效率并且从SMV用一套基准评估它的表演的现在的试验性的结果包装。

简介：

简介：

简介：BasedonthecurrentsituationofChinaConstructionBIMtechnology,thisarticlediscussedtherequirementofBIMapplicationsinconstructionphase.BytheintroductionofPKPMBIM-basedConstructionManagementPlatform,themeaningoftheplatformapplicationwasrevealed.Finally,twoapplicationcaseswereshowntoexplainplatform’svalueandprospect.

简介：

简介：

简介：随着社会的发展，人们对于租售房屋、二手买卖、求职招聘、找保姆、找家教等各方面的生活需求越来越多，分类信息网站的出现正好能满足人们这些生活方面的需求。

简介：APIsofCADsystemcouldbeencapsulatedtoconstructwebservicessoastoprovidestandardaccessinterfacesforweb-basedcooperativedesign.However,lackofsemanticsupportingmakeintegrationofheterogeneousmodellingsystemlimitedtooperationallevel.Onthepurposeofcarryingoutcooperativedesigninaflexiblecloudenvironment,anintelligentandeffectivesupportmechanismisneededformassandcomplexinteractionincooperativework.Therefore,Ontology-basedGeometryModelingServicesEnvironment(OGMSE)isprovidedtorealizeaknowledge-levelgeometrymodelingsoastosupportedsemantic3Dmodelmanagementandintelligentoperationsupport.First,CADAPIsareencapsulatedintowebserviceforwebinvocation.Then,ontologycontainedstructuralsemanticandoperationalsemanticisbuiltformanagementofmodelsandmodelingprocess.Lastly,conception-drivenmodelingmechanismisbuilttoinvocateserviceaccordingtointeractionrequirement,thustorealizeconception-levelcooperativedesign.Basedonanopengeometryengine,aprototypesystemhasbeendeveloped.Theresultshowsthattheapproachprovidesareferencedirectionforlarge-scaleapplicationonthenetwork.

简介：ThispaperintroducesthePKPM-BIMconstructionmanagementplatformanditsapplicationsintheconstructionsecuritymanagement.ThePKPM-BIMplatformisanintegratedmanagementsystemmainlydevelopedforthecontractorstoimplementtheBIM-aidedconstructionmanagement.ApplicationofBIMtechnologywouldbringmanybeneficialchangestothesecuritymanagementinconstruction.