1.一个自动机是一个五元组,分别是2.使用子集法的步骤是:1)将起始状态求闭包,得到S0。
2)将S0做f函数转换,得到在任意符号集元素下的状态集。
3)对状态集求空闭包,并以空闭包为终点,记录mov函数。
4)如果空闭包不存在,将空闭包记录。
5)循环2至5直到新产生的空闭包不再被记录。
2024/11/8 0:33:51 201KB NFA确定化
1
非常全面的数学建模教材资料目录第1章 建立数学模型 1.1 从现实对象到数学模型 1.2 数学建模的重要意义 1.3 建模示例之一椅子能在不平的地面上放稳吗 1.4 建模示例之二商人们怎样安全过河 1.5 建模示例之三如何预报人口的增长 1.6 数学建模的基本方法和步骤 1.7 数学模型的特点和分类 1.8 数学建模能力的培养 习题第2章 初等模型 2.1 公平的席位分配 2.2 录像机计数器的用途 2.3 双层玻璃窗的功效 2.4 汽车刹车距离 2.5 划艇比赛的成绩 2.6 动物的身长和体重 2.7 实物交换 2.8 核军备竞赛 2.9 扬帆远航 2.10 量纲分析与无量纲化 习题第3章 简单的优化模型 3.1 存贮模型 3.2 生猪的出售时机 3.3 森林救火 3.4 最优价格 3.5 血管分支 3.6 消费者的选择 3.7 冰山运输 习题第4章 数学规划模型 4.1 奶制品的生产与销售 4.2 自来水输送与货机装运 4.3 汽车生产与原油采购 4.4 接力队的选拔与选课策略 4.5 饮料厂的生产与检修 4.6 钢管和易拉罐下料 习题第5章 微分方程模型 5.1 传染病模型 5.2 经济增长模型 5.3 正规战与游击战 5.4 药物在体内的分布与排除 5.5 香·烟过滤嘴的作用 5.6 人口的预测和控制 5.7 烟雾的扩散与消失 5.8 万有引力定律的发现 习题第6章 稳定性模型 6.1 捕鱼业的持续收获 6.2 军备竞赛 6.3 种群的相互竞争 6.4 种群的相互依存 6.5 食饵-捕食者模型 6.6 微分方程稳定性理论简介 习题第7章 差分方程模型 7.1 市场经济中的蛛网模型 7.2 减肥计划--节食与运动 7.3 差分形式的阻滞增长模型 7.4 按年龄分组的种群增长 7.5 差分方程简介 习题第8章 离散模型 8.1 层次分析模型 8.2 循环比赛的名次 8.3 社会经济系统的冲量过程 8.4 效益的合理分配 8.5 存在公正的选举规则吗 习题第9章 概率模型 9.1 传送系统的效率 9.2 报童的诀窍 9.3 随机存贮策略 9.4 轧钢中的浪费 9.5 随机人口模型 9.6 航空公司的预订票策略 9.7 广告中的学问 习题第10章 统计回归模型 10.1 牙膏的销售量 10.2 软件开发人员的薪金 10.3 酶促反应 10.4 投资额与生产总值和物价指数 10.5 教学评估 习题第11章 马氏链模型 11.1 健康与疾病 11.2 钢琴销售的存贮策略 11.3 基因遗传 11.4 等级结构 11.5 资金流通 习题第12章 动态优化模型 12.1 速降线与短程线 12.2 生产计划的制订 12.3 国民收入的增长 12.4 渔船出海 12.5 赛跑的速度 12.6 多阶段最优生产计划 习题第13 章其它模型 13.1 废水的生物处理 13.2 红绿灯下的交通流 13.3 鲑鱼数量的周期变化 13.4 价格指数 13.5 设备检查方案 习题综合题目
2024/11/6 14:17:22 18.98MB 数学模型 姜启源 数学建模
1
正交频分复用(OFDM)是第四代移动通信的核心技术。
该文首先简要介绍了OFDM的发展状况及基本原理,文章对OFDM系统调制与解调技术进行了解析,得到了OFDM符号的一般表达式,给出了OFDM系统参数设计公式和加窗技术的原理及基于IFFT/FFT实现的OFDM系统模型,阐述了运用IDFT和DFT实现OFDM系统的根源所在,重点研究了理想同步情况下,保护时隙(CP)、加循环前缀前后和不同的信道内插方法在高斯信道和多径瑞利衰落信道下对OFDM系统性能的影响。
在给出OFDM系统模型的基础上,用MATLAB语言实现了传输系统中的计算机仿真并给出参考设计程序。
最后给出在不同的信道条件下,研究保护时隙、循环前缀、信道采用LS估计方法对OFDM系统误码率影响的比较曲线,得出了较理想的结论。
2024/11/1 7:43:08 1.7MB OFDM
1
双击esriAddIn,然后就可以在自定义工具里面查找到该工具,可以同时用多个掩膜裁剪多个图层,循环每个掩膜裁剪所有图层
2024/10/28 13:06:36 42KB arcgis插件 批量裁剪
1
用VHDL实现了一个简单的可以播放一小段音乐的程序。
因为EPM240只有240个逻辑单元,功能非常简单,可以循环播放一段声音,并且显示波形。
这里用了两个EPM240,要将两个共地,一个负责存储和显示,一个负责发出声音。
初学者水平有限,欢迎大家批评指正,给出更好的意见,共同提高。
2024/10/26 19:10:02 642KB VHDL LED彩灯 蜂鸣器
1
使用C++实现从一个txt文件中读入一个40*80的字符数组,判断是否为A,如果是,将其变为x,然后转到A的邻居,判断邻居中是否有A,如果有的话,也将其变为X,如此循环
1
假设M个生产者和N个消费者共享一个具有K(K大于1)个缓冲区的循环缓冲结构BUFFER(提示:可以用一个循环队列或一个整型数组来表示),并设置两个指针IN和OUT,其中IN指向生产者线程当前可用的空缓冲区的在BUFFER中的下标,OUT指向消费者线程当前可用的满缓冲区在BUFFER中的下标。
生产者线程和消费者线程并发执行,当无空缓冲区时,生产者线程阻塞;
当无满缓冲区时消费者线程阻塞,并且多个生产者线程对IN的使用必须互斥,多个消费者线程对OUT的使用也必须互斥
2024/10/18 17:47:39 5KB 生产者消费者
1
简介1在AutoLISP内部1本书面向的读者2本书是如何组织的3使用本书5使用练习5使用IL盘8使用本书前的准备知识8NewRiders出版社的其它AutoCAD专著9进一步讨论10第一章 入门111.1 组织AutoCAD―进行系统设置的好处111.2 设置目录121.3 选择文本编辑器141.4 调整DOS引导环境151.5 设置AutoCAD应用程序和支持文件171.6 安装IL盘181.7 用DOS批处理文件启动AutoCAD191.8 用UNIX命令文件启动AutoCAD221.9 设置PGPshell命令和别名221.10 从外壳进入操作系统241.11加载AutoLISP和ADS文件和命令251.12 设置原型图绘图环境271.13 本书中层的约定301.14小结31第二章AutoLISP322.1了解AutoLISP的益处332.2 写一个非LISP宏332.3 书写一个简单的AutoLISP表达式342.4 从宏到AutoLISP382.5 写一个完整的AutoLISP例程392.6 从用户获取输入412.7 存储和加载AutoLISP应用程序442.8 开发一个简单的应用程序452.9 联合函数472.10 阅读一个AutoLISP程序512.11 用ACAD.LSP自动加载函数522.12 小结53第三章 AutoLISP的基本要素543.1 理解AutoLISP变量和表达式543.2 用AutoLISP来获取和设置系统变量563.3 创建用户自己的变量和表达式573.4 使用GET函数进行输入593.5 在AutoLISP中使用数学函数633.6 使用几何计算器683.7 使用字符串函数713.8 使用字符函数743.9 使用AutoLISP表753.10 定义用户自己的AutoLISP函数803.11 AutoLISP函数文档833.12 使用一个重要的函数RESET853.13 小结85第四章 理解程序流程864.1 本章中的AutoLISP工具和程序874.2 测试条件值874.3 用程序分支934.4 程序循环964.5 用PROGN函数将表达式成组1
2024/10/16 0:19:27 28.48MB AUTOLISP
1
此书是四川大学计算机学院汇编语言程序设计的教材,由九爷主编的书的高清版PDF。
本书共11章,系统地介绍了汇编语言程序设计各类基础知识与编程指令、方法;
计算机系统模型;
分支与循环程序设;
子程序设计与系统调用;
数值运算程序设计等内容。
2024/10/15 14:45:57 13.2MB 四川大学 汇编 计算机 教材
1
本版本是高清版,是第1版第18次印刷,是书签最全最好的版本。
基本信息原书名:TheC++ProgrammingLanguage,SpecialEdition原出版社:AddisonWesley作者:(美)BjarneStroustrup译者:裘宗燕丛书名:计算机科学丛书出版社:机械工业出版社ISBN:7111102029上架时间:2002-7-12出版日期:2002年7月页码:936版次:1-1内容简介  本书介绍了标准c++以及由c++所支持的关键性编程技术和设计技术。
标准c++较以前的版本功能更强大,其中许多新的语言特性,如名字空间、异常、模板、运行时类型声明等使得新技术得以直接应用。
本书围绕语言及库功能来组织,内容涉及c++的主要特征及标准库,并通过系统软件领域中的实例解释说明一些关键性的概念与技术。
本书的目的就是帮助读者了解c++是如何支持编程技术的,使读者能从中获得新的理解,从而成为一名优秀的编程人员和设计人员。
适合做高校面向对象编程课程的教科书,也可作为c++爱好者的参考书。
[center][ahref=http://www.china-pub.com/main/sale/c++tb.htmtarget=_blank]c++之父bjarnestroustrup博士专访[/a]  [ahref="http://www.is.pku.edu.cn/~qzy/cpp.htm"target="_blank"]《c++程序设计语言》程序的更正和更新[/a]  [ahref="http://www.china-pub.com/temporary/list/cooperate/zipdownload/zg.zip"target="_blank"]本书忠告[/a][/center]作译者作者:BjarneStroustrupBjarneStroustrup现任AT&T实验室的大型程序设计研究部的主管。
1990年,Bjarne荣获《财富》杂志评选的“美国12位最年轻的科学家”称号。
1993年,由于在C++领域的重大贡献,Bjarne获得了ACM该年度的GraceMurrayHopper大奖并成为ACM院士(成立于1947年的ACM协会是历史最悠久、目前世界上最大的教育和科学计算协会,成为ACM院士是个人成就的里程碑)。
1995年,BYTE杂志颁予他“近20年来计算机工业最具影响力的20人”的称号。
[同作者作品]C++程序设计语言(特别版)(英文影印版)C++语言的设计和演化[按需印刷]C++程序设计语言(特别版)译者:裘宗燕知名译者,翻译严谨,喜与读者交流。
  裘宗燕教授是北京大学数学学院信息科学系的,关心的主要学术领域包括计算机软件理论、程序设计方法学、程序设计语言和符号计算。
已出版多部著作和译著,包括《程序设计语言基础》(译著,1990),《Mathematica数学软件系统的应用与程序设计》(1994),《从问题到程序——程序设计与C语言引论》(1999)[同作者作品]计算机基础教程(上下)(文科类)(裘宗燕等)数据结构——C++与面向对象的途径数据结构--C++与面向对象的途径(修订版)目录出版者的话专家指导委员会中文版序译者序序第2版序第1版序导论第1章致读者31.1本书的结构31.1.1例子和参考41.1.2练习51.1.3有关实现的注记51.2学习c++61.3c++的设计71.3.1效率和结构81.3.2哲学注记91.4历史注记91.5c++的使用111.6c和c++12.1.6.1给c程序员的建议131.6.2给c++程序员的建议131.7有关在c++里编程的思考141.8忠告151.9参考文献16第2章c++概览192.1为什么是c++192.2程序设计范型192.3过程式程序设计202.3.1变量和算术212.3.2检测和循环222.3.3指针和数组232.4模块程序设计232.4.1分别编译242.4.2异常处理252.5数据抽象262.5.1定义类型的模块272.5.2用户定义类型282.5.3具体类型292.5.4抽象类型312.5.5虚函数332.6面向对象的程序设计332.6.1具体类型的问题332.6.2
2024/10/13 4:51:33 51.87MB C++ 程序设计语言 特别版 详细书签版
1
共 841 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡