搜索到与相关的文章
Android

Android 实例剖析之 notepad

简介android提供了三种菜单类型,分别为optionsmenu,contextmenu,submenu。optionsmenu就是通过按home键来显示,contextmenu需要在view上按上2s后显示。这两种menu都有可以加入子菜单,子菜单不能种不能嵌套子菜单。optionsmenu最多只能在屏幕最下面显示6个菜单选项,称为iconmenu,iconmenu不能有checkable选项。多于6的菜单项会以moreiconmenu来调出,称为ex

系统 2019-08-29 23:17:34 2767

编程技术

八卦一下模型验证(三)

CSDN的大大们啊,求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。OrzOrzOrz准备八卦Edmund等人算法时才想起,人1986年成名作是讨论用CTL(ComputationalTreeLogic)作规范语言的模型验证算法,而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证,但一来该算法的复杂度为P-SPACE,远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼

系统 2019-08-29 23:01:18 2767

编程技术

1亿qq在线背后的技术

摘要:众所周知,海量互联网服务能力是世界公认的技术难题。经过十多年的发展,腾讯在海量互联网服务方面已有不少技术积累。以QQIM后台服务为例,重现了QQ在线用户从百万级到亿级的整个过程中遇到的技术挑战,并分享了众多在海量互联网后台服务研发运营方面不为人知的秘密。庄泗华:腾讯通平台部高级技术总监、腾讯T4级技术专家、腾讯软件开发通道分会会长。中科院计算技术研究所硕士,2004年毕业加入腾讯,是腾讯培养出的第一位T4专家级毕业生。一直致力于QQIM后台海量服务系

系统 2019-08-29 22:47:20 2767

Windows

关于WINDOWS服务

关于怎么样在vs.net中创建WINDOWS服务程序,以下为一些备忘资料:用InstallUtil安装Windows服务:1.打开VisualStudio.NET命令提示2.改变路径到你项目所在的bin\Debug文件夹位置(如果你以Release模式编译则在bin\Release文件夹)3.执行命令“InstallUtil.exeMyWindowsService.exe”注册这个服务,使它建立一个合适的注册项。4.右击桌面上“我的电脑”,选择“管理”就可

系统 2019-08-29 22:19:54 2767

Windows

调查: 在Windows架构中管理Mac电脑

调查:在Windows架构中管理Mac电脑管理员们的声音前言这个调查是EnterpriseDesktopAlliance公司主办的,时间从2008年11月11日开始,到2008年12月31日结束,在共计50天里有357份答卷,其中314个参与者使代表了企业,政府,大学和中小学,而有43个是系统集成商或者分销商,被排除在统计之外.总体上来说,74%的大多数未来准备保留并购买更多的Mac设备,而2%的指出准备减少向Mac的方面的投资.在购买原因上,27%认为是

系统 2019-08-29 22:12:19 2767

Python

Selenium-Python学习——通过XPath定位元素

用Xpath定位元素的方法总是记不住,经常要翻出各种文档链接参考,干脆把需要用到的内容整到这个笔记中方便查找。Xpath是在XML文档中定位节点的语言。使用XPath的主要原因之一是当想要查找的元素缺少合适的id或name属性。XPath定位器可以用来绝对或相对定位缺少id或name属性的元素,也可以是用其他属性进行定位。通过XPath定位的元素容易受html调整的影响,可以先通过id或name属性找到就近的元素,如父元素,用以加强测试脚本的稳定性。例如,

系统 2019-08-12 09:27:18 2767

编程技术

《职场》笔记 20061212

“虽然爱迪生通常被喻为发明家,乔布斯则是富有远见的创业者,但他们所共同具备的才能是将创新体系化:不拘泥于一个发明或一个洞见,而是营造一个系统性解决问题,提供新价值的工作方式。比如,外界大多只记住了爱迪生在数百次实验后发明了灯泡,却忽略了他如何精细构建了一整套商业模式:除了可持续使用的灯泡,他还发明了并联电路、地下导体网络、保险丝、绝缘体、插座、开关,以及改进了发电机——自发的将此体系架构起来,诚然是技术天赋和商业嗅觉的难得结合,但它并非是不可被学习的。任何

系统 2019-08-12 01:33:43 2767

各行各业

打包静默安装参数(nsis,msi,InstallShield,Inno

有时我们在安装程序的时候,希望是静默安装的,不显示下一步下一步,这编访问来教大家如何来操作,现在常用的制作安装程序的软件有,MicrosoftWindowsInstaller,Windows补丁包,InstallShield,InstallShieldwithMSI,WISEInstaller,InnoSetup,NullSoftInstallationSystem等。软件的安装采取全自动或半自动的方式进行。一、MicrosoftWindowsInstal

系统 2019-08-12 01:31:54 2767