并发加权mu－演算(concurrentweightedmu－calculus，CWC)是对Kim．G．Larsen所提出的并发加权逻辑的强有力的扩充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。

实现了ECC算法的加密解密，主要是对字符串的加解密。
(RealizetheECCalgorithmencrypt,decrypt,ismainlytothestringencryption.)

餐饮管理系统使用说明书配置源程序附加数据库SQLServer2000（1）将TM\\06\\MrCy\\MrCy\\DataBase文件夹中的扩展名为db_MrCy.mdfF和db_MrCy.ldf的两个文件拷贝到SQLServer安装路径下的Data文件夹中。
（2）打开SQLServer2000中的“企业管理器”，然后展开本地服务器，在“数据库”数据项上单击鼠标右键，在弹出的快捷菜单中选择“所有任务”/“附加数据库”菜单项。
（3）将弹出“附加数据库”对话框，在该对话框中单击【】按钮，选择所要附加数据库的db_MrCy.mdf文件，单击【确定】按钮，即可完成数据库的附加操作。
使用说明系统介绍本系统属于小型的餐饮管理系统，可以有效地对中小型餐厅消费进行管理，本系统应达到以下目标： 系统采用人机交互的方式，界面美观友好，信息查询灵活、方便，数据存储安全可靠。
 实现对餐厅顾客开台、点菜/加菜、账目查询和结账等操作。
 对用户输入的数据，进行严格的数据检验，尽可能的避免人为错误。
 实现对消费账目自动结算。
 实现对消费的历史记录进行查询，支持模糊查询。
 系统应最大限度地实现易维护性和易操作性。
操作注意事项（1）本系统管理员用户名为：Tsoft，密码为：111。
（2）实例执行文件位置：TM\\06\\MrCy\\MrCy\\bin\\Debug\\MrCy.exe（3）本系统共分为三种操作权限，分别为超级管理员、经理、一般用户： 一般用户：一般用户只可以对辅助工具菜单、系统设置菜单、窗口布局菜单及帮助菜单进行使用操作。
。
 经理：经理除系统设置菜单不能使用以外，其它菜单都可以使用并管理操作。
 超级管理员：超级管理员可以对所有菜单进行管理操作。
（4）单击鼠标右键，可进行开台、取消开台、点菜、消费查询及结账操作。
（5）锁定系统解锁密码为：111。
（6）如果添加菜品类别，需要在数据库中添加。
操作流程（1）用户输入用户名及密码进入超级管理员操作界面，如图1.1所示。
图1.1超级管理员（2）单击“基础信息”/“台桌信息”菜单项，对台桌信息进行添加、修改、查询及删除操作，如图1.2所示。
图1.2台桌信息（3）单击“基础信息”/“职员信息”菜单项，对职员信息进行添加、修改、查询及删除操作，如图1.3所示。
图1.3职员信息（4）单击界面上的任一台桌，进行开台、取消开台、点菜、消费查询及结账操作，如图1.4所示。
图1.4台桌操作（5）通过“辅助工具”菜单，可直接调用日历、记事本和计算器的快捷方式。
（6）通过“系统维护”菜单，可对数据库进行备份、恢复及权限设置操作。
（7）通过“系统设置”菜单，可对当前用户进行密码修改及锁定系统操作。

本文基于防止软件被破解与逆向的目的，通过对PE文件导入表、导出表、重定位表的处理实现Shell增加区段的功能。
通过将IsDebuggerPresent与TimingAttacks技术的融合实现Shell自身的反调试，同时采用ShellCode的编码方式存储一些敏感信息以及通过“无效操作码”这一后门接口实现Shell自身的反虚拟机功能。
最后通过对Notepad的加Shell试验说明Shell具有反调试与反虚拟机功能，证明了对软件加Shell具有防止被破解与逆向的功能。

Matlab无线信道建模与仿真-无线信道建模与仿真.pdf加性高斯白噪声信道和瑞利衰落信道，理论模型，仿真方法，以及仿真！摘要：Matlab13.jpg

基于jsp和MVC框架设计的一个注册登录界面，可以连接到数据库，其中还加了一点css美化，相互借鉴学习。

Android商城项目实战，客户端加服务器端的源码，还有开发文档进行详细说明。

别舍不得这几分，学到东西才是最重要的，下载后评价你会加6分，所以你不亏你还多加了1分一个采用三层开发的完整的超市采购管理系统，包括订单管理、商品管理、库存管理、供应商管理、库存管理等数据库连接失败会弹出配置窗口DB_51aspx下为Sql数据库，附加即可默认登陆帐号/密码：51aspx/51aspx

纯java编写，不加任何外部jar支持鼠标轨迹录制生成的avi可以通过暴风，射手的主流播放媒体播放里面包含avi编码，大家可以一起研究探讨学习，/recordScreenAvi/src/com/ceict/constant/Constant.java这个类里包含简单的配置，详细配置请看注释avi保存目录为windows：newFile(System.getProperty("user.home")+File.separator+"Videos");其它：newFile(System.getProperty("user.home")+File.separator+"Movies");我的电脑是C:\DocumentsandSettings\hz001\Videos这个路径win7可能有变化，找不到保存路径的化请更改源代码，给绝对路径下载后请先用jdk1.6进行编译，便可运行run包下的主函数

Tracetcp是一个类似于Tracert的工具，可以直接在命令后加端口进行指定端口测试。
使用Tracetcp1.安装了winpcap2.解压后的文件放到C:\Windows\System32下3.如果无法使用，请使用管理员权限，右键点击cmd，选择以管理员权限运行4.例子：Tracetcpwww.baidu.com:80Tracetcp192.168.1.235:8080

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。