搜索到与相关的文章
Python

Python3快速入门(四)——Python包管理

Python3快速入门(四)——Python包管理一、Python包简介1、包Python中使用包管理模块,包通常对应一个目录,必须在目录下创建一个init.py模块,init.py模块的模块名称即为包名,Python才会将目录解析为包。init.py文件内可以定义初始化包的内容,导入包的内容,限制包内模块的导出。init.py文件可以为空,也可以是一个模块,其模块名称为包名称。导入包或包的模块、变量、函数时,init.py文件会被自动执行。2、模块Pyt

系统 2019-09-27 17:50:21 2675

编程技术

八卦一下模型验证(三)

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

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

Linux

Linux Kernel Shared Memory 剖析

看到这篇文章的时候,感觉只有两个字:郁闷。还在Linux-2.6.29的时候,就看是看Linuxkernelvirtualmachine,那时候就感觉多个VM肯定有很多的内存是共享的,完全可以合并,没想到Linux的发展是这么的快,linux-2.6.32就正式的支持了ksm机制,实现了共享内存的合并,而且还是专门针对虚拟机的,真是让我抓狂,都是可恶的项目,全是在浪费时间。下面转载ksm相关的一篇文章,学习之余做个记录,已备毕业设计只需。简介:作为一个系统

系统 2019-08-29 22:58:42 2675

ASP.NET

ASP.NET程序中常用代码汇总(二)

11.自定义异常处理//自定义异常处理类usingSystem;usingSystem.Diagnostics;namespaceMyAppException{/**////<summary>///从系统异常类ApplicationException继承的应用程序异常处理类。///自动将异常内容记录到WindowsNT/2000的应用程序日志///</summary>publicclassAppException:System.ApplicationExc

系统 2019-08-29 22:12:31 2675

编程技术

让FireFox 禁用缓存,实时查看最新页面

很多时候要看页面效果,常因为缓存纠结。那么怎么样使FireFox每次打开页面时都从服务器请求最新页面容了。下面跟着操作在FireFox地址栏中输入about:config浏览器会提示你小心操作。这里我也提醒大家,不要随便修改配置,出了问题可别找我。:)点我会小心的那个按钮,在接下来的页面中找到filter,输入network.http.use就会过滤出我们要找的network.http.use-cache项双击这一项变为false就可以了。顺便说一下,可以

系统 2019-08-12 09:30:35 2675

Oracle

oracle 物理视图和同义词的综合运用

前段时间接触了oracle,学了一点知识,整理一下,希望给碰到同样问题朋友一个帮助,自己也留下一点记忆,赫赫1.使用sys用户对mysysuser和commonuser授权,使用plsql工具实现的;建议mysysuser用户权限是dba,connection,resource2使用mysysuser用户登录到xxxxx数据库,创建n_bj_applyorder和n_bj_crew两个表,插入所提供的数据3创建物理视图基于这两个表如下:CREATEMATE

系统 2019-08-12 09:29:27 2675

各行各业

"#RRGGBB"与Color类型的转换,ColorConverter和W

在System.Drawing命名空间有一个ColorConverter类,可以进行一些Color的转换操作,但它并不能满足在Web开发中的应用,比如,我们在HTML中经常会使用"#FFFCCC"之类的六位制RGB表示颜色的方法,而ColorConverter却只能将这种字符串转换成System.Drawing.Color类型的实例,不能将之再还原成"#FFFCCC"。其实要做到"#xxxxxx"与Color类型之间的自由转换,我们可以借助System.W

系统 2019-08-12 09:27:05 2675

数据库相关

ORA-00119,ORA-00132 错误处理

--******************************--ORA-00119,ORA-00132错误处理--******************************最近系统启动时,收到了ORA-00119以及ORA-00132的错误,该错误实际上跟LISTENER有关,通常的处理办法是将spfile转储为pfile然后从pfile启动并生成新的spfile,不过该操作方式代价太高,需要重新启动数据库。另一种方式则是直接修改tnsnames.o

系统 2019-08-12 01:52:58 2675

Oracle

rhel3上安装Oracle(来自Oracle网站)

http://www.oracle.com/technology/global/cn/pub/articles/smiley_10gdb_install.html1、从网上下载redhatEnterpriseLinuxAdvancedServer3的四个安装文件,安装时swap分区设置为内存的二倍。不要采用DHCP设置主机名和IP地址,而是“手工设置”。否则会在安装oracle的时候出现如下错误:引用:ThrownwhentheIPaddressofaho

系统 2019-08-12 01:51:37 2675

Tomcat

查看tomcat启动文件都干点啥---server对象

在上一章查看tomcat启动文件都干点啥---Catalina.java中说道了构造Server,,这次尝试着说一下Tomcat中Server的内容,首先看一下org.apache.catalina.Server接口中定义的方法:从这里至少可以看出Server中包含很多Service,通过实现如下接口添加一个新的Service到Services的集合中,或者从集合中删除指定的Service:publicvoidaddService(Serviceservi

系统 2019-08-12 01:33:02 2675